The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Alessio Lomuscio: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. 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]
  4. 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]
  5. Alessio Lomuscio, Marco Colombetti
    QLB: A Quantified Logic for Belief. [Citation Graph (0, 0)][DBLP]
    ATAL, 1996, pp:71-85 [Conf]
  6. 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]
  7. 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]
  8. Alessio Lomuscio, Mark Ryan
    A Spectrum of Modes of Knowledge Sharing between Agents. [Citation Graph (0, 0)][DBLP]
    ATAL, 1999, pp:13-26 [Conf]
  9. Alessio Lomuscio, Franco Raimondi, Marek J. Sergot
    Towards model checking interpreted systems. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2003, pp:1054-1055 [Conf]
  10. Alessio Lomuscio, Marek J. Sergot
    On Multi-agent Systems Specification via Deontic Logic. [Citation Graph (0, 0)][DBLP]
    ATAL, 2001, pp:86-99 [Conf]
  11. Alessio Lomuscio, Marek J. Sergot
    The bit transmission problem revisited. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2002, pp:946-947 [Conf]
  12. 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]
  13. 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]
  14. 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]
  15. Michael Wooldridge, Alessio Lomuscio
    Reasoning about Visibility, Perception and Knowledge. [Citation Graph (0, 0)][DBLP]
    ATAL, 1999, pp:1-12 [Conf]
  16. 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]
  17. 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]
  18. 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]
  19. Bozena Wozna, Alessio Lomuscio
    A Logic for Knowledge, Correctness, and Real Time. [Citation Graph (0, 0)][DBLP]
    CLIMA V, 2004, pp:1-15 [Conf]
  20. Wiebe van der Hoek, Alessio Lomuscio
    A logic for ignorance. [Citation Graph (0, 0)][DBLP]
    DALT, 2003, pp:97-108 [Conf]
  21. 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]
  22. 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]
  23. Alessio Lomuscio, Bozena Wozna
    A Complete and Decidable Axiomatisation for Deontic Interpreted Systems. [Citation Graph (0, 0)][DBLP]
    DEON, 2006, pp:238-254 [Conf]
  24. Franco Raimondi, Alessio Lomuscio
    Automatic Verification of Deontic Properties of Multi-agent Systems. [Citation Graph (0, 0)][DBLP]
    DEON, 2004, pp:228-242 [Conf]
  25. Alessio Lomuscio, Mark Ryan
    Ideal Agents Sharing (some!) Knowledge. [Citation Graph (0, 0)][DBLP]
    ECAI, 1998, pp:557-561 [Conf]
  26. 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]
  27. 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]
  28. 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]
  29. 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]
  30. 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]
  31. Michael Wooldridge, Alessio Lomuscio
    Multi-agent VSK Logic. [Citation Graph (0, 0)][DBLP]
    JELIA, 2000, pp:300-312 [Conf]
  32. Alessio Lomuscio, Franco Raimondi
    MCMAS: A Model Checker for Multi-agent Systems. [Citation Graph (0, 0)][DBLP]
    TACAS, 2006, pp:450-454 [Conf]
  33. 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]
  34. 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]
  35. 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]
  36. 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]
  37. 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]
  38. 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]
  39. 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]
  40. 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]
  41. 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]
  42. 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]
  43. Alessio Lomuscio, Donald Nute
    Editorial. [Citation Graph (0, 0)][DBLP]
    J. Applied Logic, 2005, v:3, n:3-4, pp:369-370 [Journal]
  44. 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]
  45. Alessio Lomuscio, Marek J. Sergot
    Deontic Interpreted Systems. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2003, v:75, n:1, pp:63-92 [Journal]
  46. 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]
  47. 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]
  48. 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]
  49. 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]
  50. 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]
  51. 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]

  52. Mapping OWL-S Processes to Multi Agent Systems: A Verification Oriented Approach. [Citation Graph (, )][DBLP]


  53. A quantified epistemic logic for reasoning about multiagent systems. [Citation Graph (, )][DBLP]


  54. A temporal epistemic logic with a reset operation. [Citation Graph (, )][DBLP]


  55. Towards verifying compliance in agent-based web service compositions. [Citation Graph (, )][DBLP]


  56. Combining fault injection and model checking to verify fault tolerance in multi-agent systems. [Citation Graph (, )][DBLP]


  57. Abstraction in model checking multi-agent systems. [Citation Graph (, )][DBLP]


  58. Distributed BDD-based BMC for the verification of multi-agent systems. [Citation Graph (, )][DBLP]


  59. Partial order reductions for model checking temporal epistemic logics over interleaved multi-agent systems. [Citation Graph (, )][DBLP]


  60. Model checking detectability of attacks in multiagent systems. [Citation Graph (, )][DBLP]


  61. Runtime monitoring of contract regulated web services. [Citation Graph (, )][DBLP]


  62. A Data Symmetry Reduction Technique for Temporal-epistemic Logic. [Citation Graph (, )][DBLP]


  63. MCMAS: A Model Checker for the Verification of Multi-Agent Systems. [Citation Graph (, )][DBLP]


  64. A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems. [Citation Graph (, )][DBLP]


  65. Non-elementary speed up for model checking synchronous perfect recall. [Citation Graph (, )][DBLP]


  66. Parallel Model Checking for Temporal Epistemic Logic. [Citation Graph (, )][DBLP]


  67. Towards an Agent Based Approach for Verification of OWL-S Process Models. [Citation Graph (, )][DBLP]


  68. Towards Verifying Contract Regulated Service Composition. [Citation Graph (, )][DBLP]


  69. A Symmetry Reduction Technique for Model Checking Temporal-Epistemic Logic. [Citation Graph (, )][DBLP]


  70. A Complete First-Order Logic of Knowledge and Time. [Citation Graph (, )][DBLP]


  71. Interactions between Time and Knowledge in a First-order Logic for Multi-Agent Systems. [Citation Graph (, )][DBLP]


  72. An Automated Approach to Verifying Diagnosability in Multi-agent Systems. [Citation Graph (, )][DBLP]


  73. First-Order Linear-Time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment. [Citation Graph (, )][DBLP]


  74. Towards Partial Order Reduction for Model Checking Temporal Epistemic Logic. [Citation Graph (, )][DBLP]


  75. Quantified epistemic logics for reasoning about knowledge in multi-agent systems. [Citation Graph (, )][DBLP]


Search in 0.020secs, Finished in 0.025secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002