Luca Geretti

University of Verona, University of Udine

论文数

10

总引用数

110

H-Index

6

关于

暂无简介。

研究焦点

Computer science10 · 110 次引用
Artificial intelligence7 · 83 次引用
Formal verification6 · 66 次引用
Robot5 · 59 次引用
Human–computer interaction4 · 56 次引用
Theoretical computer science5 · 56 次引用
Engineering2 · 49 次引用
Robotics2 · 49 次引用
Robotic surgery2 · 47 次引用
Mathematics2 · 43 次引用
Formal methods3 · 41 次引用
Model checking4 · 40 次引用

主要成就

6
H 指数
10
论文
110
总引用数
11
篇均引用
🏆 最高被引论文
Robotic Surgery
33 次引用 · 2011
📈 最高产年份: 2014 (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
    Formal verification of robotic surgery tasks by reachability analysis
    14 次引用 · 2015
  5. 5
    Parametric formal verification: the robotic paint spraying case study
    10 次引用 · 2017
  6. 6
    Formal Verification Applied to Robotic Surgery
    8 次引用 · 2014
  7. 7
    Enhancing Safety and Privacy in Industry 4.0: The ICE Laboratory Case Study
    4 次引用 · 2024
  8. 8
    Risk Assessment and Prediction in Human-Robot Interaction Through Assertion Mining and Pose Estimation
    4 次引用 · 2022
  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

主要合作者

TVTiziano Villa9 篇合著论文RMRiccardo Muradore7 篇合著论文PFPaolo Fiorini7 篇合著论文DBDavide Bresolin7 篇合著论文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 篇合著论文

联系与链接

可合作
内容已生成 · 14 天前