Comparing Rule-Based Policies. - Piero A. Bonatti; Fabio Mogavero (POLICY, 2008)

Branching-Time Temporal Logics with Minimal Model Quantifiers. - Fabio Mogavero; Aniello Murano (Developments in Language Theory, 2009)

Balanced Paths in Colored Graphs. - Alessandro Bianco; Marco Faella; Fabio Mogavero; Aniello Murano (MFCS, 2009)

Graded Computation Tree Logic with Binary Coding. - Alessandro Bianco; Fabio Mogavero; Aniello Murano (CSL, 2010)

Reasoning About Strategies. - Fabio Mogavero; Aniello Murano; Moshe Y. Vardi (FSTTCS, 2010)

Quantitative Fairness Games - Alessandro Bianco; Marco Faella; Fabio Mogavero; Aniello Murano (QAPL, 2010)

Logics in Computer Science. - Fabio Mogavero (2010)

Exploring the boundary of half-positionality. - Alessandro Bianco; Marco Faella; Fabio Mogavero; Aniello Murano (Ann. Math. Artif. Intell., 2011)

What Makes Atl* Decidable? A Decidable Fragment of Strategy Logic. - Fabio Mogavero; Aniello Murano; Giuseppe Perelli; Moshe Y. Vardi (CONCUR, 2012)

A Decidable Fragment of Strategy Logic - Fabio Mogavero; Aniello Murano; Giuseppe Perelli; Moshe Y. Vardi (CoRR, 2012)

Quantitatively fair scheduling. - Alessandro Bianco; Marco Faella; Fabio Mogavero; Aniello Murano (Theor. Comput. Sci., 2012)

Graded computation tree logic. - Alessandro Bianco; Fabio Mogavero; Aniello Murano (ACM Trans. Comput. Log., 2012)

Logics in Computer Science - A Study on Extensions of Temporal and Strategic Logics. - Fabio Mogavero (Atlantis Press, 2013)

Substructure Temporal Logic. - Massimo Benerecetti; Fabio Mogavero; Aniello Murano (LICS, 2013)

On the Boundary of Behavioral Strategies. - Fabio Mogavero; Aniello Murano; Luigi Sauro (LICS, 2013)

Strategy games: a renewed framework. - Fabio Mogavero; Aniello Murano; Luigi Sauro (AAMAS, 2014)

MCMAS-SLK: A Model Checker for the Verification of Strategy Logic Specifications. - Petr Cermák; Alessio Lomuscio; Fabio Mogavero; Aniello Murano (CAV, 2014)

A Behavioral Hierarchy of Strategy Logic. - Fabio Mogavero; Aniello Murano; Luigi Sauro (CLIMA, 2014)

On the Remarkable Features of Binding Forms. - Fabio Mogavero; Giuseppe Perelli (CoRR, 2014)

Synthesis of hierarchical systems. - Benjamin Aminof; Fabio Mogavero; Aniello Murano (Sci. Comput. Program., 2014)

Reasoning About Strategies: On the Model-Checking Problem. - Fabio Mogavero; Aniello Murano; Giuseppe Perelli; Moshe Y. Vardi (ACM Trans. Comput. Log., 2014)

Binding Forms in First-Order Logic. - Fabio Mogavero; Giuseppe Perelli (CSL, 2015)

On the Counting of Strategies. - Vadim Malvone; Fabio Mogavero; Aniello Murano; Loredana Sorrentino (TIME, 2015)

On Promptness in Parity Games. - Fabio Mogavero; Aniello Murano; Loredana Sorrentino (Fundam. Informaticae, 2015)

Special issue on SR 2013. - Fabio Mogavero; Aniello Murano; Moshe Y. Vardi (Inf. Comput., 2015)

Reasoning About Substructures and Games. - Massimo Benerecetti; Fabio Mogavero; Aniello Murano (ACM Trans. Comput. Log., 2015)

Improving Priority Promotion for Parity Games. - Massimo Benerecetti; Daniele Dell'Erba; Fabio Mogavero (Haifa Verification Conference, 2016)

A Delayed Promotion Policy for Parity Games. - Massimo Benerecetti; Daniele Dell'Erba; Fabio Mogavero (GandALF, 2016)

Cycle Detection in Computation Tree Logic. - Gaëlle Fontaine; Fabio Mogavero; Aniello Murano; Giuseppe Perelli; Loredana Sorrentino (GandALF, 2016)

Relentful strategic reasoning in alternating-time temporal logic. - Fabio Mogavero; Aniello Murano; Moshe Y. Vardi (J. Log. Comput., 2016)

Reformulating Queries: Theory and Practice. - Michael Benedikt; Egor V. Kostylev; Fabio Mogavero; Efthymia Tsamoura (IJCAI, 2017)

Herbrand property, finite quasi-Herbrand models, and a Chandra-Merlin theorem for quantified conjunctive queries. - Simone Bova; Fabio Mogavero (LICS, 2017)

