Carlo Ghezzi
Papers
7
Total Citations
66
H-Index
3
About
No biography available yet.
Research Focus
Computer science7 · 66 citations
Software engineering5 · 61 citations
Programming language6 · 58 citations
Robot6 · 58 citations
Software5 · 56 citations
Artificial intelligence5 · 55 citations
Engineering3 · 51 citations
Systems engineering3 · 51 citations
Cyber-physical system3 · 36 citations
Operating system3 · 36 citations
Formal methods2 · 31 citations
Distributed computing3 · 31 citations
Key Achievements
3
H-Index
7
Papers
66
Total Citations
9
Avg Citations/Paper
🏆 Most Cited Paper
Early validation of cyber–physical space systems via multi-concerns integration
25 citations · 2020
📈 Most Prolific Year: 2020 (2 Papers)
🤝 Key Collaborators: 15
🏛 Institutions: Politecnico di Milano, University of L'Aquila
Top Papers
- 1
- 2Property specification patterns for robotic missions23 citations · 2018
- 3Formal Methods in Designing Critical Cyber-Physical Systems8 citations · 2019
- 4
- 5
- 6Towards spatial macroprogramming for sensing and actuating robot swarms2 citations · 2013
- 7Specification Patterns for Robotic Missions2 citations · 2019
Key Collaborators
CTChristos Tsigkanos5 shared papersPPPatrizio Pelliccione2 shared papersZJZhi Jin2 shared papersTBThorsten Berger2 shared papersCMClaudio Menghi2 shared papersZHZhenjiang Hu2 shared papersNLNianyu Li2 shared papersMAMehrnoosh Askarpour1 shared papersKWKamin Whitehouse1 shared papersDMDino Mandrioli1 shared papersDCDonato Clun1 shared papersMRMatteo Rossi1 shared papersVPValerio Panzica La Manna1 shared papersLMLuca Mottola1 shared papersJGJoel Greenyer1 shared papers
Not generated yet