BibTeX records: Jana Fabriková

download as .bib file

@article{DBLP:journals/iandc/CasagrandeDFP14,
  author    = {Alberto Casagrande and
               Tommaso Dreossi and
               Jana Fabrikov{\'{a}} and
               Carla Piazza},
  title     = {{\unicode{1013}}-Semantics computations on biological systems},
  journal   = {Inf. Comput.},
  volume    = {236},
  pages     = {35--51},
  year      = {2014},
  url       = {https://doi.org/10.1016/j.ic.2014.01.011},
  doi       = {10.1016/j.ic.2014.01.011},
  timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/iandc/CasagrandeDFP14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BrimVSF13,
  author    = {Lubos Brim and
               Tomas Vejpustek and
               David Safr{\'{a}}nek and
               Jana Fabrikov{\'{a}}},
  editor    = {Thao Dang and
               Carla Piazza},
  title     = {Robustness Analysis for Value-Freezing Signal Temporal Logic},
  booktitle = {Proceedings Second International Workshop on Hybrid Systems and Biology,
               {HSB} 2013, Taormina, Italy, 2nd September 2013},
  series    = {{EPTCS}},
  volume    = {125},
  pages     = {20--36},
  year      = {2013},
  url       = {https://doi.org/10.4204/EPTCS.125.2},
  doi       = {10.4204/EPTCS.125.2},
  timestamp = {Wed, 04 Aug 2021 08:53:45 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/BrimVSF13.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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics