- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| j14 |      | Patrizia Ghislandi, Maria Grazia Ierardi, Tommaso Leo, Luca Spalazzi: Guest Editorial: Innovative Technologies for the Seamless Integration of Formal and Informal Learning. Educational Technology & Society 16(1): 1-3 (2013) |
| j13 | | Flavio Manganello, Carla Falsetti, Luca Spalazzi, Tommaso Leo: PKS: An Ontology-based Learning Construct for Lifelong Learners. Educational Technology & Society 16(1): 104-117 (2013) |
| j12 | | Waleed W. Smari, Luca Spalazzi, Yacine Zemali: Recent developments in high performance computing and security: An editorial. Future Generation Comp. Syst. 29(3): 782-787 (2013) |
| j11 | | Francesco Pagliarecci, Luca Spalazzi, Francesco Spegni: Model checking grid security. Future Generation Comp. Syst. 29(3): 811-827 (2013) |
| 2012 | ||
| j10 | | Ivan Di Pietro, Francesco Pagliarecci, Luca Spalazzi: Model Checking Semantically Annotated Services. IEEE Trans. Software Eng. 38(3): 592-608 (2012) |
| c41 | | Giuliano Manno, Waleed W. Smari, Luca Spalazzi: FCFA: A semantic-based federated cloud framework architecture. HPCS 2012: 42-52 |
| 2011 | ||
| c40 | | Devis Bianchini, Francesco Pagliarecci, Luca Spalazzi: From Service Identification to Service Selection: An Interleaved Perspective. Formal Modeling: Actors, Open Systems, Biological Systems 2011: 223-240 |
| c39 | | Lorenzo Boaro, Emanuele Glorio, Francesco Pagliarecci, Luca Spalazzi: Business process design framework for B2B collaboration. CTS 2011: 633-635 |
| c38 |  | Devis Bianchini, Francesco Pagliarecci, Luca Spalazzi: From Service Identification to Service Selection: an Interleaved Perspective. SEBD 2011: 421-428 |
| 2010 | ||
| c37 | | Salvatore Campana, Luca Spalazzi, Francesco Spegni: Dynamic Networks of Timed Automata for collaborative systems: A network monitoring case study. CTS 2010: 113-122 |
| c36 | | Lorenzo Boaro, Emanuele Glorio, Francesco Pagliarecci, Luca Spalazzi: Semantic model checking security requirements for web services. HPCS 2010: 283-290 |
| c35 | | Lorenzo Boaro, Emanuele Glorio, Francesco Pagliarecci, Luca Spalazzi: Semantic Model Checking Security Requirements for Web Services (Extended Abstract). SEBD 2010: 190-197 |
| 2009 | ||
| j9 | | |
| j8 | | Angelo Biscotti, Gianluca Capuzzi, Egidio Cardinale, Francesco Pagliarecci, Luca Spalazzi: An IPS for Web Applications. JCP 4(5): 387-394 (2009) |
| c34 | | Francesco Pagliarecci, Luca Spalazzi, Fabrizio Spinelli: JEAP - JAVA environment for Agent platform. IADIS AC (1) 2009: 149-156 |
| c33 | | Andrea Rossetti, Luca Spalazzi: Performance indicator in collaborative systems for business process management. IADIS AC (2) 2009: 212-216 |
| c32 | | C. Cioffi, Francesco Pagliarecci, Luca Spalazzi: An anomaly-based system for parental control. HPCS 2009: 193-199 |
| c31 | | Ivan 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 | ||
| c30 | | Francesco Pagliarecci, Luca Spalazzi, Mark-Oliver Stehr, Carolyn L. Talcott: Formal specification of agent-object oriented programs. CTS 2008: 127-134 |
| c29 | | Ivan Di Pietro, Francesco Pagliarecci, Marco Pistore, Luca Spalazzi, Paolo Traverso: Semantic Annotation for Web Service Processes. SEBD 2008: 69-80 |
| c28 | | 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 |
| c27 | | Salvatore Campana, Luca Spalazzi, Francesco Spegni: XAL: A Web Oriented Programming Language Based on Timed-Automata. Web Intelligence 2008: 862-868 |
| 2007 | ||
| j7 | | Loris Penserini, Manuel Kolp, Luca Spalazzi: Social-oriented engineering of intelligent software. Web Intelligence and Agent Systems 5(1): 69-87 (2007) |
| c26 | | 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 |
| c25 | | Francesco Pagliarecci, Marco Pistore, Luca Spalazzi, Paolo Traverso: Web Service Discovery at Process-level Based on Semantic Annotation. SEBD 2007: 220-232 |
| 2006 | ||
| c24 | | Gianluca Capuzzi, Luca Spalazzi, Francesco Pagliarecci: IRSS: Incident Response Support System. CTS 2006: 81-88 |
| c23 | | Francesco Pagliarecci, Luca Spalazzi, Gianluca Capuzzi: Formal Definition of an Agent-Object Programming Language. CTS 2006: 298-305 |
| c22 | | Marco Pistore, Luca Spalazzi, Paolo Traverso: A Minimalist Approach to Semantic Annotations for Web Processes Compositions. ESWC 2006: 620-634 |
| c21 | | Marco Pistore, Luca Spalazzi, Paolo Traverso: A Minimalist Approach to Semantic Annotations for Web Processes Compositions. SEBD 2006: 208-216 |
| 2005 | ||
| c20 | | Maurizio Panti, Luca Spalazzi, Simone Tacconi, Francesco Pagliarecci: Model checking the security of multi-protocol systems. CTS 2005: 92-99 |
| c19 | | Maurizio Panti, Francesco Pagliarecci, Luca Spalazzi: An agent-based supply-chain management. CTS 2005: 181-186 |
| c18 | | Maurizio Panti, Francesco Pagliarecci, Luca Spalazzi: An Agent-Based Supply-Chain Management. SEBD 2005: 117-124 |
| 2004 | ||
| c17 | | Loris Penserini, Manuel Kolp, Luca Spalazzi, Maurizio Panti: Socially-Based Design Meets Agent Capabilities. IAT 2004: 72-78 |
| c16 | | Loris Penserini, Luca Spalazzi, Maurizio Panti: A P2P-Based Infrastructure for Virtual-Enterprise's Supply-Chain Management. ICEIS (4) 2004: 316-321 |
| 2003 | ||
| j6 | | 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 | ||
| c15 | | Loris Penserini, Lin Liu, John Mylopoulos, Luca Spalazzi: Modeling and Evaluating Cooperation Strategies in P2P Agent Systems. AP2PC 2002: 87-99 |
| c14 | | Loris Penserini, Maurizio Panti, Luca Spalazzi: Agent-based transactions into decentralised P2P. AAMAS 2002: 1288-1289 |
| c13 | | Massimo Benerecetti, Maurizio Panti, Luca Spalazzi, Simone Tacconi: Verification of Payment Protocols via MultiAgent Model Checking. CAiSE 2002: 311-327 |
| c12 | | Maurizio Panti, Luca Spalazzi, Simone Tacconi, Salvatore Valenti: Automatic Verification of Security in Payment Protocols for Electronic Commerce. ICEIS 2002: 968-974 |
| c11 | | 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 | ||
| c10 | | Maurizio Panti, Luca Spalazzi, Loris Penserini: Cooperation Strategies for Information Integration. CoopIS 2001: 123-134 |
| c9 | | Maurizio Panti, Luca Spalazzi, Loris Penserini: A Distributed Case-Based Query Rewriting. IJCAI 2001: 1005-1010 |
| 2000 | ||
| j5 | | Luca Spalazzi, Paolo Traverso: A dynamic logic for acting, sensing, and planning. J. Log. Comput. 10(6): 787-821 (2000) |
| c8 | | Massimo Benerecetti, Fausto Giunchiglia, Maurizio Panti, Luca Spalazzi: A Logic of Belief and a Model Checking Algorithm for Security Protocols. FORTE 2000: 393-408 |
| c7 | | Maurizio Panti, Luca Spalazzi, Simone Tacconi: Verifica formale dei protocolli di sicurezza mediante model checking. SEBD 2000: 167-180 |
| c6 | | Maurizio Panti, Loris Penserini, Luca Spalazzi: A critical discussion about an agent platform based on FIPA specification. SEBD 2000: 345-356 |
| c5 | | Maurizio Panti, Luca Spalazzi, Alberto Giretti: A Case-Based Approach to Information Integration. VLDB 2000: 557-565 |
| 1999 | ||
| j4 | | Fausto Giunchiglia, Luca Spalazzi: Intelligent Planning: A Decomposition and Abstraction Based Approach to Classical Planning. Artif. Intell. 111(1-2): 329-338 (1999) |
| j3 | | Luca Spalazzi: A planning language for embedded systems. J. Exp. Theor. Artif. Intell. 11(2): 219-238 (1999) |
| 1998 | ||
| j2 | | |
| 1995 | ||
| c4 | | 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 |
| c3 | | |
| 1994 | ||
| j1 | | 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) |
| c2 | | |
| 1992 | ||
| c1 | | Paolo Traverso, Alessandro Cimatti, Luca Spalazzi: Beyond the Single Planning Paradigm: Introspective Planning. ECAI 1992: 643-647 |
Colors in the list of coauthors
Last update Wed May 22 15:31:11 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page