Angelo Morzenti

Politecnico di Milano

Papers

2

Total Citations

6

H-Index

2

About

No biography available yet.

Research Focus

Computer science2 · 6 citations
Programming language2 · 6 citations
Temporal logic2 · 6 citations
Modular design1 · 4 citations
Metric (unit)1 · 4 citations
Operations management1 · 4 citations
Engineering1 · 4 citations
Model checking1 · 2 citations
Semantics (computer science)1 · 2 citations
Soundness1 · 2 citations
Abstraction1 · 2 citations
Theoretical computer science1 · 2 citations

Key Achievements

2
H-Index
2
Papers
6
Total Citations
3
Avg Citations/Paper
🏆 Most Cited Paper
Modular Automated Verification of Flexible Manufacturing Systems with Metric Temporal Logic and Non-Standard Analysis
4 citations · 2012
📈 Most Prolific Year: 2012 (1 Papers)
🤝 Key Collaborators: 3
🏛 Institutions: Politecnico di Milano

Top Papers

  1. 1
    Modular Automated Verification of Flexible Manufacturing Systems with Metric Temporal Logic and Non-Standard Analysis
    4 citations · 2012
  2. 2
    A temporal logic for micro- and macro-step-based real-time systems: Foundations and applications
    2 citations · 2016

Key Collaborators

LFLuca Ferrucci2 shared papersMRMatteo Rossi2 shared papersDMDino Mandrioli2 shared papers
Not generated yet