default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSergio Storari
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2011
[j13]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
- [j12]Paola Mello, Sergio Storari, Bernardo Valli:
Application Of Machine Learning Techniques For The Forecasting Of Fashion Trends. Intelligenza Artificiale 4(1): 18-26 (2010) - [j11]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) - [j10]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 Grid Syst. 6(2): 165-190 (2010) - [j9]Marco Montali, Maja Pesic, Wil M. P. van der Aalst, Federico Chesani, Paola Mello, Sergio Storari:
Declarative specification and verification of service choreographiess. ACM Trans. Web 4(1): 3:1-3:62 (2010) - [p3]Massimiliano Cattafi, Evelina Lamma, Fabrizio Riguzzi, Sergio Storari:
Incremental Declarative Process Mining. Smart Information and Knowledge Management 2010: 103-127
2000 – 2009
- 2009
- [j8]Sergio Storari, Fabrizio Riguzzi, Evelina Lamma:
Exploiting association and correlation rules parameters for learning Bayesian networks. Intell. Data Anal. 13(5): 689-701 (2009) - [j7]Federico Chesani, Evelina Lamma, Paola Mello, Marco Montali, Fabrizio Riguzzi, Sergio Storari:
Exploiting Inductive Logic Programming Techniques for Declarative Process Mining. Trans. Petri Nets Other Model. Concurr. 2: 278-295 (2009) - [c24]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 - [c23]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
- [c22]Marco Alberti, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Sergio Storari:
Inducing Specification of Interaction Protocols and Business Processes and Proving their Properties. Il Milione 2008 - [c21]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 - [c20]Paola Mello, Sergio Storari, Bernardo Valli:
A Knowledge-Based System for Fashion Trend Forecasting. IEA/AIE 2008: 425-434 - [c19]Anna Ciampolini, Paola Mello, Sergio Storari:
An Abductive Multi-Agent System for Medical Services Coordination. IFIP AI 2008: 421-425 - [c18]Sergio Storari, Anna Ciampolini, Paola Mello:
An abductive multi-agent framework for distributed service coordination and reasoning in emergency scenarios. PervasiveHealth 2008: 93-96 - [p2]Federico Chesani, Evelina Lamma, Paola Mello, Marco Montali, Sergio Storari, Paola Baldazzi, Marilena Manfredi:
Compliance Checking of Cancer-Screening CareFlows: an Approach based on Computational Logic. Computer-based Medical Guidelines and Protocols 2008: 183-192 - [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
- [j6]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. Bioinform. 23(20): 2725-2732 (2007) - [c17]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 - [c16]Evelina Lamma, Paola Mello, Marco Montali, Fabrizio Riguzzi, Sergio Storari:
Inducing Declarative Logic-Based Models from Labeled Traces. BPM 2007: 344-359 - [c15]Evelina Lamma, Paola Mello, Fabrizio Riguzzi, Sergio Storari:
Applying Inductive Logic Programming to Process Mining. ILP 2007: 132-146 - 2006
- [j5]Giacomo Gamberoni, Sergio Storari, Stefano Volinia:
Finding biological process modifications in cancer tissues by mining gene expression correlations. BMC Bioinform. 7: 6 (2006) - [j4]Evelina Lamma, Paola Mello, Anna Nanetti, Fabrizio Riguzzi, Sergio Storari, Gianfranco Valastro:
Artificial Intelligence Techniques for Monitoring Dangerous Infections. IEEE Trans. Inf. Technol. Biomed. 10(1): 143-155 (2006) - [c14]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 - [c13]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
- [c12]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 - [c11]Giacomo Gamberoni, Evelina Lamma, Fabrizio Riguzzi, Sergio Storari, Stefano Volinia:
Bayesian Networks Learning for Gene Expression Datasets. IDA 2005: 109-120 - [c10]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 - [c9]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
- [b1]Sergio Storari:
Integrating knowledge-based and datamining techniques for reasoning on medical data. University of Bologna, Italy, 2004 - [j3]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) - [c8]Evelina Lamma, Fabrizio Riguzzi, Sergio Storari:
Exploiting Association and Correlation Rules - Parameters for Improving the K2 Algorithm. ECAI 2004: 500-504 - [c7]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 - [c6]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
- [j2]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) - [j1]Evelina Lamma, Fabrizio Riguzzi, Sergio Storari, Paola Mello, Anna Nanetti:
Discovering Validation Rules from Microbiological Data. New Gener. Comput. 21(2): 123-133 (2003) - [c5]Evelina Lamma, Fabrizio Riguzzi, Andrea Stambazzi, Sergio Storari:
Improving the SLA Algorithm Using Association Rules. AI*IA 2003: 165-175 - 2002
- [c4]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
- [c3]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 - [c2]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. RULE@PLI 2001: 397-411 - 2000
- [c1]Evelina Lamma, M. Manservigi, Paola Mello, Sergio Storari, Fabrizio Riguzzi:
A System for Monitoring Nosocomial Infections. ISMDA 2000: 282-292
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:42 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
