Fabio Mogavero

Dikutip oleh

	Semua	Sejak 2020
Kutipan	1360	580
indeks-h	18	11
indeks-i10	30	13

160

120

200920102011201220132014201520162017201820192020202120222023202420259 16 6 36 36 92 100 94 108 151 107 102 84 96 133 136 29

Akses publik

Lihat semua

19 artikel

0 artikel

tersedia

tidak tersedia

Berdasarkan pada mandat pendanaan

Pengarang bersama

Aniello MuranoFull Professor in Computer Science, Università degli Studi di Napoli Federico IIEmail yang diverifikasi di unina.it
Moshe Y. VardiRice UniversityEmail yang diverifikasi di cs.rice.edu
Massimo BenerecettiProfessore di Informatica, Università di Napoli "Federico II"Email yang diverifikasi di unina.it
Giuseppe PerelliAssociate Professor at Sapienza University of RomeEmail yang diverifikasi di di.uniroma1.it
Loredana SorrentinoUniversità di Napoli Federico IIEmail yang diverifikasi di unina.it
Marco FaellaUniversità di Napoli "Federico II", ItalyEmail yang diverifikasi di unina.it
George KonstantinidisAssociate Professor, Electronics and Computer Science, University of SouthamptonEmail yang diverifikasi di soton.ac.uk
Alessio R LomuscioImperial College LondonEmail yang diverifikasi di imperial.ac.uk
Paolo ParetiUniversity of WinchesterEmail yang diverifikasi di winchester.ac.uk
Vadim MalvoneTélécom ParisEmail yang diverifikasi di telecom-paris.fr
Egor V. KostylevAssociate Professor, University of OsloEmail yang diverifikasi di ifi.uio.no
Michael BenediktProfessor of Computer Science, Oxford UniversityEmail yang diverifikasi di cs.ox.ac.uk
Efthymia TsamouraAlan Turing Institute, University of OxfordEmail yang diverifikasi di cs.ox.ac.uk
Erman AcarInstitute for Logic, Language and Computation & Informatics Institute, University of AmsterdamEmail yang diverifikasi di uva.nl
Dominik WojtczakDepartment of Computer Science, University of LiverpoolEmail yang diverifikasi di liverpool.ac.uk
Sven ScheweProfessor of Computer Science, University of LiverpoolEmail yang diverifikasi di liverpool.ac.uk
Luigi Libero Lucio StaracePh.D. in Information Technology and Electrical EngineeringEmail yang diverifikasi di unina.it
Massimo MerroProfessor of Computer Science, Verona University - ItalyEmail yang diverifikasi di univr.it
Ruggero LanotteUniversità dell'InsubriaEmail yang diverifikasi di uninsubria.it

Ikuti

Fabio Mogavero

Università degli Studi di Napoli Federico II

Email yang diverifikasi di fabiomogavero.com - Beranda

Theoretical Computer Science


Judul Urutkan menurut kutipan Urutkan menurut tahun Urutkan menurut judul	Dikutip oleh Dikutip oleh	Tahun
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	404*	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	116	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	99	2012
Reasoning about strategies: on the satisfiability problem F Mogavero, A Murano, G Perelli, MY Vardi Logical Methods in Computer Science 13, 2017	57	2017
Graded computation tree logic A Bianco, F Mogavero, A Murano ACM Transactions on Computational Logic (TOCL) 13 (3), 1-53, 2012	55	2012
Synthesis of hierarchical systems B Aminof, F Mogavero, A Murano Science of Computer Programming 83, 56-79, 2014	39	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	38	2018
Relentful strategic reasoning in alternating-time temporal logic F Mogavero, A Murano, MY Vardi Logic for Programming, Artificial Intelligence, and Reasoning: 16th …, 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
Solving parity games via priority promotion M Benerecetti, D Dell’Erba, F Mogavero Computer Aided Verification: 28th International Conference, CAV 2016 …, 2016	33	2016
On promptness in parity games F Mogavero, A Murano, L Sorrentino Fundamenta Informaticae 139 (3), 277-305, 2015	33	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	24	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
Substructure temporal logic M Benerecetti, F Mogavero, A Murano 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 368-377, 2013	21	2013
Satisfiability and containment of recursive SHACL P Pareti, G Konstantinidis, F Mogavero Journal of Web Semantics 74, 100721, 2022	19	2022
Improving priority promotion for parity games M Benerecetti, D Dell’Erba, F Mogavero Haifa Verification Conference, 117-133, 2016	19	2016
Comparing Rule-Based Policies PA Bonatti, F Mogavero Policies for Distributed Systems and Networks, 2008. POLICY 2008. IEEE …, 2008	18	2008
Reasoning about graded strategy quantifiers V Malvone, F Mogavero, A Murano, L Sorrentino Information and Computation 259, 390-411, 2018	16	2018
Reasoning about substructures and games M Benerecetti, F Mogavero, A Murano ACM Transactions on Computational Logic (TOCL) 16 (3), 1-51, 2015	16	2015

Sistem tidak dapat melakukan operasi ini. Coba lagi nanti.

Artikel 1–20

Kutipan per tahun

Kutipan duplikat

Kutipan yang digabung

Tambahkan pengarang bersamaPengarang bersama

Ikuti

Dikutip oleh

Pengarang bersama