Michele Loreti

University of Florence, Università di Camerino

论文数

5

总引用数

188

H-Index

4

关于

暂无简介。

研究焦点

Computer science4 · 186 次引用
Artificial intelligence3 · 179 次引用
Human–computer interaction2 · 174 次引用
Programming language2 · 174 次引用
Software engineering2 · 174 次引用
Autonomic computing2 · 151 次引用
Component-based software engineering1 · 144 次引用
Set (abstract data type)1 · 144 次引用
Java1 · 144 次引用
Answer set programming1 · 144 次引用
Adaptation (eye)1 · 144 次引用
Programming paradigm1 · 144 次引用

主要成就

4
H 指数
5
论文
188
总引用数
38
篇均引用
🏆 最高被引论文
A Formal Approach to Autonomic Systems Programming
144 次引用 · 2014
📈 最高产年份: 2014 (2 论文)
🤝 主要合作者: 12
🏛 所属机构: University of Florence, Università di Camerino

代表论文

  1. 1
    A Formal Approach to Autonomic Systems Programming
    144 次引用 · 2014
  2. 2
    Towards a Formal Verification Methodology for Collective Robotic Systems
    30 次引用 · 2012
  3. 3
    On Programming and Policing Autonomic Computing Systems
    7 次引用 · 2014
  4. 4
    Evaluating the Effectiveness of Digital Twins Through Statistical Model Checking with Feedback and Perturbations
    5 次引用 · 2024
  5. 5
    DT-Stark: a tool for evaluating the effectiveness of digital twins through feedback and perturbations
    2 次引用 · 2025

主要合作者

FTFrancesco Tiezzi3 篇合著论文RPRosario Pugliese3 篇合著论文RLRuggero Lanotte2 篇合著论文VCValentina Castiglioni2 篇合著论文STSimone Tini2 篇合著论文RDRocco De Nicola1 篇合著论文EGEdmond Gjondrekaj1 篇合著论文AMAndrea Margheri1 篇合著论文CPCarlo Pinciroli1 篇合著论文MBManuele Brambilla1 篇合著论文MBMauro Birattari1 篇合著论文MDMarco Dorigo1 篇合著论文
尚未生成