Michele Loreti

University of Florence, Università di Camerino

Papers

5

Total Citations

188

H-Index

4

About

No biography available yet.

Research Focus

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

Key Achievements

4
H-Index
5
Papers
188
Total Citations
38
Avg Citations/Paper
🏆 Most Cited Paper
A Formal Approach to Autonomic Systems Programming
144 citations · 2014
📈 Most Prolific Year: 2014 (2 Papers)
🤝 Key Collaborators: 12
🏛 Institutions: University of Florence, Università di Camerino

Top Papers

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

Key Collaborators

FTFrancesco Tiezzi3 shared papersRPRosario Pugliese3 shared papersRLRuggero Lanotte2 shared papersVCValentina Castiglioni2 shared papersSTSimone Tini2 shared papersRDRocco De Nicola1 shared papersEGEdmond Gjondrekaj1 shared papersAMAndrea Margheri1 shared papersCPCarlo Pinciroli1 shared papersMBManuele Brambilla1 shared papersMBMauro Birattari1 shared papersMDMarco Dorigo1 shared papers
Not generated yet