Fabio Mogavero
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
29
Venues
17
Active years
2009–2026
Best venue rank
A*
Where they publish
Papers
29 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CAV | Best-Effort Safety Control of Multi-mode Systems. | Massimo Benerecetti, Marco Faella, Fabio Mogavero |
| 2026 | KR | Common Foundations for Recursive Shape Languages. | Shqiponja Ahmetaj, Iovka Boneva, Jan Hidders, Maxime Jakubowski, Jos Emilio Labra Gayo, Wim Martens, Fabio Mogavero, Filip Murlak, Cem Okulmus, Ognjen Savkovic, Mantas Simkus, Dominik Tomaszuk |
| 2026 | MFCS | Deciding the Common Fragment of CTL with past and LTL. | Massimo Benerecetti, Dario Della Monica, Angelo Matteo, Fabio Mogavero, Gabriele Puppis |
| 2025 | ICDT | Bag Containment of Join-On-Free Queries. | George Konstantinidis, Fabio Mogavero |
| 2025 | WWW | 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, Mantas Simkus, Dominik Tomaszuk |
| 2024 | ICALP | Automata-Theoretic Characterisations of Branching-Time Temporal Logics. | Massimo Benerecetti, Laura Bozzelli, Fabio Mogavero, Adriano Peron |
| 2024 | TIME | Full Characterisation of Extended CTL. | Massimo Benerecetti, Laura Bozzelli, Fabio Mogavero, Adriano Peron |
| 2024 | TIME | Model Checking Linear Temporal Properties on Polyhedral Systems. | Massimo Benerecetti, Marco Faella, Fabio Mogavero |
| 2023 | LICS | Quantifying Over Trees in Monadic Second-Order Logic. | Massimo Benerecetti, Laura Bozzelli, Fabio Mogavero, Adriano Peron |
| 2022 | TIME | Taming Strategy Logic: Non-Recurrent Fragments. | Massimo Benerecetti, Fabio Mogavero, Adriano Peron |
| 2021 | QUATIC | Expressing Structural Temporal Properties of Safety Critical Hierarchical Systems. | Massimo Benerecetti, Fabio Mogavero, Adriano Peron, Luigi Libero Lucio Starace |
| 2020 | TACAS | Solving Mean-Payoff Games via Quasi Dominions. | Massimo Benerecetti, Daniele Dell'Erba, Fabio Mogavero |
| 2019 | AAAI | Satisfiability in Strategy Logic Can Be Easier than Model Checking. | Erman Acar, Massimo Benerecetti, Fabio Mogavero |
| 2019 | PODS | Attacking Diophantus: Solving a Special Case of Bag Containment. | George Konstantinidis, Fabio Mogavero |
| 2017 | IJCAI | Reformulating Queries: Theory and Practice. | Michael Benedikt, Egor V. Kostylev, Fabio Mogavero, Efthymia Tsamoura |
| 2017 | LICS | Herbrand property, finite quasi-Herbrand models, and a Chandra-Merlin theorem for quantified conjunctive queries. | Simone Bova, Fabio Mogavero |
| 2016 | CAV | Solving Parity Games via Priority Promotion. | Massimo Benerecetti, Daniele Dell'Erba, Fabio Mogavero |
| 2015 | CSL | Binding Forms in First-Order Logic. | Fabio Mogavero, Giuseppe Perelli |
| 2015 | TIME | On the Counting of Strategies. | Vadim Malvone, Fabio Mogavero, Aniello Murano, Loredana Sorrentino |
| 2014 | CAV | MCMAS-SLK: A Model Checker for the Verification of Strategy Logic Specifications. | Petr Cermk, Alessio Lomuscio, Fabio Mogavero, Aniello Murano |
| 2013 | LICS | Substructure Temporal Logic. | Massimo Benerecetti, Fabio Mogavero, Aniello Murano |
| 2013 | LICS | On the Boundary of Behavioral Strategies. | Fabio Mogavero, Aniello Murano, Luigi Sauro |
| 2013 | LPAR | On Promptness in Parity Games. | Fabio Mogavero, Aniello Murano, Loredana Sorrentino |
| 2012 | CONCUR | What Makes Atl* Decidable? A Decidable Fragment of Strategy Logic. | Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi |
| 2010 | CSL | Graded Computation Tree Logic with Binary Coding. | Alessandro Bianco, Fabio Mogavero, Aniello Murano |
| 2010 | LPAR | Relentful Strategic Reasoning in Alternating-Time Temporal Logic. | Fabio Mogavero, Aniello Murano, Moshe Y. Vardi |
| 2009 | DLT | Branching-Time Temporal Logics with Minimal Model Quantifiers. | Fabio Mogavero, Aniello Murano |
| 2009 | LICS | Graded Computation Tree Logic. | Alessandro Bianco, Fabio Mogavero, Aniello Murano |
| 2009 | MFCS | Balanced Paths in Colored Graphs. | Alessandro Bianco, Marco Faella, Fabio Mogavero, Aniello Murano |