sign in · help · news · about ·

BibSonomy :: author :: Lomuscio ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(97)

<< < 1 | 2 | 3 > >>

Automated Negotiation: Prospects Methods and Challenges
Nicholas R. Jennings, Peyman Faratin, A. R. Lomuscio, Simon Parsons, Michael Wooldridge, and Carles Sierra Group Decision and Negotiation 10(2):199--215 (2001)
to negotiation by jcs on Jan 31, 2012, 9:08 PM
URL | BibTeX
Towards verifying contract regulated service composition.
Alessio Lomuscio, Hongyang Qu, and Monika Solanki Autonomous Agents and Multi-Agent Systems 24(3):345-373 (2012)
to dblp by dblp on Jan 25, 2012, 12:00 AM
URL | BibTeX
Runtime Monitoring of Contract Regulated Web Services.
Alessio Lomuscio, Wojciech Penczek, Monika Solanki, and Maciej Szreter Fundam. Inform. 111(3):339-355 (2011)
to dblp by dblp on Dec 19, 2011, 12:00 AM
URL | BibTeX
Model Checking Temporal-Epistemic Logic Using Alternating Tree Automata.
Francesco Belardinelli, Andrew V. Jones, and Alessio Lomuscio Fundam. Inform. 112(1):19-37 (2011)
to dblp by dblp on Dec 19, 2011, 12:00 AM
URL | BibTeX
Logic Column 19: Symbolic Model Checking for Temporal-Epistemic Logics
Alessio Lomuscio, and Wojciech Penczek CoRR (2007)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Knowledge in Multi-Agent Systems: Initial Configurations and Broadcast
Alessio Lomuscio, Ron van der Meyden, and Mark Ryan CoRR (1999)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Verification of Deployed Artifact Systems via Data Abstraction.
Francesco Belardinelli, Alessio Lomuscio, and Fabio Patrizi ICSOC, volume 7084 of Lecture Notes in Computer Science, page 142-156. Springer, (2011)
to dblp by dblp on Nov 22, 2011, 12:00 AM
URL | BibTeX
A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems.
Francesco Belardinelli, and Alessio Lomuscio CLIMA, volume 5056 of Lecture Notes in Computer Science, page 248-267. Springer, (2007)
to dblp by dblp on Sep 15, 2011, 12:00 AM
URL | BibTeX
A Logic for Knowledge, Correctness, and Real Time.
Bozena Wozna, and Alessio Lomuscio CLIMA, volume 3487 of Lecture Notes in Computer Science, page 1-15. Springer, (2004)
to dblp by dblp on Sep 15, 2011, 12:00 AM
URL | BibTeX
Verification of the TESLA protocol in MCMAS-X.
Alessio Lomuscio, Franco Raimondi, and Bozena Wozna Fundam. Inform. 79(3-4):473-486 (2007)
to dblp by dblp on Sep 12, 2011, 12:00 AM
URL | BibTeX
From Bounded to Unbounded Model Checking for Temporal Epistemic Logic.
Magdalena Kacprzak, Alessio Lomuscio, and Wojciech Penczek Fundam. Inform. 63(2-3):221-240 (2004)
to dblp by dblp on Sep 12, 2011, 12:00 AM
URL | BibTeX
Comparing BDD and SAT Based Techniques for Model Checking Chaum's Dining Cryptographers Protocol.
Magdalena Kacprzak, Alessio Lomuscio, Artur Niewiadomski, Wojciech Penczek, Franco Raimondi, and Maciej Szreter Fundam. Inform. 72(1-3):215-234 (2006)
to dblp by dblp on Sep 12, 2011, 12:00 AM
URL | BibTeX
Verifying Epistemic Properties of Multi-agent Systems via Bounded Model Checking.
Wojciech Penczek, and Alessio Lomuscio Fundam. Inform. 55(2):167-185 (2003)
to dblp by dblp and 1 other user on Sep 12, 2011, 12:00 AM
URL | BibTeX
First-Order Linear-time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment.
Francesco Belardinelli, and Alessio Lomuscio Fundam. Inform. 106(2-4):175-190 (2011)
to dblp by dblp on Sep 7, 2011, 12:00 AM
URL | BibTeX
Verifying Multi-agent Systems via Unbounded Model Checking.
Magdalena Kacprzak, Alessio Lomuscio, T. Lasica, Wojciech Penczek, and Maciej Szreter FAABS, volume 3228 of Lecture Notes in Computer Science, page 189-212. Springer, (2004)
to dblp by dblp on Aug 10, 2011, 12:00 AM
URL | BibTeX
Towards Symbolic Model Checking for Multi-agent Systems via OBDD's.
Franco Raimondi, and Alessio Lomuscio FAABS, volume 3228 of Lecture Notes in Computer Science, page 213-221. Springer, (2004)
to dblp by dblp on Aug 10, 2011, 12:00 AM
URL | BibTeX
A Computationally-Grounded Semantics for Artifact-Centric Systems and Abstraction Results.
Francesco Belardinelli, Alessio Lomuscio, and Fabio Patrizi IJCAI, page 738-743. IJCAI/AAAI, (2011)
to dblp by dblp on Aug 9, 2011, 12:00 AM
URL | BibTeX
Verifying Fault Tolerance and Self-Diagnosability of an Autonomous Underwater Vehicle.
Jonathan Ezekiel, Alessio Lomuscio, Levente Molnar, and Sandor M. Veres IJCAI, page 1659-1664. IJCAI/AAAI, (2011)
to dblp by dblp on Aug 9, 2011, 12:00 AM
URL | BibTeX
Automatic Verification of Deontic Properties of Multi-agent Systems.
Franco Raimondi, and Alessio Lomuscio DEON, volume 3065 of Lecture Notes in Computer Science, page 228-242. Springer, (2004)
to dblp by dblp on Jul 7, 2011, 12:00 AM
URL | BibTeX
A Tableaux System for Deontic Interpreted Systems.
Guido Governatori, Alessio Lomuscio, and Marek J. Sergot Australian Conference on Artificial Intelligence, volume 2903 of Lecture Notes in Computer Science, page 339-351. Springer, (2003)
to dblp by dblp on Jul 6, 2011, 12:00 AM
URL | BibTeX

<< < 1 | 2 | 3 > >>publications per page: 5 10 20 50 100

a gripper