Marco Montali Vis

*	2009
18	EE	Alessio Bottrighi, Federico Chesani, Paola Mello, Gianpaolo Molino, Marco Montali, Stefania Montani, Sergio Storari, Paolo Terenziani, Mauro Torchio: A Hybrid Approach to Clinical Guideline and to Basic Medical Knowledge Conformance. AIME 2009: 91-95
17	EE	Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni: Commitment Tracking via the Reactive Event Calculus. IJCAI 2009: 91-96
16	EE	Federico Chesani, Evelina Lamma, Paola Mello, Marco Montali, Fabrizio Riguzzi, Sergio Storari: Exploiting Inductive Logic Programming Techniques for Declarative Process Mining. T. Petri Nets and Other Models of Concurrency 2: 278-295 (2009)
	2008
15	EE	Federico Chesani, Paola Mello, Marco Montali, Fabrizio Riguzzi, Maurizio Sebastianis, Sergio Storari: Checking Compliance of Execution Traces to Business Rules. Business Process Management Workshops 2008: 134-145
14	EE	Marco Montali, Paolo Torroni, Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello: Verification from Declarative Specifications Using Logic Programming. ICLP 2008: 440-454
13	EE	Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni: Ontological Reasoning and Abductive Logic Programming for Service Discovery and Contracting. SWAP 2008
12	EE	Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni: Verification of Choreographies During Execution Using the Reactive Event Calculus. WS-FM 2008: 55-72
	2007
11	EE	Federico Chesani, Paola Mello, Marco Montali, Sergio Storari: Testing Careflow Process Execution Conformance by Translating a Graphical Language to Computational Logic. AIME 2007: 479-488
10	EE	Evelina Lamma, Paola Mello, Marco Montali, Fabrizio Riguzzi, Sergio Storari: Inducing Declarative Logic-Based Models from Labeled Traces. BPM 2007: 344-359
9	EE	Volha Bryl, Paola Mello, Marco Montali, Paolo Torroni, Nicola Zannone: -Tropos. CLIMA VIII 2007: 157-176
8	EE	Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni: Web Service Contracting: Specification and Reasoning with SCIFF. ESWC 2007: 68-83
7	EE	Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni: Expressing and Verifying Business Contracts with Abductive Logic Programming. Normative Multi-agent Systems 2007
6	EE	Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni: A Rule-Based Approach for Reasoning About Collaboration Between Smart Web Services. RR 2007: 279-288
	2006
5	EE	Federico Chesani, Pietro De Matteis, Paola Mello, Marco Montali, Sergio Storari: A Framework for Defining and Verifying Clinical Guidelines: A Case Study on Cancer Screening. ISMIS 2006: 338-343
4	EE	Marco Alberti, Marco Gavanelli, Evelina Lamma, Federico Chesani, Paola Mello, Marco Montali: An abductive framework for a-priori verification of web services. PPDP 2006: 39-50
3	EE	Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Sergio Storari, Paolo Torroni: Computational Logic for Run-Time Verification of Web Services Choreographies: Exploiting the SOCS-SI Tool. WS-FM 2006: 58-72
	2005
2	EE	Anna Ciampolini, Paola Mello, Marco Montali, Sergio Storari: Using Social Integrity Constraints for On-the-Fly Compliance Verification of Medical Protocols. CBMS 2005: 503-505
1	EE	Federico Chesani, Anna Ciampolini, Paola Mello, Marco Montali, Paolo Torroni, Marco Alberti, Sergio Storari: Protocol Specification and Verification by Using Computational Logic. WOA 2005: 184-192

Coauthor Index

1	Marco Alberti	[1] [3] [4] [6] [7] [8] [14]
2	Alessio Bottrighi	[18]
3	Volha Bryl	[9]
4	Federico Chesani	[1] [3] [4] [5] [6] [7] [8] [11] [12] [13] [14] [15] [16] [17] [18]
5	Anna Ciampolini	[1] [2]
6	Marco Gavanelli	[3] [4] [6] [7] [8] [14]
7	Evelina Lamma	[3] [4] [6] [7] [8] [10] [14] [16]
8	Pietro De Matteis	[5]
9	Paola Mello	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18]
10	Gianpaolo Molino	[18]
11	Stefania Montani	[18]
12	Fabrizio Riguzzi	[10] [15] [16]
13	Maurizio Sebastianis	[15]
14	Sergio Storari	[1] [2] [3] [5] [10] [11] [15] [16] [18]
15	Paolo Terenziani	[18]
16	Mauro Torchio	[18]
17	Paolo Torroni	[1] [3] [6] [7] [8] [9] [12] [13] [14] [17]
18	Nicola Zannone	[9]