Fabio Mogavero

Identifiers

• name variant Fabio Mogavero 0.60 · backfill

Papers (8)

1. Automaton-based Characterisations of First Order Logic over Infinite Trees cs.LO · 2026 · author #4
2. Common Foundations for Recursive Shape Languages cs.LO · 2026 · author #7
3. Solving Mean-Payoff Games via Quasi Dominions cs.LO · 2019 · author #3
4. Reasoning about Strategies: on the Satisfiability Problem cs.LO · 2016 · author #1
5. On the Remarkable Features of Binding Forms cs.LO · 2014 · author #1
6. MCMAS-SLK: A Model Checker for the Verification of Strategy Logic Specifications cs.LO · 2014 · author #3
7. A Decidable Fragment of Strategy Logic cs.LO · 2012 · author #1
8. Reasoning About Strategies: On the Model-Checking Problem cs.LO · 2011 · author #1

Mentions

• 1404.1531 #1 · backfill · confidence 0.70 Fabio Mogavero
• 1402.2948 #3 · backfill · confidence 0.70 Fabio Mogavero
• 1202.1309 #1 · backfill · confidence 0.70 Fabio Mogavero
• 1112.6275 #1 · backfill · confidence 0.70 Fabio Mogavero

Frequent Coauthors

• Aniello Murano 4 shared papers
• Giuseppe Perelli 4 shared papers
• Moshe Y. Vardi 3 shared papers
• Massimo Benerecetti 2 shared papers
• Alessio Lomuscio 1 shared papers
• Angelo Matteo 1 shared papers
• Cem Okulmus 1 shared papers
• Daniele Dell'Erba 1 shared papers
• Dario Della Monica 1 shared papers
• Dominik Tomaszuk 1 shared papers
• Filip Murlak 1 shared papers
• Gabriele Puppis 1 shared papers
• Iovka Boneva 1 shared papers
• Jan Hidders 1 shared papers
• Jose-Emilio Labra-Gayo 1 shared papers
• Mantas \v{S}imkus 1 shared papers
• Maxime Jakubowski 1 shared papers
• Ognjen Savkovi\'c 1 shared papers
• Petr \v{C}erm\'ak 1 shared papers
• Shqiponja Ahmetaj 1 shared papers