Fabio Mogavero

Cited by

	All	Since 2017
Citations	1028	610
h-index	15	12
i10-index	23	14

160

120

200920102011201220132014201520162017201820192020202120229 16 6 33 33 90 111 96 104 149 121 96 103 37

Public access

View all

14 articles

1 article

available

not available

Based on funding mandates

Co-authors

Aniello MuranoAssociate Professor in Computer Science, Università degli Studi di Napoli Federico IIVerified email at na.infn.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
Vadim MalvoneTélécom ParisVerified email at unina.it
Paolo ParetiUniversity of WinchesterVerified email at winchester.ac.uk
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 AcarReinforcement Learning Group, Institute of Advanced Computer Science, Leiden UniversityVerified email at liacs.leidenuniv.nl
Massimo MerroProfessor of Computer Science, Verona University - ItalyVerified email at univr.it
Ruggero LanotteRicercatore in Informatica Università dell'InsubriaVerified email at uninsubria.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
Luigi Libero Lucio StaracePh.D. student in Information Technology and Electrical Engineering, Università degli Studi di NapoliVerified 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	298*	2014
MCMAS-SLK: A model checker for the verification of strategy logic specifications P Čermák, A Lomuscio, F Mogavero, A Murano International Conference on Computer Aided Verification, 525-532, 2014	100	2014
What Makes Atl* Decidable? A Decidable Fragment of Strategy Logic F Mogavero, A Murano, G Perelli, MY Vardi International Conference on Concurrency Theory, 193-208, 2012	88	2012
Graded computation tree logic A Bianco, F Mogavero, A Murano ACM Transactions on Computational Logic (TOCL) 13 (3), 1-53, 2012	53	2012
Relentful strategic reasoning in alternating-time temporal logic F Mogavero, A Murano, MY Vardi International Conference on Logic for Programming Artificial Intelligence …, 2010	38*	2010
Reasoning about strategies: on the satisfiability problem F Mogavero, A Murano, G Perelli, MY Vardi arXiv preprint arXiv:1611.08541, 2016	37	2016
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	35	2013
On promptness in parity games F Mogavero, A Murano, L Sorrentino Fundamenta Informaticae 139 (3), 277-305, 2015	34	2015
Synthesis of hierarchical systems B Aminof, F Mogavero, A Murano Science of Computer Programming 83, 56-79, 2014	34	2014
Solving parity games via priority promotion M Benerecetti, D Dell’Erba, F Mogavero Formal Methods in System Design 52 (2), 193-226, 2018	33	2018
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	24	2018
A behavioral hierarchy of strategy logic F Mogavero, A Murano, L Sauro International Workshop on Computational Logic and Multi-Agent Systems, 148-165, 2014	23	2014
Comparing Rule-Based Policies PA Bonatti, F Mogavero Policies for Distributed Systems and Networks, 2008. POLICY 2008. IEEE …, 2008	17	2008
Strategy games: a renewed framework F Mogavero, A Murano, L Sauro Proceedings of the 2014 international conference on Autonomous agents and …, 2014	16	2014
Graded computation tree logic with binary coding A Bianco, F Mogavero, A Murano International Workshop on Computer Science Logic, 125-139, 2010	16	2010
Improving priority promotion for parity games M Benerecetti, D Dell’Erba, F Mogavero Haifa Verification Conference, 117-133, 2016	14	2016
Substructure temporal logic M Benerecetti, F Mogavero, A Murano 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 368-377, 2013	14	2013
Reasoning about graded strategy quantifiers V Malvone, F Mogavero, A Murano, L Sorrentino Information and Computation 259, 390-411, 2018	12	2018
A decidable fragment of strategy logic F Mogavero, A Murano, G Perelli, MY Vardi arXiv preprint arXiv:1202.1309, 2012	12	2012
On the counting of strategies V Malvone, F Mogavero, A Murano, L Sorrentino 2015 22nd International Symposium on Temporal Representation and Reasoning …, 2015	11	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 this author

Cited by

Co-authors