Search the dblp DataBase
Alessio Lomuscio :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Alessio Lomuscio , Michael Wooldridge , Nicholas R. Jennings A Classification Scheme for Negotiation in Electronic Commerce. [Citation Graph (0, 0)][DBLP ] AgentLink, 2001, pp:19-33 [Conf ] Wiebe van der Hoek , Alessio Lomuscio Ignore at your peril - towards a logic for ignorance. [Citation Graph (0, 0)][DBLP ] AAMAS, 2003, pp:1148-1149 [Conf ] Wiebe van der Hoek , Alessio Lomuscio , Michael Wooldridge On the complexity of practical ATL model checking. [Citation Graph (0, 0)][DBLP ] AAMAS, 2006, pp:201-208 [Conf ] Magdalena Kacprzak , Alessio Lomuscio , Wojciech Penczek Verification of Multiagent Systems via Unbounded Model Checking. [Citation Graph (0, 0)][DBLP ] AAMAS, 2004, pp:638-645 [Conf ] Alessio Lomuscio , Marco Colombetti QLB: A Quantified Logic for Belief. [Citation Graph (0, 0)][DBLP ] ATAL, 1996, pp:71-85 [Conf ] Alessio Lomuscio , Franco Raimondi Model checking knowledge, strategies, and games in multi-agent systems. [Citation Graph (0, 0)][DBLP ] AAMAS, 2006, pp:161-168 [Conf ] Alessio Lomuscio , Franco Raimondi The complexity of model checking concurrent programs against CTLK specifications. [Citation Graph (0, 0)][DBLP ] AAMAS, 2006, pp:548-550 [Conf ] Alessio Lomuscio , Mark Ryan A Spectrum of Modes of Knowledge Sharing between Agents. [Citation Graph (0, 0)][DBLP ] ATAL, 1999, pp:13-26 [Conf ] Alessio Lomuscio , Franco Raimondi , Marek J. Sergot Towards model checking interpreted systems. [Citation Graph (0, 0)][DBLP ] AAMAS, 2003, pp:1054-1055 [Conf ] Alessio Lomuscio , Marek J. Sergot On Multi-agent Systems Specification via Deontic Logic. [Citation Graph (0, 0)][DBLP ] ATAL, 2001, pp:86-99 [Conf ] Alessio Lomuscio , Marek J. Sergot The bit transmission problem revisited. [Citation Graph (0, 0)][DBLP ] AAMAS, 2002, pp:946-947 [Conf ] Alessio Lomuscio , Bozena Wozna A complete and decidable security-specialised logic and its application to the TESLA protocol. [Citation Graph (0, 0)][DBLP ] AAMAS, 2006, pp:145-152 [Conf ] Wojciech Penczek , Alessio Lomuscio Verifying epistemic properties of multi-agent systems via bounded model checking. [Citation Graph (0, 0)][DBLP ] AAMAS, 2003, pp:209-216 [Conf ] Franco Raimondi , Alessio Lomuscio Verification of Multiagent Systems via Ordered Binary Decision Diagrams: An Algorithm and Its Implementation. [Citation Graph (0, 0)][DBLP ] AAMAS, 2004, pp:630-637 [Conf ] Michael Wooldridge , Alessio Lomuscio Reasoning about Visibility, Perception and Knowledge. [Citation Graph (0, 0)][DBLP ] ATAL, 1999, pp:1-12 [Conf ] Bozena Wozna , Alessio Lomuscio , Wojciech Penczek Bounded model checking for knowledge and real time. [Citation Graph (0, 0)][DBLP ] AAMAS, 2005, pp:165-172 [Conf ] Guido Governatori , Alessio Lomuscio , Marek J. Sergot A Tableaux System for Deontic Interpreted Systems. [Citation Graph (0, 0)][DBLP ] Australian Conference on Artificial Intelligence, 2003, pp:339-351 [Conf ] Alessio Lomuscio , Mark Ryan On the Relation between Interpreted Systems and Kripke Models. [Citation Graph (0, 0)][DBLP ] Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications, 1997, pp:46-59 [Conf ] Bozena Wozna , Alessio Lomuscio A Logic for Knowledge, Correctness, and Real Time. [Citation Graph (0, 0)][DBLP ] CLIMA V, 2004, pp:1-15 [Conf ] Wiebe van der Hoek , Alessio Lomuscio A logic for ignorance. [Citation Graph (0, 0)][DBLP ] DALT, 2003, pp:97-108 [Conf ] Alessio Lomuscio , Bozena Wozna A Combination of Explicit and Deductive Knowledge with Branching Time: Completeness and Decidability Results. [Citation Graph (0, 0)][DBLP ] DALT, 2005, pp:188-204 [Conf ] Alessio Lomuscio , Franco Raimondi The Complexity of Model Checking Concurrent Programs Against CTLK Specifications. [Citation Graph (0, 0)][DBLP ] DALT, 2006, pp:29-42 [Conf ] Alessio Lomuscio , Bozena Wozna A Complete and Decidable Axiomatisation for Deontic Interpreted Systems. [Citation Graph (0, 0)][DBLP ] DEON, 2006, pp:238-254 [Conf ] Franco Raimondi , Alessio Lomuscio Automatic Verification of Deontic Properties of Multi-agent Systems. [Citation Graph (0, 0)][DBLP ] DEON, 2004, pp:228-242 [Conf ] Alessio Lomuscio , Mark Ryan Ideal Agents Sharing (some!) Knowledge. [Citation Graph (0, 0)][DBLP ] ECAI, 1998, pp:557-561 [Conf ] Franco Raimondi , Alessio Lomuscio Automatic Verification of Deontic Interpreted Systems by Model Checking via OBDD's. [Citation Graph (0, 0)][DBLP ] ECAI, 2004, pp:53-57 [Conf ] Magdalena Kacprzak , Alessio Lomuscio , T. Lasica , Wojciech Penczek , Maciej Szreter Verifying Multi-agent Systems via Unbounded Model Checking. [Citation Graph (0, 0)][DBLP ] FAABS, 2004, pp:189-212 [Conf ] Alessio Lomuscio , T. Lasica , Wojciech Penczek Bounded Model Checking for Interpreted Systems: Preliminary Experimental Results. [Citation Graph (0, 0)][DBLP ] FAABS, 2002, pp:115-125 [Conf ] Franco Raimondi , Alessio Lomuscio Towards Symbolic Model Checking for Multi-agent Systems via OBDD's. [Citation Graph (0, 0)][DBLP ] FAABS, 2004, pp:213-221 [Conf ] Alessio Lomuscio , Charles Pecheur , Franco Raimondi Automatic Verification of Knowledge and Time with NuSMV. [Citation Graph (0, 0)][DBLP ] IJCAI, 2007, pp:1384-1389 [Conf ] Michael Wooldridge , Alessio Lomuscio Multi-agent VSK Logic. [Citation Graph (0, 0)][DBLP ] JELIA, 2000, pp:300-312 [Conf ] Alessio Lomuscio , Franco Raimondi MCMAS: A Model Checker for Multi-agent Systems. [Citation Graph (0, 0)][DBLP ] TACAS, 2006, pp:450-454 [Conf ] Alessio Lomuscio , Mark Ryan An algorithmic approach to knowledge evolution. [Citation Graph (0, 0)][DBLP ] AI EDAM, 1999, v:13, n:2, pp:119-132 [Journal ] Alessio Lomuscio , Ron van der Meyden , Mark Ryan Knowledge in Multi-Agent Systems: Initial Configurations and Broadcast [Citation Graph (0, 0)][DBLP ] CoRR, 1999, v:0, n:, pp:- [Journal ] Wiebe van der Hoek , Alessio Lomuscio , Erik P. de Vink , Michael Wooldridge Preface. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2005, v:126, n:, pp:1-2 [Journal ] Wiebe van der Hoek , Alessio Lomuscio , Erik P. de Vink , Michael Wooldridge Preface. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2006, v:157, n:4, pp:1-2 [Journal ] Bozena Wozna , Alessio Lomuscio , Wojciech Penczek Bounded Model Checking for Deontic Interpreted Systems. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2005, v:126, n:, pp:93-114 [Journal ] Magdalena Kacprzak , Alessio Lomuscio , Wojciech Penczek From Bounded to Unbounded Model Checking for Temporal Epistemic Logic. [Citation Graph (0, 0)][DBLP ] Fundam. Inform., 2004, v:63, n:2-3, pp:221-240 [Journal ] Wojciech Penczek , Alessio Lomuscio Verifying Epistemic Properties of Multi-agent Systems via Bounded Model Checking. [Citation Graph (0, 0)][DBLP ] Fundam. Inform., 2003, v:55, n:2, pp:167-185 [Journal ] Magdalena Kacprzak , Alessio Lomuscio , Artur Niewiadomski , Wojciech Penczek , Franco Raimondi , Maciej Szreter Comparing BDD and SAT Based Techniques for Model Checking Chaum's Dining Cryptographers Protocol. [Citation Graph (0, 0)][DBLP ] Fundam. Inform., 2006, v:72, n:1-3, pp:215-234 [Journal ] Michael Wooldridge , Alessio Lomuscio A Computationally Grounded Logic of Visibility, Perception, and Knowledge. [Citation Graph (0, 0)][DBLP ] Logic Journal of the IGPL, 2001, v:9, n:2, pp:- [Journal ] Franco Raimondi , Alessio Lomuscio Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams. [Citation Graph (0, 0)][DBLP ] J. Applied Logic, 2007, v:5, n:2, pp:235-251 [Journal ] Alessio Lomuscio , Donald Nute Editorial. [Citation Graph (0, 0)][DBLP ] J. Applied Logic, 2005, v:3, n:3-4, pp:369-370 [Journal ] Alessio Lomuscio , Marek J. Sergot A formalisation of violation, error recovery, and enforcement in the bit transmission problem. [Citation Graph (0, 0)][DBLP ] J. Applied Logic, 2004, v:2, n:1, pp:93-116 [Journal ] Alessio Lomuscio , Marek J. Sergot Deontic Interpreted Systems. [Citation Graph (0, 0)][DBLP ] Studia Logica, 2003, v:75, n:1, pp:63-92 [Journal ] Alessio Lomuscio , Ron van der Meyden , Mark Ryan Knowledge in multiagent systems: initial configurations and broadcast. [Citation Graph (0, 0)][DBLP ] ACM Trans. Comput. Log., 2000, v:1, n:2, pp:247-284 [Journal ] Alessio Lomuscio , Hongyang Qu , Marek J. Sergot , Monika Solanki Verifying Temporal and Epistemic Properties of Web Service Compositions. [Citation Graph (0, 0)][DBLP ] ICSOC, 2007, pp:456-461 [Conf ] Alessio Lomuscio , Bozena Wozna , Andrzej Zbrzezny Bounded Model Checking Real-Time Multi-agent Systems with Clock Differences: Theory and Implementation. [Citation Graph (0, 0)][DBLP ] MoChArt, 2006, pp:95-112 [Conf ] Alessio Lomuscio , Wojciech Penczek , Bozena Wozna Bounded model checking for knowledge and real time. [Citation Graph (0, 0)][DBLP ] Artif. Intell., 2007, v:171, n:16-17, pp:1011-1038 [Journal ] Alessio Lomuscio , Wojciech Penczek Logic Column 19: Symbolic Model Checking for Temporal-Epistemic Logics [Citation Graph (0, 0)][DBLP ] CoRR, 2007, v:0, n:, pp:- [Journal ] Alessio Lomuscio , Franco Raimondi , Bozena Wozna Verification of the TESLA protocol in MCMAS-X. [Citation Graph (0, 0)][DBLP ] Fundam. Inform., 2007, v:79, n:3-4, pp:473-486 [Journal ] Mapping OWL-S Processes to Multi Agent Systems: A Verification Oriented Approach. [Citation Graph (, )][DBLP ] A quantified epistemic logic for reasoning about multiagent systems. [Citation Graph (, )][DBLP ] A temporal epistemic logic with a reset operation. [Citation Graph (, )][DBLP ] Towards verifying compliance in agent-based web service compositions. [Citation Graph (, )][DBLP ] Combining fault injection and model checking to verify fault tolerance in multi-agent systems. [Citation Graph (, )][DBLP ] Abstraction in model checking multi-agent systems. [Citation Graph (, )][DBLP ] Distributed BDD-based BMC for the verification of multi-agent systems. [Citation Graph (, )][DBLP ] Partial order reductions for model checking temporal epistemic logics over interleaved multi-agent systems. [Citation Graph (, )][DBLP ] Model checking detectability of attacks in multiagent systems. [Citation Graph (, )][DBLP ] Runtime monitoring of contract regulated web services. [Citation Graph (, )][DBLP ] A Data Symmetry Reduction Technique for Temporal-epistemic Logic. [Citation Graph (, )][DBLP ] MCMAS: A Model Checker for the Verification of Multi-Agent Systems. [Citation Graph (, )][DBLP ] A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems. [Citation Graph (, )][DBLP ] Non-elementary speed up for model checking synchronous perfect recall. [Citation Graph (, )][DBLP ] Parallel Model Checking for Temporal Epistemic Logic. [Citation Graph (, )][DBLP ] Towards an Agent Based Approach for Verification of OWL-S Process Models. [Citation Graph (, )][DBLP ] Towards Verifying Contract Regulated Service Composition. [Citation Graph (, )][DBLP ] A Symmetry Reduction Technique for Model Checking Temporal-Epistemic Logic. [Citation Graph (, )][DBLP ] A Complete First-Order Logic of Knowledge and Time. [Citation Graph (, )][DBLP ] Interactions between Time and Knowledge in a First-order Logic for Multi-Agent Systems. [Citation Graph (, )][DBLP ] An Automated Approach to Verifying Diagnosability in Multi-agent Systems. [Citation Graph (, )][DBLP ] First-Order Linear-Time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment. [Citation Graph (, )][DBLP ] Towards Partial Order Reduction for Model Checking Temporal Epistemic Logic. [Citation Graph (, )][DBLP ] Quantified epistemic logics for reasoning about knowledge in multi-agent systems. [Citation Graph (, )][DBLP ] Search in 0.004secs, Finished in 0.452secs