Sergio Storari

41 papers A 2B 6C 3Journal 13Unranked 13

Year	Rank	Type	Title / Venue / Authors
2011	J	`jnl`	Learning specifications of interaction protocols and business processes and proving their properties. Intelligenza Artificiale Marco Alberti, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Sergio Storari
2010	J	`jnl`	Application Of Machine Learning Techniques For The Forecasting Of Fashion Trends. Intelligenza Artificiale Paola Mello, Sergio Storari, Bernardo Valli
2010	J	`jnl`	Declarative specification and verification of service choreographiess. ACM Trans. Web Marco Montali, Maja Pesic, Wil M. P. van der Aalst, Federico Chesani, Paola Mello, Sergio Storari
2010	—	`ch.`	Incremental Declarative Process Mining. Smart Information and Knowledge Management Massimiliano Cattafi, Evelina Lamma, Fabrizio Riguzzi, Sergio Storari
2010	J	`jnl`	On the integration of declarative choreographies and Commitment-based agent societies into the SCIFF logic programming framework. Multiagent Grid Syst. Federico Chesani, Paola Mello, Marco Montali, Sergio Storari, Paolo Torroni
2010	J	`jnl`	Use Of Artificial Intelligence Techniques To The Interpretation Of Subsurface Log Images. Intelligenza Artificiale Denis Ferraretti, Luca Tagliavini, Raffaele Di Cuia, Mariachiara Puviani, Evelina Lamma, Sergio Storari
2009	B	`conf`	A Hybrid Approach to Clinical Guideline and to Basic Medical Knowledge Conformance. AIME Alessio Bottrighi, Federico Chesani, Paola Mello, Gianpaolo Molino, Marco Montali, Stefania Montani, Sergio Storari, Paolo Terenziani, Mauro Torchio
2009	—	`conf`	Analysis of the GLARE and GPROVE Approaches to Clinical Guidelines. KR4HC Alessio Bottrighi, Federico Chesani, Paola Mello, Marco Montali, Stefania Montani, Sergio Storari, Paolo Terenziani
2009	J	`jnl`	Exploiting Inductive Logic Programming Techniques for Declarative Process Mining. Trans. Petri Nets Other Model. Concurr. Federico Chesani, Evelina Lamma, Paola Mello, Marco Montali, Fabrizio Riguzzi, Sergio Storari
2009	J	`jnl`	Exploiting association and correlation rules parameters for learning Bayesian networks. Intell. Data Anal. Sergio Storari, Fabrizio Riguzzi, Evelina Lamma
2008	C	`conf`	A Knowledge-Based System for Fashion Trend Forecasting. IEA/AIE Paola Mello, Sergio Storari, Bernardo Valli
2008	—	`conf`	An Abductive Multi-Agent System for Medical Services Coordination. IFIP AI Anna Ciampolini, Paola Mello, Sergio Storari
2008	—	`conf`	An abductive multi-agent framework for distributed service coordination and reasoning in emergency scenarios. PervasiveHealth Sergio Storari, Anna Ciampolini, Paola Mello
2008	—	`conf`	Checking Compliance of Execution Traces to Business Rules. Business Process Management Workshops Federico Chesani, Paola Mello, Marco Montali, Fabrizio Riguzzi, Maurizio Sebastianis, Sergio Storari
2008	—	`ch.`	Compliance Checking of Cancer-Screening CareFlows: an Approach based on Computational Logic. Computer-based Medical Guidelines and Protocols Federico Chesani, Evelina Lamma, Paola Mello, Marco Montali, Sergio Storari, Paola Baldazzi, Marilena Manfredi
2008	—	`ch.`	Greedy and Exact Algorithms for Invitation Planning in Cancer Screening. New Challenges in Applied Intelligence Technologies Marco Gavanelli, Michela Milano, Sergio Storari, Luca Tagliavini, Paola Baldazzi, Marilena Manfredi, Gianfranco Valastro
2008	—	`conf`	Inducing Specification of Interaction Protocols and Business Processes and Proving their Properties. Il Milione Marco Alberti, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Sergio Storari
2007	B	`conf`	Applying Inductive Logic Programming to Process Mining. ILP Evelina Lamma, Paola Mello, Fabrizio Riguzzi, Sergio Storari
2007	J	`jnl`	Fun&Co: identification of key functional differences in transcriptomes. Bioinform. Giacomo Gamberoni, Evelina Lamma, Gianluca Lodo, Jlenia Marchesini, Nicoletta Mascellani, Simona Rossi, Sergio Storari, Luca Tagliavini, Stefano Volinia
2007	A	`conf`	Inducing Declarative Logic-Based Models from Labeled Traces. BPM Evelina Lamma, Paola Mello, Marco Montali, Fabrizio Riguzzi, Sergio Storari
2007	B	`conf`	Testing Careflow Process Execution Conformance by Translating a Graphical Language to Computational Logic. AIME Federico Chesani, Paola Mello, Marco Montali, Sergio Storari
2006	C	`conf`	A Framework for Defining and Verifying Clinical Guidelines: A Case Study on Cancer Screening. ISMIS Federico Chesani, Pietro De Matteis, Paola Mello, Marco Montali, Sergio Storari
2006	J	`jnl`	Artificial Intelligence Techniques for Monitoring Dangerous Infections. IEEE Trans. Inf. Technol. Biomed. Evelina Lamma, Paola Mello, Anna Nanetti, Fabrizio Riguzzi, Sergio Storari, Gianfranco Valastro
2006	—	`conf`	Computational Logic for Run-Time Verification of Web Services Choreographies: Exploiting the WS-FM Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Sergio Storari, Paolo Torroni
2006	J	`jnl`	Finding biological process modifications in cancer tissues by mining gene expression correlations. BMC Bioinform. Giacomo Gamberoni, Sergio Storari, Stefano Volinia
2005	C	`conf`	An Expert System for the Oral Anticoagulation Treatment. IEA/AIE Benedetta Barbieri, Giacomo Gamberoni, Evelina Lamma, Paola Mello, Piercamillo Pavesi, Sergio Storari
2005	B	`conf`	Bayesian Networks Learning for Gene Expression Datasets. IDA Giacomo Gamberoni, Evelina Lamma, Fabrizio Riguzzi, Sergio Storari, Stefano Volinia
2005	—	`conf`	Protocol Specification and Verification by Using Computational Logic. WOA Federico Chesani, Anna Ciampolini, Paola Mello, Marco Montali, Paolo Torroni, Marco Alberti, Sergio Storari
2005	B	`conf`	Using Social Integrity Constraints for On-the-Fly Compliance Verification of Medical Protocols. CBMS Anna Ciampolini, Paola Mello, Marco Montali, Sergio Storari
2004	J	`jnl`	A knowledge based system for the anticoagulant oral therapy. Intelligenza Artificiale Benedetta Barbieri, Giacomo Gamberoni, Evelina Lamma, Paola Mello, Piercamillo Pavesi, Sergio Storari
2004	—	`conf`	Correlation of Expression Between Different IMAGE Clones from the Same UniGene Cluster. ISBMDA Giacomo Gamberoni, Evelina Lamma, Sergio Storari, Diego Arcelli, Francesca Francioso, Stefano Volinia
2004	A	`conf`	Exploiting Association and Correlation Rules - Parameters for Improving the K2 Algorithm. ECAI Evelina Lamma, Fabrizio Riguzzi, Sergio Storari
2004	—	`—`	Integrating knowledge-based and datamining techniques for reasoning on medical data. Sergio Storari
2004	—	`conf`	Learning the Dose Adjustment for the Oral Anticoagulation Treatment. ISBMDA Giacomo Gamberoni, Evelina Lamma, Paola Mello, Piercamillo Pavesi, Sergio Storari, Giuseppe Trocino
2003	J	`jnl`	Discovering Validation Rules from Microbiological Data. New Gener. Comput. Evelina Lamma, Fabrizio Riguzzi, Sergio Storari, Paola Mello, Anna Nanetti
2003	—	`conf`	Improving the SLA Algorithm Using Association Rules. AI*IA Evelina Lamma, Fabrizio Riguzzi, Andrea Stambazzi, Sergio Storari
2003	J	`jnl`	Validation of biochemical laboratory results using the DNSev expert system. Expert Syst. Appl. Sergio Storari, Evelina Lamma, R. Mancini, Paola Mello, R. Motta, D. Patrono, G. Canova
2002	B	`conf`	An Intelligent Medical System for Mocrobiological Data Validation and Nosocomial Infection Surveillance. CBMS Evelina Lamma, G. Modestino, Fabrizio Riguzzi, Sergio Storari, Paola Mello, Anna Nanetti
2001	—	`conf`	An Expert System for Microbiological Data Validation and Surveillance. ISMDA Evelina Lamma, Paola Mello, Anna Nanetti, G. Poli, Fabrizio Riguzzi, Sergio Storari
2001	—	`conf`	Rule-based Programming for Building Expert Systems: a Comparison in the Microbiological Data Validation and Surveillance Domain. RULE@PLI Evelina Lamma, L. Maestrami, Paola Mello, Fabrizio Riguzzi, Sergio Storari
2000	—	`conf`	A System for Monitoring Nosocomial Infections. ISMDA Evelina Lamma, M. Manservigi, Paola Mello, Sergio Storari, Fabrizio Riguzzi