Fabio Mogavero

Cited by

	All	Since 2019
Citations	1282	613
h-index	17	10
i10-index	30	17

160

120

20092010201120122013201420152016201720182019202020212022202320249 16 6 35 31 87 100 94 104 154 104 110 85 91 133 87

Public access

View all

18 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Aniello MuranoFull Professor in Computer Science, Università degli Studi di Napoli Federico IIVerified email at unina.it
Moshe Y. VardiRice UniversityVerified email at cs.rice.edu
Massimo BenerecettiProfessore di Informatica, Università di Napoli "Federico II"Verified email at unina.it
Giuseppe PerelliAssistant Professor at Sapienza University of RomeVerified email at di.uniroma1.it
Loredana SorrentinoUniversità di Napoli Federico IIVerified email at unina.it
Marco FaellaUniversità di Napoli "Federico II", ItalyVerified email at unina.it
Alessio R LomuscioImperial College LondonVerified email at imperial.ac.uk
George KonstantinidisAssociate Professor, Electronics 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 & Informatics Institute, University of AmsterdamVerified email at uva.nl
Luigi Libero Lucio StaracePh.D. in Information Technology and Electrical EngineeringVerified email at unina.it
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 LanotteUniversità dell'InsubriaVerified email at uninsubria.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	369*	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	110	2014
What Makes Atl* Decidable? A Decidable Fragment of Strategy Logic F Mogavero, A Murano, G Perelli, MY Vardi CONCUR 2012–Concurrency Theory: 23rd International Conference, CONCUR 2012 …, 2012	94	2012
Graded computation tree logic A Bianco, F Mogavero, A Murano ACM Transactions on Computational Logic (TOCL) 13 (3), 1-53, 2012	55	2012
Reasoning about strategies: on the satisfiability problem F Mogavero, A Murano, G Perelli, MY Vardi Logical Methods in Computer Science 13, 2017	51	2017
Synthesis of hierarchical systems B Aminof, F Mogavero, A Murano Science of Computer Programming 83, 56-79, 2014	39	2014
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
Relentful strategic reasoning in alternating-time temporal logic F Mogavero, A Murano, MY Vardi Logic for Programming, Artificial Intelligence, and Reasoning: 16th …, 2010	37*	2010
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	34	2018
Solving parity games via priority promotion M Benerecetti, D Dell’Erba, F Mogavero Computer Aided Verification: 28th International Conference, CAV 2016 …, 2016	32	2016
On promptness in parity games F Mogavero, A Murano, L Sorrentino Fundamenta Informaticae 139 (3), 277-305, 2015	31	2015
Solving parity games via priority promotion M Benerecetti, D Dell’Erba, F Mogavero Formal Methods in System Design 52, 193-226, 2018	26	2018
SHACL satisfiability and containment P Pareti, G Konstantinidis, F Mogavero, TJ Norman The Semantic Web–ISWC 2020: 19th International Semantic Web Conference …, 2020	23	2020
A behavioral hierarchy of strategy logic F Mogavero, A Murano, L Sauro International Workshop on Computational Logic and Multi-Agent Systems, 148-165, 2014	22	2014
Improving priority promotion for parity games M Benerecetti, D Dell’Erba, F Mogavero Haifa Verification Conference, 117-133, 2016	20	2016
Substructure temporal logic M Benerecetti, F Mogavero, A Murano 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 368-377, 2013	20	2013
Comparing Rule-Based Policies PA Bonatti, F Mogavero Policies for Distributed Systems and Networks, 2008. POLICY 2008. IEEE …, 2008	17	2008
Satisfiability and containment of recursive SHACL P Pareti, G Konstantinidis, F Mogavero Journal of Web Semantics 74, 100721, 2022	16	2022
Reasoning about graded strategy quantifiers V Malvone, F Mogavero, A Murano, L Sorrentino Information and Computation 259, 390-411, 2018	16	2018
Graded computation tree logic with binary coding A Bianco, F Mogavero, A Murano International Workshop on Computer Science Logic, 125-139, 2010	16	2010

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