Fabio Mogavero

Cited by

	All	Since 2018
Citations	1136	621
h-index	16	12
i10-index	27	16

160

120

2009201020112012201320142015201620172018201920202021202220239 15 7 31 36 90 105 99 101 158 115 99 93 87 69

Public access

View all

16 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Aniello MuranoAssociate Professor in Computer Science, Università degli Studi di Napoli Federico IIVerified email at unina.it
Moshe Y. VardiRice UniversityVerified email at cs.rice.edu
Giuseppe PerelliAssistant Professor at Sapienza University of RomeVerified email at di.uniroma1.it
Massimo BenerecettiProfessore di Informatica, Università di Napoli "Federico II"Verified email at unina.it
Loredana SorrentinoUniversità di Napoli Federico IIVerified email at unina.it
Alessio R LomuscioImperial College LondonVerified email at imperial.ac.uk
Marco FaellaUniversità di Napoli "Federico II", ItalyVerified email at unina.it
George KonstantinidisElectronics and Computer Science, University of SouthamptonVerified email at soton.ac.uk
Paolo ParetiUniversity of WinchesterVerified email at winchester.ac.uk
Vadim MalvoneTélécom ParisVerified email at telecom-paris.fr
Egor V. KostylevAssociate Professor, University of OsloVerified email at ifi.uio.no
Michael BenediktProfessor of Computer Science, Oxford UniversityVerified email at cs.ox.ac.uk
Efthymia TsamouraAlan Turing Institute, University of OxfordVerified email at cs.ox.ac.uk
Erman AcarInstitute of Logic, Language and Computation & SIAS Lab, University of AmsterdamVerified email at uva.nl
Dominik WojtczakDepartment of Computer Science, University of LiverpoolVerified email at liverpool.ac.uk
Sven ScheweProfessor of Computer Science, University of LiverpoolVerified email at liverpool.ac.uk
Massimo MerroProfessor of Computer Science, Verona University - ItalyVerified email at univr.it
Ruggero LanotteRicercatore in Informatica Università dell'InsubriaVerified email at uninsubria.it
Luigi Libero Lucio StaracePh.D. in Information Technology and Electrical EngineeringVerified email at unina.it

Fabio Mogavero

Università degli Studi di Napoli Federico II

Verified email at fabiomogavero.com - Homepage

Theoretical Computer Science


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Reasoning about strategies: On the model-checking problem F Mogavero, A Murano, G Perelli, MY Vardi ACM Transactions on Computational Logic (TOCL) 15 (4), 1-47, 2014	329*	2014
MCMAS-SLK: A model checker for the verification of strategy logic specifications P Čermák, A Lomuscio, F Mogavero, A Murano Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014	104	2014
What Makes ATL* Decidable? A Decidable Fragment of Strategy Logic. F Mogavero, A Murano, G Perelli, MY Vardi CONCUR 12, 193-208, 2012	93	2012
Graded computation tree logic A Bianco, F Mogavero, A Murano ACM Transactions on Computational Logic (TOCL) 13 (3), 1-53, 2012	54	2012
Reasoning about strategies: on the satisfiability problem F Mogavero, A Murano, G Perelli, MY Vardi arXiv preprint arXiv:1611.08541, 2016	48	2016
Solving parity games via priority promotion M Benerecetti, D Dell’Erba, F Mogavero Formal Methods in System Design 52, 193-226, 2018	38	2018
Relentful Strategic Reasoning in Alternating-Time Temporal Logic. F Mogavero, A Murano, MY Vardi LPAR (Dakar) 6355, 371-386, 2010	38*	2010
On the boundary of behavioral strategies F Mogavero, A Murano, L Sauro 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 263-272, 2013	37	2013
On promptness in parity games F Mogavero, A Murano, L Sorrentino Fundamenta Informaticae 139 (3), 277-305, 2015	36	2015
Synthesis of hierarchical systems B Aminof, F Mogavero, A Murano Science of Computer Programming 83, 56-79, 2014	34	2014
Practical verification of multi-agent systems against SLK specifications P Čermák, A Lomuscio, F Mogavero, A Murano Information and Computation 261, 588-614, 2018	29	2018
A behavioral hierarchy of strategy logic F Mogavero, A Murano, L Sauro Computational Logic in Multi-Agent Systems: 15th International Workshop …, 2014	24	2014
Graded computation tree logic with binary coding A Bianco, F Mogavero, A Murano Computer Science Logic: 24th International Workshop, CSL 2010, 19th Annual …, 2010	17	2010
Comparing Rule-Based Policies PA Bonatti, F Mogavero Policies for Distributed Systems and Networks, 2008. POLICY 2008. IEEE …, 2008	17	2008
SHACL satisfiability and containment P Pareti, G Konstantinidis, F Mogavero, TJ Norman The Semantic Web–ISWC 2020: 19th International Semantic Web Conference …, 2020	16	2020
Strategy games: a renewed framework F Mogavero, A Murano, L Sauro Proceedings of the 2014 international conference on Autonomous agents and …, 2014	16	2014
Substructure temporal logic M Benerecetti, F Mogavero, A Murano 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 368-377, 2013	16	2013
Improving priority promotion for parity games M Benerecetti, D Dell’Erba, F Mogavero Hardware and Software: Verification and Testing: 12th International Haifa …, 2016	15	2016
Reasoning about graded strategy quantifiers V Malvone, F Mogavero, A Murano, L Sorrentino Information and Computation 259, 390-411, 2018	14	2018
Binding forms in first-order logic F Mogavero, G Perelli Schloss Dagstuhl, 2015	13	2015

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors