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
• P. Cermak
• D. Dell'Erba
• D. Della Monica
• M. Faella
• G. Fontaine
• G. Konstantinidis
• E.V. Kostylev
• R. Lanotte
• A. Lomuscio
• V. Malvone
• M. Merro
• A. Murano
• T.J. Norman
• P. Pareti
• G. Perelli
• A. Peron
• 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

2014

• Proceedings 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 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

2022

• Good-for-Game QPTL: An Alternating Hodges Semantics
  Joint work with D. Bellier, M. Benerecetti, and D. Della Monica on TOCL.
  doi:10.1016/10.1145/3565365.
  
• Satisfiability and Containment of Recursive SHACL
  Joint work with P. Pareti and G. Konstantinidis on JOWS.
  Journal version of ISWC'20.
  doi:10.1016/j.websem.2022.100721.
  

2019

• Robust Worst Cases for Parity Games Algorithms
  Joint work with M. Benerecetti and D. Dell'Erba on I&C.
  Journal version of GANDALF'17.
  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.
  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.
  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.
  doi:10.1007/s10703-018-0315-1.
  

2017

• Reasoning about Graded Strategy Quantifiers
  Joint work with V. Malvone, A. Murano, and L. Sorrentino on I&C.
  Journal version of TIME'15.
  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.
  doi:10.1016/j.ic.2017.09.011
  

2016

• 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.
  doi:10.23638/LMCS-13(1:9)2017
  

2015

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

2014

• Relentful Strategic Reasoning in Alternating-Time Temporal Logic
  Joint work with A. Murano and M.Y. Vardi on JLC.
  Journal version of LPAR'10.
  doi:10.1093/logcom/exu052
  
• 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.
  doi:10.1145/2631917
  

2013

• Synthesis of Hierarchical Systems
  Joint work with B. Aminof and A. Murano on SCP.
  Journal version of FACS'11.
  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.
  doi:10.1145/2287718.2287725
  

2011

• Quantitatively Fair Scheduling
  Joint work with A. Bianco, M. Faella, and A. Murano on TCS.
  Journal version of MFCS'09 and QAPL'10.
  doi:10.1016/j.tcs.2011.06.029
  
• Exploring the Boundary of Half-Positionality
  Joint work with A. Bianco, M. Faella, and A. Murano on AMAI.
  Journal version of CLIMA'10.
  doi:10.1007/s10472-011-9250-1
  

Conference articles

2023

• Quantifying over Trees in Monadic Second-Order Logic
  Joint work with M. Benerecetti, L. Bozzelli, and A. Peron at LICS'23.
  To appear.
  

2022

• Taming Strategy Logic: Non-Recurrent Fragments
  Joint work with M. Benerecetti and A. Peron at TIME'22.
  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.
  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.
  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.
  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.
  doi:10.1609/aaai.v33i01.33012638
  
• Attacking Diophantus: Solving a Special Case of Bag Containment
  Joint work with G. Konstantinidis at PODS'19.
  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'19.
  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.
  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'17.
  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'17.
  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'16.
  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'13.
  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'16.
  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'14.
  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'11.
  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'11.
  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

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

2023

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

2021

• Priority Promotion with Parysian Flair
  Joint work with M. Benerecetti, D. Dell'Erba, S. Schewe, and D. Wojtczak.
  
• Good-for-Game QPTL: An Alternating Hodges Semantics
  Technical report of TOCL'22.
  Joint work with D. Bellier, M. Benerecetti, and D. Della Monica.
  

2020

• SHACL Satisfiability and Containment (Extended Paper)
  Technical report of ISWC'20.
  Joint work with P. Pareti, G. Konstantinidis, and T.J. Norman.
  
• From Quasi Dominions to Progress Measures
  Joint work with M. Benerecetti, D. Dell'Erba, and M. Faella.
  

2019

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

2014

• On the Remarkable Features of Binding Forms
  Technical report of CSL'15.
  Joint work with G. Perelli.
  
• 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.
  

2012

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

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.
  

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.