Alessio Lomuscio

Imperial College London

Papers

8

Total Citations

538

H-Index

6

About

No biography available yet.

Research Focus

Artificial intelligence8 · 538 citations
Computer science8 · 538 citations
Theoretical computer science7 · 357 citations
Model checking6 · 354 citations
Multi-agent system4 · 328 citations
Temporal logic4 · 328 citations
State (computer science)3 · 320 citations
Programming language4 · 313 citations
Description logic1 · 290 citations
Anonymity1 · 290 citations
Multimodal logic1 · 290 citations
Computer security1 · 290 citations

Key Achievements

6
H-Index
8
Papers
538
Total Citations
67
Avg Citations/Paper
🏆 Most Cited Paper
MCMAS: A Model Checker for the Verification of Multi-Agent Systems
290 citations · 2009
📈 Most Prolific Year: 2013 (2 Papers)
🤝 Key Collaborators: 7
🏛 Institutions: Imperial College London

Top Papers

  1. 1
    MCMAS: A Model Checker for the Verification of Multi-Agent Systems
    290 citations · 2009
  2. 2
    Proceedings of the 2014 international conference on Autonomous agents and multi-agent systems
    181 citations · 2014
  3. 3
    A Counter Abstraction Technique for the Verification of Robot Swarms
    23 citations · 2015
  4. 4
    Automatic verification of parameterised multi-agent systems
    17 citations · 2013
  5. 5
    Automatic Verification of Parameterised Interleaved Multi-Agent Systems
    13 citations · 2013
  6. 6
    Symbolic Synthesis of Fault-Tolerance Ratios in Parameterised Multi-Agent Systems
    8 citations · 2018
  7. 7
    A counter abstraction technique for verifying properties of probabilistic swarm systems
    3 citations · 2022
  8. 8
    Verifying Fault-Tolerance in Probabilistic Swarm Systems
    3 citations · 2020

Key Collaborators

PKPanagiotis Kouvaros4 shared papersEPEdoardo Pirovano3 shared papersMNMichael N. Huhns1 shared papersHQHongyang Qu1 shared papersALAna L. C. Bazzan1 shared papersPSPaul Scerri1 shared papersFRFranco Raimondi1 shared papers
Not generated yet