Luca Spalazzi Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
35no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco Pagliarecci, Luca Spalazzi, Fabrizio Spinelli: JEAP - JAVA environment for Agent platform. IADIS AC (1) 2009: 149-156
34no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Rossetti, Luca Spalazzi: Performance indicator in collaborative systems for business process management. IADIS AC (2) 2009: 212-216
33no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIvan Di Pietro, Annapaola Marconi, Francesco Pagliarecci, Marco Pistore, Luca Spalazzi: Semantic Web Service Selection at the Process-level: the eBay/Amazon/PayPal Case Study. SEBD 2009: 177-184
2008
32no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIvan Di Pietro, Francesco Pagliarecci, Marco Pistore, Luca Spalazzi, Paolo Traverso: Semantic Annotation for Web Service Processes. SEBD 2008: 69-80
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIvan 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
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSalvatore Campana, Luca Spalazzi, Francesco Spegni: XAL: A Web Oriented Programming Language Based on Timed-Automata. Web Intelligence 2008: 862-868
2007
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco 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
28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco Pagliarecci, Marco Pistore, Luca Spalazzi, Paolo Traverso: Web Service Discovery at Process-level Based on Semantic Annotation. SEBD 2007: 220-232
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLoris Penserini, Manuel Kolp, Luca Spalazzi: Social-oriented engineering of intelligent software. Web Intelligence and Agent Systems 5(1): 69-87 (2007)
2006
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Pistore, Luca Spalazzi, Paolo Traverso: A Minimalist Approach to Semantic Annotations for Web Processes Compositions. ESWC 2006: 620-634
25no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Pistore, Luca Spalazzi, Paolo Traverso: A Minimalist Approach to Semantic Annotations for Web Processes Compositions. SEBD 2006: 208-216
2005
24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaurizio Panti, Francesco Pagliarecci, Luca Spalazzi: An Agent-Based Supply-Chain Management. SEBD 2005: 117-124
2004
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLoris Penserini, Manuel Kolp, Luca Spalazzi, Maurizio Panti: Socially-Based Design Meets Agent Capabilities. IAT 2004: 72-78
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLoris Penserini, Luca Spalazzi, Maurizio Panti: A P2P-Based Infrastructure for Virtual-Enterprise's Supply-Chain Management. ICEIS (4) 2004: 316-321
2003
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLoris 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
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLoris Penserini, Maurizio Panti, Luca Spalazzi: Agent-based transactions into decentralised P2P. AAMAS 2002: 1288-1289
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLoris Penserini, Lin Liu, John Mylopoulos, Luca Spalazzi: Modeling and Evaluating Cooperation Strategies in P2P Agent Systems. AP2PC 2002: 87-99
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMassimo Benerecetti, Maurizio Panti, Luca Spalazzi, Simone Tacconi: Verification of Payment Protocols via MultiAgent Model Checking. CAiSE 2002: 311-327
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaurizio Panti, Luca Spalazzi, Simone Tacconi, Salvatore Valenti: Automatic Verification of Security in Payment Protocols for Electronic Commerce. ICEIS 2002: 968-974
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMassimo 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
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaurizio Panti, Luca Spalazzi, Loris Penserini: Cooperation Strategies for Information Integration. CoopIS 2001: 123-134
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaurizio Panti, Luca Spalazzi, Loris Penserini: A Distributed Case-Based Query Rewriting. IJCAI 2001: 1005-1010
2000
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMassimo Benerecetti, Fausto Giunchiglia, Maurizio Panti, Luca Spalazzi: A Logic of Belief and a Model Checking Algorithm for Security Protocols. FORTE 2000: 393-408
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaurizio Panti, Luca Spalazzi, Simone Tacconi: Verifica formale dei protocolli di sicurezza mediante model checking. SEBD 2000: 167-180
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaurizio Panti, Loris Penserini, Luca Spalazzi: A critical discussion about an agent platform based on FIPA specification. SEBD 2000: 345-356
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaurizio Panti, Luca Spalazzi, Alberto Giretti: A Case-Based Approach to Information Integration. VLDB 2000: 557-565
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Spalazzi, Paolo Traverso: A dynamic logic for acting, sensing, and planning. J. Log. Comput. 10(6): 787-821 (2000)
1999
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFausto Giunchiglia, Luca Spalazzi: Intelligent Planning: A Decomposition and Abstraction Based Approach to Classical Planning. Artif. Intell. 111(1-2): 329-338 (1999)
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Spalazzi: A planning language for embedded systems. J. Exp. Theor. Artif. Intell. 11(2): 219-238 (1999)
1998
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Spalazzi: An Architecture for Planning in Embedded Systems. Appl. Intell. 8(2): 157-172 (1998)
1995
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo 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
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Traverso, Luca Spalazzi: A Logic for Acting, Sensing and Planning. IJCAI 1995: 1941-1949
1994
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFausto Giunchiglia, Luca Spalazzi, Paolo Traverso: Planning with Failure. AIPS 1994: 74-79
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo 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
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Traverso, Alessandro Cimatti, Luca Spalazzi: Beyond the Single Planning Paradigm: Introspective Planning. ECAI 1992: 643-647

Coauthor Index

1Alessandro Armando [2]
2Massimo Benerecetti [13] [16] [18]
3Salvatore Campana [30]
4Alessandro Cimatti [1] [2]
5Alberto Giretti [10]
6Enrico Giunchiglia [2]
7Fausto Giunchiglia [3] [5] [8] [13]
8Manuel Kolp [23] [27]
9Lin Liu [19] [21]
10Annapaola Marconi [31] [33]
11John Mylopoulos [19] [21]
12Francesco Pagliarecci [24] [28] [29] [31] [32] [33] [35]
13Maurizio Panti [10] [11] [12] [13] [14] [15] [16] [17] [18] [20] [21] [22] [23] [24]
14Loris Penserini [11] [14] [15] [19] [20] [21] [22] [23] [27] [29]
15Ivan Di Pietro [31] [32] [33]
16Marco Pistore [25] [26] [28] [31] [32] [33]
17Andrea Rossetti [34]
18Francesco Spegni [30]
19Fabrizio Spinelli [35]
20Simone Tacconi [12] [16] [17] [18]
21Paolo Traverso [1] [2] [3] [4] [5] [9] [25] [26] [28] [32]
22Salvatore Valenti [17]

Colors in the list of coauthors

Copyright © Mon Mar 15 21:39:48 2010 by Michael Ley (ley@uni-trier.de)