Antonis Achilleos
Orcid: 0000-0002-1314-333X
According to our database1,
Antonis Achilleos
authored at least 36 papers
between 2012 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Log. Methods Comput. Sci., 2024
The complexity of deciding characteristic formulae in van Glabbeek's branching-time spectrum.
CoRR, 2024
Proceedings of the 35th International Conference on Concurrency Theory, 2024
2023
CoRR, 2023
Counting Computations with Formulae: Logical Characterisations of Counting Complexity Classes.
Proceedings of the 48th International Symposium on Mathematical Foundations of Computer Science, 2023
2022
J. Log. Algebraic Methods Program., 2022
Proceedings of the 13th International Symposium on Games, 2022
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2022
Proceedings of the Coordination Models and Languages, 2022
Proceedings of the Coordination Models and Languages, 2022
Proceedings of the Principles of Systems Design, 2022
2021
Softw. Syst. Model., 2021
Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2021
Proceedings of the 29th EACSL Annual Conference on Computer Science Logic, 2021
2020
J. Log. Algebraic Methods Program., 2020
J. Log. Algebraic Methods Program., 2020
2019
Proc. ACM Program. Lang., 2019
Proceedings of the Software Engineering and Formal Methods - 17th International Conference, 2019
Proceedings of the From Reactive Systems to Cyber-Physical Systems, 2019
Proceedings of the Models, Languages, and Tools for Concurrent and Distributed Programming, 2019
2018
Proceedings of the Logical Foundations of Computer Science - International Symposium, 2018
Proceedings of the Foundations of Software Science and Computation Structures, 2018
2017
Proceedings of the Implementation and Application of Automata, 2017
Proceedings of the Runtime Verification - 17th International Conference, 2017
Proceedings of the 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2017
2015
Proceedings of the Computer Science - Theory and Applications, 2015
2014
CoRR, 2014
Tableaux and Complexity Bounds for a Multiagent Justification Logic with Interacting Justifications.
Proceedings of the Multi-Agent Systems - 12th European Conference, 2014
Proceedings of the Computational Logic in Multi-Agent Systems, 2014
2013
2012