Alice Magnani
Papers
1
Total Citations
4
H-Index
1
About
No biography available yet.
Research Focus
Computer science1 · 4 citations
Formal methods1 · 4 citations
Formal specification1 · 4 citations
Formal verification1 · 4 citations
Petri net1 · 4 citations
Process architecture1 · 4 citations
Programming language1 · 4 citations
Software1 · 4 citations
Software construction1 · 4 citations
Software design1 · 4 citations
Software development1 · 4 citations
Software engineering1 · 4 citations
Key Achievements
1
H-Index
1
Papers
4
Total Citations
4
Avg Citations/Paper
🏆 Most Cited Paper
Software design of robot controllers with Petri nets: a case-study
4 citations · 2002
📈 Most Prolific Year: 2002 (1 Papers)
🤝 Key Collaborators: 2
🏛 Institutions: Politecnico di Milano
Top Papers
- 1Software design of robot controllers with Petri nets: a case-study4 citations · 2002
Key Collaborators
Not generated yet