BibTeX records: Sergio Storari

download as .bib file

@article{DBLP:journals/ia/AlbertiGLRS11,
  author       = {Marco Alberti and
                  Marco Gavanelli and
                  Evelina Lamma and
                  Fabrizio Riguzzi and
                  Sergio Storari},
  title        = {Learning specifications of interaction protocols and business processes
                  and proving their properties},
  journal      = {Intelligenza Artificiale},
  volume       = {5},
  number       = {1},
  pages        = {71--75},
  year         = {2011},
  url          = {https://doi.org/10.3233/IA-2011-0006},
  doi          = {10.3233/IA-2011-0006},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ia/AlbertiGLRS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ia/MelloSV10,
  author       = {Paola Mello and
                  Sergio Storari and
                  Bernardo Valli},
  title        = {Application Of Machine Learning Techniques For The Forecasting Of
                  Fashion Trends},
  journal      = {Intelligenza Artificiale},
  volume       = {4},
  number       = {1},
  pages        = {18--26},
  year         = {2010},
  timestamp    = {Mon, 17 Jan 2011 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ia/MelloSV10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ia/FerrarettiTCPLS10,
  author       = {Denis Ferraretti and
                  Luca Tagliavini and
                  Raffaele Di Cuia and
                  Mariachiara Puviani and
                  Evelina Lamma and
                  Sergio Storari},
  title        = {Use Of Artificial Intelligence Techniques To The Interpretation Of
                  Subsurface Log Images},
  journal      = {Intelligenza Artificiale},
  volume       = {4},
  number       = {1},
  pages        = {27--35},
  year         = {2010},
  timestamp    = {Mon, 17 Jan 2011 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ia/FerrarettiTCPLS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mags/ChesaniMMST10,
  author       = {Federico Chesani and
                  Paola Mello and
                  Marco Montali and
                  Sergio Storari and
                  Paolo Torroni},
  title        = {On the integration of declarative choreographies and Commitment-based
                  agent societies into the {SCIFF} logic programming framework},
  journal      = {Multiagent Grid Syst.},
  volume       = {6},
  number       = {2},
  pages        = {165--190},
  year         = {2010},
  url          = {https://doi.org/10.3233/MGS-2010-0147},
  doi          = {10.3233/MGS-2010-0147},
  timestamp    = {Thu, 04 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mags/ChesaniMMST10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tweb/MontaliPACMS10,
  author       = {Marco Montali and
                  Maja Pesic and
                  Wil M. P. van der Aalst and
                  Federico Chesani and
                  Paola Mello and
                  Sergio Storari},
  title        = {Declarative specification and verification of service choreographiess},
  journal      = {{ACM} Trans. Web},
  volume       = {4},
  number       = {1},
  pages        = {3:1--3:62},
  year         = {2010},
  url          = {https://doi.org/10.1145/1658373.1658376},
  doi          = {10.1145/1658373.1658376},
  timestamp    = {Mon, 11 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tweb/MontaliPACMS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/sci/CattafiLRS10,
  author       = {Massimiliano Cattafi and
                  Evelina Lamma and
                  Fabrizio Riguzzi and
                  Sergio Storari},
  editor       = {Edward Szczerbicki and
                  Ngoc Thanh Nguyen},
  title        = {Incremental Declarative Process Mining},
  booktitle    = {Smart Information and Knowledge Management: Advances, Challenges,
                  and Critical Issues},
  series       = {Studies in Computational Intelligence},
  volume       = {260},
  pages        = {103--127},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-04584-4\_5},
  doi          = {10.1007/978-3-642-04584-4\_5},
  timestamp    = {Thu, 16 Mar 2023 20:00:38 +0100},
  biburl       = {https://dblp.org/rec/series/sci/CattafiLRS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ida/StorariRL09,
  author       = {Sergio Storari and
                  Fabrizio Riguzzi and
                  Evelina Lamma},
  title        = {Exploiting association and correlation rules parameters for learning
                  Bayesian networks},
  journal      = {Intell. Data Anal.},
  volume       = {13},
  number       = {5},
  pages        = {689--701},
  year         = {2009},
  url          = {https://doi.org/10.3233/IDA-2009-0388},
  doi          = {10.3233/IDA-2009-0388},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ida/StorariRL09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/ChesaniLMMRS09,
  author       = {Federico Chesani and
                  Evelina Lamma and
                  Paola Mello and
                  Marco Montali and
                  Fabrizio Riguzzi and
                  Sergio Storari},
  title        = {Exploiting Inductive Logic Programming Techniques for Declarative
                  Process Mining},
  journal      = {Trans. Petri Nets Other Model. Concurr.},
  volume       = {2},
  pages        = {278--295},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-00899-3\_16},
  doi          = {10.1007/978-3-642-00899-3\_16},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/topnoc/ChesaniLMMRS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aime/BottrighiCMMMST09,
  author       = {Alessio Bottrighi and
                  Federico Chesani and
                  Paola Mello and
                  Marco Montali and
                  Stefania Montani and
                  Sergio Storari and
                  Paolo Terenziani},
  editor       = {David Ria{\~{n}}o and
                  Annette ten Teije and
                  Silvia Miksch and
                  Mor Peleg},
  title        = {Analysis of the {GLARE} and {GPROVE} Approaches to Clinical Guidelines},
  booktitle    = {Knowledge Representation for Health-Care: Data, Processes and Guidelines,
                  {AIME} 2009 Workshop {KR4HC} 2009, Verona, Italy, July 19, 2009, Revised
                  Selected and Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {5943},
  pages        = {76--87},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-11808-1\_7},
  doi          = {10.1007/978-3-642-11808-1\_7},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aime/BottrighiCMMMST09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aime/BottrighiCMMMMSTT09,
  author       = {Alessio Bottrighi and
                  Federico Chesani and
                  Paola Mello and
                  Gianpaolo Molino and
                  Marco Montali and
                  Stefania Montani and
                  Sergio Storari and
                  Paolo Terenziani and
                  Mauro Torchio},
  editor       = {Carlo Combi and
                  Yuval Shahar and
                  Ameen Abu{-}Hanna},
  title        = {A Hybrid Approach to Clinical Guideline and to Basic Medical Knowledge
                  Conformance},
  booktitle    = {Artificial Intelligence in Medicine, 12th Conference on Artificial
                  Intelligence in Medicine, {AIME} 2009, Verona, Italy, July 18-22,
                  2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5651},
  pages        = {91--95},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02976-9\_12},
  doi          = {10.1007/978-3-642-02976-9\_12},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aime/BottrighiCMMMMSTT09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/AlbertiGLRS08,
  author       = {Marco Alberti and
                  Marco Gavanelli and
                  Evelina Lamma and
                  Fabrizio Riguzzi and
                  Sergio Storari},
  editor       = {Matteo Baldoni and
                  Cristina Baroglio},
  title        = {Inducing Specification of Interaction Protocols and Business Processes
                  and Proving their Properties},
  booktitle    = {Il Milione (i.e. 2{\^{}}6), Proceedings of the Day Dedicated to Prof.
                  Alberto Martelli, Turin, Italy, June 3, 2008},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {487},
  publisher    = {CEUR-WS.org},
  year         = {2008},
  url          = {https://ceur-ws.org/Vol-487/paper6.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:22 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/AlbertiGLRS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/ChesaniMMRSS08,
  author       = {Federico Chesani and
                  Paola Mello and
                  Marco Montali and
                  Fabrizio Riguzzi and
                  Maurizio Sebastianis and
                  Sergio Storari},
  editor       = {Danilo Ardagna and
                  Massimo Mecella and
                  Jian Yang},
  title        = {Checking Compliance of Execution Traces to Business Rules},
  booktitle    = {Business Process Management Workshops, {BPM} 2008 International Workshops,
                  Milano, Italy, September 1-4, 2008. Revised Papers},
  series       = {Lecture Notes in Business Information Processing},
  volume       = {17},
  pages        = {134--145},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-642-00328-8\_13},
  doi          = {10.1007/978-3-642-00328-8\_13},
  timestamp    = {Wed, 14 Nov 2018 10:57:47 +0100},
  biburl       = {https://dblp.org/rec/conf/bpm/ChesaniMMRSS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ieaaie/MelloSV08,
  author       = {Paola Mello and
                  Sergio Storari and
                  Bernardo Valli},
  editor       = {Ngoc Thanh Nguyen and
                  Leszek Borzemski and
                  Adam Grzech and
                  Moonis Ali},
  title        = {A Knowledge-Based System for Fashion Trend Forecasting},
  booktitle    = {New Frontiers in Applied Artificial Intelligence, 21st International
                  Conference on Industrial, Engineering and Other Applications of Applied
                  Intelligent Systems, {IEA/AIE} 2008, Wroclaw, Poland, June 18-20,
                  2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5027},
  pages        = {425--434},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-69052-8\_45},
  doi          = {10.1007/978-3-540-69052-8\_45},
  timestamp    = {Thu, 16 Mar 2023 20:00:30 +0100},
  biburl       = {https://dblp.org/rec/conf/ieaaie/MelloSV08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip12/CiampoliniMS08,
  author       = {Anna Ciampolini and
                  Paola Mello and
                  Sergio Storari},
  editor       = {Max Bramer},
  title        = {An Abductive Multi-Agent System for Medical Services Coordination},
  booktitle    = {Artificial Intelligence in Theory and Practice II, {IFIP} 20th World
                  Computer Congress, {TC} 12: {IFIP} {AI} 2008 Stream, September 7-10,
                  2008, Milano, Italy},
  series       = {{IFIP}},
  volume       = {276},
  pages        = {421--425},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-0-387-09695-7\_41},
  doi          = {10.1007/978-0-387-09695-7\_41},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifip12/CiampoliniMS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ph/StorariCM08,
  author       = {Sergio Storari and
                  Anna Ciampolini and
                  Paola Mello},
  editor       = {Niilo Saranummi and
                  Ilkka Korhonen and
                  Howard D. Wactlar},
  title        = {An abductive multi-agent framework for distributed service coordination
                  and reasoning in emergency scenarios},
  booktitle    = {2nd International {ICST} Conference on Pervasive Computing Technologies
                  for Healthcare, PervasiveHealth 2008, Tampere, Finland, January 30
                  - February 1, 2008},
  pages        = {93--96},
  publisher    = {{IEEE}},
  year         = {2008},
  url          = {https://doi.org/10.1109/PCTHEALTH.2008.4571038},
  doi          = {10.1109/PCTHEALTH.2008.4571038},
  timestamp    = {Wed, 16 Oct 2019 14:14:52 +0200},
  biburl       = {https://dblp.org/rec/conf/ph/StorariCM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/ios/p/ChesaniLMMSBM08,
  author       = {Federico Chesani and
                  Evelina Lamma and
                  Paola Mello and
                  Marco Montali and
                  Sergio Storari and
                  Paola Baldazzi and
                  Marilena Manfredi},
  editor       = {Annette ten Teije and
                  Silvia Miksch and
                  Peter J. F. Lucas},
  title        = {Compliance Checking of Cancer-Screening CareFlows: an Approach based
                  on Computational Logic},
  booktitle    = {Computer-based Medical Guidelines and Protocols: {A} Primer and Current
                  Trends},
  series       = {Studies in Health Technology and Informatics},
  volume       = {139},
  pages        = {183--192},
  publisher    = {{IOS} Press},
  year         = {2008},
  url          = {https://doi.org/10.3233/978-1-58603-873-1-183},
  doi          = {10.3233/978-1-58603-873-1-183},
  timestamp    = {Mon, 28 Aug 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/ios/p/ChesaniLMMSBM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/sci/GavanelliMSTBMV08,
  author       = {Marco Gavanelli and
                  Michela Milano and
                  Sergio Storari and
                  Luca Tagliavini and
                  Paola Baldazzi and
                  Marilena Manfredi and
                  Gianfranco Valastro},
  editor       = {Ngoc Thanh Nguyen and
                  Radoslaw P. Katarzyniak},
  title        = {Greedy and Exact Algorithms for Invitation Planning in Cancer Screening},
  booktitle    = {New Challenges in Applied Intelligence Technologies},
  series       = {Studies in Computational Intelligence},
  volume       = {134},
  pages        = {255--264},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-79355-7\_25},
  doi          = {10.1007/978-3-540-79355-7\_25},
  timestamp    = {Thu, 16 Mar 2023 20:00:38 +0100},
  biburl       = {https://dblp.org/rec/series/sci/GavanelliMSTBMV08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/GamberoniLLMMRSTV07,
  author       = {Giacomo Gamberoni and
                  Evelina Lamma and
                  Gianluca Lodo and
                  Jlenia Marchesini and
                  Nicoletta Mascellani and
                  Simona Rossi and
                  Sergio Storari and
                  Luca Tagliavini and
                  Stefano Volinia},
  title        = {Fun{\&}Co: identification of key functional differences in transcriptomes},
  journal      = {Bioinform.},
  volume       = {23},
  number       = {20},
  pages        = {2725--2732},
  year         = {2007},
  url          = {https://doi.org/10.1093/bioinformatics/btm425},
  doi          = {10.1093/BIOINFORMATICS/BTM425},
  timestamp    = {Mon, 02 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/bioinformatics/GamberoniLLMMRSTV07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aime/ChesaniMMS07,
  author       = {Federico Chesani and
                  Paola Mello and
                  Marco Montali and
                  Sergio Storari},
  editor       = {Riccardo Bellazzi and
                  Ameen Abu{-}Hanna and
                  Jim Hunter},
  title        = {Testing Careflow Process Execution Conformance by Translating a Graphical
                  Language to Computational Logic},
  booktitle    = {Artificial Intelligence in Medicine, 11th Conference on Artificial
                  Intelligence in Medicine, {AIME} 2007, Amsterdam, The Netherlands,
                  July 7-11, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4594},
  pages        = {479--488},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73599-1\_64},
  doi          = {10.1007/978-3-540-73599-1\_64},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/aime/ChesaniMMS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/LammaMMRS07,
  author       = {Evelina Lamma and
                  Paola Mello and
                  Marco Montali and
                  Fabrizio Riguzzi and
                  Sergio Storari},
  editor       = {Gustavo Alonso and
                  Peter Dadam and
                  Michael Rosemann},
  title        = {Inducing Declarative Logic-Based Models from Labeled Traces},
  booktitle    = {Business Process Management, 5th International Conference, {BPM} 2007,
                  Brisbane, Australia, September 24-28, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4714},
  pages        = {344--359},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75183-0\_25},
  doi          = {10.1007/978-3-540-75183-0\_25},
  timestamp    = {Tue, 14 May 2019 10:00:37 +0200},
  biburl       = {https://dblp.org/rec/conf/bpm/LammaMMRS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ilp/LammaMRS07,
  author       = {Evelina Lamma and
                  Paola Mello and
                  Fabrizio Riguzzi and
                  Sergio Storari},
  editor       = {Hendrik Blockeel and
                  Jan Ramon and
                  Jude W. Shavlik and
                  Prasad Tadepalli},
  title        = {Applying Inductive Logic Programming to Process Mining},
  booktitle    = {Inductive Logic Programming, 17th International Conference, {ILP}
                  2007, Corvallis, OR, USA, June 19-21, 2007, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {4894},
  pages        = {132--146},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-78469-2\_16},
  doi          = {10.1007/978-3-540-78469-2\_16},
  timestamp    = {Thu, 14 Oct 2021 10:29:24 +0200},
  biburl       = {https://dblp.org/rec/conf/ilp/LammaMRS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bmcbi/GamberoniSV06,
  author       = {Giacomo Gamberoni and
                  Sergio Storari and
                  Stefano Volinia},
  title        = {Finding biological process modifications in cancer tissues by mining
                  gene expression correlations},
  journal      = {{BMC} Bioinform.},
  volume       = {7},
  pages        = {6},
  year         = {2006},
  url          = {https://doi.org/10.1186/1471-2105-7-6},
  doi          = {10.1186/1471-2105-7-6},
  timestamp    = {Sun, 15 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/bmcbi/GamberoniSV06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/titb/LammaMNRSV06,
  author       = {Evelina Lamma and
                  Paola Mello and
                  Anna Nanetti and
                  Fabrizio Riguzzi and
                  Sergio Storari and
                  Gianfranco Valastro},
  title        = {Artificial Intelligence Techniques for Monitoring Dangerous Infections},
  journal      = {{IEEE} Trans. Inf. Technol. Biomed.},
  volume       = {10},
  number       = {1},
  pages        = {143--155},
  year         = {2006},
  url          = {https://doi.org/10.1109/TITB.2005.855537},
  doi          = {10.1109/TITB.2005.855537},
  timestamp    = {Wed, 13 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/titb/LammaMNRSV06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismis/ChesaniMMMS06,
  author       = {Federico Chesani and
                  Pietro De Matteis and
                  Paola Mello and
                  Marco Montali and
                  Sergio Storari},
  editor       = {Floriana Esposito and
                  Zbigniew W. Ras and
                  Donato Malerba and
                  Giovanni Semeraro},
  title        = {A Framework for Defining and Verifying Clinical Guidelines: {A} Case
                  Study on Cancer Screening},
  booktitle    = {Foundations of Intelligent Systems, 16th International Symposium,
                  {ISMIS} 2006, Bari, Italy, September 27-29, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4203},
  pages        = {338--343},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11875604\_39},
  doi          = {10.1007/11875604\_39},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/ismis/ChesaniMMMS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/AlbertiCGLMMST06,
  author       = {Marco Alberti and
                  Federico Chesani and
                  Marco Gavanelli and
                  Evelina Lamma and
                  Paola Mello and
                  Marco Montali and
                  Sergio Storari and
                  Paolo Torroni},
  editor       = {Mario Bravetti and
                  Manuel N{\'{u}}{\~{n}}ez and
                  Gianluigi Zavattaro},
  title        = {Computational Logic for Run-Time Verification of Web Services Choreographies:
                  Exploiting the \emph{SOCS-SI} Tool},
  booktitle    = {Web Services and Formal Methods, Third International Workshop, {WS-FM}
                  2006 Vienna, Austria, September 8-9, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4184},
  pages        = {58--72},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11841197\_4},
  doi          = {10.1007/11841197\_4},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wsfm/AlbertiCGLMMST06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cbms/CiampoliniMMS05,
  author       = {Anna Ciampolini and
                  Paola Mello and
                  Marco Montali and
                  Sergio Storari},
  title        = {Using Social Integrity Constraints for On-the-Fly Compliance Verification
                  of Medical Protocols},
  booktitle    = {18th {IEEE} Symposium on Computer-Based Medical Systems {(CBMS} 2005),
                  23-24 June 2005, Dublin, Ireland},
  pages        = {503--505},
  publisher    = {{IEEE} Computer Society},
  year         = {2005},
  url          = {https://doi.org/10.1109/CBMS.2005.102},
  doi          = {10.1109/CBMS.2005.102},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cbms/CiampoliniMMS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ida/GamberoniLRSV05,
  author       = {Giacomo Gamberoni and
                  Evelina Lamma and
                  Fabrizio Riguzzi and
                  Sergio Storari and
                  Stefano Volinia},
  editor       = {A. Fazel Famili and
                  Joost N. Kok and
                  Jos{\'{e}} Mar{\'{\i}}a Pe{\~{n}}a S{\'{a}}nchez and
                  Arno Siebes and
                  A. J. Feelders},
  title        = {Bayesian Networks Learning for Gene Expression Datasets},
  booktitle    = {Advances in Intelligent Data Analysis VI, 6th International Symposium
                  on Intelligent Data Analysis, {IDA} 2005, Madrid, Spain, September
                  8-10, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3646},
  pages        = {109--120},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11552253\_11},
  doi          = {10.1007/11552253\_11},
  timestamp    = {Tue, 14 May 2019 10:00:49 +0200},
  biburl       = {https://dblp.org/rec/conf/ida/GamberoniLRSV05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ieaaie/BarbieriGLMPS05,
  author       = {Benedetta Barbieri and
                  Giacomo Gamberoni and
                  Evelina Lamma and
                  Paola Mello and
                  Piercamillo Pavesi and
                  Sergio Storari},
  editor       = {Moonis Ali and
                  Floriana Esposito},
  title        = {An Expert System for the Oral Anticoagulation Treatment},
  booktitle    = {Innovations in Applied Artificial Intelligence, 18th International
                  Conference on Industrial and Engineering Applications of Artificial
                  Intelligence and Expert Systems, {IEA/AIE} 2005, Bari, Italy, June
                  22-24, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3533},
  pages        = {773--782},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11504894\_107},
  doi          = {10.1007/11504894\_107},
  timestamp    = {Tue, 14 May 2019 10:00:37 +0200},
  biburl       = {https://dblp.org/rec/conf/ieaaie/BarbieriGLMPS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/woa/ChesaniCMMTAS05,
  author       = {Federico Chesani and
                  Anna Ciampolini and
                  Paola Mello and
                  Marco Montali and
                  Paolo Torroni and
                  Marco Alberti and
                  Sergio Storari},
  editor       = {Flavio Corradini and
                  Flavio De Paoli and
                  Emanuela Merelli and
                  Andrea Omicini},
  title        = {Protocol Specification and Verification by Using Computational Logic},
  booktitle    = {{WOA} 2005: Dagli Oggetti agli Agenti. 6th AI*IA/TABOO Joint Workshop
                  "From Objects to Agents": Simulation and Formal Analysis of Complex
                  Systems, 14-16 November 2005, Camerino, MC, Italy},
  pages        = {184--192},
  publisher    = {Pitagora Editrice Bologna},
  year         = {2005},
  url          = {http://lia.deis.unibo.it/books/woa2005/papers/26.pdf},
  timestamp    = {Thu, 12 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/woa/ChesaniCMMTAS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/it/Storari04,
  author       = {Sergio Storari},
  title        = {Integrating knowledge-based and datamining techniques for reasoning
                  on medical data},
  school       = {University of Bologna, Italy},
  year         = {2004},
  url          = {https://opac.bncf.firenze.sbn.it/bncf-prod/resource?uri=BNI0009098},
  timestamp    = {Wed, 10 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/it/Storari04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ia/BarbieriGLMPS04,
  author       = {Benedetta Barbieri and
                  Giacomo Gamberoni and
                  Evelina Lamma and
                  Paola Mello and
                  Piercamillo Pavesi and
                  Sergio Storari},
  title        = {A knowledge based system for the anticoagulant oral therapy},
  journal      = {Intelligenza Artificiale},
  volume       = {1},
  number       = {4},
  pages        = {9--15},
  year         = {2004},
  timestamp    = {Fri, 07 Jan 2005 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ia/BarbieriGLMPS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/LammaRS04,
  author       = {Evelina Lamma and
                  Fabrizio Riguzzi and
                  Sergio Storari},
  editor       = {Ram{\'{o}}n L{\'{o}}pez de M{\'{a}}ntaras and
                  Lorenza Saitta},
  title        = {Exploiting Association and Correlation Rules - Parameters for Improving
                  the {K2} Algorithm},
  booktitle    = {Proceedings of the 16th Eureopean Conference on Artificial Intelligence,
                  ECAI'2004, including Prestigious Applicants of Intelligent Systems,
                  {PAIS} 2004, Valencia, Spain, August 22-27, 2004},
  pages        = {500--504},
  publisher    = {{IOS} Press},
  year         = {2004},
  timestamp    = {Fri, 11 May 2018 12:42:30 +0200},
  biburl       = {https://dblp.org/rec/conf/ecai/LammaRS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismda/GamberoniLMPST04,
  author       = {Giacomo Gamberoni and
                  Evelina Lamma and
                  Paola Mello and
                  Piercamillo Pavesi and
                  Sergio Storari and
                  Giuseppe Trocino},
  editor       = {Jos{\'{e}} Mar{\'{\i}}a Barreiro and
                  Fernando Mart{\'{\i}}n{-}S{\'{a}}nchez and
                  Victor Maojo and
                  Ferran Sanz},
  title        = {Learning the Dose Adjustment for the Oral Anticoagulation Treatment},
  booktitle    = {Biological and Medical Data Analysis, 5th International Symposium,
                  {ISBMDA} 2004, Barcelona, Spain, November 18-19, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3337},
  pages        = {171--181},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30547-7\_18},
  doi          = {10.1007/978-3-540-30547-7\_18},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/ismda/GamberoniLMPST04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismda/GamberoniLSAFV04,
  author       = {Giacomo Gamberoni and
                  Evelina Lamma and
                  Sergio Storari and
                  Diego Arcelli and
                  Francesca Francioso and
                  Stefano Volinia},
  editor       = {Jos{\'{e}} Mar{\'{\i}}a Barreiro and
                  Fernando Mart{\'{\i}}n{-}S{\'{a}}nchez and
                  Victor Maojo and
                  Ferran Sanz},
  title        = {Correlation of Expression Between Different {IMAGE} Clones from the
                  Same UniGene Cluster},
  booktitle    = {Biological and Medical Data Analysis, 5th International Symposium,
                  {ISBMDA} 2004, Barcelona, Spain, November 18-19, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3337},
  pages        = {498--506},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30547-7\_50},
  doi          = {10.1007/978-3-540-30547-7\_50},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ismda/GamberoniLSAFV04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eswa/StorariLMMMPC03,
  author       = {Sergio Storari and
                  Evelina Lamma and
                  R. Mancini and
                  Paola Mello and
                  R. Motta and
                  D. Patrono and
                  G. Canova},
  title        = {Validation of biochemical laboratory results using the DNSev expert
                  system},
  journal      = {Expert Syst. Appl.},
  volume       = {25},
  number       = {4},
  pages        = {503--515},
  year         = {2003},
  url          = {https://doi.org/10.1016/S0957-4174(03)00091-5},
  doi          = {10.1016/S0957-4174(03)00091-5},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eswa/StorariLMMMPC03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/LemmaRSMN03,
  author       = {Evelina Lamma and
                  Fabrizio Riguzzi and
                  Sergio Storari and
                  Paola Mello and
                  Anna Nanetti},
  title        = {Discovering Validation Rules from Microbiological Data},
  journal      = {New Gener. Comput.},
  volume       = {21},
  number       = {2},
  pages        = {123--133},
  year         = {2003},
  url          = {https://doi.org/10.1007/BF03037630},
  doi          = {10.1007/BF03037630},
  timestamp    = {Thu, 14 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ngc/LemmaRSMN03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/LammaRSS03,
  author       = {Evelina Lamma and
                  Fabrizio Riguzzi and
                  Andrea Stambazzi and
                  Sergio Storari},
  editor       = {Amedeo Cappelli and
                  Franco Turini},
  title        = {Improving the {SLA} Algorithm Using Association Rules},
  booktitle    = {AI*IA 2003: Advances in Artificial Intelligence, 8th Congress of the
                  Italian Association for Artificial Intelligence, Pisa, Italy, September
                  23-26, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2829},
  pages        = {165--175},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-39853-0\_14},
  doi          = {10.1007/978-3-540-39853-0\_14},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/aiia/LammaRSS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cbms/LammaMRSMN02,
  author       = {Evelina Lamma and
                  G. Modestino and
                  Fabrizio Riguzzi and
                  Sergio Storari and
                  Paola Mello and
                  Anna Nanetti},
  title        = {An Intelligent Medical System for Mocrobiological Data Validation
                  and Nosocomial Infection Surveillance},
  booktitle    = {15th {IEEE} Symposium on Computer-Based Medical Systems {(CBMS} 2002),
                  4-7 June 2002, Maribor, Slovenia},
  pages        = {13--20},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/CBMS.2002.1011348},
  doi          = {10.1109/CBMS.2002.1011348},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cbms/LammaMRSMN02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismda/LammaMNPRS01,
  author       = {Evelina Lamma and
                  Paola Mello and
                  Anna Nanetti and
                  G. Poli and
                  Fabrizio Riguzzi and
                  Sergio Storari},
  editor       = {Jos{\'{e}} Crespo and
                  Victor Maojo and
                  Fernando Martin},
  title        = {An Expert System for Microbiological Data Validation and Surveillance},
  booktitle    = {Medical Data Analysis, Second International Symposium, {ISMDA} 2001,
                  Madrid, Spain, October 8-9, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2199},
  pages        = {153--160},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45497-7\_23},
  doi          = {10.1007/3-540-45497-7\_23},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/ismda/LammaMNPRS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/tcs/LammaMMRS01,
  author       = {Evelina Lamma and
                  L. Maestrami and
                  Paola Mello and
                  Fabrizio Riguzzi and
                  Sergio Storari},
  editor       = {Mark van den Brand and
                  Rakesh M. Verma},
  title        = {Rule-based Programming for Building Expert Systems: a Comparison in
                  the Microbiological Data Validation and Surveillance Domain},
  booktitle    = {Second International Workshop on Rule-Based Programming, {RULE} 2001,
                  Satellite Event of {PLI} 2001, Firenze, Italy, September 4, 2001},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {59},
  number       = {4},
  pages        = {397--411},
  publisher    = {Elsevier},
  year         = {2001},
  url          = {https://doi.org/10.1016/S1571-0661(04)00299-3},
  doi          = {10.1016/S1571-0661(04)00299-3},
  timestamp    = {Thu, 15 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/LammaMMRS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismda/LammaMMSR00,
  author       = {Evelina Lamma and
                  M. Manservigi and
                  Paola Mello and
                  Sergio Storari and
                  Fabrizio Riguzzi},
  editor       = {R{\"{u}}diger W. Brause and
                  Ernst Hanisch},
  title        = {A System for Monitoring Nosocomial Infections},
  booktitle    = {Medical Data Analysis, First International Symposium, {ISMDA} 2000,
                  Frankfurt, Germany, September 29-30, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1933},
  pages        = {282--292},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-39949-6\_34},
  doi          = {10.1007/3-540-39949-6\_34},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/ismda/LammaMMSR00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics