Fabio Mogavero
Scholar

Fabio Mogavero

Google Scholar ID: 6A_0bmcAAAAJ
Università degli Studi di Napoli Federico II
Theoretical Computer Science
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
1,425
 
H-index
18
 
i10-index
31
 
Publications
20
 
Co-authors
19
list available
Contact
No contact links provided.
Publications
4 items
Deciding the Common Fragment of CTL with Past and LTL
2026
Cited
0
Automaton-based Characterisations of First Order Logic over Infinite Trees
2026
Cited
0
Common Foundations for Recursive Shape Languages
2026
Cited
0
An Automaton-based Characterisation of First-Order Logic over Infinite Trees
2025
Cited
0
Resume (English only)
Co-authors
19 total
Aniello Murano
Aniello Murano
Full Professor in Computer Science, Università degli Studi di Napoli Federico II
Massimo Benerecetti
Massimo Benerecetti
Professore di Informatica, Università di Napoli "Federico II"
Moshe Y. Vardi
Moshe Y. Vardi
Rice University
Giuseppe Perelli
Giuseppe Perelli
Associate Professor at Sapienza University of Rome
Co-author 5
Co-author 5
George Konstantinidis
George Konstantinidis
Associate Professor, Electronics and Computer Science, University of Southampton
Marco Faella
Marco Faella
Università di Napoli "Federico II", Italy
Alessio R Lomuscio
Alessio R Lomuscio
Imperial College London