Tiziano Villa

University of Verona

论文数

10

总引用数

120

H-Index

7

关于

暂无简介。

研究焦点

Computer science10 · 120 次引用
Artificial intelligence7 · 93 次引用
Robot5 · 69 次引用
Formal verification6 · 66 次引用
Human–computer interaction4 · 66 次引用
Engineering3 · 63 次引用
Robotics3 · 63 次引用
Robotic surgery3 · 61 次引用
Mathematics3 · 57 次引用
Theoretical computer science5 · 56 次引用
Medical robotics2 · 47 次引用
Field (mathematics)2 · 47 次引用

主要成就

7
H 指数
10
论文
120
总引用数
12
篇均引用
🏆 最高被引论文
Robotic Surgery
33 次引用 · 2011
📈 最高产年份: 2011 (2 论文)
🤝 主要合作者: 39
🏛 所属机构: University of Verona

代表论文

  1. 1
    Robotic Surgery
    33 次引用 · 2011
  2. 2
    Open Problems in Verification and Refinement of Autonomous Robotic Systems
    16 次引用 · 2012
  3. 3
    Formal Verification of Medical CPS
    15 次引用 · 2018
  4. 4
    Robotic Surgery
    14 次引用 · 2011
  5. 5
    Formal verification of robotic surgery tasks by reachability analysis
    14 次引用 · 2015
  6. 6
    Parametric formal verification: the robotic paint spraying case study
    10 次引用 · 2017
  7. 7
    Formal Verification Applied to Robotic Surgery
    8 次引用 · 2014
  8. 8
    Enhancing Safety and Privacy in Industry 4.0: The ICE Laboratory Case Study
    4 次引用 · 2024
  9. 9
    Verification of Robotic Surgery Tasks by Reachability Analysis: A Comparison of Tools
    3 次引用 · 2014
  10. 10
    Process-driven Collision Prediction in Human-Robot Work Environments
    3 次引用 · 2022

主要合作者

LGLuca Geretti10 篇合著论文PFPaolo Fiorini8 篇合著论文DBDavide Bresolin8 篇合著论文RMRiccardo Muradore8 篇合著论文NBNicola Bombieri2 篇合著论文DQDavide Quaglia2 篇合著论文EMEnrico Martini2 篇合著论文MBMichele Boldo2 篇合著论文SCStefano Centomo2 篇合著论文ISI. Siviero1 篇合著论文GMGloria Menegaz1 篇合著论文FPFederica Paci1 篇合著论文SFSilvia Francesca Storti1 篇合著论文FFFranco Fummi1 篇合著论文ECEttore Cinquetti1 篇合著论文GPGraziano Pravadelli1 篇合著论文FCFederico Cunico1 篇合著论文LCLuigi Capogrosso1 篇合著论文FGFederico Girella1 篇合著论文NZNicola Zannone1 篇合著论文
尚未生成