Follow
Aggeliki Chalki
Aggeliki Chalki
PostDoc, Reykjavik University
Verified email at corelab.ntua.gr - Homepage
Title
Cited by
Cited by
Year
A quick guided tour to the modal logic S4.2
A Chalki, CD Koutras, Y Zikos
Logic Journal of the IGPL 26 (4), 429-451, 2018
152018
Completeness results for counting problems with easy decision
E Bakali, A Chalki, A Pagourtzis, P Pantavos, S Zachos
International Conference on Algorithms and Complexity, 55-66, 2017
92017
Characterizations and Approximability of Hard Counting Classes Below
E Bakali, A Chalki, A Pagourtzis
International Conference on Theory and Applications of Models of Computation …, 2020
82020
Completeness, approximability and exponential time results for counting problems with easy decision version
A Antonopoulos, E Bakali, A Chalki, A Pagourtzis, P Pantavos, S Zachos
Theoretical Computer Science 915, 55-73, 2022
72022
A note on the complexity of S4. 2
A Chalki, CD Koutras, Y Zikos
Journal of Applied Non-Classical Logics 31 (2), 108-129, 2021
32021
Counting computations with formulae: Logical characterisations of counting complexity classes
A Achilleos, A Chalki
arXiv preprint arXiv:2304.10334, 2023
12023
Guest column: A panorama of counting problems the decision version of which is in P3
E Bakali, A Chalki, A Göbel, A Pagourtzis, S Zachos
ACM SIGACT News 53 (3), 46-68, 2022
12022
On the power of counting the total number of computation paths of NPTMs
E Bakali, A Chalki, S Kanellopoulos, A Pagourtzis, S Zachos
arXiv preprint arXiv:2306.11614, 2023
2023
Descriptive complexity of self-reducible counting problems with an easy decision version
A Achilleos, A Chalki
The system can't perform the operation now. Try again later.
Articles 1–9