Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Sergio Storari
@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} }
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.