D-Index & Metrics Best Publications

D-Index & Metrics D-index (Discipline H-index) only includes papers and citation values for an examined discipline in contrast to General H-index which accounts for publications across all disciplines.

Discipline name D-index D-index (Discipline H-index) only includes papers and citation values for an examined discipline in contrast to General H-index which accounts for publications across all disciplines. Citations Publications World Ranking National Ranking
Computer Science D-index 34 Citations 7,653 204 World Ranking 7909 National Ranking 468

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.
(2001)

2149 Citations

A Classification Scheme for Negotiation in Electronic Commerce

Alessio Lomuscio;Michael Wooldridge;Nicholas R. Jennings.
(2001)

473 Citations

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

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

374 Citations

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

W. Penczek;A. Lomuscio.
adaptive agents and multi-agents systems (2003)

319 Citations

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

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

303 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)

217 Citations

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

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

182 Citations

MCMAS: a model checker for multi-agent systems

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

177 Citations

Deontic interpreted systems

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

166 Citations

Formalisms for multi-agent systems

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

131 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

Kwang Mong Sim

Kwang Mong Sim

University of Kent

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

Abdul Sattar

Abdul Sattar

Griffith University

Publications: 20

Marta Kwiatkowska

Marta Kwiatkowska

University of Oxford

Publications: 16

Trending Scientists

Christian Rehtanz

Christian Rehtanz

TU Dortmund University

paul w dent

paul w dent

Koolbridge Solar Inc

Robin K. Harris

Robin K. Harris

Durham University

Asao Fujiyama

Asao Fujiyama

National Institute of Genetics

Donald P. King

Donald P. King

The Pirbright Institute

W.M. Edmunds

W.M. Edmunds

University of Oxford

Brian Litt

Brian Litt

University of Pennsylvania

Andréa Teixeira-Carvalho

Andréa Teixeira-Carvalho

Oswaldo Cruz Foundation

Colleen A. Redding

Colleen A. Redding

University of Rhode Island

J. Martin Brown

J. Martin Brown

Stanford University

Madjid Samii

Madjid Samii

Hannover Medical School

Russell S. Richardson

Russell S. Richardson

University of Utah

Brian M. Feldman

Brian M. Feldman

University of Toronto

Robert Ian Nicholson

Robert Ian Nicholson

Cardiff University

Jonathan P. West

Jonathan P. West

University of Miami

Something went wrong. Please try again later.