Alessio Lomuscio
- Artificial Intelligence top 0.5%
- Logic, Reasoning, and Knowledge 77
- Multi-Agent Systems and Negotiation 50
- Logic, programming, and type systems 22
- Semantic Web and Ontologies 18
- Adversarial Robustness in Machine Learning 15
- Computational Theory and Mathematics top 0.5%
- Formal Methods in Verification 70
- Software top 2%
-
- Business Process Modeling and Analysis 10
-
- Access Control and Trust 13
- Co-authors
- Nicholas R. JenningsMichael WooldridgeFranco RaimondiPeyman FaratinCarles SierraSimon ParsonsWojciech PenczekPanagiotis Kouvaros
- Journals
- SHILAP Revista de lepidopterología (1 paper)Artificial Intelligence (5 papers)Lecture notes in computer science (4 papers)
- Partner nations
- United KingdomPolandItaly
In The Last Decade
Alessio Lomuscio
139 papers receiving 2.7k citations
Hit Papers
Peers
Comparison fields: 5 of 102
- Artificial Intelligence 2.3k
- Computational Theory and Mathematics 934
- Software 198
- Management Science and Operations Research 520
- Management Information Systems 360
Countries citing papers authored by Alessio Lomuscio
This map shows the geographic impact of Alessio Lomuscio's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Alessio Lomuscio with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Alessio Lomuscio more than expected).
Fields of papers citing papers by Alessio Lomuscio
This network shows the impact of papers produced by Alessio Lomuscio. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Alessio Lomuscio. The network helps show where Alessio Lomuscio may publish in the future.
Co-authorship network
The 25 scholars most cited alongside Alessio Lomuscio, linked wherever they have co-authored with each other. Click a name or a connecting line to browse the papers they share.
All Works
| # | Work | ||
|---|---|---|---|
| 1 | 2021 | 10 | |
| 2 | 2020 | 5 | |
| 3 | 2019 | 7 | |
| 4 | 2019 | 2 | |
| 5 | 2018 | 3 | |
| 6 | Reachability Analysis for Neural Agent-Environment Systems. | 2018 | 18 |
| 7 | 2017 | 6 | |
| 8 | 2016 | 15 | |
| 9 | Model checking multi-agent systems against epistemic HS specifications with regular expressions | 2016 | 12 |
| 10 | 2015 | 11 | |
| 11 | 2014 | 23 | |
| 12 | Model checking unbounded artifact-centric systems | 2014 | 3 |
| 13 | An epistemic Halpern-Shoham logic | 2013 | 25 |
| 14 | 2012 | 4 | |
| 15 | 2010 | 8 | |
| 16 | 2010 | 5 | |
| 17 | Model Checking and Artificial Intelligence: 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers | 2007 | 6 |
| 18 | Violation, error recovery, and enforcement in the bit transmission problem | 2004 | 0 |
| 19 | Bounded versus Unbounded Model Checking for Interpreted Systems | 2003 | 1 |
| 20 | Ideal Agents Sharing (some!) Knowledge. | 1998 | 11 |
About Alessio Lomuscio
Alessio Lomuscio is a scholar working on Computational Theory and Mathematics, Artificial Intelligence and Software, having authored 144 papers that have together received 2.8k indexed citations. Recurring topics across this work include Logic, Reasoning, and Knowledge (77 papers), Formal Methods in Verification (70 papers), Multi-Agent Systems and Negotiation (50 papers), Logic, programming, and type systems (22 papers), Semantic Web and Ontologies (18 papers), Adversarial Robustness in Machine Learning (15 papers), Access Control and Trust (13 papers) and Business Process Modeling and Analysis (10 papers). The work is most often cited by research in Artificial Intelligence (2.3k citations), Computational Theory and Mathematics (934 citations) and Software (198 citations). Alessio Lomuscio has collaborated with scholars based in United Kingdom, Poland and Italy. Frequent co-authors include Nicholas R. Jennings, Michael Wooldridge, Franco Raimondi, Peyman Faratin, Carles Sierra, Simon Parsons, Wojciech Penczek, Michael Wooldridge, Panagiotis Kouvaros and Hongyang Qu. Their work appears in journals such as SHILAP Revista de lepidopterología, Artificial Intelligence and Lecture notes in computer science.
Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.