BibTeX records: Davide Prandi

download as .bib file

@article{DBLP:journals/tcbb/MazzaBGP12,
  author    = {Tommaso Mazza and
               Paolo Ballarini and
               Rosita Guido and
               Davide Prandi},
  title     = {The Relevance of Topology in Parallel Simulation of Biological Networks},
  journal   = {{IEEE/ACM} Trans. Comput. Biology Bioinform.},
  volume    = {9},
  number    = {3},
  pages     = {911--923},
  year      = {2012},
  url       = {https://doi.org/10.1109/TCBB.2012.27},
  doi       = {10.1109/TCBB.2012.27},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/tcbb/MazzaBGP12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sdmw/PetkovicPZ11,
  author    = {Milan Petkovic and
               Davide Prandi and
               Nicola Zannone},
  title     = {Purpose Control: Did You Process the Data for the Intended Purpose?},
  booktitle = {Secure Data Management - 8th {VLDB} Workshop, {SDM} 2011, Seattle,
               WA, USA, September 2, 2011, Proceedings},
  pages     = {145--168},
  year      = {2011},
  crossref  = {DBLP:conf/sdmw/2011},
  url       = {https://doi.org/10.1007/978-3-642-23556-6\_10},
  doi       = {10.1007/978-3-642-23556-6\_10},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sdmw/PetkovicPZ11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/simutools/MazzaP11,
  author    = {Tommaso Mazza and
               Davide Prandi},
  title     = {Stability analysis of biological network topologies during stochastic
               simulation},
  booktitle = {4th International {ICST} Conference on Simulation Tools and Techniques,
               SIMUTools '11, Barcelona, Spain, March 22 - 24, 2011},
  pages     = {51--56},
  year      = {2011},
  crossref  = {DBLP:conf/simutools/2011},
  url       = {https://doi.org/10.4108/icst.simutools.2011.245590},
  doi       = {10.4108/icst.simutools.2011.245590},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/simutools/MazzaP11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bib/DematteP10,
  author    = {Lorenzo Dematt{\'{e}} and
               Davide Prandi},
  title     = {{GPU} computing for systems biology},
  journal   = {Briefings in Bioinformatics},
  volume    = {11},
  number    = {3},
  pages     = {323--333},
  year      = {2010},
  url       = {https://doi.org/10.1093/bib/bbq006},
  doi       = {10.1093/bib/bbq006},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/bib/DematteP10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bib/BallariniGMP09,
  author    = {Paolo Ballarini and
               Rosita Guido and
               Tommaso Mazza and
               Davide Prandi},
  title     = {Taming the complexity of biological pathways through parallel computing},
  journal   = {Briefings in Bioinformatics},
  volume    = {10},
  number    = {3},
  pages     = {278--288},
  year      = {2009},
  url       = {https://doi.org/10.1093/bib/bbp020},
  doi       = {10.1093/bib/bbp020},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/bib/BallariniGMP09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/MuraPPR09,
  author    = {Ivan Mura and
               Davide Prandi and
               Corrado Priami and
               Alessandro Romanel},
  title     = {Exploiting non-Markovian Bio-Processes},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {253},
  number    = {3},
  pages     = {83--98},
  year      = {2009},
  url       = {https://doi.org/10.1016/j.entcs.2009.10.007},
  doi       = {10.1016/j.entcs.2009.10.007},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/MuraPPR09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-0912-2551,
  author    = {Paolo Ballarini and
               Michele Forlin and
               Tommaso Mazza and
               Davide Prandi},
  title     = {Efficient Parallel Statistical Model Checking of Biochemical Networks},
  booktitle = {Proceedings 8th International Workshop on Parallel and Distributed
               Methods in verifiCation, {PDMC} 2009, Eindhoven, The Netherlands,
               4th November 2009.},
  pages     = {47--61},
  year      = {2009},
  crossref  = {DBLP:journals/corr/abs-0912-3036},
  url       = {https://doi.org/10.4204/EPTCS.14.4},
  doi       = {10.4204/EPTCS.14.4},
  timestamp = {Wed, 12 Sep 2018 01:05:13 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-0912-2551},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/PrandiPQ08,
  author    = {Davide Prandi and
               Corrado Priami and
               Paola Quaglia},
  title     = {Communicating by compatibility},
  journal   = {J. Log. Algebr. Program.},
  volume    = {75},
  number    = {2},
  pages     = {167--181},
  year      = {2008},
  url       = {https://doi.org/10.1016/j.jlap.2007.09.001},
  doi       = {10.1016/j.jlap.2007.09.001},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jlp/PrandiPQ08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/PrandiQZ08,
  author    = {Davide Prandi and
               Paola Quaglia and
               Nicola Zannone},
  title     = {Formal Analysis of {BPMN} Via a Translation into {COWS}},
  booktitle = {Coordination Models and Languages, 10th International Conference,
               {COORDINATION} 2008, Oslo, Norway, June 4-6, 2008. Proceedings},
  pages     = {249--263},
  year      = {2008},
  crossref  = {DBLP:conf/coordination/2008},
  url       = {https://doi.org/10.1007/978-3-540-68265-3\_16},
  doi       = {10.1007/978-3-540-68265-3\_16},
  timestamp = {Tue, 13 Jun 2017 10:37:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/coordination/PrandiQZ08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/PrandiQ07,
  author    = {Davide Prandi and
               Paola Quaglia},
  title     = {Stochastic {COWS}},
  booktitle = {Service-Oriented Computing - {ICSOC} 2007, Fifth International Conference,
               Vienna, Austria, September 17-20, 2007, Proceedings},
  pages     = {245--256},
  year      = {2007},
  crossref  = {DBLP:conf/icsoc/2007},
  url       = {https://doi.org/10.1007/978-3-540-74974-5\_20},
  doi       = {10.1007/978-3-540-74974-5\_20},
  timestamp = {Wed, 13 Feb 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icsoc/PrandiQ07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/DeganoPPQ06,
  author    = {Pierpaolo Degano and
               Davide Prandi and
               Corrado Priami and
               Paola Quaglia},
  title     = {Beta-binders for Biological Quantitative Experiments},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {164},
  number    = {3},
  pages     = {101--117},
  year      = {2006},
  url       = {https://doi.org/10.1016/j.entcs.2006.07.014},
  doi       = {10.1016/j.entcs.2006.07.014},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/DeganoPPQ06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/Prandi06,
  author    = {Davide Prandi},
  title     = {A Formal Approach to Molecular Docking},
  booktitle = {Computational Methods in Systems Biology, International Conference,
               {CMSB} 2006, Trento, Italy, October 18-19, 2006, Proceedings},
  pages     = {78--92},
  year      = {2006},
  crossref  = {DBLP:conf/cmsb/2006},
  url       = {https://doi.org/10.1007/11885191\_6},
  doi       = {10.1007/11885191\_6},
  timestamp = {Fri, 02 Jun 2017 13:01:06 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cmsb/Prandi06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pads/HimmelspachLPPQU06,
  author    = {Jan Himmelspach and
               Paola Lecca and
               Davide Prandi and
               Corrado Priami and
               Paola Quaglia and
               Adelinde M. Uhrmacher},
  title     = {Developing An Hierarchical Simulator for Beta-binders},
  booktitle = {20th {IEEE/ACM/SCS} Workshop on Principles of Advanced and Distributed
               Simulation, {PADS} 2006, Singapore, May 23-26, 2006},
  pages     = {92--102},
  year      = {2006},
  crossref  = {DBLP:conf/pads/2006},
  url       = {https://doi.org/10.1109/PADS.2006.14},
  doi       = {10.1109/PADS.2006.14},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pads/HimmelspachLPPQU06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/PrandiPQ05,
  author    = {Davide Prandi and
               Corrado Priami and
               Paola Quaglia},
  title     = {Process Calculi in a Biological Context},
  journal   = {Bulletin of the {EATCS}},
  volume    = {85},
  pages     = {53--69},
  year      = {2005},
  timestamp = {Tue, 15 Nov 2005 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/eatcs/PrandiPQ05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/CurtiPB05,
  author    = {Michele Curti and
               Davide Prandi and
               Linda Brodo},
  title     = {Formal Executable Descriptions of Biological Systems},
  booktitle = {Second International Conference on the Quantitative Evaluaiton of
               Systems {(QEST} 2005), 19-22 September 2005, Torino, Italy},
  pages     = {2--12},
  year      = {2005},
  crossref  = {DBLP:conf/qest/2005},
  url       = {https://doi.org/10.1109/QEST.2005.13},
  doi       = {10.1109/QEST.2005.13},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/qest/CurtiPB05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sdmw/2011,
  editor    = {Willem Jonker and
               Milan Petkovic},
  title     = {Secure Data Management - 8th {VLDB} Workshop, {SDM} 2011, Seattle,
               WA, USA, September 2, 2011, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6933},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-23556-6},
  doi       = {10.1007/978-3-642-23556-6},
  isbn      = {978-3-642-23555-9},
  timestamp = {Tue, 23 May 2017 01:13:15 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sdmw/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/simutools/2011,
  editor    = {Jason Liu and
               Francesco Quaglia and
               Stephan Eidenbenz and
               Stephen Gilmore},
  title     = {4th International {ICST} Conference on Simulation Tools and Techniques,
               SIMUTools '11, Barcelona, Spain, March 22 - 24, 2011},
  publisher = {{ICST/ACM}},
  year      = {2011},
  url       = {http://eudl.eu/proceedings/SIMUTOOLS/2011},
  isbn      = {978-1-936968-00-8},
  timestamp = {Tue, 24 Mar 2015 18:02:53 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/simutools/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-0912-3036,
  editor    = {Lubos Brim and
               Jaco van de Pol},
  title     = {Proceedings 8th International Workshop on Parallel and Distributed
               Methods in verifiCation, {PDMC} 2009, Eindhoven, The Netherlands,
               4th November 2009},
  series    = {{EPTCS}},
  volume    = {14},
  year      = {2009},
  url       = {https://doi.org/10.4204/EPTCS.14},
  doi       = {10.4204/EPTCS.14},
  timestamp = {Wed, 12 Sep 2018 01:05:13 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-0912-3036},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/coordination/2008,
  editor    = {Doug Lea and
               Gianluigi Zavattaro},
  title     = {Coordination Models and Languages, 10th International Conference,
               {COORDINATION} 2008, Oslo, Norway, June 4-6, 2008. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5052},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-68265-3},
  doi       = {10.1007/978-3-540-68265-3},
  isbn      = {978-3-540-68264-6},
  timestamp = {Tue, 13 Jun 2017 10:37:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/coordination/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icsoc/2007,
  editor    = {Bernd J. Kr{\"{a}}mer and
               Kwei{-}Jay Lin and
               Priya Narasimhan},
  title     = {Service-Oriented Computing - {ICSOC} 2007, Fifth International Conference,
               Vienna, Austria, September 17-20, 2007, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4749},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-74974-5},
  doi       = {10.1007/978-3-540-74974-5},
  isbn      = {978-3-540-74973-8},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icsoc/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cmsb/2006,
  editor    = {Corrado Priami},
  title     = {Computational Methods in Systems Biology, International Conference,
               {CMSB} 2006, Trento, Italy, October 18-19, 2006, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4210},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11885191},
  doi       = {10.1007/11885191},
  isbn      = {3-540-46166-3},
  timestamp = {Fri, 02 Jun 2017 13:01:06 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cmsb/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pads/2006,
  title     = {20th {IEEE/ACM/SCS} Workshop on Principles of Advanced and Distributed
               Simulation, {PADS} 2006, Singapore, May 23-26, 2006},
  publisher = {{IEEE} Computer Society},
  year      = {2006},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=10854},
  isbn      = {0-7695-2587-3},
  timestamp = {Tue, 07 Jul 2015 17:42:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pads/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/qest/2005,
  title     = {Second International Conference on the Quantitative Evaluaiton of
               Systems {(QEST} 2005), 19-22 September 2005, Torino, Italy},
  publisher = {{IEEE} Computer Society},
  year      = {2005},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=10638},
  isbn      = {0-7695-2427-3},
  timestamp = {Fri, 08 Aug 2014 15:28:23 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/qest/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier