Aggeliki Chalki
Scholar

Aggeliki Chalki

Google Scholar ID: 3Iw_-R8AAAAJ
PostDoc, Reykjavik University
computational complexitydescriptive complexitymodal logic
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
53
 
H-index
4
 
i10-index
3
 
Publications
13
 
Co-authors
5
list available
Contact
CVOpen ↗LinkedInOpen ↗
Publications
2 items
The Complexity of Deciding Characteristic Formulae Modulo Nested Simulation (extended abstract)
2025
Cited
0
The complexity of deciding characteristic formulae modulo nested simulation
2025
Cited
0
Resume (English only)
Co-authors
5 total
Aris Pagourtzis
Aris Pagourtzis
National Technical University of Athens
Co-author 2
Co-author 2
Co-author 3
Co-author 3
Antonis Achilleos
Antonis Achilleos
Reykjavik University
Andreas Göbel
Andreas Göbel
Hasso Plattner Institute, University of Potsdam