Dino Mandrioli

Politecnico di Milano

Papers

8

Total Citations

212

H-Index

5

About

No biography available yet.

Research Focus

Computer science8 · 212 citations
Human–computer interaction6 · 206 citations
Software engineering5 · 203 citations
Artificial intelligence5 · 198 citations
Robot4 · 195 citations
Workspace3 · 175 citations
Engineering5 · 160 citations
Programming language5 · 139 citations
Human–robot interaction2 · 133 citations
Robotics2 · 133 citations
Systems engineering2 · 133 citations
Risk analysis (engineering)2 · 82 citations

Key Achievements

5
H-Index
8
Papers
212
Total Citations
27
Avg Citations/Paper
🏆 Most Cited Paper
Safety Assessment of Collaborative Robotics Through Automated Formal Verification
71 citations · 2019
📈 Most Prolific Year: 2019 (3 Papers)
🤝 Key Collaborators: 8
🏛 Institutions: Politecnico di Milano

Top Papers

  1. 1
    Safety Assessment of Collaborative Robotics Through Automated Formal Verification
    71 citations · 2019
  2. 2
    Formal model of human erroneous behavior for safety analysis in collaborative robotics
    62 citations · 2019
  3. 3
    SAFER-HRC: Safety Analysis Through Formal vERification in Human-Robot Collaboration
    42 citations · 2016
  4. 4
    Modeling Operator Behavior in the Safety Analysis of Collaborative Robotic Applications
    20 citations · 2017
  5. 5
    Formal Methods in Designing Critical Cyber-Physical Systems
    8 citations · 2019
  6. 6
    Modular Automated Verification of Flexible Manufacturing Systems with Metric Temporal Logic and Non-Standard Analysis
    4 citations · 2012
  7. 7
    A Human-in-the-Loop Perspective for Safety Assessment in Robotic Applications
    3 citations · 2018
  8. 8
    A temporal logic for micro- and macro-step-based real-time systems: Foundations and applications
    2 citations · 2016

Key Collaborators

MRMatteo Rossi7 shared papersMAMehrnoosh Askarpour6 shared papersFVFederico Vicentini5 shared papersLFLuca Ferrucci2 shared papersAMAngelo Morzenti2 shared papersCGCarlo Ghezzi1 shared papersCTChristos Tsigkanos1 shared papersMRMatteo Rossi1 shared papers
Not generated yet