Luca Geretti
Papers
11
Total Citations
124
H-Index
7
About
No biography available yet.
Research Focus
Computer science11 · 124 citations
Artificial intelligence8 · 97 citations
Robot6 · 73 citations
Human–computer interaction5 · 70 citations
Formal verification6 · 66 citations
Engineering3 · 63 citations
Robotics3 · 63 citations
Robotic surgery3 · 61 citations
Mathematics3 · 57 citations
Theoretical computer science5 · 56 citations
Robotic paradigms2 · 47 citations
Field (mathematics)2 · 47 citations
Key Achievements
7
H-Index
11
Papers
124
Total Citations
11
Avg Citations/Paper
🏆 Most Cited Paper
Robotic Surgery
33 citations · 2011
📈 Most Prolific Year: 2011 (2 Papers)
🤝 Key Collaborators: 39
🏛 Institutions: University of Verona, University of Udine
Top Papers
- 1Robotic Surgery33 citations · 2011
- 2Open Problems in Verification and Refinement of Autonomous Robotic Systems16 citations · 2012
- 3Formal Verification of Medical CPS15 citations · 2018
- 4Robotic Surgery14 citations · 2011
- 5Formal verification of robotic surgery tasks by reachability analysis14 citations · 2015
- 6Parametric formal verification: the robotic paint spraying case study10 citations · 2017
- 7Formal Verification Applied to Robotic Surgery8 citations · 2014
- 8
- 9
- 10
Key Collaborators
TVTiziano Villa10 shared papersRMRiccardo Muradore8 shared papersPFPaolo Fiorini8 shared papersDBDavide Bresolin8 shared papersNBNicola Bombieri3 shared papersMBMichele Boldo3 shared papersSCStefano Centomo2 shared papersSGSamuele Germiniani2 shared papersEMEnrico Martini2 shared papersDQDavide Quaglia2 shared papersMDMirco De Marchi2 shared papersGPGraziano Pravadelli2 shared papersGMGloria Menegaz1 shared papersFPFederica Paci1 shared papersSFSilvia Francesca Storti1 shared papersEQElisa Quintarelli1 shared papersFFFranco Fummi1 shared papersLSLeonardo S. Mattos1 shared papersECEttore Cinquetti1 shared papersCTCarlo Tadiello1 shared papers
Not generated yet