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

277

H-index

10

i10-index

10

Publications

20

Co-authors

15

list available

Contact

No contact links provided.

Publications

1 items

An Automaton-based Characterisation of First-Order Logic over Infinite Trees

2025

Cited

0

Resume (English only)

Co-authors

15 total

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

Free University of Bozen-Bolzano

Università di Napoli "Federico II", Italy