Concepedia

Alessio Lomuscio

AL

Statistics

Publications

88

Citations

5.2K

H-Index

33

Active since

1998

Affiliations

Imperial College London(Current)

King's College London

Institute of Computer Science

University College London

University of Naples Federico II

Alessio Lomuscio is an author at Imperial College London specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningFormal VerificationVerificationSystems EngineeringFormal SpecificationSoftware AnalysisMulti-agent Systems

Publications per year

1998–2022

88

Publications

88

Automated Negotiation: Prospects, Methods and Challenges

Nicholas R. Jennings, Peyman Faratin, Alessio Lomuscio et al. · Group Decision and Negotiation · 2001 · 1.3K citations

Negotiation, Engineering, Negotiation Theory +6

A Classification Scheme for Negotiation in Electronic Commerce

Alessio Lomuscio, Michael Wooldridge, Nicholas R. Jennings · Group Decision and Negotiation · 2003 · 474 citations

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

Alessio Lomuscio, Lalit Maganti · arXiv (Cornell University) · 2017 · 247 citations · Full text

Artificial Intelligence, Reachability Analysis, Recurrent Neural Network +13

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 · 2015 · 220 citations · Full text

Engineering, Verification, Computer-aided Verification +17

Proceedings of the 2014 international conference on Autonomous agents and multi-agent systems

Ana L. C. Bazzan, Michael N. Huhns, Alessio Lomuscio et al. · 2014 · 181 citations

Artificial Intelligence, Engineering, Program Chairs +21

1–5 of 88