BibTeX records: Sven Drazan

download as .bib file

@inproceedings{DBLP:conf/cav/BrimCDS13,
  author    = {Lubos Brim and
               Milan Ceska and
               Sven Drazan and
               David Safr{\'{a}}nek},
  editor    = {Natasha Sharygina and
               Helmut Veith},
  title     = {Exploring Parameter Space of Stochastic Biochemical Systems Using
               Quantitative Model Checking},
  booktitle = {Computer Aided Verification - 25th International Conference, {CAV}
               2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8044},
  pages     = {107--123},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-39799-8\_7},
  doi       = {10.1007/978-3-642-39799-8\_7},
  timestamp = {Wed, 30 Oct 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/cav/BrimCDS13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BrimCDS13,
  author    = {Lubos Brim and
               Milan Ceska and
               Sven Drazan and
               David Safr{\'{a}}nek},
  title     = {On Robustness Analysis of Stochastic Biochemical Systems by Probabilistic
               Model Checking},
  journal   = {CoRR},
  volume    = {abs/1310.4734},
  year      = {2013},
  url       = {http://arxiv.org/abs/1310.4734},
  eprinttype = {arXiv},
  eprint    = {1310.4734},
  timestamp = {Wed, 30 Oct 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/corr/BrimCDS13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcsb/BrimFDS12,
  author    = {Lubos Brim and
               Jana Fabrikov{\'{a}} and
               Sven Drazan and
               David Safr{\'{a}}nek},
  title     = {On Approximative Reachability Analysis of Biochemical Dynamical Systems},
  journal   = {Trans. Comp. Sys. Biology},
  volume    = {14},
  pages     = {77--101},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-35524-0\_4},
  doi       = {10.1007/978-3-642-35524-0\_4},
  timestamp = {Thu, 14 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcsb/BrimFDS12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1109-1649,
  author    = {Lubos Brim and
               Jana Fabrikov{\'{a}} and
               Sven Drazan and
               David Safr{\'{a}}nek},
  editor    = {Ion Petre and
               Erik P. de Vink},
  title     = {Reachability in Biochemical Dynamical Systems by Quantitative Discrete
               Approximation (extended abstract)},
  booktitle = {Proceedings Third International Workshop on Computational Models for
               Cell Processes, CompMod 2011, Aachen, Germany, September 10, 2011},
  series    = {{EPTCS}},
  volume    = {67},
  pages     = {97--112},
  year      = {2011},
  url       = {https://doi.org/10.4204/EPTCS.67.9},
  doi       = {10.4204/EPTCS.67.9},
  timestamp = {Wed, 12 Sep 2018 01:05:13 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1109-1649.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1107-5924,
  author    = {Lubos Brim and
               Jana Fabrikov{\'{a}} and
               Sven Drazan and
               David Safr{\'{a}}nek},
  title     = {Reachability in Biochemical Dynamical Systems by Quantitative Discrete
               Approximation},
  journal   = {CoRR},
  volume    = {abs/1107.5924},
  year      = {2011},
  url       = {http://arxiv.org/abs/1107.5924},
  eprinttype = {arXiv},
  eprint    = {1107.5924},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1107-5924.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BarnatBCDFS09,
  author    = {Jiri Barnat and
               Lubos Brim and
               Ivana Cern{\'{a}} and
               Sven Drazan and
               Jana Fabrikov{\'{a}} and
               David Safr{\'{a}}nek},
  title     = {On algorithmic analysis of transcriptional regulation by {LTL} model
               checking},
  journal   = {Theor. Comput. Sci.},
  volume    = {410},
  number    = {33-34},
  pages     = {3128--3148},
  year      = {2009},
  url       = {https://doi.org/10.1016/j.tcs.2009.02.017},
  doi       = {10.1016/j.tcs.2009.02.017},
  timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/tcs/BarnatBCDFS09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-0910-0928,
  author    = {Jiri Barnat and
               Lubos Brim and
               Ivana Cern{\'{a}} and
               Sven Drazan and
               Jana Fabrikov{\'{a}} and
               Jan L{\'{a}}n{\'{\i}}k and
               David Safr{\'{a}}nek and
               Hongwu Ma},
  editor    = {Ralph{-}Johan Back and
               Ion Petre and
               Erik P. de Vink},
  title     = {BioDiVinE: {A} Framework for Parallel Analysis of Biological Models},
  booktitle = {Proceedings Second International Workshop on Computational Models
               for Cell Processes, {COMPMOD} 2009, Eindhoven, the Netherlands, November
               3, 2009},
  series    = {{EPTCS}},
  volume    = {6},
  pages     = {31--45},
  year      = {2009},
  url       = {https://doi.org/10.4204/EPTCS.6.3},
  doi       = {10.4204/EPTCS.6.3},
  timestamp = {Mon, 15 Jun 2020 16:54:36 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-0910-0928.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/BarnatBCDS08,
  author    = {Jiri Barnat and
               Lubos Brim and
               Ivana Cern{\'{a}} and
               Sven Drazan and
               David Safr{\'{a}}nek},
  title     = {Parallel Model Checking Large-Scale Genetic Regulatory Networks with
               DiVinE},
  journal   = {Electron. Notes Theor. Comput. Sci.},
  volume    = {194},
  number    = {3},
  pages     = {35--50},
  year      = {2008},
  url       = {https://doi.org/10.1016/j.entcs.2007.12.001},
  doi       = {10.1016/j.entcs.2007.12.001},
  timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/entcs/BarnatBCDS08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics