Paper classification

• Books
• Journal editorships
• Conference editorships
• Journal articles
• Conference articles
• Workshop notes
• Technical reports
• Theses

Publication servers

• DBLP
• Google Scholar
• ACM Portal
• Elsevier Scopus

Coauthors

• E. Acar
• B. Aminof
• D. Bellier
• M. Benedikt
• M. Benerecetti
• A. Bianco
• P.A. Bonatti
• S. Bova
• L. Bozzelli
• A. Brunello
• P. Cermak
• D. Dell'Erba
• D. Della Monica
• M. Faella
• G. Fontaine
• A. Gianola
• G. Konstantinidis
• E.V. Kostylev
• R. Lanotte
• A. Lomuscio
• V. Malvone
• M. Merro
• A. Murano
• T.J. Norman
• P. Pareti
• G. Perelli
• A. Peron
• S. Pinchinat
• L. Sauro
• S. Schewe
• L. Sorrentino
• L.L.L. Starace
• E. Tsamoura
• M.Y. Vardi
• D. Wojtczak

Copyright

Most of the articles available from this web site section consist of preliminary versions of works that are about to be published or have been published in journals, conference proceedings, academic reports, etc. The corresponding copyright is held by the publisher or by the authors. All these papers can be used for academic or personal purpose, but redistribution or reprinting for commercial purposes is prohibited.

Books

2013

• Logics in Computer Science (A Study on Extensions of Temporal and Strategic Logics)
  doi:10.2991/978-94-91216-95-4
  

Journal editorships

2016

