Publications

Journals


2015


[1] On Promptness in Parity Games.
Fundamenta Informaticae, Volume 139.
Joint work with Fabio Mogavero and Aniello Murano.
PDF

Conferences


2015


[5] On the Counting of Strategies .
22th International Symposium on Temporal Representation and Reasoning,(TIME 2015).
September 23-25, 2015, Kassel, Germany, IEEE. To appear.
Joint work with Vadim Malvone, Fabio Mogavero and Aniello Murano.
[4] Games with additional winning strategies.
30° Convegno Italiano di Logica Computazionale (CILC 2015).
1-3 luglio 2015, Genova Italy.
Joint work with Vadim Malvone and Aniello Murano.
[3] A Game-based Model for Human-robots Interaction.
XVI Workshop "Dagli Oggetti agli Agenti" (WOA '15).
17-19 Giugno 2015, Napoli, Italy.
Joint work with Aniello Murano.

2014


[2] Solving Parity Games in Scala.
The 11th International Symposium on Formal Aspects of Component Software (FACS '14).
0-12 September 2014, Bertinoro, Italy.
Joint work with Antonio Di Stasio, Aniello Murano and Vincenzo Prignano.

2013


[1] On Promptness in Parity Games.
The 19th edition of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR '13) 19.
Stellenbosch, South Africa, 14-19 December 2013.
Joint work with Fabio Mogavero and Aniello Murano.

Theses

2015


[3] On Games in Formal Verification
PhD Thesis, Università degli Studi di Napoli "Federico II", Italy, May 2015.
PDF

2011


[2] Giochi di Parità Concorrenti Multiagente
Master of Computer Science Thesis, Università degli Studi di Napoli "Federico II", Italy, October 2011.

2007


[1] DNA Forense
Bachelor of Computer Science Thesis, Università degli Studi di Salerno, Italy, March 2007.