CRIS Current Research Information System
IRIS è la soluzione IT che facilita la raccolta e la gestione dei dati relativi alle attività e ai prodotti della ricerca. Fornisce a ricercatori, amministratori e valutatori gli strumenti per monitorare i risultati della ricerca, aumentarne la visibilità e allocare in modo efficace le risorse disponibili.
ItalianoCHESANI, FEDERICO
Pubblicazioni
Risultati 1 - 20 di 52 (tempo di esecuzione: 0.003 secondi).
| Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File | |
|---|---|---|---|---|---|---|---|
| 1 | A computational logic application framework for service discovery and contracting | M. Alberti; M. Cattafi; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali; P. Torroni | 2011 | INTERNATIONAL JOURNAL OF WEB SERVICES RESEARCH | 1.01 Articolo in rivista | - | |
| 2 | A computational logic-based approach to verification of IT systems | M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali; S. Storari; P. Torroni | 2007 | Infonomics-Consulting | 4.01 Contributo in Atti di convegno | - | |
| 3 | A Hybrid Approach to Clinical Guideline and to Basic Medical Knowledge Conformance. | A. Bottrighi; F. Chesani; P. Mello; G. Molino; M. Montali; S. Montani; S. Storari; P. Terenziani;... M. Torchio | 2009 | Springer | 4.01 Contributo in Atti di convegno | - | |
| 4 | A Logic-Based, Reactive Calculus of Events | F. Chesani; P. Mello; M. Montali; P. Torroni | 2010 | FUNDAMENTA INFORMATICAE | 1.01 Articolo in rivista | - | |
| 5 | A retrospective on the reactive event calculus and commitment modeling language | P. Torroni; F. Chesani; P. Mello; M. Montali | 2012 | Springer-Verlag | 2.01 Capitolo / saggio in libro | - | |
| 6 | A Rule-Based Calculus and Processing of Complex Events | S. Bragaglia; F. Chesani; P. Mello; D. Sottara | 2012 | Springer Verlag | 4.01 Contributo in Atti di convegno | - | |
| 7 | A rule-based implementation of fuzzy tableau reasoning | S. Bragaglia; F. Chesani; P. Mello; D. Sottara | 2010 | Springer-Verlag | 4.01 Contributo in Atti di convegno | - | |
| 8 | Abduction for Specifying and Verifying Web Service Choreographies. | M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali; S. Storari | 2006 | s.n | 4.01 Contributo in Atti di convegno | - | |
| 9 | Abduction in the Context of a Reasoning Process: the SCIFF Framework | M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello | 2008 | University of Chicago Press | 2.01 Capitolo / saggio in libro | - | |
| 10 | Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes | M. Montali; P. Torroni; F. Chesani; P. Mello; M. Alberti; E. Lamma | 2010 | FUNDAMENTA INFORMATICAE | 1.01 Articolo in rivista | - | |
| 11 | Agent Societies and Service Choreographies: a Declarative Approach to Specification and Verification | F. Chesani; P. Mello; M. Montali; S. Storari | 2007 | s.n | 4.01 Contributo in Atti di convegno | - | |
| 12 | Analysis of the GLARE and GPROVE approaches to Clinical Guidelines | A. Bottrighi; F.Chesani; P. Mello; M. Montali; S. Montani; S. Storari; P. Terenziani | 2010 | Springer | 4.01 Contributo in Atti di convegno | - | |
| 13 | Applicazione dei vincoli di integrità sociali come strumento dispecifica delle interazioni in aste combinatorie | M. Alberti; F. Chesani; M. Gavanelli; A. Guerri; E. Lamma; P. Mello; P. Torroni | 2005 | INTELLIGENZA ARTIFICIALE | 1.01 Articolo in rivista | - | |
| 14 | Can Deep Networks Learn to Play by the Rules? A Case Study on Nine Men's Morris | Federico Chesani, Andrea Galassi, Marco Lippi , Paola Mello | 2018 | IEEE TRANSACTIONS ON GAMES | 1.01 Articolo in rivista | - | |
| 15 | Compliance in Business Processes with Incomplete Information and Time Constraints: a General Framework based on Abductive Reasoning | Chesani, Federico; Mello, Paola; De Masellis, Riccardo; Di Francescomarino, Chiara; Ghidini, Chia...ra; Montali, Marco; Tessaris, Sergio | 2018 | FUNDAMENTA INFORMATICAE | 1.01 Articolo in rivista | - | |
| 16 | Compliance Verification of Agent Interaction: a Logic-Based Tool | M. ALBERTI; F. CHESANI; M. GAVANELLI; E. LAMMA; MELLO P.; P. TORRONI | 2004 | Austrian Society for Cybernetic. | 4.01 Contributo in Atti di convegno | - | |
| 17 | Computational logic for run-time verification of web services choreographies: exploiting the SOCS-SI tool | M. ALBERTI; F. CHESANI; M. GAVANELLI; E. LAMMA; P. MELLO; M. MONTALI; S. STORARI; P. TORRONI | 2006 | 4.01 Contributo in Atti di convegno | - | ||
| 18 | Conformance Checking of Executed Clinical Guidelines in Presence of Basic Medical Knowledge | A. Bottrighi; F. Chesani; P. Mello; M. Montali; S. Montani; P. Terenziani | 2012 | Springer-Verlag | 4.01 Contributo in Atti di convegno | - | |
| 19 | Conformance Verification of Clinical Guidelines in Presence of Computerized and Human-Enhanced Processes | Bragaglia, Stefano; Chesani, Federico; Mello, Paola; Montali, Marco | 2015 | Springer International Publishing | 2.01 Capitolo / saggio in libro | - | |
| 20 | Evaluating compliance: from LTL to abductive logic programming | Montali, Marco; Chesani, Federico; Gavanelli, Marco; Lamma, Evelina; Mello, Paola | 2015 | 4.01 Contributo in Atti di convegno | - |
Dettaglio
CHESANI, FEDERICO
DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA
Docenti di ruolo di IIa fascia
Copyright © 2020