Marco Montali

	2009
19		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
18		Marco Alberti, Massimiliano Cattafi, Federico Chesani, Marco Gavanelli, Evelina Lamma, Marco Montali, Paola Mello, Paolo Torroni: Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture. ICWS 2009: 254-261
17		Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni: Commitment Tracking via the Reactive Event Calculus. IJCAI 2009: 91-96
16		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		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		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		Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni: Ontological Reasoning and Abductive Logic Programming for Service Discovery and Contracting. SWAP 2008
12		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		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		Evelina Lamma, Paola Mello, Marco Montali, Fabrizio Riguzzi, Sergio Storari: Inducing Declarative Logic-Based Models from Labeled Traces. BPM 2007: 344-359
9		Volha Bryl, Paola Mello, Marco Montali, Paolo Torroni, Nicola Zannone: -Tropos. CLIMA VIII 2007: 157-176
8		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		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		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		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		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		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		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		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] [18]
2	Alessio Bottrighi	[19]
3	Volha Bryl	[9]
4	Massimiliano Cattafi	[18]
5	Federico Chesani	[1] [3] [4] [5] [6] [7] [8] [11] [12] [13] [14] [15] [16] [17] [18] [19]
6	Anna Ciampolini	[1] [2]
7	Marco Gavanelli	[3] [4] [6] [7] [8] [14] [18]
8	Evelina Lamma	[3] [4] [6] [7] [8] [10] [14] [16] [18]
9	Pietro De Matteis	[5]
10	Paola Mello	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19]
11	Gianpaolo Molino	[19]
12	Stefania Montani	[19]
13	Fabrizio Riguzzi	[10] [15] [16]
14	Maurizio Sebastianis	[15]
15	Sergio Storari	[1] [2] [3] [5] [10] [11] [15] [16] [19]
16	Paolo Terenziani	[19]
17	Mauro Torchio	[19]
18	Paolo Torroni	[1] [3] [6] [7] [8] [9] [12] [13] [14] [17] [18]
19	Nicola Zannone	[9]