Luca Geretti

University of Verona, University of Udine

论文数

11

总引用数

124

H-Index

7

关于

暂无简介。

研究焦点

Computer science11 · 124 次引用
Artificial intelligence8 · 97 次引用
Robot6 · 73 次引用
Human–computer interaction5 · 70 次引用
Formal verification6 · 66 次引用
Engineering3 · 63 次引用
Robotics3 · 63 次引用
Robotic surgery3 · 61 次引用
Mathematics3 · 57 次引用
Theoretical computer science5 · 56 次引用
Robotic paradigms2 · 47 次引用
Field (mathematics)2 · 47 次引用

主要成就

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

代表论文

  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
    Risk Assessment and Prediction in Human-Robot Interaction Through Assertion Mining and Pose Estimation
    4 次引用 · 2022
  10. 10
    Verification of Robotic Surgery Tasks by Reachability Analysis: A Comparison of Tools
    3 次引用 · 2014

主要合作者

TVTiziano Villa10 篇合著论文RMRiccardo Muradore8 篇合著论文PFPaolo Fiorini8 篇合著论文DBDavide Bresolin8 篇合著论文NBNicola Bombieri3 篇合著论文MBMichele Boldo3 篇合著论文SCStefano Centomo2 篇合著论文SGSamuele Germiniani2 篇合著论文EMEnrico Martini2 篇合著论文DQDavide Quaglia2 篇合著论文MDMirco De Marchi2 篇合著论文GPGraziano Pravadelli2 篇合著论文GMGloria Menegaz1 篇合著论文FPFederica Paci1 篇合著论文SFSilvia Francesca Storti1 篇合著论文EQElisa Quintarelli1 篇合著论文FFFranco Fummi1 篇合著论文LSLeonardo S. Mattos1 篇合著论文ECEttore Cinquetti1 篇合著论文CTCarlo Tadiello1 篇合著论文
尚未生成