Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Sergio Storari
2010 – today
- 2011
[j14]Marco Alberti, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Sergio Storari: Learning specifications of interaction protocols and business processes and proving their properties. Intelligenza Artificiale 5(1): 71-75 (2011)- 2010
- [j13]Paola Mello, Sergio Storari, Bernardo Valli: Application Of Machine Learning Techniques For The Forecasting Of Fashion Trends. Intelligenza Artificiale 4(1): 18-26 (2010)
- [j12]Denis Ferraretti, Luca Tagliavini, Raffaele Di Cuia, Mariachiara Puviani, Evelina Lamma, Sergio Storari: Use Of Artificial Intelligence Techniques To The Interpretation Of Subsurface Log Images. Intelligenza Artificiale 4(1): 27-35 (2010)
- [j11]Federico Chesani, Paola Mello, Marco Montali, Sergio Storari, Paolo Torroni: On the integration of declarative choreographies and Commitment-based agent societies into the SCIFF logic programming framework. Multiagent and Grid Systems 6(2): 165-190 (2010)
- [j10]Marco Montali, Maja Pesic, Wil M. P. van der Aalst, Federico Chesani, Paola Mello, Sergio Storari: Declarative specification and verification of service choreographiess. TWEB 4(1) (2010)
- [p2]Massimiliano Cattafi, Evelina Lamma, Fabrizio Riguzzi, Sergio Storari: Incremental Declarative Process Mining. Smart Information and Knowledge Management 2010: 103-127
2000 – 2009
- 2009
- [j9]Sergio Storari, Fabrizio Riguzzi, Evelina Lamma: Exploiting association and correlation rules parameters for learning Bayesian networks. Intell. Data Anal. 13(5): 689-701 (2009)
- [j8]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)
- [c21]Alessio Bottrighi, Federico Chesani, Paola Mello, Marco Montali, Stefania Montani, Sergio Storari, Paolo Terenziani: Analysis of the GLARE and GPROVE Approaches to Clinical Guidelines. KR4HC 2009: 76-87
- [c20]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
- 2008
- [c19]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
- [c18]Paola Mello, Sergio Storari, Bernardo Valli: A Knowledge-Based System for Fashion Trend Forecasting. IEA/AIE 2008: 425-434
- [c17]Anna Ciampolini, Paola Mello, Sergio Storari: An Abductive Multi-Agent System for Medical Services Coordination. IFIP AI 2008: 421-425
- [p1]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
- [j7]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)
- [c16]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
- [c15]Evelina Lamma, Paola Mello, Marco Montali, Fabrizio Riguzzi, Sergio Storari: Inducing Declarative Logic-Based Models from Labeled Traces. BPM 2007: 344-359
- [c14]Evelina Lamma, Paola Mello, Fabrizio Riguzzi, Sergio Storari: Applying Inductive Logic Programming to Process Mining. ILP 2007: 132-146
- 2006
- [j6]Giacomo Gamberoni, Sergio Storari, Stefano Volinia: Finding biological process modifications in cancer tissues by mining gene expression correlations. BMC Bioinformatics 7: 6 (2006)
- [j5]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)
- [c13]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
- [c12]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
- [c11]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
- [c10]Giacomo Gamberoni, Evelina Lamma, Fabrizio Riguzzi, Sergio Storari, Stefano Volinia: Bayesian Networks Learning for Gene Expression Datasets. IDA 2005: 109-120
- [c9]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
- [c8]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
- [j4]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)
- [c7]Evelina Lamma, Fabrizio Riguzzi, Sergio Storari: Exploiting Association and Correlation Rules - Parameters for Improving the K2 Algorithm. ECAI 2004: 500-504
- [c6]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
- [c5]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
- 2003
- [j3]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)
- [j2]Evelina Lamma, Fabrizio Riguzzi, Sergio Storari, Paola Mello, Anna Nanetti: Discovering Validation Rules from Microbiological Data. New Generation Comput. 21(2): 123-133 (2003)
- [c4]Evelina Lamma, Fabrizio Riguzzi, Andrea Stambazzi, Sergio Storari: Improving the SLA Algorithm Using Association Rules. AI*IA 2003: 165-175
- 2002
- [c3]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
- [j1]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): 397-411 (2001)
- [c2]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
- 2000
- [c1]Evelina Lamma, M. Manservigi, Paola Mello, Sergio Storari, Fabrizio Riguzzi: A System for Monitoring Nosocomial Infections. ISMDA 2000: 282-292
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2012-12-02 21:29 CET by the dblp team