Massimo Benerecetti
Scholar

Massimo Benerecetti

Google Scholar ID: _qk1fn0AAAAJ
Professore di Informatica, Università di Napoli "Federico II"
Theoretical Computer ScienceFormal MethodsModel CheckingLogics for Computer Science
Google Scholar↗
Citations & Impact
All-time
Citations
1,414
 
H-index
20
 
i10-index
35
 
Publications
20
 
Co-authors
15
list available
Contact
No contact links provided.
Publications
3 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
An Automaton-based Characterisation of First-Order Logic over Infinite Trees
2025
Cited
0
Resume (English only)
Co-authors
15 total
Fabio Mogavero
Fabio Mogavero
Università degli Studi di Napoli Federico II
Luciano Serafini
Luciano Serafini
Head of Data and Knowledge Management Research Unit, Fondazione Bruno Kessler, Trento, Italy
Fausto Giunchiglia
Fausto Giunchiglia
Professor of Computer Science, Università di Trento
Chiara Ghidini
Chiara Ghidini
Free University of Bozen-Bolzano
Marco Faella
Marco Faella
Università di Napoli "Federico II", Italy
Co-author 6
Co-author 6
Co-author 7
Co-author 7
Co-author 8
Co-author 8