Agathoklis Kritsimallis

According to our database, Agathoklis Kritsimallis authored at least 3 papers between 2013 and 2019.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2019

ExpTime Tableaux for Type PDL.

Agathoklis Kritsimallis, Ioannis Refanidis

CoRR, 2019

2017

Tableaux with Partial Caching for Hybrid PDL with Satisfaction Statements.

Agathoklis Kritsimallis

Proceedings of the Theoretical Aspects of Computing - ICTAC 2017, 2017

2013

Tableaux for type PDL.

Agathoklis Kritsimallis, Chrysafis Hartonas

Proceedings of the Balkan Conference in Informatics, 2013