H-Index & Metrics Best Publications

H-Index & Metrics

Discipline name H-index Citations Publications World Ranking National Ranking
Computer Science D-index 32 Citations 5,304 167 World Ranking 7189 National Ranking 426

Research.com Recognitions

Awards & Achievements

2020 - ACM Distinguished Member

Overview

What is he best known for?

The fields of study he is best known for:

  • Programming language
  • Artificial intelligence
  • Algorithm

His main research concerns Model checking, Theoretical computer science, Multi-agent system, Programming language and Abstraction model checking. His research in Model checking intersects with topics in Semantics, Epistemic modal logic and Temporal logic. His work investigates the relationship between Semantics and topics such as Semantics that intersect with problems in Automaton.

His Theoretical computer science research is multidisciplinary, incorporating perspectives in Artificial neural network and State. His Multi-agent system study combines topics in areas such as Modal logic, Rotation formalisms in three dimensions and Reactive system. His research in Abstraction model checking tackles topics such as Decidability which are related to areas like Real-time operating system.

His most cited work include:

  • Automated Negotiation: Prospects, Methods and Challenges (1249 citations)
  • A Classification Scheme for Negotiation in Electronic Commerce (468 citations)
  • MCMAS: A Model Checker for the Verification of Multi-Agent Systems (256 citations)

What are the main themes of his work throughout his whole career to date?

His primary areas of investigation include Model checking, Theoretical computer science, Multi-agent system, Epistemic modal logic and Artificial intelligence. The study incorporates disciplines such as Distributed computing and Interpreted systems in addition to Model checking. Much of his study explores Theoretical computer science relationship to Semantics.

His biological study spans a wide range of topics, including Class, Decidability, State and Binary decision diagram. His Epistemic modal logic research includes themes of Autoepistemic logic and Dynamic logic. His work deals with themes such as Modal logic and Deontic logic, which intersect with Artificial intelligence.

He most often published in these fields:

  • Model checking (52.53%)
  • Theoretical computer science (48.85%)
  • Multi-agent system (38.71%)

What were the highlights of his more recent work (between 2015-2021)?

  • Multi-agent system (38.71%)
  • Theoretical computer science (48.85%)
  • Model checking (52.53%)

In recent papers he was focusing on the following fields of study:

Alessio Lomuscio mainly focuses on Multi-agent system, Theoretical computer science, Model checking, Artificial intelligence and Artificial neural network. His research in Multi-agent system intersects with topics in Programming language, Semantics, Distributed computing, Predicate abstraction and Decidability. His Programming language research incorporates elements of Abstraction and Counterexample.

His work on Temporal logic, Alternating-time Temporal Logic and Undecidable problem as part of general Theoretical computer science research is often related to Bounded function and Perfect information, thus linking different fields of science. Model checking is a subfield of Algorithm that he tackles. Alessio Lomuscio usually deals with Artificial neural network and limits it to topics linked to Reachability and Activation function, Solver and Parallel algorithm.

Between 2015 and 2021, his most popular works were:

  • An approach to reachability analysis for feed-forward ReLU neural networks. (167 citations)
  • MCMAS: an open-source model checker for the verification of multi-agent systems (100 citations)
  • Parameterised verification for multi-agent systems (30 citations)

In his most recent research, the most cited papers focused on:

  • Programming language
  • Artificial intelligence
  • Algorithm

His scientific interests lie mostly in Multi-agent system, Theoretical computer science, Model checking, Artificial neural network and Semantics. Alessio Lomuscio combines subjects such as Distributed computing, Class, Undecidable problem, Specification language and Functional verification with his study of Multi-agent system. His work on Reachability and Alternating-time Temporal Logic is typically connected to Complete information as part of general Theoretical computer science study, connecting several disciplines of science.

Model checking is a subfield of Algorithm that Alessio Lomuscio explores. His Artificial neural network study combines topics from a wide range of disciplines, such as Perception and Affine transformation. His Semantics study deals with the bigger picture of Programming language.

This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.

Best Publications

Automated Negotiation: Prospects, Methods and Challenges

N. R. Jennings;P. Faratin;A. R. Lomuscio;S. Parsons.
Group Decision and Negotiation (2001)

1903 Citations

A Classification Scheme for Negotiation in Electronic Commerce

Alessio Lomuscio;Michael Wooldridge;Nicholas R. Jennings.
Group Decision and Negotiation (2001)

467 Citations

MCMAS: A Model Checker for the Verification of Multi-Agent Systems

Alessio Lomuscio;Hongyang Qu;Franco Raimondi.
computer aided verification (2009)

360 Citations

An approach to reachability analysis for feed-forward ReLU neural networks.

Alessio Lomuscio;Lalit Maganti.
arXiv: Artificial Intelligence (2017)

245 Citations

Verifying epistemic properties of multi-agent systems via bounded model checking

W. Penczek;A. Lomuscio.
Fundamenta Informaticae (2002)

222 Citations

MCMAS: an open-source model checker for the verification of multi-agent systems

Alessio Lomuscio;Hongyang Qu;Franco Raimondi.
International Journal on Software Tools for Technology Transfer (2017)

183 Citations

Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams

Franco Raimondi;Alessio Lomuscio.
Journal of Applied Logic (2007)

177 Citations

Deontic interpreted systems

Alessio Lomuscio;Marek J. Sergot.
Studia Logica (2003)

168 Citations

MCMAS: a model checker for multi-agent systems

Alessio Lomuscio;Franco Raimondi.
tools and algorithms for construction and analysis of systems (2006)

166 Citations

Formalisms for multi-agent systems

Mark d'Inverno;Michael Fisher;Alessio R. Lomuscio;Michael Luck.
Knowledge Engineering Review (1997)

117 Citations

If you think any of the details on this page are incorrect, let us know.

Contact us

Best Scientists Citing Alessio Lomuscio

Nicholas R. Jennings

Nicholas R. Jennings

Loughborough University

Publications: 58

Michael Wooldridge

Michael Wooldridge

University of Oxford

Publications: 48

Marco Montali

Marco Montali

Free University of Bozen-Bolzano

Publications: 46

Giuseppe De Giacomo

Giuseppe De Giacomo

Sapienza University of Rome

Publications: 39

Diego Calvanese

Diego Calvanese

Free University of Bozen-Bolzano

Publications: 34

Wiebe van der Hoek

Wiebe van der Hoek

University of Liverpool

Publications: 32

Michael Luck

Michael Luck

King's College London

Publications: 31

Michael Fisher

Michael Fisher

University of Manchester

Publications: 28

Carles Sierra

Carles Sierra

Spanish National Research Council

Publications: 27

Peter McBurney

Peter McBurney

King's College London

Publications: 26

Catholijn M. Jonker

Catholijn M. Jonker

Delft University of Technology

Publications: 25

Gregory E. Kersten

Gregory E. Kersten

Concordia University

Publications: 23

Simon Parsons

Simon Parsons

University of Lincoln

Publications: 20

Guido Governatori

Guido Governatori

Commonwealth Scientific and Industrial Research Organisation

Publications: 16

Marta Kwiatkowska

Marta Kwiatkowska

University of Oxford

Publications: 16

Mehdi Dastani

Mehdi Dastani

Utrecht University

Publications: 15

Something went wrong. Please try again later.