MARENGO, Elisa
MARENGO, Elisa
INFORMATICA
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 Responsibility Framework for Computing Optimal Process Alignments
2023-01-01 Matteo Baldoni, Cristina Baroglio, Elisa Marengo, Roberto Micalizio
A Responsibility Framework for Computing Optimal Process Alignments
2024-01-01 Matteo Baldoni, Cristina Baroglio, Elisa Marengo, Roberto Micalizio
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
Can Thinking Strategies Improve Understanding of Machine Learning?
2024-01-01 Matteo Baldoni, Cristina Baroglio, Monica Bucciarelli, Sara Capecchi, Leonardo Castellani, Elena Gandolfi, Francesco Iani', Elisa Marengo, Roberto Micalizio
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
| 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 Responsibility Framework for Computing Optimal Process Alignments | 2023 | Matteo Baldoni, Cristina Baroglio, Elisa Marengo, Roberto Micalizio | |
| A Responsibility Framework for Computing Optimal Process Alignments | 2024 | Matteo Baldoni, Cristina Baroglio, Elisa Marengo, Roberto Micalizio | |
| 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 | |
| Can Thinking Strategies Improve Understanding of Machine Learning? | 2024 | Matteo Baldoni, Cristina Baroglio, Monica Bucciarelli, Sara Capecchi, Leonardo Castellani, Elena Gandolfi, Francesco Iani', Elisa Marengo, Roberto Micalizio | |
| 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 |