MARENGO, Elisa

MARENGO, Elisa  

INFORMATICA  

Mostra records
Risultati 1 - 20 di 40 (tempo di esecuzione: 0.051 secondi).
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