Gabriele Puppis
Scholar

Gabriele Puppis

Google Scholar ID: WW1HaMQAAAAJ
Dept. of Mathematics, Computer Science, and Physics
Languages & automata theoryLogicsAlgebrasDatabase theory
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
879
 
H-index
18
 
i10-index
34
 
Publications
20
 
Co-authors
36
list available
Contact
No contact links provided.
Publications
4 items
Minimization of Streaming Transducers
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
Finite-valued Streaming String Transducers
Logic in Computer Science · 2024
Cited
0
Resume (English only)
Co-authors
36 total
Angelo Montanari
Angelo Montanari
Professor of Computer Science, Univ. of Udine
Michael Benedikt
Michael Benedikt
Professor of Computer Science, Oxford University
Anca Muscholl
Anca Muscholl
LaBRI, Univ. of Bordeaux
Pietro Sala
Pietro Sala
Associate Professor in Computer Science, University of Verona
Cristian Riveros
Cristian Riveros
Associate Professor, Computer Science Department, PUC Chile
Co-author 6
Co-author 6
Ugo Dal Lago
Ugo Dal Lago
University of Bologna and INRIA Sophia Antipolis
Pierre Bourhis
Pierre Bourhis
Researcher, CNRS