| 2008 |
|---|
| 32 | | Ivan Di Pietro,
Francesco Pagliarecci,
Marco Pistore,
Luca Spalazzi,
Paolo Traverso:
Semantic Annotation for Web Service Processes.
SEBD 2008: 69-80 |
| 31 | EE | Ivan Di Pietro,
Francesco Pagliarecci,
Luca Spalazzi,
Annapaola Marconi,
Marco Pistore:
Semantic Web Service Selection at the Process-Level: The eBay/Amazon/PayPal Case Study.
Web Intelligence 2008: 605-611 |
| 30 | EE | Salvatore Campana,
Luca Spalazzi,
Francesco Spegni:
XAL: A Web Oriented Programming Language Based on Timed-Automata.
Web Intelligence 2008: 862-868 |
| 2007 |
|---|
| 29 | EE | Francesco Pagliarecci,
Loris Penserini,
Luca Spalazzi:
From a Goal-Oriented Methodology to a BDI Agent Language: The Case of Tropos and Alan.
OTM Workshops (1) 2007: 105-114 |
| 28 | | Francesco Pagliarecci,
Marco Pistore,
Luca Spalazzi,
Paolo Traverso:
Web Service Discovery at Process-level Based on Semantic Annotation.
SEBD 2007: 220-232 |
| 27 | EE | Loris Penserini,
Manuel Kolp,
Luca Spalazzi:
Social-oriented engineering of intelligent software.
Web Intelligence and Agent Systems 5(1): 69-87 (2007) |
| 2006 |
|---|
| 26 | EE | Marco Pistore,
Luca Spalazzi,
Paolo Traverso:
A Minimalist Approach to Semantic Annotations for Web Processes Compositions.
ESWC 2006: 620-634 |
| 25 | | Marco Pistore,
Luca Spalazzi,
Paolo Traverso:
A Minimalist Approach to Semantic Annotations for Web Processes Compositions.
SEBD 2006: 208-216 |
| 2005 |
|---|
| 24 | | Maurizio Panti,
Francesco Pagliarecci,
Luca Spalazzi:
An Agent-Based Supply-Chain Management.
SEBD 2005: 117-124 |
| 2004 |
|---|
| 23 | EE | Loris Penserini,
Manuel Kolp,
Luca Spalazzi,
Maurizio Panti:
Socially-Based Design Meets Agent Capabilities.
IAT 2004: 72-78 |
| 22 | | Loris Penserini,
Luca Spalazzi,
Maurizio Panti:
A P2P-Based Infrastructure for Virtual-Enterprise's Supply-Chain Management.
ICEIS (4) 2004: 316-321 |
| 2003 |
|---|
| 21 | EE | Loris Penserini,
Lin Liu,
John Mylopoulos,
Maurizio Panti,
Luca Spalazzi:
Cooperation strategies for agent-based P2P systems.
Web Intelligence and Agent Systems 1(1): 3-21 (2003) |
| 2002 |
|---|
| 20 | EE | Loris Penserini,
Maurizio Panti,
Luca Spalazzi:
Agent-based transactions into decentralised P2P.
AAMAS 2002: 1288-1289 |
| 19 | EE | Loris Penserini,
Lin Liu,
John Mylopoulos,
Luca Spalazzi:
Modeling and Evaluating Cooperation Strategies in P2P Agent Systems.
AP2PC 2002: 87-99 |
| 18 | EE | Massimo Benerecetti,
Maurizio Panti,
Luca Spalazzi,
Simone Tacconi:
Verification of Payment Protocols via MultiAgent Model Checking.
CAiSE 2002: 311-327 |
| 17 | | Maurizio Panti,
Luca Spalazzi,
Simone Tacconi,
Salvatore Valenti:
Automatic Verification of Security in Payment Protocols for Electronic Commerce.
ICEIS 2002: 968-974 |
| 16 | EE | Massimo Benerecetti,
Maurizio Panti,
Luca Spalazzi,
Simone Tacconi:
Verification of the SSL/TLS Protocol Using a Model Checkable Logic of Belief and Time.
SAFECOMP 2002: 126-138 |
| 2001 |
|---|
| 15 | EE | Maurizio Panti,
Luca Spalazzi,
Loris Penserini:
Cooperation Strategies for Information Integration.
CoopIS 2001: 123-134 |
| 14 | | Maurizio Panti,
Luca Spalazzi,
Loris Penserini:
A Distributed Case-Based Query Rewriting.
IJCAI 2001: 1005-1010 |
| 2000 |
|---|
| 13 | | Massimo Benerecetti,
Fausto Giunchiglia,
Maurizio Panti,
Luca Spalazzi:
A Logic of Belief and a Model Checking Algorithm for Security Protocols.
FORTE 2000: 393-408 |
| 12 | | Maurizio Panti,
Luca Spalazzi,
Simone Tacconi:
Verifica formale dei protocolli di sicurezza mediante model checking.
SEBD 2000: 167-180 |
| 11 | | Maurizio Panti,
Loris Penserini,
Luca Spalazzi:
A critical discussion about an agent platform based on FIPA specification.
SEBD 2000: 345-356 |
| 10 | EE | Maurizio Panti,
Luca Spalazzi,
Alberto Giretti:
A Case-Based Approach to Information Integration.
VLDB 2000: 557-565 |
| 9 | EE | Luca Spalazzi,
Paolo Traverso:
A dynamic logic for acting, sensing, and planning.
J. Log. Comput. 10(6): 787-821 (2000) |
| 1999 |
|---|
| 8 | EE | Fausto Giunchiglia,
Luca Spalazzi:
Intelligent Planning: A Decomposition and Abstraction Based Approach to Classical Planning.
Artif. Intell. 111(1-2): 329-338 (1999) |
| 7 | | Luca Spalazzi:
A planning language for embedded systems.
J. Exp. Theor. Artif. Intell. 11(2): 219-238 (1999) |
| 1998 |
|---|
| 6 | | Luca Spalazzi:
An Architecture for Planning in Embedded Systems.
Appl. Intell. 8(2): 157-172 (1998) |
| 1995 |
|---|
| 5 | | Paolo Traverso,
Luca Spalazzi,
Fausto Giunchiglia:
Reasoning About Acting, Sensing, and Failure Handling: A Logic for Agents Embedded in the Real World.
ATAL 1995: 65-78 |
| 4 | | Paolo Traverso,
Luca Spalazzi:
A Logic for Acting, Sensing and Planning.
IJCAI 1995: 1941-1949 |
| 1994 |
|---|
| 3 | | Fausto Giunchiglia,
Luca Spalazzi,
Paolo Traverso:
Planning with Failure.
AIPS 1994: 74-79 |
| 2 | | Paolo Traverso,
Alessandro Cimatti,
Luca Spalazzi,
Alessandro Armando,
Enrico Giunchiglia:
MRG: Building planers for real-world complex applications.
Applied Artificial Intelligence 8(3): 333-357 (1994) |
| 1992 |
|---|
| 1 | | Paolo Traverso,
Alessandro Cimatti,
Luca Spalazzi:
Beyond the Single Planning Paradigm: Introspective Planning.
ECAI 1992: 643-647 |
