Tiziano Villa
Papers
9
Total Citations
106
H-Index
6
About
No biography available yet.
Research Focus
Computer science9 · 106 citations
Artificial intelligence6 · 79 citations
Formal verification6 · 66 citations
Theoretical computer science5 · 56 citations
Robot4 · 55 citations
Human–computer interaction3 · 52 citations
Engineering2 · 49 citations
Robotics2 · 49 citations
Robotic surgery2 · 47 citations
Mathematics2 · 43 citations
Formal methods3 · 41 citations
Model checking4 · 40 citations
Key Achievements
6
H-Index
9
Papers
106
Total Citations
12
Avg Citations/Paper
🏆 Most Cited Paper
Robotic Surgery
33 citations · 2011
📈 Most Prolific Year: 2014 (2 Papers)
🤝 Key Collaborators: 39
🏛 Institutions: University of Verona
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
- 4Formal verification of robotic surgery tasks by reachability analysis14 citations · 2015
- 5Parametric formal verification: the robotic paint spraying case study10 citations · 2017
- 6Formal Verification Applied to Robotic Surgery8 citations · 2014
- 7
- 8
- 9Process-driven Collision Prediction in Human-Robot Work Environments3 citations · 2022
Key Collaborators
LGLuca Geretti9 shared papersPFPaolo Fiorini7 shared papersDBDavide Bresolin7 shared papersRMRiccardo Muradore7 shared papersNBNicola Bombieri2 shared papersDQDavide Quaglia2 shared papersEMEnrico Martini2 shared papersMBMichele Boldo2 shared papersSCStefano Centomo2 shared papersISI. Siviero1 shared papersGMGloria Menegaz1 shared papersFPFederica Paci1 shared papersSFSilvia Francesca Storti1 shared papersFFFranco Fummi1 shared papersECEttore Cinquetti1 shared papersGPGraziano Pravadelli1 shared papersFCFederico Cunico1 shared papersLCLuigi Capogrosso1 shared papersFGFederico Girella1 shared papersNZNicola Zannone1 shared papers
Not generated yet