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 |