Edit Profile Lomuscio, Alessio Compute Distance To: Compute Author ID: lomuscio.alessio Published as: Lomuscio, A.; Lomuscio, Alessio Homepage: http://www.doc.ic.ac.uk/~alessio/ External Links: MGP · Wikidata · ORCID · ResearchGate · dblp Documents Indexed: 54 Publications since 2000, including 5 Books all top 5 Co-Authors 0 single-authored 10 Belardinelli, Francesco 9 Penczek, Wojciech 6 Woźna, Bożena 5 Qu, Hongyang 4 Raimondi, Franco 4 Sergot, Marek J. 4 van der Hoek, Wiebe 3 de Vink, Erik P. 3 Wooldridge, Michael J. 2 Cohen, Mika 2 Kacprzak, Magdalena 2 Murano, Aniello 2 Strulo, Ben 2 Szreter, Maciej 2 Walker, Nigel G. 2 Wooldridge, Mike 2 Wu, Peng 1 Barker, Steve 1 Boureanu, Ioana 1 Čermák, Petr 1 Dam, Mads 1 Edelkamp, Stefan 1 Governatori, Guido 1 Jones, Andrew J. I. 1 Jones, Andrew V. 1 Kakas, Antonis C. 1 Kowalski, Robert A. 1 Kwiatkowska, Marta Z. 1 Miller, Rob 1 Mogavero, Fabio 1 Muggleton, Stephen H. 1 Niewiadomski, Artur 1 Nute, Donald E. 1 Patrizi, Fabio 1 Pencek, W. 1 Rubin, Sasha 1 Russo, Francesco 1 Ryan, Mark R. 1 Sartor, Giovanni 1 Solanki, Monika 1 Wooldrige, Mike 1 Zbrzezny, Andrzej all top 5 Serials 10 Fundamenta Informaticae 3 Artificial Intelligence 3 Electronic Notes in Theoretical Computer Science 2 The Journal of Artificial Intelligence Research (JAIR) 2 Journal of Applied Logic 2 Lecture Notes in Computer Science 1 Studia Logica 1 Information and Computation 1 International Journal of Foundations of Computer Science 1 Journal of Applied Non-Classical Logics 1 Logic Journal of the IGPL Fields 48 Computer science (68-XX) 20 Mathematical logic and foundations (03-XX) 5 General and overarching topics; collections (00-XX) 3 Information and communication theory, circuits (94-XX) 1 History and biography (01-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 32 Publications have been cited 169 times in 98 Documents Cited by ▼ Year ▼ Verifying epistemic properties of multi-agent systems via bounded model checking. Zbl 1111.68512Penczek, Wojciech; Lomuscio, Alessio 20 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 Interactions between knowledge and time in a first-order logic for multi-agent systems: completeness results. Zbl 1267.68221Belardinelli, F.; Lomuscio, A. 11 2012 A logic for ignorance. Zbl 1270.03042van der Hoek, Wiebe; Lomuscio, Alessio 10 2004 Verification of agent-based artifact systems. Zbl 1367.68321Belardinelli, Francesco; Lomuscio, Alessio; Patrizi, Fabio 7 2014 Quantified epistemic logics for reasoning about knowledge in multi-agent systems. Zbl 1191.68646Belardinelli, F.; Lomuscio, A. 7 2009 Multi-agent \(\mathcal {VSK}\) logic. Zbl 0998.68164Wooldridge, Michael; Lomuscio, Alessio 7 2000 Parameterised verification for multi-agent systems. Zbl 1351.68294Kouvaros, Panagiotis; Lomuscio, Alessio 6 2016 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 A computationally grounded logic of visibility, perception, and knowledge. Zbl 0974.68203Wooldridge, Michael; Lomuscio, Alessio 5 2001 Partial order reductions for model checking temporal-epistemic logics over interleaved multi-agent systems. Zbl 1213.68382Lomuscio, Alessio; Penczek, Wojciech; Qu, Hongyang 4 2010 A data symmetry reduction technique for temporal-epistemic logic. Zbl 1262.68110Cohen, Mika; Dam, Mads; Lomuscio, Alessio; Qu, Hongyang 4 2009 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 A spectrum of modes of knowledge sharing between agents. Zbl 0956.03017Lomuscio, Alessio; Ryan, Mark 4 2000 Practical verification of multi-agent systems against Slk specifications. Zbl 1395.68255Čermák, Petr; Lomuscio, Alessio; Mogavero, Fabio; Murano, Aniello 3 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 First-order linear-time epistemic logic with group knowledge: an axiomatisation of the monodic fragment. Zbl 1252.03031Belardinelli, Francesco; Lomuscio, Alessio 3 2011 Automatic verification of temporal-epistemic properties of cryptographic protocols. Zbl 1186.68105Boureanu, Ioana; Cohen, Mika; Lomuscio, Alessio 3 2009 Bounded model checking for deontic interpreted systems. Zbl 1272.68279Woźna, Bożena; Lomuscio, Alessio; Penczek, Wojciech 3 2005 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 Parameterised model checking for alternating-time temporal logic. Zbl 1403.68127Kouvaros, Panagiotis; Lomuscio, Alessio 2 2016 Symbolic model checking for temporal-epistemic logic. Zbl 1356.68144Lomuscio, Alessio; Penczek, Wojciech 2 2012 Parallel model checking for temporal epistemic logic. Zbl 1211.68406Kwiatkowska, Marta; Lomuscio, Alessio; Qu, Hongyang 2 2010 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.03004Lomuscio, Alessio (ed.); Nute, Donald (ed.) 2 2004 Agent-based refinement for predicate abstraction of multi-agent systems. Zbl 1403.68300Belardinelli, Francesco; Lomuscio, Alessio; Michaliszyn, Jakub 1 2016 Assume-guarantee reasoning with local specifications. Zbl 1286.68319Lomuscio, Alessio; Strulo, Ben; Walker, Nigel; Wu, Peng 1 2013 Automatic verification of deontic properties of multi-agent systems. Zbl 1169.68618Raimondi, Franco; Lomuscio, Alessio 1 2004 On multi-agent systems specification via deontic logic. Zbl 1050.68131Lomuscio, Alessio; Sergot, Marek 1 2002 Practical verification of multi-agent systems against Slk specifications. Zbl 1395.68255Čermák, Petr; Lomuscio, Alessio; Mogavero, Fabio; Murano, Aniello 3 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 6 2016 Parameterised model checking for alternating-time temporal logic. Zbl 1403.68127Kouvaros, Panagiotis; Lomuscio, Alessio 2 2016 Agent-based refinement for predicate abstraction of multi-agent systems. Zbl 1403.68300Belardinelli, Francesco; Lomuscio, Alessio; Michaliszyn, Jakub 1 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 1 2013 Interactions between knowledge and time in a first-order logic for multi-agent systems: completeness results. Zbl 1267.68221Belardinelli, F.; Lomuscio, A. 11 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 3 2011 Partial order reductions for model checking temporal-epistemic logics over interleaved multi-agent systems. Zbl 1213.68382Lomuscio, Alessio; Penczek, Wojciech; Qu, Hongyang 4 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 A data symmetry reduction technique for temporal-epistemic logic. Zbl 1262.68110Cohen, Mika; Dam, Mads; Lomuscio, Alessio; Qu, Hongyang 4 2009 Automatic verification of temporal-epistemic properties of cryptographic protocols. Zbl 1186.68105Boureanu, Ioana; Cohen, Mika; Lomuscio, Alessio 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 Bounded model checking for deontic interpreted systems. Zbl 1272.68279Woźna, Bożena; Lomuscio, Alessio; Penczek, Wojciech 3 2005 A logic for knowledge, correctness, and real time. Zbl 1081.68098Woźna, Bożena; Lomuscio, Alessio 3 2005 A logic for ignorance. Zbl 1270.03042van der Hoek, Wiebe; Lomuscio, Alessio 10 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.03004Lomuscio, Alessio (ed.); Nute, Donald (ed.) 2 2004 Automatic verification of deontic properties of multi-agent systems. Zbl 1169.68618Raimondi, Franco; Lomuscio, Alessio 1 2004 Verifying epistemic properties of multi-agent systems via bounded model checking. Zbl 1111.68512Penczek, Wojciech; Lomuscio, Alessio 20 2003 Deontic interpreted systems. Zbl 1033.03012Lomuscio, Alessio; Sergot, Marek 15 2003 On multi-agent systems specification via deontic logic. Zbl 1050.68131Lomuscio, Alessio; Sergot, Marek 1 2002 A computationally grounded logic of visibility, perception, and knowledge. Zbl 0974.68203Wooldridge, Michael; Lomuscio, Alessio 5 2001 Multi-agent \(\mathcal {VSK}\) logic. Zbl 0998.68164Wooldridge, Michael; Lomuscio, Alessio 7 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 168 Authors 12 Lomuscio, Alessio 7 Rybakov, Vladimir Vladimirovich 6 Belardinelli, Francesco 5 Fan, Jie 4 De Giacomo, Giuseppe 4 Murano, Aniello 4 Penczek, Wojciech 4 van der Hoek, Wiebe 4 van Ditmarsch, Hans Pieter 3 Patrizi, Fabio 3 Wang, Yanjing 3 Wooldridge, Michael J. 3 Zbrzezny, Andrzej 2 Alechina, Natasha 2 Bertrand, Nathalie 2 Burrieza, Alfredo 2 de Guzmán, Inmaculada P. 2 Dewaskar, Miheer 2 Dima, Cătălin 2 Genest, Blaise 2 Gimbert, Hugo 2 Giordano, Laura 2 Grossi, Davide 2 Jamroga, Wojciech 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 Rubin, Sasha 2 Schneider, Gerardo 2 Sergot, Marek J. 2 Spegni, Francesco 2 Su, Kaile 2 Verbrugge, Rineke 1 Ågotnes, Thomas 1 Aguirre, Nazareno M. 1 Ahmadi, Sepideh 1 Ahrendt, Wolfgang 1 Aldewereld, Huib 1 Aminof, Benjamin 1 Andrikonis, Julius 1 Arcak, Murat 1 Bakhtiari, Zeinab 1 Bartocci, Ezio 1 Bianculli, Domenico 1 Billington, David 1 Blee, Jeff 1 Bozzelli, Laura 1 Brown, Mark A. 1 Bulling, Nils 1 Calvanese, Diego 1 Castro, Pablo F. 1 Čermák, Petr 1 Chen, Jingyu 1 Chen, Qingliang 1 Cogan, Eva H. 1 Colombo, Christian 1 Craven, Robert P. M. 1 Dam, Mads 1 Davis, Ernest E. 1 Dechesne, Francien 1 Demasi, Ramiro 1 Dignum, F. P. M. 1 Dix, Jurgen 1 Ezekiel, Jonathan 1 Falcone, Yliès 1 Fallah, Mehran S. 1 Fisher, Michael E. 1 Fisher, Michael W. 1 Francalanza, Adrian 1 Garanina, Natalia O. 1 Ghosh, Sujata 1 Godbole, Adwait Amit 1 Góngora, Pedro Arturo 1 Governatori, Guido 1 Guelev, Dimitar P. 1 Gutierrez, Julian 1 Han, Yabiao 1 Hansen, Helle Hvid 1 Hoang, Thai Son 1 Holbrook, Sarah 1 Hu, Guiwu 1 Hu, Yong 1 Huang, Xiaowei 1 Kiefer, Stefan 1 Kim, Eric S. 1 Kooi, Barteld Pieter 1 Koutsos, Adrien 1 Kouvaros, Panagiotis 1 Krstić, Srđan 1 Lange, Martin 1 Lanotte, Ruggero 1 Li, Qin 1 Liu, Zhifeng ...and 68 more Authors all top 5 Cited in 31 Serials 12 Artificial Intelligence 10 Journal of Applied Logic 5 Theoretical Computer Science 4 Studia Logica 4 Information and Computation 4 Formal Aspects of Computing 3 Journal of Philosophical Logic 3 Notre Dame Journal of Formal Logic 3 Synthese 3 Annals of Mathematics and Artificial Intelligence 3 Frontiers of Computer Science 2 Lithuanian Mathematical Journal 2 Siberian Mathematical Journal 2 Formal Methods in System Design 2 Journal of Applied Non-Classical Logics 1 Algebra and Logic 1 Automatica 1 Journal of Computer and System Sciences 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 Logical Methods in Computer Science 1 Frontiers of Computer Science in China all top 5 Cited in 10 Fields 74 Computer science (68-XX) 59 Mathematical logic and foundations (03-XX) 7 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 3 Systems theory; control (93-XX) 2 Operations research, mathematical programming (90-XX) 1 History and biography (01-XX) 1 Combinatorics (05-XX) 1 Group theory and generalizations (20-XX) 1 Convex and discrete geometry (52-XX) 1 Quantum theory (81-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.