Scholar
Massimo Benerecetti
Google Scholar ID: _qk1fn0AAAAJ
Professore di Informatica, Università di Napoli "Federico II"
Theoretical Computer Science
Formal Methods
Model Checking
Logics for Computer Science
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
1,414
H-index
20
i10-index
35
Publications
20
Co-authors
15
list available
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
Co-authors
9 total
Fabio Mogavero
Università degli Studi di Napoli Federico II
Luciano Serafini
Head of Data and Knowledge Management Research Unit, Fondazione Bruno Kessler, Trento, Italy
Fausto Giunchiglia
Professor of Computer Science, Università di Trento
Chiara Ghidini
Free University of Bozen-Bolzano
Marco Faella
Università di Napoli "Federico II", Italy
Alessandro Cimatti
Fondazione Bruno Kessler
nicola mazzocca
Università di Napoli Federico II
Enrico Giunchiglia
DIBRIS - Università di Genova
