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
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
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 | |
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 |