Sergio Storari

According to our database, Sergio Storari authored at least 41 papers between 2000 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2011

Learning specifications of interaction protocols and business processes and proving their properties.

Marco Alberti, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Sergio Storari

Intelligenza Artificiale, 2011

2010

Incremental Declarative Process Mining.

Massimiliano Cattafi, Evelina Lamma, Fabrizio Riguzzi, Sergio Storari

Proceedings of the Smart Information and Knowledge Management: Advances, 2010

Declarative specification and verification of service choreographiess.

Marco Montali, Maja Pesic, Wil M. P. van der Aalst, Federico Chesani, Paola Mello, Sergio Storari

ACM Trans. Web, 2010

On the integration of declarative choreographies and Commitment-based agent societies into the SCIFF logic programming framework.

Federico Chesani, Paola Mello, Marco Montali, Sergio Storari, Paolo Torroni

Multiagent Grid Syst., 2010

Application Of Machine Learning Techniques For The Forecasting Of Fashion Trends.

Paola Mello, Sergio Storari, Bernardo Valli

Intelligenza Artificiale, 2010

Use Of Artificial Intelligence Techniques To The Interpretation Of Subsurface Log Images.

Denis Ferraretti, Luca Tagliavini, Raffaele Di Cuia, Mariachiara Puviani, Evelina Lamma, Sergio Storari

Intelligenza Artificiale, 2010

2009

Exploiting Inductive Logic Programming Techniques for Declarative Process Mining.

Federico Chesani, Evelina Lamma, Paola Mello, Marco Montali, Fabrizio Riguzzi, Sergio Storari

Trans. Petri Nets Other Model. Concurr., 2009

Exploiting association and correlation rules parameters for learning Bayesian networks.

Sergio Storari, Fabrizio Riguzzi, Evelina Lamma

Intell. Data Anal., 2009

Analysis of the GLARE and GPROVE Approaches to Clinical Guidelines.

Alessio Bottrighi, Federico Chesani, Paola Mello, Marco Montali, Stefania Montani, Sergio Storari, Paolo Terenziani

Proceedings of the Knowledge Representation for Health-Care: Data, 2009

A Hybrid Approach to Clinical Guideline and to Basic Medical Knowledge Conformance.

Alessio Bottrighi, Federico Chesani, Paola Mello, Gianpaolo Molino, Marco Montali, Stefania Montani, Sergio Storari, Paolo Terenziani, Mauro Torchio

Proceedings of the Artificial Intelligence in Medicine, 2009

2008

Greedy and Exact Algorithms for Invitation Planning in Cancer Screening.

Marco Gavanelli, Michela Milano, Sergio Storari, Luca Tagliavini, Paola Baldazzi, Marilena Manfredi, Gianfranco Valastro

Proceedings of the New Challenges in Applied Intelligence Technologies, 2008

An abductive multi-agent framework for distributed service coordination and reasoning in emergency scenarios.

Sergio Storari, Anna Ciampolini, Paola Mello

Proceedings of the 2nd International ICST Conference on Pervasive Computing Technologies for Healthcare, 2008

An Abductive Multi-Agent System for Medical Services Coordination.

Anna Ciampolini, Paola Mello, Sergio Storari

Proceedings of the Artificial Intelligence in Theory and Practice II, 2008

A Knowledge-Based System for Fashion Trend Forecasting.

Paola Mello, Sergio Storari, Bernardo Valli

Proceedings of the New Frontiers in Applied Artificial Intelligence, 2008

Checking Compliance of Execution Traces to Business Rules.

Federico Chesani, Paola Mello, Marco Montali, Fabrizio Riguzzi, Maurizio Sebastianis, Sergio Storari

Proceedings of the Business Process Management Workshops, 2008

Inducing Specification of Interaction Protocols and Business Processes and Proving their Properties.

Marco Alberti, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Sergio Storari

Proceedings of the Il Milione (i.e. 2^6), 2008

Compliance Checking of Cancer-Screening CareFlows: an Approach based on Computational Logic.

Federico Chesani, Evelina Lamma, Paola Mello, Marco Montali, Sergio Storari, Paola Baldazzi, Marilena Manfredi

Proceedings of the Computer-based Medical Guidelines and Protocols: A Primer and Current Trends, 2008

2007

Fun&Co: identification of key functional differences in transcriptomes.

Giacomo Gamberoni, Evelina Lamma, Gianluca Lodo, Jlenia Marchesini, Nicoletta Mascellani, Simona Rossi, Sergio Storari, Luca Tagliavini, Stefano Volinia

Bioinform., 2007

Applying Inductive Logic Programming to Process Mining.

Evelina Lamma, Paola Mello, Fabrizio Riguzzi, Sergio Storari

Proceedings of the Inductive Logic Programming, 17th International Conference, 2007

Inducing Declarative Logic-Based Models from Labeled Traces.

Evelina Lamma, Paola Mello, Marco Montali, Fabrizio Riguzzi, Sergio Storari

Proceedings of the Business Process Management, 5th International Conference, 2007

Testing Careflow Process Execution Conformance by Translating a Graphical Language to Computational Logic.

Federico Chesani, Paola Mello, Marco Montali, Sergio Storari

Proceedings of the Artificial Intelligence in Medicine, 2007

