Andrea Caloini
Papers
2
Total Citations
26
H-Index
2
About
No biography available yet.
Research Focus
Software engineering2 · 26 citations
Formal methods2 · 26 citations
Petri net2 · 26 citations
Process architecture2 · 26 citations
Programming language2 · 26 citations
Software2 · 26 citations
Computer science2 · 26 citations
Embedded system1 · 22 citations
Domain (mathematical analysis)1 · 22 citations
Notation1 · 22 citations
Formal specification1 · 4 citations
Formal verification1 · 4 citations
Key Achievements
2
H-Index
2
Papers
26
Total Citations
13
Avg Citations/Paper
🏆 Most Cited Paper
A technique for designing robotic control systems based on Petri nets
22 citations · 1998
📈 Most Prolific Year: 1998 (1 Papers)
🤝 Key Collaborators: 3
🏛 Institutions: NEC (Japan), Politecnico di Milano
Top Papers
- 1A technique for designing robotic control systems based on Petri nets22 citations · 1998
- 2Software design of robot controllers with Petri nets: a case-study4 citations · 2002
Key Collaborators
Not generated yet