Aggeliki Chalki
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2017–2025
Best venue rank
C
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CSL | The Complexity of Deciding Characteristic Formulae in Van Glabbeek's Branching-Time Spectrum. | Luca Aceto, Antonis Achilleos, Aggeliki Chalki, Anna Inglfsdttir |
| 2024 | TAMC | On the Power of Counting the Total Number of Computation Paths of NPTMs. | Eleni Bakali, Aggeliki Chalki, Sotiris Kanellopoulos, Aris Pagourtzis, Stathis Zachos |
| 2023 | MFCS | Counting Computations with Formulae: Logical Characterisations of Counting Complexity Classes. | Antonis Achilleos, Aggeliki Chalki |
| 2020 | TAMC | Characterizations and Approximability of Hard Counting Classes Below \(\#\mathsf {P}\). | Eleni Bakali, Aggeliki Chalki, Aris Pagourtzis |
| 2017 | CIAC | Completeness Results for Counting Problems with Easy Decision. | Eleni Bakali, Aggeliki Chalki, Aris Pagourtzis, Petros Pantavos, Stathis Zachos |