Marco Montali

2009
14	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
13	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
12	EE	Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni: Ontological Reasoning and Abductive Logic Programming for Service Discovery and Contracting. SWAP 2008
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] [13]
2	Volha Bryl	[9]
3	Federico Chesani	[1] [3] [4] [5] [6] [7] [8] [11] [12] [13] [14]
4	Anna Ciampolini	[1] [2]
5	Marco Gavanelli	[3] [4] [6] [7] [8] [13]
6	Evelina Lamma	[3] [4] [6] [7] [8] [10] [13] [14]
7	Pietro De Matteis	[5]
8	Paola Mello	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14]
9	Fabrizio Riguzzi	[10] [14]
10	Sergio Storari	[1] [2] [3] [5] [10] [11] [14]
11	Paolo Torroni	[1] [3] [6] [7] [8] [9] [12] [13]
12	Nicola Zannone	[9]