Reasoning about Strategies: on the Satisfiability Problem. - Fabio Mogavero; Aniello Murano; Giuseppe Perelli; Moshe Y. Vardi (Log. Methods Comput. Sci., 2017)

Robust Exponential Worst Cases for Divide-et-Impera Algorithms for Parity Games. - Massimo Benerecetti; Daniele Dell'Erba; Fabio Mogavero (GandALF, 2017)

Preface to the Special Issue on SR 2014. - Fabio Mogavero; Aniello Murano; Moshe Y. Vardi (Inf. Comput., 2017)

Solving parity games via priority promotion. - Massimo Benerecetti; Daniele Dell'Erba; Fabio Mogavero (Formal Methods Syst. Des., 2018)

Practical verification of multi-agent systems against Slk specifications. - Petr Cermák; Alessio Lomuscio; Fabio Mogavero; Aniello Murano (Inf. Comput., 2018)

Reasoning about graded strategy quantifiers. - Vadim Malvone; Fabio Mogavero; Aniello Murano; Loredana Sorrentino (Inf. Comput., 2018)

Satisfiability in Strategy Logic Can Be Easier than Model Checking. - Erman Acar; Massimo Benerecetti; Fabio Mogavero (AAAI, 2019)

On the decidability of linear bounded periodic cyber-physical systems. - Ruggero Lanotte; Massimo Merro; Fabio Mogavero (HSCC, 2019)

Attacking Diophantus: Solving a Special Case of Bag Containment. - George Konstantinidis 001; Fabio Mogavero (PODS, 2019)

SHACL Satisfiability and Containment. - Paolo Pareti; George Konstantinidis 001; Fabio Mogavero; Timothy J. Norman (ISWC (1), 2020)

From Quasi-Dominions to Progress Measures. - Massimo Benerecetti; Daniele Dell'Erba; Marco Faella; Fabio Mogavero (CoRR, 2020)

SHACL Satisfiability and Containment (Extended Paper). - Paolo Pareti; George Konstantinidis 001; Fabio Mogavero; Timothy J. Norman (CoRR, 2020)

Robust worst cases for parity games algorithms. - Massimo Benerecetti; Daniele Dell'Erba; Fabio Mogavero (Inf. Comput., 2020)

Expressing Structural Temporal Properties of Safety Critical Hierarchical Systems. - Massimo Benerecetti; Fabio Mogavero; Adriano Peron; Luigi Libero Lucio Starace (QUATIC, 2021)

Satisfiability and containment of recursive SHACL. - Paolo Pareti; George Konstantinidis 001; Fabio Mogavero (J. Web Semant., 2022)

Quantifying Over Trees in Monadic Second-Order Logic. - Massimo Benerecetti; Laura Bozzelli; Fabio Mogavero; Adriano Peron (LICS, 2023)

Good-for-Game QPTL: An Alternating Hodges Semantics. - Dylan Bellier; Massimo Benerecetti; Dario Della Monica; Fabio Mogavero (ACM Trans. Comput. Log., 2023)

Taming Strategy Logic: Non-Recurrent Fragments. - Massimo Benerecetti; Fabio Mogavero; Adriano Peron (Inf. Comput., 2023)

Alternating (In)Dependence-Friendly Logic. - Dylan Bellier; Massimo Benerecetti; Dario Della Monica; Fabio Mogavero (Ann. Pure Appl. Log., 2023)

Plan Logic. - Dylan Bellier; Massimo Benerecetti; Fabio Mogavero; Sophie Pinchinat (FSTTCS, 2024)

Automata-Theoretic Characterisations of Branching-Time Temporal Logics. - Massimo Benerecetti; Laura Bozzelli; Fabio Mogavero; Adriano Peron (ICALP, 2024)

Full Characterisation of Extended CTL. - Massimo Benerecetti; Laura Bozzelli; Fabio Mogavero; Adriano Peron (TIME, 2024)

Model Checking Linear Temporal Properties on Polyhedral Systems. - Massimo Benerecetti; Marco Faella; Fabio Mogavero (TIME, 2024)

Solving mean-payoff games via quasi dominions. - Massimo Benerecetti; Daniele Dell'Erba; Fabio Mogavero (Inf. Comput., 2024)

Bag Containment of Join-On-Free Queries. - George Konstantinidis 001; Fabio Mogavero (ICDT, 2025)

Common Foundations for SHACL, ShEx, and PG-Schema. - Shqiponja Ahmetaj; Iovka Boneva; Jan Hidders; Katja Hose; Maxime Jakubowski; José Emilio Labra Gayo; Wim Martens; Fabio Mogavero; Filip Murlak; Cem Okulmus; Axel Polleres; Ognjen Savkovic; et al. (WWW, 2025)

Priority Promotion with Parysian flair. - Massimo Benerecetti; Daniele Dell'Erba; Fabio Mogavero; Sven Schewe; Dominik Wojtczak (J. Comput. Syst. Sci., 2025)