Publications

• M. Baldoni, C. Baroglio, A. Martelli, V. Patti, and C. Schifanella. Verifying the conformance of web services to global interaction protocols: a first step. In M. Bravetti and G. Zavattaro, editors, Proc. of 2nd Int. Workshop on Web Services and Formal Methods, WS-FM 2005, volume 3670 of LNCS, pages 257-271. Springer, Versailles, France, September, 2005. (PDF)

• M. Baldoni, C. Baroglio, A. Martelli, and V. Patti. Reasoning about interaction protocols for customizing web service selection and composition. Journal of Logic and Algebraic Programming, special issue on Web Services and Formal Methods, 70(1):53-73, January 2007. (PDF)

• M. Baldoni, C. Baroglio, A. Martelli, and Patti. Verification of protocol conformance and agent interoperability. In F. Toni and P. Torroni, editors, Post-Proc. of Sixth International Workshop on Computational Logic in Multi-Agent Systems, CLIMA VI, volume 3900 of LNCS State-of-the-Art Survey, pages 265-283. Springer, 2006. (PDF)

• M. Baldoni, C. Baroglio, A. Martelli, V. Patti, and C. Schifanella. Interaction Protocols and Capabilities: A Preliminary Report. In J. J. Alferes, J. Bailey, W. May, and U. Schwertel, editors, Post-Proc. of the Fourth Workshop on Principles and Practice of Semantic Web Reasoning, PPSWR 2006, volume 4187 of LNCS, pages 63-77. Springer, 2006. (PDF)

• M. Baldoni, C. Baroglio, A. Martelli, V. Patti, and C. Schifanella. Interaction Protocols and Capabilities: a preliminary report. In J. J. Alferes, J. Bailey, W. May, and U. Schwertel, editors, Proc. of the 4th International Workshop on Principle and Practice of Semantic Web Reasoning, PPSWR 2006, pages 61-75, Budva, Montenegro, June 2006. (PDF)

• M. Baldoni, C. Baroglio, A. Martelli, V. Patti, and C. Schifanella. The Need of Capability Requirements Inside Choreographies and Interaction Protocols. In Y. Yan and L. Zhang, editors, Proc. of the 2006 International Workshop on Service Oriented Techniques, SOT06, pages 17-24, August 2006. (PDF)

• M. Baldoni, C. Baroglio, I. Gungui, A. Martelli, M. Martelli, V. Mascardi, V. Patti, and C. Schifanella. Reasoning About Agents' Interaction Protocols Inside DCaseLP. In J. Leite, A. Omicini, P. Torroni, and P. Yolum, editors, Post-Proc. of the International Workshop on Declarative Agent Languages and Technologies, DALT'04, number 3476 in LNAI, pages 112-131. Springer, 2005. (PDF)

• M. Baldoni, C. Baroglio, A. Martelli, V. Patti, and C. Schifanella. Verifying protocol conformance for logic-based communicating agents. In J. Leite and P. Torroni, editors, Post Proc. of Fifth International Workshop on Computational Logic in Multi-Agent Systems, CLIMA V, volume 3487 of LNAI, pages 192-212. Springer, 2005. (PDF)

• M. Baldoni, C. Baroglio, I. Gungui, A. Martelli, M. Martelli, V. Mascardi, V. Patti, and C. Schifanella. Reasoning about agents' interaction protocols inside DCaseLP. In J. Leite, A. Omicini, P. Torroni, and P. Yolum, editors, Pre-Proc. of the International Workshop on Declarative Agent Languages and Technologies, DALT'04, pages 250-265, New York, USA, July 2004. (PDF)

• M. Baldoni, C. Baroglio, A. Martelli, and V. Patti. Reasoning about interaction protocols for web service composition. In M. Bravetti and G. Zavattaro, editors, Proc. of 1st Int. Workshop on Web Services and Formal Methods, WS-FM 2004, volume 105 of Electronic Notes in Theoretical Computer Science, pages 21-36. Elsevier Science Direct, 2004. (PDF)

• M. Baldoni, C. Baroglio, A. Martelli, and V. Patti. Reasoning about logic-based agent interaction protocols. In G. Rossi and E. Panegai, editors, Proc. of Italian Conference on Computational Logic, CILC'04, pages 250-264, Parma, Italy, June 2004. (PDF)

• M. Baldoni, C. Baroglio, A. Martelli, V. Patti, and C. Schifanella. Verifying protocol conformance for logic-based communicating agents. In J. Leite and P. Torroni, editors, Pre-Proc. of Fifth International Workshop on Computational Logic in Multi-Agent Systems, CLIMA V, pages 82-97, Lisbon, Portugal, September 2004. (PDF)

• M. Baldoni, C. Baroglio, A. Martelli, and V. Patti. Reasoning about Conversation Protocols in a Logic-based Agent Language. In A. Cappelli and F. Turini, editors, AI*IA 2003: Advances in Artificial Intelligence, 8th Congress of the Italian Association for Artificial Intelligence, volume 2829 of LNAI, pages 300-311. Springer, September 2003. (PDF)

• M. Baldoni, C. Baroglio, and V. Patti. Personalizing web services by reasoning about interaction protocols. In Peter P. Slezak, editor, Proc. of the 4th Joint International Conference on Cognitive Science (ICCS/ASCS-2003), Sydney, Australia, July 2003. (PDF)