Luigi Di Guglielmo
Papers
1
Total Citations
16
H-Index
1
About
No biography available yet.
Research Focus
Artificial intelligence1 · 16 citations
Computer science1 · 16 citations
Control engineering1 · 16 citations
Engineering1 · 16 citations
Formal methods1 · 16 citations
Formal verification1 · 16 citations
Human–computer interaction1 · 16 citations
Relevance (law)1 · 16 citations
Robot1 · 16 citations
Robotics1 · 16 citations
Rotation formalisms in three dimensions1 · 16 citations
Software engineering1 · 16 citations
Key Achievements
1
H-Index
1
Papers
16
Total Citations
16
Avg Citations/Paper
🏆 Most Cited Paper
Open Problems in Verification and Refinement of Autonomous Robotic Systems
16 citations · 2012
📈 Most Prolific Year: 2012 (1 Papers)
🤝 Key Collaborators: 5
🏛 Institutions: University of Verona
Top Papers
- 1Open Problems in Verification and Refinement of Autonomous Robotic Systems16 citations · 2012
Key Collaborators
Not generated yet