Carlo Ghezzi
Scholar

Carlo Ghezzi

Google Scholar ID: Y8BLBGcAAAAJ
Emeritus Professor, Politecnico di Milano
Software engineeringdependable and evolvable systemsprogramming languagesethical and societal aspects of computing
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
16,833
 
H-index
66
 
i10-index
214
 
Publications
20
 
Co-authors
86
list available
Contact
No contact links provided.
Publications
1 items
Syntax-driven Incremental Program Verification of Matching Logic Properties
2026
Cited
0
Resume (English only)
Co-authors
86 total
Luciano Baresi
Luciano Baresi
DEIB - Politecnico di Milano
Co-author 2
Co-author 2
Mauro Pezzè
Mauro Pezzè
Professor of Software Engineering, USI (Switzerland) and Milano Bicocca (Italy)
Co-author 4
Co-author 4
Gianpaolo Cugola
Gianpaolo Cugola
Politecnico di Milano - DEIB
Co-author 6
Co-author 6
Raffaela Mirandola
Raffaela Mirandola
Full Professor, Karlsruhe Institute of Technology
Domenico Bianculli
Domenico Bianculli
Associate Professor/Chief Scientist 2, University of Luxembourg, Luxembourg