Luca Ferrucci

Politecnico di Milano

论文数

2

总引用数

6

H-Index

2

关于

暂无简介。

研究焦点

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

主要成就

2
H 指数
2
论文
6
总引用数
3
篇均引用
🏆 最高被引论文
Modular Automated Verification of Flexible Manufacturing Systems with Metric Temporal Logic and Non-Standard Analysis
4 次引用 · 2012
📈 最高产年份: 2012 (1 论文)
🤝 主要合作者: 3
🏛 所属机构: Politecnico di Milano

代表论文

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

主要合作者

AMAngelo Morzenti2 篇合著论文MRMatteo Rossi2 篇合著论文DMDino Mandrioli2 篇合著论文
尚未生成