Antonis Achilleos
According to our database^{1},
Antonis Achilleos
authored at least 21 papers
between 2012 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Online presence:

on orcid.org
On csauthors.net:
Bibliography
2021
Proceedings of the 29th EACSL Annual Conference on Computer Science Logic, 2021
2020
J. Log. Comput., 2020
J. Log. Algebraic Methods Program., 2020
J. Log. Algebraic Methods Program., 2020
CoRR, 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 CyberPhysical 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
J. Comput. Syst. Sci., 2014
Complexity Jumps In Multiagent Justification Logic Under Interacting Justifications.
CoRR, 2014
Tableaux and Complexity Bounds for a Multiagent Justification Logic with Interacting Justifications.
Proceedings of the MultiAgent Systems  12th European Conference, 2014
Proceedings of the Computational Logic in MultiAgent Systems, 2014
2013
CoRR, 2013
2012
Algorithmica, 2012