2009 | ||
---|---|---|
27 | 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 | ||
26 | EE | Paola Mello, Sergio Storari, Bernardo Valli: A Knowledge-Based System for Fashion Trend Forecasting. IEA/AIE 2008: 425-434 |
25 | EE | Anna Ciampolini, Paola Mello, Sergio Storari: An Abductive Multi-Agent System for Medical Services Coordination. IFIP AI 2008: 421-425 |
24 | EE | Marco Gavanelli, Michela Milano, Sergio Storari, Luca Tagliavini, Paola Baldazzi, Marilena Manfredi, Gianfranco Valastro: Greedy and Exact Algorithms for Invitation Planning in Cancer Screening. New Challenges in Applied Intelligence Technologies 2008: 255-264 |
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, Gianfranco 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 |