Edit Profile (opens in new tab) Lomuscio, Alessio Compute Distance To: Compute Author ID: lomuscio.alessio Published as: Lomuscio, Alessio; Lomuscio, A. Homepage: http://www.doc.ic.ac.uk/~alessio/ External Links: MGP · ORCID · ResearchGate · dblp Documents Indexed: 52 Publications since 2000 6 Contributions as Editor Co-Authors: 41 Co-Authors with 51 Joint Publications 882 Co-Co-Authors all top 5 Co-Authors 1 single-authored 13 Belardinelli, Francesco 9 Penczek, Wojciech 6 Wooldridge, Michael J. 6 Woźna, Bożena 5 Qu, Hongyang 5 Raimondi, Franco 4 Sergot, Marek J. 4 van der Hoek, Wiebe 3 de Vink, Erik P. 2 Cohen, Mika 2 Kacprzak, Magdalena 2 Kouvaros, Panagiotis 2 Murano, Aniello 2 Strulo, Ben 2 Szreter, Maciej 2 Walker, Nigel G. 2 Wu, Peng 1 Barker, Steve 1 Boureanu, Ioana 1 Čermák, Petr 1 Dam, Mads 1 Edelkamp, Stefan 1 Ezekiel, Jonathan 1 Governatori, Guido 1 Grandi, Fabio 1 Jones, Andrew J. I. 1 Jones, Andrew V. 1 Kakas, Antonis C. 1 Kowalski, Robert A. 1 Kwiatkowska, Marta Z. 1 Lange, Martin 1 Malvone, Vadim 1 Michaliszyn, Jakub 1 Miller, Rob 1 Mogavero, Fabio 1 Muggleton, Stephen H. 1 Niewiadomski, Artur 1 Nute, Donald E. 1 Patrizi, Fabio 1 Pencek, W. 1 Pirovano, Edoardo 1 Rubin, Sasha 1 Russo, Francesco 1 Sartor, Giovanni 1 Solanki, Monika 1 Yu, Emily 1 Zbrzezny, Andrzej all top 5 Serials 10 Fundamenta Informaticae 5 Artificial Intelligence 3 Information and Computation 3 The Journal of Artificial Intelligence Research (JAIR) 3 Electronic Notes in Theoretical Computer Science 2 Journal of Applied Logic 2 Lecture Notes in Computer Science 1 Studia Logica 1 International Journal of Foundations of Computer Science 1 Journal of Applied Non-Classical Logics 1 Logic Journal of the IGPL all top 5 Fields 58 Computer science (68-XX) 22 Mathematical logic and foundations (03-XX) 6 General and overarching topics; collections (00-XX) 3 Information and communication theory, circuits (94-XX) 1 History and biography (01-XX) 1 Quantum theory (81-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 31 Publications have been cited 185 times in 105 Documents Cited by ▼ Year ▼ Verifying epistemic properties of multi-agent systems via bounded model checking. Zbl 1111.68512Penczek, Wojciech; Lomuscio, Alessio 22 2003 Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams. Zbl 1122.68076Raimondi, Franco; Lomuscio, Alessio 17 2007 Deontic interpreted systems. Zbl 1033.03012Lomuscio, Alessio; Sergot, Marek 15 2003 A logic for ignorance. Zbl 1270.03042van der Hoek, Wiebe; Lomuscio, Alessio 14 2004 Interactions between knowledge and time in a first-order logic for multi-agent systems: completeness results. Zbl 1267.68221Belardinelli, F.; Lomuscio, A. 12 2012 Multi-agent \(\mathcal {VSK}\) logic. Zbl 0998.68164Wooldridge, Michael; Lomuscio, Alessio 8 2000 Parameterised verification for multi-agent systems. Zbl 1351.68294Kouvaros, Panagiotis; Lomuscio, Alessio 8 2016 Quantified epistemic logics for reasoning about knowledge in multi-agent systems. Zbl 1191.68646Belardinelli, F.; Lomuscio, A. 7 2009 Verification of agent-based artifact systems. Zbl 1367.68321Belardinelli, Francesco; Lomuscio, Alessio; Patrizi, Fabio 7 2014 A computationally grounded logic of visibility, perception, and knowledge. Zbl 0974.68203Wooldridge, Michael; Lomuscio, Alessio 6 2001 Bounded model checking for knowledge and real time. Zbl 1168.68422Lomuscio, Alessio; Penczek, Wojciech; Woźna, Bożena 6 2007 Comparing BDD and SAT based techniques for model checking Chaum’s dining cryptographers protocol. Zbl 1097.68074Kacprzak, Magdalena; Lomuscio, Alessio; Niewiadomski, Artur; Penczek, Wojciech; Raimondi, Franco; Szreter, Maciej 5 2006 Partial order reductions for model checking temporal-epistemic logics over interleaved multi-agent systems. Zbl 1213.68382Lomuscio, Alessio; Penczek, Wojciech; Qu, Hongyang 5 2010 Automatic verification of temporal-epistemic properties of cryptographic protocols. Zbl 1186.68105Boureanu, Ioana; Cohen, Mika; Lomuscio, Alessio 5 2009 From bounded to unbounded model checking for temporal epistemic logic. Zbl 1102.68107Kacprzak, M.; Lomuscio, A.; Pencek, W. 4 2004 A spectrum of modes of knowledge sharing between agents. Zbl 0956.03017Lomuscio, Alessio; Ryan, Mark 4 2000 A formalisation of violation, error recovery, and enforcement in the bit transmission problem. Zbl 1076.68074Lomuscio, Alessio; Sergot, Marek 4 2004 First-order linear-time epistemic logic with group knowledge: an axiomatisation of the monodic fragment. Zbl 1252.03031Belardinelli, Francesco; Lomuscio, Alessio 4 2011 Practical verification of multi-agent systems against Slk specifications. Zbl 1395.68255Čermák, Petr; Lomuscio, Alessio; Mogavero, Fabio; Murano, Aniello 4 2018 A logic for knowledge, correctness, and real time. Zbl 1081.68098Woźna, Bożena; Lomuscio, Alessio 3 2005 Reasoning about visibility, perception, and knowledge. Zbl 0961.68127Wooldridge, Michael; Lomuscio, Alessio 3 2000 A data symmetry reduction technique for temporal-epistemic logic. Zbl 1262.68110Cohen, Mika; Dam, Mads; Lomuscio, Alessio; Qu, Hongyang 3 2009 Bounded model checking for deontic interpreted systems. Zbl 1272.68279Woźna, Bożena; Lomuscio, Alessio; Penczek, Wojciech 3 2005 Combining fault injection and model checking to verify fault tolerance, recoverability, and diagnosability in multi-agent systems. Zbl 1370.68201Ezekiel, J.; Lomuscio, A. 3 2017 Agent-based refinement for predicate abstraction of multi-agent systems. Zbl 1403.68300Belardinelli, Francesco; Lomuscio, Alessio; Michaliszyn, Jakub 2 2016 Parameterised model checking for alternating-time temporal logic. Zbl 1403.68127Kouvaros, Panagiotis; Lomuscio, Alessio 2 2016 mcmas: a model checker for multi-agent systems. Zbl 1459.68121Lomuscio, Alessio; Raimondi, Franco 2 2006 Parallel model checking for temporal epistemic logic. Zbl 1211.68406Kwiatkowska, Marta; Lomuscio, Alessio; Qu, Hongyang 2 2010 Assume-guarantee reasoning with local specifications. Zbl 1286.68319Lomuscio, Alessio; Strulo, Ben; Walker, Nigel; Wu, Peng 2 2013 Symbolic model checking for temporal-epistemic logic. Zbl 1356.68144Lomuscio, Alessio; Penczek, Wojciech 2 2012 Deontic logic in computer science. 7th international workshop on deontic logic in computer science, DEON 2004, Madeira, Portugal, May 26–28, 2004. Proceedings. Zbl 1051.03004 1 2004 Practical verification of multi-agent systems against Slk specifications. Zbl 1395.68255Čermák, Petr; Lomuscio, Alessio; Mogavero, Fabio; Murano, Aniello 4 2018 Combining fault injection and model checking to verify fault tolerance, recoverability, and diagnosability in multi-agent systems. Zbl 1370.68201Ezekiel, J.; Lomuscio, A. 3 2017 Parameterised verification for multi-agent systems. Zbl 1351.68294Kouvaros, Panagiotis; Lomuscio, Alessio 8 2016 Agent-based refinement for predicate abstraction of multi-agent systems. Zbl 1403.68300Belardinelli, Francesco; Lomuscio, Alessio; Michaliszyn, Jakub 2 2016 Parameterised model checking for alternating-time temporal logic. Zbl 1403.68127Kouvaros, Panagiotis; Lomuscio, Alessio 2 2016 Verification of agent-based artifact systems. Zbl 1367.68321Belardinelli, Francesco; Lomuscio, Alessio; Patrizi, Fabio 7 2014 Assume-guarantee reasoning with local specifications. Zbl 1286.68319Lomuscio, Alessio; Strulo, Ben; Walker, Nigel; Wu, Peng 2 2013 Interactions between knowledge and time in a first-order logic for multi-agent systems: completeness results. Zbl 1267.68221Belardinelli, F.; Lomuscio, A. 12 2012 Symbolic model checking for temporal-epistemic logic. Zbl 1356.68144Lomuscio, Alessio; Penczek, Wojciech 2 2012 First-order linear-time epistemic logic with group knowledge: an axiomatisation of the monodic fragment. Zbl 1252.03031Belardinelli, Francesco; Lomuscio, Alessio 4 2011 Partial order reductions for model checking temporal-epistemic logics over interleaved multi-agent systems. Zbl 1213.68382Lomuscio, Alessio; Penczek, Wojciech; Qu, Hongyang 5 2010 Parallel model checking for temporal epistemic logic. Zbl 1211.68406Kwiatkowska, Marta; Lomuscio, Alessio; Qu, Hongyang 2 2010 Quantified epistemic logics for reasoning about knowledge in multi-agent systems. Zbl 1191.68646Belardinelli, F.; Lomuscio, A. 7 2009 Automatic verification of temporal-epistemic properties of cryptographic protocols. Zbl 1186.68105Boureanu, Ioana; Cohen, Mika; Lomuscio, Alessio 5 2009 A data symmetry reduction technique for temporal-epistemic logic. Zbl 1262.68110Cohen, Mika; Dam, Mads; Lomuscio, Alessio; Qu, Hongyang 3 2009 Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams. Zbl 1122.68076Raimondi, Franco; Lomuscio, Alessio 17 2007 Bounded model checking for knowledge and real time. Zbl 1168.68422Lomuscio, Alessio; Penczek, Wojciech; Woźna, Bożena 6 2007 Comparing BDD and SAT based techniques for model checking Chaum’s dining cryptographers protocol. Zbl 1097.68074Kacprzak, Magdalena; Lomuscio, Alessio; Niewiadomski, Artur; Penczek, Wojciech; Raimondi, Franco; Szreter, Maciej 5 2006 mcmas: a model checker for multi-agent systems. Zbl 1459.68121Lomuscio, Alessio; Raimondi, Franco 2 2006 A logic for knowledge, correctness, and real time. Zbl 1081.68098Woźna, Bożena; Lomuscio, Alessio 3 2005 Bounded model checking for deontic interpreted systems. Zbl 1272.68279Woźna, Bożena; Lomuscio, Alessio; Penczek, Wojciech 3 2005 A logic for ignorance. Zbl 1270.03042van der Hoek, Wiebe; Lomuscio, Alessio 14 2004 From bounded to unbounded model checking for temporal epistemic logic. Zbl 1102.68107Kacprzak, M.; Lomuscio, A.; Pencek, W. 4 2004 A formalisation of violation, error recovery, and enforcement in the bit transmission problem. Zbl 1076.68074Lomuscio, Alessio; Sergot, Marek 4 2004 Deontic logic in computer science. 7th international workshop on deontic logic in computer science, DEON 2004, Madeira, Portugal, May 26–28, 2004. Proceedings. Zbl 1051.03004 1 2004 Verifying epistemic properties of multi-agent systems via bounded model checking. Zbl 1111.68512Penczek, Wojciech; Lomuscio, Alessio 22 2003 Deontic interpreted systems. Zbl 1033.03012Lomuscio, Alessio; Sergot, Marek 15 2003 A computationally grounded logic of visibility, perception, and knowledge. Zbl 0974.68203Wooldridge, Michael; Lomuscio, Alessio 6 2001 Multi-agent \(\mathcal {VSK}\) logic. Zbl 0998.68164Wooldridge, Michael; Lomuscio, Alessio 8 2000 A spectrum of modes of knowledge sharing between agents. Zbl 0956.03017Lomuscio, Alessio; Ryan, Mark 4 2000 Reasoning about visibility, perception, and knowledge. Zbl 0961.68127Wooldridge, Michael; Lomuscio, Alessio 3 2000 all cited Publications top 5 cited Publications all top 5 Cited by 160 Authors 11 Lomuscio, Alessio 8 Fan, Jie 8 Rybakov, Vladimir Vladimirovich 7 Belardinelli, Francesco 5 De Giacomo, Giuseppe 5 Penczek, Wojciech 4 Jamroga, Wojciech 4 Murano, Aniello 4 Patrizi, Fabio 4 van der Hoek, Wiebe 4 van Ditmarsch, Hans Pieter 4 Wang, Yanjing 3 Dima, Cătălin 3 Su, Kaile 3 van der Meyden, Ron 3 Wooldridge, Michael J. 3 Zbrzezny, Andrzej 2 Alrajeh, Dalal 2 Bozzelli, Laura 2 Burrieza, Alfredo 2 Cavezza, Davide Giacomo 2 Chen, Qingliang 2 de Guzmán, Inmaculada Pérez 2 Giordano, Laura 2 Grossi, Davide 2 György, András 2 Huang, Xiaowei 2 Kacprzak, Magdalena 2 Konur, Savas 2 Kuijer, Louwe Bouke 2 Lespérance, Yves 2 Logan, Brian 2 Martelli, Alberto 2 Montali, Marco 2 Muñoz-Velasco, Emilio 2 Pace, Gordon J. 2 Qu, Hongyang 2 Sattar, Abdul 2 Schneider, Gerardo 2 Sergot, Marek J. 2 Verbrugge, Rineke 1 Ågotnes, Thomas 1 Ahrendt, Wolfgang 1 Aldewereld, Huib 1 Aldini, Alessandro 1 Alechina, Natasha 1 Andrikonis, Julius 1 Arcile, Johan 1 Bakhtiari, Zeinab 1 Bartocci, Ezio 1 Bianculli, Domenico 1 Billington, David 1 Blee, Jeff 1 Busard, Simon 1 Calvanese, Diego 1 Čermák, Petr 1 Chen, Jingyu 1 Cogan, Eva H. 1 Colombo, Christian 1 Condurache, Rodica 1 Craven, Robert P. M. 1 Dam, Mads 1 Davis, Ernest 1 Dechesne, Francien 1 Devillers, Raymond 1 Dignum, F. P. M. 1 Dix, Jurgen 1 Ezekiel, Jonathan 1 Falcone, Yliès 1 Fallah, Mehran S. 1 Felli, Paolo 1 Francalanza, Adrian 1 Garanina, Natalia O. 1 Ghosh, Sujata 1 Góngora, Pedro Arturo 1 Governatori, Guido 1 Graziani, Pierluigi 1 Guelev, Dimitar P. 1 Gutierrez, Julian 1 Halpern, Joseph Yehuda 1 Han, Yabiao 1 Hansen, Helle Hvid 1 Hoang, Thai Son 1 Hu, Guiwu 1 Hu, Yong 1 Kiefer, Stefan 1 Klaudel, Hanna 1 Knapik, Michal Jozef 1 Konikowska, Beata 1 Kooi, Barteld Pieter 1 Kouvaros, Panagiotis 1 Krstić, Srđan 1 Kurpiewski, Damian 1 Lange, Martin 1 Lanotte, Ruggero 1 Li, Qin 1 Liu, Zhifeng 1 Lourenço, João M. 1 Lu, Xiangyu 1 Luo, Cheng ...and 60 more Authors all top 5 Cited in 30 Serials 13 Artificial Intelligence 9 Journal of Applied Logic 4 Journal of Philosophical Logic 4 Notre Dame Journal of Formal Logic 4 Studia Logica 4 Theoretical Computer Science 4 Information and Computation 4 Formal Aspects of Computing 3 Siberian Mathematical Journal 3 Synthese 3 Annals of Mathematics and Artificial Intelligence 3 Frontiers of Computer Science 2 Lithuanian Mathematical Journal 2 Formal Methods in System Design 2 Journal of Applied Non-Classical Logics 2 Fundamenta Informaticae 1 Algebra and Logic 1 Programming and Computer Software 1 Bulletin of the Iranian Mathematical Society 1 International Journal of Computer Mathematics 1 Distributed Computing 1 Journal of Logic, Language and Information 1 Mathematical Logic Quarterly (MLQ) 1 Computational & Mathematical Organization Theory 1 Erkenntnis 1 International Journal of Applied Mathematics and Computer Science 1 Lobachevskii Journal of Mathematics 1 Sibirskie Èlektronnye Matematicheskie Izvestiya 1 Logica Universalis 1 Frontiers of Computer Science in China all top 5 Cited in 9 Fields 79 Computer science (68-XX) 70 Mathematical logic and foundations (03-XX) 6 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Measure and integration (28-XX) 1 History and biography (01-XX) 1 Combinatorics (05-XX) 1 Convex and discrete geometry (52-XX) 1 Operations research, mathematical programming (90-XX) 1 Systems theory; control (93-XX) Citations by Year