Sergio Storari

2007
23	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
22	EE	Evelina Lamma, Paola Mello, Marco Montali, Fabrizio Riguzzi, Sergio Storari: Inducing Declarative Logic-Based Models from Labeled Traces. BPM 2007: 344-359
21	EE	Evelina Lamma, Paola Mello, Fabrizio Riguzzi, Sergio Storari: Applying Inductive Logic Programming to Process Mining. ILP 2007: 132-146
20	EE	Giacomo Gamberoni, Evelina Lamma, Gianluca Lodo, Jlenia Marchesini, Nicoletta Mascellani, Simona Rossi, Sergio Storari, Luca Tagliavini, Stefano Volinia: Fun&Co: identification of key functional differences in transcriptomes. Bioinformatics 23(20): 2725-2732 (2007)
2006
19	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
18	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
17	EE	Giacomo Gamberoni, Sergio Storari, Stefano Volinia: Finding biological process modifications in cancer tissues by mining gene expression correlations. BMC Bioinformatics 7: 6 (2006)
16	EE	Evelina Lamma, Paola Mello, Anna Nanetti, Fabrizio Riguzzi, Sergio Storari, G. Valastro: Artificial Intelligence Techniques for Monitoring Dangerous Infections. IEEE Transactions on Information Technology in Biomedicine 10(1): 143-155 (2006)
2005
15	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
14	EE	Giacomo Gamberoni, Evelina Lamma, Fabrizio Riguzzi, Sergio Storari, Stefano Volinia: Bayesian Networks Learning for Gene Expression Datasets. IDA 2005: 109-120
13	EE	Benedetta Barbieri, Giacomo Gamberoni, Evelina Lamma, Paola Mello, Piercamillo Pavesi, Sergio Storari: An Expert System for the Oral Anticoagulation Treatment. IEA/AIE 2005: 773-782
12	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
2004
11		Evelina Lamma, Fabrizio Riguzzi, Sergio Storari: Exploiting Association and Correlation Rules - Parameters for Improving the K2 Algorithm. ECAI 2004: 500-504
10	EE	Giacomo Gamberoni, Evelina Lamma, Paola Mello, Piercamillo Pavesi, Sergio Storari, Giuseppe Trocino: Learning the Dose Adjustment for the Oral Anticoagulation Treatment. ISBMDA 2004: 171-181
9	EE	Giacomo Gamberoni, Evelina Lamma, Sergio Storari, Diego Arcelli, Francesca Francioso, Stefano Volinia: Correlation of Expression Between Different IMAGE Clones from the Same UniGene Cluster. ISBMDA 2004: 498-506
8		Benedetta Barbieri, Giacomo Gamberoni, Evelina Lamma, Paola Mello, Piercamillo Pavesi, Sergio Storari: A knowledge based system for the anticoagulant oral therapy. Intelligenza Artificiale 1(4): 9-15 (2004)
2003
7	EE	Evelina Lamma, Fabrizio Riguzzi, Andrea Stambazzi, Sergio Storari: Improving the SLA Algorithm Using Association Rules. AI*IA 2003: 165-175
6	EE	Sergio Storari, Evelina Lamma, R. Mancini, Paola Mello, R. Motta, D. Patrono, G. Canova: Validation of biochemical laboratory results using the DNSev expert system. Expert Syst. Appl. 25(4): 503-515 (2003)
5	EE	Evelina Lamma, Fabrizio Riguzzi, Sergio Storari, Paola Mello, Anna Nanetti: Discovering Validation Rules from Microbiological Data. New Generation Comput. 21(2): (2003)
2002
4	EE	Evelina Lamma, G. Modestino, Fabrizio Riguzzi, Sergio Storari, Paola Mello, Anna Nanetti: An Intelligent Medical System for Mocrobiological Data Validation and Nosocomial Infection Surveillance. CBMS 2002: 13-20
2001
3	EE	Evelina Lamma, Paola Mello, Anna Nanetti, G. Poli, Fabrizio Riguzzi, Sergio Storari: An Expert System for Microbiological Data Validation and Surveillance. ISMDA 2001: 153-160
2	EE	Evelina Lamma, L. Maestrami, Paola Mello, Fabrizio Riguzzi, Sergio Storari: Rule-based Programming for Building Expert Systems: a Comparison in the Microbiological Data Validation and Surveillance Domain. Electr. Notes Theor. Comput. Sci. 59(4): (2001)
2000
1	EE	Evelina Lamma, M. Manservigi, Paola Mello, Sergio Storari, Fabrizio Riguzzi: A System for Monitoring Nosocomial Infections. ISMDA 2000: 282-292

Coauthor Index

1	Marco Alberti	[12] [18]
2	Diego Arcelli	[9]
3	Benedetta Barbieri	[8] [13]
4	G. Canova	[6]
5	Federico Chesani	[12] [18] [19] [23]
6	Anna Ciampolini	[12] [15]
7	Francesca Francioso	[9]
8	Giacomo Gamberoni	[8] [9] [10] [13] [14] [17] [20]
9	Marco Gavanelli	[18]
10	Evelina Lamma	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [13] [14] [16] [18] [20] [21] [22]
11	Gianluca Lodo	[20]
12	L. Maestrami	[2]
13	R. Mancini	[6]
14	M. Manservigi	[1]
15	Jlenia Marchesini	[20]
16	Nicoletta Mascellani	[20]
17	Pietro De Matteis	[19]
18	Paola Mello	[1] [2] [3] [4] [5] [6] [8] [10] [12] [13] [15] [16] [18] [19] [21] [22] [23]
19	G. Modestino	[4]
20	Marco Montali	[12] [15] [18] [19] [22] [23]
21	R. Motta	[6]
22	Anna Nanetti	[3] [4] [5] [16]
23	D. Patrono	[6]
24	Piercamillo Pavesi	[8] [10] [13]
25	G. Poli	[3]
26	Fabrizio Riguzzi	[1] [2] [3] [4] [5] [7] [11] [14] [16] [21] [22]
27	Simona Rossi	[20]
28	Andrea Stambazzi	[7]
29	Luca Tagliavini	[20]
30	Paolo Torroni	[12] [18]
31	Giuseppe Trocino	[10]
32	G. Valastro	[16]
33	Stefano Volinia	[9] [14] [17] [20]