• Special Issue: 2nd International Workshop on Strategic Reasoning (SR'14)
  Joint editorship with A. Murano and M.Y. Vardi for I&C.
  doi:10.1016/j.ic.2016.10.005
  

2015

• Special Issue: 1st International Workshop on Strategic Reasoning (SR'13)
  Joint editorship with A. Murano and M.Y. Vardi for I&C.
  doi:10.1016/j.ic.2015.03.008
  

Conference editorships

2023

• Proceedings of the 5th International Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis (OVERLAY'23)
  Joint editorship with A. Brunello and A. Gianola for CEUR.
  issn:1613-0073
  

2014

• Proceedings of the 2nd International Workshop on Strategic Reasoning (SR'14)
  Joint editorship with A. Murano and M.Y. Vardi for EPTCS.
  doi:10.4204/EPTCS.146
  

2013

• Proceedings of the 1st International Workshop on Strategic Reasoning (SR'13)
  Joint editorship with A. Murano and M.Y. Vardi for EPTCS.
  doi:10.4204/EPTCS.112
  

Journal articles

2025

• Priority Promotion with Parysian Flair
  Joint work with M. Benerecetti, D. Dell'Erba, S. Schewe, and D. Wojtczak on JCSS.
  Accepted in August 2024. First published online in August 2024.
  doi:10.1016/j.jcss.2024.103580
  

2024

• Solving Mean-Payoff Games via Quasi Dominions
  Joint work with M. Benerecetti and D. Dell'Erba on I&C.
  Journal version of TACAS'20.
  Accepted in January 2024.
  doi:10.1016/j.ic.2024.105151
  

2023

• Taming Strategy Logic: Non-Recurrent Fragments
  Joint work with M. Benerecetti and A. Peron on I&C.
  Journal version of TIME'22.
  Accepted in August 2023.
  doi:10.1016/j.ic.2023.105081
  
• Alternating (In)Dependence-Friendly Logic
  Joint work with D. Bellier, M. Benerecetti, and D. Della Monica on APAL.
  Accepted in June 2023.
  doi:10.1016/j.apal.2023.103315
  
• Good-for-Game QPTL: An Alternating Hodges Semantics
  Joint work with D. Bellier, M. Benerecetti, and D. Della Monica on TOCL.
  Accepted in June 2022. First published online in October 2022.
  doi:10.1145/3565365
  

2022

• Satisfiability and Containment of Recursive SHACL
  Joint work with P. Pareti and G. Konstantinidis on JOWS.
  Journal version of ISWC'20.
  Accepted in May 2022.
  doi:10.1016/j.websem.2022.100721
  

2020

• Robust Worst Cases for Parity Games Algorithms
  Joint work with M. Benerecetti and D. Dell'Erba on I&C.
  Journal version of GANDALF'17.
  Accepted in February 2019. First published online in December 2019.
  doi:10.1016/j.ic.2019.104501
  

2018

• A Delayed Promotion Policy for Parity Games
  Joint work with M. Benerecetti and D. Dell'Erba on I&C.
  Journal version of GANDALF'16.
  Accepted in January 2018.
  doi:10.1016/j.ic.2018.09.005
  
• Cycle Detection in Computation Tree Logic
  Joint work with G. Fontaine, A. Murano, G. Perelli, and L. Sorrentino on I&C.
  Journal version of GANDALF'16.
  Accepted in January 2018.
  doi:10.1016/j.ic.2018.09.007
  
• Solving Parity Games via Priority Promotion
  Joint work with M. Benerecetti and D. Dell'Erba on FMSD.
  Journal version of CAV'16.
  Accepted in January 2018.
  doi:10.1007/s10703-018-0315-1
  
• Reasoning about Graded Strategy Quantifiers
  Joint work with V. Malvone, A. Murano, and L. Sorrentino on I&C.
  Journal version of TIME'15.
  Accepted in March 2017. First published online in October 2017.
  doi:10.1016/j.ic.2017.08.010
  
• Practical Verification of Multi-Agent Systems against SLK Specifications
  Joint work with P. Cermak, A. Lomuscio, and A. Murano on I&C.
  Journal version of CAV'14.
  Accepted in March 2017. First published online in September 2017.
  doi:10.1016/j.ic.2017.09.011
  

2017

• Reasoning About Strategies: On the Satisfiability Problem
  Joint work with A. Murano, G. Perelli, and M.Y. Vardi on LMCS.
  Partial journal version of FSTTCS'10 and CONCUR'12.
  Accepted in November 2016. First published online in December 2016.
  doi:10.23638/LMCS-13(1:9)2017
  

2016

• Relentful Strategic Reasoning in Alternating-Time Temporal Logic
  Joint work with A. Murano and M.Y. Vardi on JLC.
  Journal version of LPAR'10.
  Accepted in August 2014. First published online in September 2014.
  doi:10.1093/logcom/exu052
  

2015

• Reasoning About Substructures and Games
  Joint work with M. Benerecetti and A. Murano on TOCL.
  Journal version of LICS'13.
  Accepted in April 2015.
  doi:10.1145/2757286
  
• On Promptness in Parity Games
  Joint work with A. Murano and L. Sorrentino on FI.
  Journal version of LPAR'13.
  Accepted in March 2015.
  doi:10.3233/FI-2015-1235
  

2014

• Reasoning About Strategies: On the Model-Checking Problem
  Joint work with A. Murano, G. Perelli, and M.Y. Vardi on TOCL.
  Partial journal version of FSTTCS'10 and CONCUR'12.
  Accepted in June 2014.
  doi:10.1145/2631917
  
• Synthesis of Hierarchical Systems
  Joint work with B. Aminof and A. Murano on SCP.
  Journal version of FACS'11.
  Accepted in July 2013. First published online in July 2013.
  doi:10.1016/j.scico.2013.07.001
  

2012

• Graded Computation Tree Logic
  Joint work with A. Bianco and A. Murano on TOCL.
  Journal version of LICS'09 and CSL'10.
  Accepted in June 2011.
  doi:10.1145/2287718.2287725
  
• Quantitatively Fair Scheduling
  Joint work with A. Bianco, M. Faella, and A. Murano on TCS.
  Journal version of MFCS'09 and QAPL'10.
  Accepted in June 2011. First published online in July 2011.
  doi:10.1016/j.tcs.2011.06.029
  

2011

• Exploring the Boundary of Half-Positionality
  Joint work with A. Bianco, M. Faella, and A. Murano on AMAI.
  Journal version of CLIMA'10.
  Accepted in June 2011.
  doi:10.1007/s10472-011-9250-1
  

Conference articles

2025

• Bag Containment of Join-on-Free Queries
  Joint work with G. Konstantinidis at ICDT'25.
  Accepted in May 2024.
  To appear.
  

2024

• Plan Logic
  Joint work with D. Bellier, M. Benerecetti, and S. Pinchinat at FSTTCS'24.
  doi:10.4230/LIPIcs.FSTTCS.2024.9
  
• Model Checking Linear Temporal Properties on Polyhedral Systems
  Joint work with M. Benerecetti and M. Faella at TIME'24.
  doi:10.4230/LIPIcs.TIME.2024.19
  
• Full Characterisation of Extended CTL*
  Joint work with M. Benerecetti, L. Bozzelli, and A. Peron at TIME'24.
  doi:10.4230/LIPIcs.TIME.2024.18
  
• Automata-Theoretic Characterisations of Branching-Time Temporal Logics
  Joint work with M. Benerecetti, L. Bozzelli, and A. Peron at ICALP'24.
  doi:10.4230/LIPIcs.ICALP.2024.128
  

2023

• From Quasi-Dominions to Progress Measures
  Joint work with M. Benerecetti, D. Dell'Erba, and M. Faella in Lecture Notes Series of IMS NUS.
  doi:10.1142/9789811278631_0007
  
• Quantifying over Trees in Monadic Second-Order Logic
  Joint work with M. Benerecetti, L. Bozzelli, and A. Peron at LICS'23.
  doi:10.1109/LICS56636.2023.10175832
  

2022

• Taming Strategy Logic: Non-Recurrent Fragments
  Joint work with M. Benerecetti and A. Peron at TIME'22.
  Extended version in I&C'23.
  doi:10.4230/LIPIcs.TIME.2022.14
  

2021

• Expressing Structural Temporal Properties of Safety Critical Hierarchical Systems
  Joint work with M. Benerecetti, A. Peron, and L.L.L. Starace at QUATIC'21.
  doi:10.1007/978-3-030-85347-1_26
  

2020

• SHACL Satisfiability and Containment
  Joint work with P. Pareti, G. Konstantinidis, and T.J. Norman at ISWC'20.
  Extended version in JOWS'22.
  doi:10.1007/978-3-030-62419-4_27
  
• Solving Mean-Payoff Games via Quasi Dominions
  Joint work with M. Benerecetti and D. Dell'Erba at TACAS'20.
  Extended version in I&C'24.
  Accepted in December 2019.
  doi:10.1007/978-3-030-45237-7_18
  

2019

• On the Decidability of Linear Bounded Periodic Cyber-Physical Systems
  Joint work with R. Lanotte and M. Merro at HSCC'19.
  Accepted in December 2018.
  doi:10.1145/3302504.3311797
  
• Satisfiability in Strategy Logic can be Easier than Model Checking
  Joint work with E. Acar and M. Benerecetti at AAAI'19.
  Accepted in October 2018.
  doi:10.1609/aaai.v33i01.33012638
  
• Attacking Diophantus: Solving a Special Case of Bag Containment
  Joint work with G. Konstantinidis at PODS'19.
  Accepted in September 2018.
  doi:10.1145/3294052.3319689
  

2017

• Robust Exponential Worst Cases for Divide-et-Impera Algorithms for Parity Games
  Joint work with M. Benerecetti and D. Dell'Erba at GANDALF'17.
  Extended version in I&C'20.
  doi:10.4204/EPTCS.256.9
  
• The Priority Promotion Approach to Parity Games
  Joint work with M. Benerecetti and D. Dell'Erba at ICTCS'17.
  Extended version in FMSD'18.
  issn:1613-0073
  
• Reformulating Queries: Theory and Practice
  Joint work with M. Benedikt, E.V. Kostylev, and E. Tsamoura at IJCAI'17.
  doi:10.24963/ijcai.2017/116
  
• Herbrand Property, Finite Quasi-Herbrand Models, and a Chandra-Merlin Theorem for Quantified Conjunctive Queries
  Joint work with S. Bova at LICS'17.
  doi:10.1109/LICS.2017.8005073
  

2016

• Improving Priority Promotion for Parity Games
  Joint work with M. Benerecetti and D. Dell'Erba at HVC'16.
  doi:10.1007/978-3-319-49052-6_8
  
• A Delayed Promotion Policy for Parity Games
  Joint work with M. Benerecetti and D. Dell'Erba at GANDALF'16.
  Extended version in I&C'18.
  doi:10.4204/EPTCS.226.3
  
• Cycle Detection in Computation Tree Logic
  Joint work with G. Fontaine, A. Murano, G. Perelli, and L. Sorrentino at GANDALF'16.
  Extended version in I&C'18.
  doi:10.4204/EPTCS.226.12
  
• Solving Parity Games via Priority Promotion
  Joint work with M. Benerecetti and D. Dell'Erba at CAV'16.
  Extended version in FMSD'18.
  doi:10.1007/978-3-319-41540-6_15
  

2015

• On the Counting of Strategies
  Joint work with V. Malvone, A. Murano, and L. Sorrentino at TIME'15.
  Extended version in I&C'18.
  doi:10.1109/TIME.2015.19
  
• Binding Forms in First-Order Logic
  Joint work with G. Perelli at CSL'15.
  doi:10.4230/LIPIcs.CSL.2015.648
  

2014

• A Behavioral Hierarchy of Strategy Logic
  Joint work with A. Murano and L. Sauro at CLIMA'14.
  doi:10.1007/978-3-319-09764-0_10
  
• MCMAS-SLK: A Model Checker for the Verification of Strategy Logic Specifications
  Joint work with P. Cermak, A. Lomuscio, and A. Murano at CAV'14.
  Extended version in I&C'18.
  doi:10.1007/978-3-319-08867-9_34
  
• Strategy Games: A Renewed Framework
  Joint work with A. Murano and L. Sauro at AAMAS'14.
  isbn:978-1-4503-2738-1
  

2013

• On Promptness in Parity Games
  Joint work with A. Murano and L. Sorrentino at LPAR'13.
  Extended version in FI'15.
  doi:10.1007/978-3-642-45221-5_40
  
• Substructure Temporal Logic
  Joint work with M. Benerecetti and A. Murano at LICS'13.
  Extended version in TOCL'15.
  doi:10.1109/LICS.2013.43
  
• On the Boundary of Behavioral Strategies
  Joint work with A. Murano and L. Sauro at LICS'13.
  doi:10.1109/LICS.2013.32
  

2012

• What Makes ATL* Decidable? A Decidable Fragment of Strategy Logic
  Joint work with A. Murano, G. Perelli, and M.Y. Vardi at CONCUR'12.
  Extended version in LMCS'17.
  doi:10.1007/978-3-642-32940-1_15
  

2011

• Synthesis of Hierarchical Systems
  Joint work with B. Aminof and A. Murano at FACS'11.
  Extended version in SCP'14.
  doi:10.1007/978-3-642-35743-5_4
  

2010

• Reasoning about Strategies
  Joint work with A. Murano and M.Y. Vardi at FSTTCS'10.
  Extended versions in TOCL'14 and LMCS'17.
  doi:10.4230/LIPIcs.FSTTCS.2010.133
  
• Graded Computation Tree Logic with Binary Coding
  Joint work with A. Bianco and A. Murano at CSL'10.
  Extended version in TOCL'12.
  doi:10.1007/978-3-642-15205-4_13
  
• Exploring the Boundary of Half Positionality
  Joint work with A. Bianco, M. Faella, and A. Murano at CLIMA'10.
  Extended version in AMAI'11.
  doi:10.1007/978-3-642-14977-1_14
  
• Relentful Strategic Reasoning in Alternating-Time Temporal Logic
  Joint work with A. Murano and M.Y. Vardi at LPAR'10.
  Extended version in JLC'16.
  doi:10.1007/978-3-642-17511-4_21
  
• Quantitative Fairness Games
  Joint work with A. Bianco, M. Faella, and A. Murano at QAPL'10.
  Extended version in TCS'12.
  doi:10.4204/EPTCS.28.4
  

2009

• Balanced Paths in Colored Graphs
  Joint work with A. Bianco, M. Faella, and A. Murano at MFCS'09.
  Extended version in TCS'12.
  doi:10.1007/978-3-642-03816-7_14
  
• Graded Computation Tree Logic
  Joint work with A. Bianco and A. Murano at LICS'09.
  Extended version in TOCL'12.
  doi:10.1109/LICS.2009.28
  
• Branching-Time Temporal Logics with Minimal Model Quantifiers
  Joint work with A. Murano at DLT'09.
  doi:10.1007/978-3-642-02737-6_32
  

2008

• Comparing Rule-Based Policies
  Joint work with A.P. Bonatti at POLICY'08.
  doi:10.1109/POLICY.2008.16
  

Workshop notes

2023

• Plan Logic
  Joint work with D. Bellier, M. Benerecetti, and S. Pinchinat at Highlights'23.
  

2021

• Priority Promotion with Parysian Flair
  Joint work with M. Benerecetti, D. Dell'Erba, S. Schewe, and D. Wojtczak at Highlights'21.
  
• Good-for-Game QPTL: An Alternating Hodges Semantics
  Joint work with D. Bellier, M. Benerecetti, and D. Della Monica at Highlights'21.
  
• Good-for-Game QPTL: An Alternating Hodges Semantics
  Joint work with D. Bellier, M. Benerecetti, and D. Della Monica at LODE(ESSLLI)'21.
  
• Good-for-Game QPTL: An Alternating Hodges Semantics
  Joint work with D. Bellier, M. Benerecetti, and D. Della Monica at WAS(ESSLLI)'21.
  
• Good-for-Game QPTL: An Alternating Hodges Semantics
  Joint work with D. Bellier, M. Benerecetti, and D. Della Monica at LC'21.
  

2019

• Quasi Dominion Measures for Mean-Payoff Games
  Joint work with M. Benerecetti and D. Dell'Erba at Highlights'19.
  Note about TACAS'20.
  
• Attacking Diophantus: Solving a Special Case of Bag Containment
  Joint work with G. Konstantinidis at HDMS'19.
  Note about PODS'19.
  

2017

• Herbrand Property, Finite Quasi-Herbrand Models, and a Chandra-Merlin Theorem for Quantified Conjunctive Queries
  Joint work with S. Bova at Highlights'17.
  Note about LICS'17.
  

2015

• Solving Parity Games via Priority Promotion
  Joint work with M. Benerecetti and D. Dell'Erba at Highlights'15.
  Note about CAV'16.
  
• Reasoning about Graded Modalities in Strategy Logic
  Joint work with V. Malvone, A. Murano, and L. Sorrentino at Highlights'15.
  Note about TIME'15.
  

2014

• On the Remarkable Features of Binding Forms
  Joint work with G. Perelli at Highlights'14.
  Note about CSL'15.
  
• Beyond One-Goal Strategy Logic
  Joint work with A. Murano and L. Sauro at Highlights'14.
  Note about CLIMA'14.
  
• On the Conjunctive and Disjunctive Fragments of Strategy Logic
  Joint work with A. Murano and L. Sauro at LAMAS'14.
  Note about LICS'13.
  

2013

• On the Boundary of Behavioral Strategies
  Joint work with A. Murano and L. Sauro at Highlights'13.
  Note about LICS'13.
  
• On Promptness in Parity Games
  Joint work with A. Murano and L. Sorrentino at Highlights'13.
  Note about LPAR'13.
  

2012

• Substructure Temporal Logic
  Joint work with M. Benerecetti and A. Murano at GAMES'12.
  Note about LICS'13.
  
• Strategy Logic Fragments
  Joint work with A. Murano, G. Perelli, and M.Y. Vardi at GAMES'12.
  Note about CONCUR'12.
  
• Strategy Logic
  Joint work with A. Murano and M.Y. Vardi at GAMES'12.
  Note about FSTTCS'10.
  
• The Strategy Logic Saga
  Joint work with A. Murano, G. Perelli, L. Sauro, and M.Y. Vardi at GASICS'12.
  Note about FSTTCS'10, CONCUR'12, and LICS'13.
  

2011

• Synthesis of Hierarchical Systems from a Library
  Joint work with B. Aminof and A. Murano at GAMES'11.
  Note about FACS'11.
  

2010

• Graded Computation Tree Logic
  Joint work with A. Bianco and A. Murano at GAMES'10.
  Note about LICS'09 and CSL'10.
  
• Rlentful Strategic Reasoning in Alternating-Time Temporal Logic
  Joint work with A. Murano and M.Y. Vardi at GAMES'10.
  Note about LPAR'10.
  

2009

• Balance Games on Colored Graphs
  Joint work with A. Bianco, M. Faella, and A. Murano at GAMES'09.
  Note about QAPL'10.
  

Technical reports

2024

• Automata-Theoretic Characterisations of Branching-Time Temporal Logics
  Technical report of ICALP'24.
  Joint work with M. Benerecetti, L. Bozzelli, and A. Peron.
  doi:10.48550/arXiv.2404.17421.
  

2023

• Alternating (In)Dependence-Friendly Logic
  Technical report of APAL'23.
  Joint work with D. Bellier, M. Benerecetti, and D. Della Monica.
  doi:10.48550/arXiv.2304.11652.
  
• Quantifying over Trees in Monadic Second-Order Logic
  Technical report of LICS'23.
  Joint work with M. Benerecetti, L. Bozzelli, and A. Peron.
  doi:10.48550/arXiv.2304.11613.
  

2021

• Satisfiability and Containment of Recursive SHACL
  Technical report of JOWS'22.
  Joint work with P. Pareti and G. Konstantinidis.
  doi:10.48550/arXiv.2108.13063.
  
• Priority Promotion with Parysian Flair
  Joint work with M. Benerecetti, D. Dell'Erba, S. Schewe, and D. Wojtczak.
  doi:10.48550/arXiv.2105.01738.
  
• Good-for-Game QPTL: An Alternating Hodges Semantics
  Technical report of TOCL'22.
  Joint work with D. Bellier, M. Benerecetti, and D. Della Monica.
  doi:10.48550/arXiv.2104.06085.
  

2020

• SHACL Satisfiability and Containment (Extended Paper)
  Technical report of ISWC'20.
  Joint work with P. Pareti, G. Konstantinidis, and T.J. Norman.
  doi:10.48550/arXiv.2009.09806.
  
• From Quasi Dominions to Progress Measures
  Technical report of Lecture Notes Series of IMS NUS.
  Joint work with M. Benerecetti, D. Dell'Erba, and M. Faella.
  doi:10.48550/arXiv.2008.04232.
  

2019

• Solving Mean-Payoff Games via Quasi Dominions
  Technical report of TACAS'20.
  Joint work with M. Benerecetti and D. Dell'Erba.
  doi:10.48550/arXiv.1907.06264.
  

2014

• On the Remarkable Features of Binding Forms
  Technical report of CSL'15.
  Joint work with G. Perelli.
  doi:10.48550/arXiv.1404.1531.
  
• MCMAS-SLK: A Model Checker for the Verification of Strategy Logic Specifications
  Technical report of CAV'14.
  Joint work with P. Cermak, A. Lomuscio, and A. Murano.
  doi:10.48550/arXiv.1402.2948.
  

2012

• A Decidable Fragment of Strategy Logic
  Technical report of CONCUR'12.
  Joint work with A. Murano, G. Perelli, and M.Y. Vardi.
  doi:10.48550/arXiv.1202.1309.
  

2011

• Reasoning About Strategies: On the Model-Checking Problem
  Technical report of TOCL'14.
  Joint work with A. Murano, G. Perelli, and M.Y. Vardi.
  doi:10.48550/arXiv.1112.6275.
  

2008

• Graded Computation Tree Logic
  Technical report of LICS'09.
  Joint work with A. Bianco and A. Murano.
  
• Formal Policy Analysis Techniques for Comparison and Validation
  Technical report of POLICY'08.
  Joint work with A.P. Bonatti.