MONTALI, MARCO

MONTALI, MARCO  

DIP. DI ELETTRONICA,INFORMATICA,SISTEMISTICA-DEIS  

Mostra records
Risultati 1 - 20 di 58 (tempo di esecuzione: 0.068 secondi).
Titolo Autore(i) Anno Periodico Editore Tipo File
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-01-01 - Infonomics-Consulting 4.01 Contributo in Atti di convegno -
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-01-01 - Springer 4.01 Contributo in Atti di convegno -
A Logic-Based, Reactive Calculus of Events F. Chesani; P. Mello; M. Montali; P. Torroni 2010-01-01 FUNDAMENTA INFORMATICAE - 1.01 Articolo in rivista -
A-priori verification of web services with abduction. M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali 2006-01-01 - s.n 4.01 Contributo in Atti di convegno -
Abducing Compliance of Incomplete Event Logs Chesani, Federico; Masellis, Riccardo De; Francescomarino, Chiara Di; Ghidini, Chiara; Mello, Pao...la; Montali, Marco; Tessaris, Sergio 2016-01-01 - Springer 4.01 Contributo in Atti di convegno -
Abduction for Specifying and Verifying Web Service Choreographies. M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali; S. Storari 2006-01-01 - s.n 4.01 Contributo in Atti di convegno -
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-01-01 FUNDAMENTA INFORMATICAE - 1.01 Articolo in rivista -
Abductive Reasoning on Compliance Monitoring Balancing Flexibility and Regulation Chesani, Federico; Mello, Paola; Montali, Marco 2017-01-01 - Springer 4.01 Contributo in Atti di convegno -
Agent Societies and Service Choreographies: a Declarative Approach to Specification and Verification F. Chesani; P. Mello; M. Montali; S. Storari 2007-01-01 - s.n 4.01 Contributo in Atti di convegno -
An Abductive Framework for A-Priori Verification of Web Services M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali 2006-01-01 - ACM Press 4.01 Contributo in Atti di convegno -
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-01-01 - Springer 4.01 Contributo in Atti di convegno -
B-Tropos: Agent-oriented requirements engineering meets computational logic for declarative business process modeling and verification V. Bryl; P. Mello; M. Montali; P. Torroni; N. Zannone 2007-01-01 - s.n 4.01 Contributo in Atti di convegno -
B-Tropos: Agent-oriented requirements engineering meets computational logic for declarative business process modeling and verification v. bryl; p. mello; m. montali; p. torroni; n. zannone 2008-01-01 - Springer-Verlag 4.01 Contributo in Atti di convegno -
Checking Compliance of Execution Traces to Business Rules F. Chesani; P. Mello; M. Montali; F. Riguzzi; M. Sebastianis; S. Storari 2009-01-01 - Springer Verlag 4.01 Contributo in Atti di convegno -
Commitment Tracking via the Reactive Event Calculus M. Montali; F. Chesani; P. Mello; P. Torroni 2009-01-01 - s.n 4.01 Contributo in Atti di convegno -
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-01-01 - - 4.01 Contributo in Atti di convegno -
Conformance Checking of Cancer-Screening Careflows: an Approach based on Computational Logic. F. Chesani; E. Lamma; P. Mello; M. Montali; S. Storari; P. Baldazzi; M. Manfredi 2008-01-01 - IOS Press 2.01 Capitolo / saggio in libro -
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-01-01 - Springer-Verlag 4.01 Contributo in Atti di convegno -
Conformance Verification of Clinical Guidelines in Presence of Computerized and Human-Enhanced Processes Bragaglia, Stefano; Chesani, Federico; Mello, Paola; Montali, Marco 2015-01-01 - Springer International Publishing 2.01 Capitolo / saggio in libro -
Declarative Specification and Verification of Service Choreographies M. Montali; M. Pesic; W. M. P. van der Aalst; F. Chesani; P. Mello; S. Storari 2010-01-01 ACM TRANSACTIONS ON THE WEB - 1.01 Articolo in rivista -