2006

Artificial Intelligence Techniques for Monitoring Dangerous Infections.

Evelina Lamma, Paola Mello, Anna Nanetti, Fabrizio Riguzzi, Sergio Storari, Gianfranco Valastro

IEEE Trans. Inf. Technol. Biomed., 2006

Finding biological process modifications in cancer tissues by mining gene expression correlations.

Giacomo Gamberoni, Sergio Storari, Stefano Volinia

BMC Bioinform., 2006

Computational Logic for Run-Time Verification of Web Services Choreographies: Exploiting the <i>SOCS-SI</i> Tool.

Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Sergio Storari, Paolo Torroni

Proceedings of the Web Services and Formal Methods, Third International Workshop, 2006

A Framework for Defining and Verifying Clinical Guidelines: A Case Study on Cancer Screening.

Federico Chesani, Pietro De Matteis, Paola Mello, Marco Montali, Sergio Storari

Proceedings of the Foundations of Intelligent Systems, 16th International Symposium, 2006

2005

Protocol Specification and Verification by Using Computational Logic.

Federico Chesani, Anna Ciampolini, Paola Mello, Marco Montali, Paolo Torroni, Marco Alberti, Sergio Storari

Proceedings of the WOA 2005: Dagli Oggetti agli Agenti. 6th AI*IA/TABOO Joint Workshop "From Objects to Agents": Simulation and Formal Analysis of Complex Systems, 2005

An Expert System for the Oral Anticoagulation Treatment.

Benedetta Barbieri, Giacomo Gamberoni, Evelina Lamma, Paola Mello, Piercamillo Pavesi, Sergio Storari

Proceedings of the Innovations in Applied Artificial Intelligence, 2005

Bayesian Networks Learning for Gene Expression Datasets.

Giacomo Gamberoni, Evelina Lamma, Fabrizio Riguzzi, Sergio Storari, Stefano Volinia

Proceedings of the Advances in Intelligent Data Analysis VI, 2005

Using Social Integrity Constraints for On-the-Fly Compliance Verification of Medical Protocols.

Anna Ciampolini, Paola Mello, Marco Montali, Sergio Storari

Proceedings of the 18th IEEE Symposium on Computer-Based Medical Systems (CBMS 2005), 2005

2004

Integrating knowledge-based and datamining techniques for reasoning on medical data.

Sergio Storari

PhD thesis, 2004

A knowledge based system for the anticoagulant oral therapy.

Benedetta Barbieri, Giacomo Gamberoni, Evelina Lamma, Paola Mello, Piercamillo Pavesi, Sergio Storari

Intelligenza Artificiale, 2004

Correlation of Expression Between Different IMAGE Clones from the Same UniGene Cluster.

Giacomo Gamberoni, Evelina Lamma, Sergio Storari, Diego Arcelli, Francesca Francioso, Stefano Volinia

Proceedings of the Biological and Medical Data Analysis, 5th International Symposium, 2004

Learning the Dose Adjustment for the Oral Anticoagulation Treatment.

Giacomo Gamberoni, Evelina Lamma, Paola Mello, Piercamillo Pavesi, Sergio Storari, Giuseppe Trocino

Proceedings of the Biological and Medical Data Analysis, 5th International Symposium, 2004

Exploiting Association and Correlation Rules - Parameters for Improving the K2 Algorithm.

Evelina Lamma, Fabrizio Riguzzi, Sergio Storari

Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

2003

Discovering Validation Rules from Microbiological Data.

Evelina Lamma, Fabrizio Riguzzi, Sergio Storari, Paola Mello, Anna Nanetti

New Gener. Comput., 2003

Validation of biochemical laboratory results using the DNSev expert system.

Sergio Storari, Evelina Lamma, R. Mancini, Paola Mello, R. Motta, D. Patrono, G. Canova

Expert Syst. Appl., 2003

Improving the SLA Algorithm Using Association Rules.

Evelina Lamma, Fabrizio Riguzzi, Andrea Stambazzi, Sergio Storari

Proceedings of the AI*IA 2003: Advances in Artificial Intelligence, 2003

2002

An Intelligent Medical System for Mocrobiological Data Validation and Nosocomial Infection Surveillance.

Evelina Lamma, G. Modestino, Fabrizio Riguzzi, Sergio Storari, Paola Mello, Anna Nanetti

Proceedings of the 15th IEEE Symposium on Computer-Based Medical Systems (CBMS 2002), 2002

2001

Rule-based Programming for Building Expert Systems: a Comparison in the Microbiological Data Validation and Surveillance Domain.

Evelina Lamma, L. Maestrami, Paola Mello, Fabrizio Riguzzi, Sergio Storari

Proceedings of the Second International Workshop on Rule-Based Programming, 2001

An Expert System for Microbiological Data Validation and Surveillance.

Evelina Lamma, Paola Mello, Anna Nanetti, G. Poli, Fabrizio Riguzzi, Sergio Storari

Proceedings of the Medical Data Analysis, Second International Symposium, 2001

2000

A System for Monitoring Nosocomial Infections.

Evelina Lamma, M. Manservigi, Paola Mello, Sergio Storari, Fabrizio Riguzzi

Proceedings of the Medical Data Analysis, First International Symposium, 2000