Alessio R Lomuscio

Cited by

	All	Since 2016
Citations	7643	2437
h-index	39	24
i10-index	111	63

540

270

135

405

1999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202122 32 84 123 196 262 296 381 449 360 362 415 389 425 431 428 428 530 435 476 479 494 22

Co-authors

Michael WooldridgeUniversity of OxfordVerified email at cs.ox.ac.uk
Francesco BelardinelliImperial College LondonVerified email at imperial.ac.uk
Franco RaimondiProfessor of Computer Science, Middlesex UniversityVerified email at mdx.ac.uk
Wojciech PenczekProfessor of Computer Science, ICS PAS (Warsaw)Verified email at ipipan.waw.pl
Panagiotis KouvarosImperial College LondonVerified email at imperial.ac.uk
Hongyang QuResearch Fellow, University of SheffieldVerified email at sheffield.ac.uk
Nick JenningsVice-Provost (Research and Enterprise), Imperial CollegeVerified email at imperial.ac.uk
Aniello MuranoAssociate Professor in Computer Science, Università degli Studi di Napoli Federico IIVerified email at na.infn.it
Bozena Wozna-SzczesniakInstytut Matematyki i Informatyki, Jan Dlugosz University in CzestochowaVerified email at ajd.czest.pl
Mark D. RyanProfessor of Computer Security, University of BirminghamVerified email at cs.bham.ac.uk
Jakub MichaliszynUniversity of WrocławVerified email at cs.uni.wroc.pl
Wiebe van der HoekProfessor of Computer Science, University of Liverpool, Agents GroupVerified email at liverpool.ac.uk
Carles SierraProfessor of Artificial IntelligenceVerified email at iiia.csic.es
Peyman FaratinNYU, MITVerified email at mit.edu
Fabio PatriziAssociate Professor, DIAG - Sapienza University of RomeVerified email at dis.uniroma1.it
Magdalena KacprzakTechnical University of BialystokVerified email at pb.edu.pl
Edoardo PirovanoPhD Student, Imperial College LondonVerified email at ic.ac.uk
Andrew V. JonesVector Software, Inc.Verified email at vectorcast.com
Sasha RubinUniversity of SydneyVerified email at sydney.edu.au
Ioana BoureanuSenior Lecturer (Associate Professor), University of SurreyVerified email at surrey.ac.uk

Alessio R Lomuscio

Imperial College London

Verified email at imperial.ac.uk - Homepage

Safe AI Verification of Autonomous Systems Multi-Agent Systems Logic


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Automated negotiation: prospects, methods and challenges NR Jennings, P Faratin, AR Lomuscio, S Parsons, C Sierra, M Wooldridge International Journal of Group Decision and Negotiation 10 (2), 199-215, 2001	1909	2001
A classification scheme for negotiation in electronic commerce AR Lomuscio, M Wooldridge, NR Jennings Group Decision and Negotiation 12 (1), 31-56, 2003	413	2003
MCMAS: A model checker for the verification of multi-agent systems A Lomuscio, H Qu, F Raimondi International conference on computer aided verification, 682-688, 2009	347	2009
A classification scheme for negotiation in electronic commerce AR Lomuscio, M Wooldridge, NR Jennings Agent Mediated Electronic Commerce, 19-33, 2001	278	2001
Verifying epistemic properties of multi-agent systems via bounded model checking W Penczek, A Lomuscio Fundamenta Informaticae 55 (2), 167-185, 2003	216	2003
MCMAS: an open-source model checker for the verification of multi-agent systems A Lomuscio, H Qu, F Raimondi International Journal on Software Tools for Technology Transfer 19 (1), 9-30, 2017	169	2017
Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams F Raimondi, A Lomuscio Journal of Applied Logic 5 (2), 235-251, 2007	168	2007
Deontic interpreted systems A Lomuscio, M Sergot Studia Logica 75 (1), 63-92, 2003	160	2003
MCMAS: A model checker for multi-agent systems A Lomuscio, F Raimondi International Conference on Tools and Algorithms for the Construction and …, 2006	159	2006
An approach to reachability analysis for feed-forward relu neural networks A Lomuscio, L Maganti arXiv preprint arXiv:1706.07351, 2017	142	2017
Formalisms for multi-agent systems M d'Inverno, M Fisher, A Lomuscio, M Luck, M De Rijke, M Ryan, ... The Knowledge Engineering Review 12 (03), 315-321, 1997	113	1997
Model checking knowledge, strategies, and games in multi-agent systems A Lomuscio, F Raimondi Proceedings of the fifth international joint conference on Autonomous agents …, 2006	90	2006
Towards verifying contract regulated service composition A Lomuscio, H Qu, M Solanki Autonomous Agents and Multi-Agent Systems 24 (3), 345-373, 2012	88	2012
On the complexity of practical ATL model checking W Van Der Hoek, A Lomuscio, M Wooldridge Proceedings of the fifth international joint conference on Autonomous agents …, 2006	83	2006
MCMAS-SLK: A model checker for the verification of strategy logic specifications P Čermák, A Lomuscio, F Mogavero, A Murano International Conference on Computer Aided Verification, 525-532, 2014	82	2014
Verification of multiagent systems via unbounded model checking M Kacprzak, A Lomuscio, W Penczek Proceedings of the Third International Joint Conference on Autonomous Agents …, 2004	80	2004
An Abstraction Technique for the Verification of Artifact-Centric Systems. F Belardinelli, A Lomuscio, F Patrizi KR, 2012	74	2012
Partial order reductions for model checking temporal-epistemic logics over interleaved multi-agent systems A Lomuscio, W Penczek, H Qu Fundamenta Informaticae 101 (1-2), 71-90, 2010	74	2010
Verification of multiagent systems via ordered binary decision diagrams: an algorithm and its implementation F Raimondi, A Lomuscio Proceedings of the Third International Joint Conference on Autonomous Agents …, 2004	67	2004
An epistemic halpern-shoham logic A Lomuscio, J Michaliszyn Twenty-Third International Joint Conference on Artificial Intelligence, 2013	65	2013

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors