MARENGO, Elisa
MARENGO, Elisa
MANAGEMENT "VALTER CANTINO"
2CL Tools
2012-01-01 M. Baldoni; E. Marengo; F. Capuzzimati
A Generalized Commitment Machine for 2CL Protocols and Its Implementation
2013-01-01 Matteo Baldoni; Cristina Baroglio; Federico Capuzzimati; Elisa Marengo; Viviana Patti
A Generalized Commitment Machine for 2CL Protocols and its Implementation
2012-01-01 M. Baldoni; C. Baroglio; F. Capuzzimati; E. Marengo; V. Patti
A generalized commitment machine for 2CL protocols and its prolog implementation
2012-01-01 Baldoni, Matteo; Baroglio, Cristina; Capuzzimati, Federico; Marengo, Elisa; Patti, Viviana
A Personalization Service for Curriculum Planning
2006-01-01 M. BALDONI; C. BAROGLIO; I. BRUNKHORST; N. HENZE; E. MARENGO; V. PATTI
A Personalization Web Service for Curricula Planning and Validation
2007-01-01 M. BALDONI; C. BAROGLIO; I. BRUNKHORST; E. MARENGO; V. PATTI
A Service-Oriented Approach for Curriculum Planning and Validation
2007-01-01 M. BALDONI; C. BAROGLIO; I. BRUNKHORST; E. MARENGO; V. PATTI
An Interaction-oriented Agent Framework for Open Environments
2011-01-01 M. Baldoni; C. Baroglio; F. Bergenti; E. Marengo; V. Mascardi; V. Patti; A. Ricci; A. Santi
Back to the Future: an Interaction-oriented Framework for Social Computing
2011-01-01 M. Baldoni; C. Baroglio; E. Marengo; V. Patti; A. Ricci
Behavior-oriented Commitment-based Protocols
2010-01-01 M. Baldoni; C. Baroglio; E. Marengo
Commitment-based Protocols with Behavioral Rules and Correctness Properties of MAS
2011-01-01 M. BALDONI; C. BAROGLIO; E. MARENGO
Commitments with Regulations: Reasoning about Safety and Control in REGULA
2011-01-01 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-01-01 Baldoni, Matteo; Baroglio, Cristina; Marengo, Elisa; Patti, Viviana
Constraint Modeling for Curriculum Planning and Validation
2011-01-01 M. BALDONI; C. BAROGLIO; I. BRUNKHORST; N. HENZE; E. MARENGO; V. PATTI
Constraints among Commitments: Regulative Specification of Interaction Protocols
2010-01-01 M. BALDONI; C. BAROGLIO; E. MARENGO
Curricula Modeling and Checking
2007-01-01 M. BALDONI; C. BAROGLIO; E. MARENGO
Curriculum Model Checking: Declarative Representation and Verification of Properties
2007-01-01 M. BALDONI; E. MARENGO
Declarative representation of curricula models: an LTL- and UML-based approach
2007-01-01 M. BALDONI; C. BAROGLIO; G. BERIO; E. MARENGO
EmpAI: l’Intelligenza Artificiale imparata in modo naturale
2021-01-01 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-01-01 Matteo Baldoni, Cristina Baroglio, Monica Bucciarelli, Sara Capecchi, Elena Gandolfi, Cristina Gena, Francesco Ianì, Elisa Marengo, Roberto Micalizio, Amon Rapp
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| 2CL Tools | 2012 | M. Baldoni; E. Marengo; F. Capuzzimati | |
| A Generalized Commitment Machine for 2CL Protocols and Its Implementation | 2013 | Matteo Baldoni; Cristina Baroglio; Federico Capuzzimati; Elisa Marengo; Viviana Patti | |
| 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 | |
| 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 | |
| A Service-Oriented Approach for Curriculum Planning and Validation | 2007 | M. BALDONI; C. BAROGLIO; I. BRUNKHORST; 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 | |
| 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 | |
| Constraint Modeling for Curriculum Planning and Validation | 2011 | M. BALDONI; C. BAROGLIO; I. BRUNKHORST; N. HENZE; E. MARENGO; V. PATTI | |
| 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 |