Scholar
Gianluca Amato
Google Scholar ID: 2dLhNN8AAAAJ
Università di Chieti-Pescara
computer science
logic
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
472
H-index
12
i10-index
17
Publications
20
Co-authors
18
list available
Publications
2 items
Experimental evaluation of optimal abstract operators for sharing and linearity analysis
2026
Cited
0
Universal Algebra in UniMath
Mathematical Structures in Computer Science · 2020
Cited
2
Co-authors
6 total
Francesca Scozzari
Associate Professor of Computer Science, Università di Chieti-Pescara
Maurizio Parton
University of Chieti-Pescara
Carlo Metta
Researcher, CNR-ISTI Pisa
Maria Chiara Meo
Professore di informatica, Università di Chieti-Pescara
Kalmer Apinis
Institute of Computer Science, University of Tartu
Helmut Seidl
Professor für Informatik, School of CIT, TU München
