DIPARTIMENTO   DI   INFORMATICA
Università di Torino

THE GROUP'S LOGO

Marengo's publications

The documents distributed by this server have been provided by thecontributing authors as a means to ensure timely dissemination ofscholarly and technical work on a noncommercial basis.Copyright and all rights therein are maintained by the authors orby other copyright holders, notwithstanding that they haveoffered their works here electronically.It is understood that all persons copying this informationwill adhere to the terms and constraints invoked by each author'scopyright.These works may not be reposted without the explicit permission of thecopyright holder.
[Books, Proceedings, and PhD Thesis][International Journals][National Journals][Chapters in Books][International Conferences and Lecture Notes][Workshops and National Conferences][Project Deliverables and Technical Reports]

International Journals

National Journals

Chapters in Books

International Conferences and Lecture Notes

Workshops and National Conferences

  • M. Baldoni, C. Baroglio, F. Capuzzimati, E. Marengo, and V. Patti. A Generalized Commitment Machine for 2CL Protocols and its Implementation. In M. Baldoni, L. Dennis, V. Mascardi, and W. Vasconcelos, editors, Proc. of International Workshop on Declarative Agent Languages and Technologies, DALT 2012, held in conjuction with AAMAS 2012, pages 18-34, Valencia, Spain, June 2012. (PDF)

  • M. Baldoni, C. Baroglio, E. Marengo, and V. Patti. Grafting Regulations into Business Protocols: Supporting the Analysis of Risks of Violation. In A. Antón, D. Baumer, T. Breaux, and D. Karagiannis, editors, Fourth International Workshop on Requirements Engineering and Law (RELAW 2011), held in conjunction with the 19th IEEE International Requirements Engineering Conference, pages 50-59, Trento, Italy, August 30th 2011. IEEE Xplore. (PDF)

  • M. Baldoni, C. Baroglio, E. Marengo, V. Patti, and F. Capuzzimati. Learn the rules so you know how to break them properly. In G. Fortino, A.. Garro, L. Palopoli, W. Russo, and G. Spezzano, editors, Proc. of WOA 2011: Dagli oggetti agli agenti, Progettazione ed analisi di sistemi complessi mediante modellazione e simulazione basate su agenti, volume 741, pages 11-18, Cosenza, Italy, July 2011. CEUR Workshop Proceedings. (PDF)

  • M. Baldoni, C. Baroglio, E. Marengo, V. Patti, and A. Ricci. Back to the future: an Interaction-oriented Framework for Social Computing. In A. K. Chopra, F. Dalpiaz, and S. O. Lim, editors, First International Workshop on Requirements Engineering for Social Computing (RESC 2011), held in conjunction with the 19th IEEE International Requirements Engineering Conference, Trento, Italy, August 29th 2011. IEEE Xplore. (PDF)

  • M. Baldoni, C. Baroglio, F. Bergenti, A. Boccalatte, E. Marengo, M. Martelli, V. Mascardi, L. Padovani, V. Patti, A. Ricci, G. Rossi, and A. Santi. MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems. In N. Fornara and G. Vouros, editors, Proc. of the 3rd Multi-Agent Logics, Languages, and Organisations Federated Workshops, MALLOW'10, 11th International Workshop on Coordination, Organization, Institutions and Norms in Multi-Agent Systems, COIN@MALLOW 2010, volume 627, pages 134-146, Domain Valpré in Lyon, France, August 30 - September 2 2010. CEUR Workshop Proceedings. (PDF)

  • M. Baldoni, C. Baroglio, and E. Marengo. Commitment-based Protocols with Behavioral Rules and Correctness Properties of MAS. In A. Omicini, S. Sardina, and W. Vasconcelos, editors, Proc. of International Workshop on Declarative Agent Languages and Technologies, DALT 2010, held in conjuction with AAMAS 2010, pages 66-83, Toronto, Canada, May 2010. (PDF)

  • M. Baldoni, C. Baroglio, and E. Marengo. Constraints among Commitments: Regulative Specification of Interaction Protocols. In A. Artikis, J. Bentahar, A. K. Chopra, and F. Dignum, editors, Proc. of International Workshop on Agent Communication, AC 2010, held in conjuction with AAMAS 2010, pages 2-18, Toronto, Canada, May 2010. An extended and improved version has been published in the Proc. of the 25-esimo Convegno Italiano di Logica Computazionale, Vol 598, CEUR Workshop Proceedings. (PDF)

  • M. Baldoni, C. Baroglio, E. Marengo, V. Patti, and C. Schifanella. Joint Achievement of Services' Personal Goals. In M. Baldoni, C. Baroglio, Bentahar, and V. J. Mascardi, editors, Proc. of the 2nd Multi-Agent Logics, Languages, and Organisations Federated Workshops, MALLOW'009, Agents, Web Services and Ontologies, Integrated Methodologies International Workshop (MALLOW-AWESOME'009), volume 494, Turin, September 2009. CEUR Workshop Proceedings. (PDF)

  • M. Baldoni, C. Baroglio, G. Berio, and E. Marengo. Declarative representation of curricula models: an LTL- and UML-based approach. In M. Baldoni, A. Boccalatte, F. De Paoli, M. Martelli, and V. Mascardi, editors, Proc. of WOA 2007: Dagli oggetti agli agenti, Agenti e Industrie: Applicazioni tecnologiche degli agenti software, pages 34-41, Genova, Italy, September 2007. Seneca Edizioni. (PDF)

  • M. Baldoni, C. Baroglio, I. Brunkhorst, E. Marengo, and V. Patti. A Service-Oriented Approach for Curriculum Planning and Validation. In Proceedings of the Multi-Agent Logics, Languages, and Organisations, Federated Workshops, MALLOW'007, Agent, Web Services and Ontologies, Integrated Methodologies, MALLOW-AWESOME'007, pages 108-123, Durham, GB, September 2007. (PDF)

  • M. Baldoni, C. Baroglio, I. Brunkhorst, N. Henze, E. Marengo, and V. Patti. A Personalization Service for Curriculum Planning. In E. Herder and D. Heckmann, editors, Proc. of the 14th Workshop on Adaptivity and User Modeling in Interactive Systems, ABIS 2006, pages 17-20, Hildesheim, Germany, October 2006. (PDF)

Project Deliverables and Technical Reports

  • E. Marengo. Designing and Programming Commitment-based Service-oriented Architectures on top of Agent and Environment Technologies. Technical Report RT 129/2010, Dipartimento di Informatica, Università degli Studi di Torino, Torino, Italy, 2010. (PDF)

  • M. Baldoni, C. Baroglio, N. Henze, I. Brunkhorst, E. Marengo, and V. Patti. Constraint Modeling for Curriculum Planning and Validation. Technical Report RT 115/08, Dipartimento di Informatica, Università degli Studi di Torino, December 11th 2008. (PDF)

  • C. Abela, M. Baldoni, C. Baroglio, N. Henze, I. Brunkhorst, D. Krause, E. Marengo, and V. Patti. Testbeds: overview and state. Technical Report IST506779/Turin/A3-D10/D/PU/a1, Reasoning on the Web with Rules and Semantics, REWERSE, February 28th 2007. (PDF)



[Group's HOME] [Department's HOME]

If you are interested in papers which are not available, please, contact directly the author(s).