MARENGO, ELISA

MARENGO, ELISA  

INFORMATICA  

Mostra records
Risultati 1 - 20 di 34 (tempo di esecuzione: 0.025 secondi).
Titolo Data di pubblicazione Autore(i) File
2CL Tools 2012 M. Baldoni; E. Marengo; F. Capuzzimati
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
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
Empowering AI Competences in Children: The First Turning Point 2022 Matteo Baldoni, Cristina Baroglio, Monica Bucciarelli, Elena Gandolfi, Francesco Iani', Elisa MArengo, Ivan Nabil Ras
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
Flexible Choreography-driven Service Selection 2012 M. Baldoni; C. Baroglio; E. Marengo; V. Patti; C. Schifanella
A Generalized Commitment Machine for 2CL Protocols and its Implementation 2012 M. Baldoni; C. Baroglio; F. Capuzzimati; E. Marengo; V. Patti