Paolo Di Prodi
Papers
1
Total Citations
6
H-Index
1
About
No biography available yet.
Research Focus
Abstraction1 · 6 citations
Artificial intelligence1 · 6 citations
Computer science1 · 6 citations
Formal language1 · 6 citations
Formal methods1 · 6 citations
Formal specification1 · 6 citations
Formal verification1 · 6 citations
Model checking1 · 6 citations
Programming language1 · 6 citations
Promela1 · 6 citations
Property (philosophy)1 · 6 citations
Robot1 · 6 citations
Key Achievements
1
H-Index
1
Papers
6
Total Citations
6
Avg Citations/Paper
🏆 Most Cited Paper
Formal Modeling of Robot Behavior with Learning
6 citations · 2013
📈 Most Prolific Year: 2013 (1 Papers)
🤝 Key Collaborators: 3
🏛 Institutions: University of Glasgow
Top Papers
- 1Formal Modeling of Robot Behavior with Learning6 citations · 2013
Key Collaborators
Not generated yet