CINECA IRIS Institutional Research Information System
IRIS è il sistema di gestione integrata dei dati della ricerca (persone, progetti, pubblicazioni, attività) adottato dall'Università degli Studi di Torino.
AperTO è l'archivio istituzionale Open Access destinato a raccogliere, rendere visibile e conservare la produzione scientifica dell'Università degli Studi di Torino.
ItalianoMARENGO, ELISA
Dettaglio
MARENGO, ELISA
INFORMATICA
Pubblicazioni
Risultati 1 - 20 di 33 (tempo di esecuzione: 0.0 secondi).
| Titolo | Data di pubblicazione | Autore(i) | |
|---|---|---|---|
| 1 | 2CL Tools | 2012 | M. Baldoni; E. Marengo; F. Capuzzimati |
| 2 | A Personalization Service for Curriculum Planning | 2006 | M. BALDONI; C. BAROGLIO; I. BRUNKHORST; N. HENZE; E. MARENGO; V. PATTI |
| 3 | A Personalization Web Service for Curricula Planning and Validation | 2007 | M. BALDONI; C. BAROGLIO; I. BRUNKHORST; E. MARENGO; V. PATTI |
| 4 | Back to the Future: an Interaction-oriented Framework for Social Computing | 2011 | M. Baldoni; C. Baroglio; E. Marengo; V. Patti; A. Ricci |
| 5 | Behavior-oriented Commitment-based Protocols | 2010 | M. Baldoni; C. Baroglio; E. Marengo |
| 6 | Commitment-based Protocols with Behavioral Rules and Correctness Properties of MAS | 2011 | M. BALDONI; C. BAROGLIO; E. MARENGO |
| 7 | 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 |
| 8 | Constitutive and Regulative Specifications of Commitment Protocols: a Decoupled Approach (Extended Abstract) | 2015 | Baldoni, Matteo; Baroglio, Cristina; Marengo, Elisa; Patti, Viviana |
| 9 | Constraint Modeling for Curriculum Planning and Validation | 2011 | M. BALDONI; C. BAROGLIO; I. BRUNKHORST; N. HENZE; E. MARENGO; V. PATTI |
| 10 | Constraints among Commitments: Regulative Specification of Interaction Protocols | 2010 | M. BALDONI; C. BAROGLIO; E. MARENGO |
| 11 | Curricula Modeling and Checking | 2007 | M. BALDONI; C. BAROGLIO; E. MARENGO |
| 12 | Curriculum Model Checking: Declarative Representation and Verification of Properties | 2007 | M. BALDONI; E. MARENGO |
| 13 | Declarative representation of curricula models: an LTL- and UML-based approach | 2007 | M. BALDONI; C. BAROGLIO; G. BERIO; E. MARENGO |
| 14 | 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 |
| 15 | 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 |
| 16 | Engineering Commitment-based Business Protocols with the 2CL Methodology (Extended Abstract) | 2016 | Baldoni, Matteo; Baroglio, Cristina; Marengo, Elisa; Patti, Viviana; Capuzzimati, Federico |
| 17 | Extend Commitment Protocols with Temporal Regulations: Why and How | 2011 | E. Marengo; M. Baldoni; C. Baroglio |
| 18 | Flexible Choreography-driven Service Selection | 2012 | M. Baldoni; C. Baroglio; E. Marengo; V. Patti; C. Schifanella |
| 19 | A Generalized Commitment Machine for 2CL Protocols and Its Implementation | 2013 | Matteo Baldoni; Cristina Baroglio; Federico Capuzzimati; Elisa Marengo; Viviana Patti |
| 20 | A Generalized Commitment Machine for 2CL Protocols and its Implementation | 2012 | M. Baldoni; C. Baroglio; F. Capuzzimati; E. Marengo; V. Patti |
Copyright © 2022