MARENGO, ELISA

MARENGO, ELISA  

INFORMATICA  

Mostra records
Risultati 1 - 20 di 26 (tempo di esecuzione: 0.023 secondi).
Titolo Data di pubblicazione Autore(i) File
A Personalization Service for Curriculum Planning 2006 M. BALDONI; C. BAROGLIO; I. BRUNKHORST; N. HENZE; E. MARENGO; V. PATTI
A Personalization Web Service for Curricula Planning and Validation 2007 M. BALDONI; C. BAROGLIO; I. BRUNKHORST; E. MARENGO; V. PATTI
Back to the Future: an Interaction-oriented Framework for Social Computing 2011 M. Baldoni; C. Baroglio; E. Marengo; V. Patti; A. Ricci
Behavior-oriented Commitment-based Protocols 2010 M. Baldoni; C. Baroglio; E. Marengo
Commitment-based Protocols with Behavioral Rules and Correctness Properties of MAS 2011 M. BALDONI; C. BAROGLIO; E. MARENGO
Commitments with Regulations: Reasoning about Safety and Control in REGULA 2011 E. Marengo; M. Baldoni; C. Baroglio; A. K. Chopra; V. Patti; M. P. Singh
Constitutive and Regulative Specifications of Commitment Protocols: a Decoupled Approach (Extended Abstract) 2015 Baldoni, Matteo; Baroglio, Cristina; Marengo, Elisa; Patti, Viviana
Constraints among Commitments: Regulative Specification of Interaction Protocols 2010 M. BALDONI; C. BAROGLIO; E. MARENGO
Curricula Modeling and Checking 2007 M. BALDONI; C. BAROGLIO; E. MARENGO
Curriculum Model Checking: Declarative Representation and Verification of Properties 2007 M. BALDONI; E. MARENGO
Declarative representation of curricula models: an LTL- and UML-based approach 2007 M. BALDONI; C. BAROGLIO; G. BERIO; E. MARENGO
EmpAI: l’Intelligenza Artificiale imparata in modo naturale 2021 Matteo Baldoni, Cristina Baroglio, Monica Bucciarelli, Sara Capecchi, Elena Gandolfi, Cristina Gena, Francesco Ianì, Elisa MArengo, Roberto Micalizio, Amon Rapp
Empowering AI competences in children: A training program based on simple playful activities 2021 Matteo Baldoni, Cristina Baroglio, Monica Bucciarelli, Sara Capecchi, Elena Gandolfi, Cristina Gena, Francesco Ianì, Elisa Marengo, Roberto Micalizio, Amon Rapp
Engineering Commitment-based Business Protocols with the 2CL Methodology (Extended Abstract) 2016 Baldoni, Matteo; Baroglio, Cristina; Marengo, Elisa; Patti, Viviana; Capuzzimati, Federico
Extend Commitment Protocols with Temporal Regulations: Why and How 2011 E. Marengo; M. Baldoni; C. Baroglio
A Generalized Commitment Machine for 2CL Protocols and its Implementation 2012 M. Baldoni; C. Baroglio; F. Capuzzimati; E. Marengo; V. Patti
A generalized commitment machine for 2CL protocols and its prolog implementation 2012 Baldoni, Matteo; Baroglio, Cristina; Capuzzimati, Federico; Marengo, Elisa; Patti, Viviana
Grafting Regulations into Business Protocols: Supporting the Analysis of Risks of Violation 2011 M. Baldoni; C. Baroglio; E. Marengo; V. Patti
An Interaction-oriented Agent Framework for Open Environments 2011 M. Baldoni; C. Baroglio; F. Bergenti; E. Marengo; V. Mascardi; V. Patti; A. Ricci; A. Santi
Joint Achievement of Services' Personal Goals 2009 M. BALDONI; C. BAROGLIO; E. MARENGO; V. PATTI; C. SCHIFANELLA