BibTeX records: Matej Hajnal

download as .bib file

@article{DBLP:journals/ploscb/PetrovHKSN22,
  author       = {Tatjana Petrov and
                  Matej Hajnal and
                  Julia Klein and
                  David Safr{\'{a}}nek and
                  Morgane Nouvian},
  title        = {Extracting individual characteristics from population data reveals
                  a negative social effect during honeybee defence},
  journal      = {PLoS Comput. Biol.},
  volume       = {18},
  number       = {9},
  pages        = {1010305},
  year         = {2022},
  url          = {https://doi.org/10.1371/journal.pcbi.1010305},
  doi          = {10.1371/JOURNAL.PCBI.1010305},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ploscb/PetrovHKSN22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/epew/HajnalSP21,
  author       = {Matej Hajnal and
                  David Safr{\'{a}}nek and
                  Tatjana Petrov},
  editor       = {Paolo Ballarini and
                  Hind Castel and
                  Ioannis Dimitriou and
                  Mauro Iacono and
                  Tuan Phung{-}Duc and
                  Joris Walraevens},
  title        = {DiPS: {A} Tool for Data-Informed Parameter Synthesis for Markov Chains
                  from Multiple-Property Specifications},
  booktitle    = {Performance Engineering and Stochastic Modeling - 17th European Workshop,
                  {EPEW} 2021, and 26th International Conference, {ASMTA} 2021, Virtual
                  Event, December 9-10 and December 13-14, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  pages        = {79--95},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-91825-5\_5},
  doi          = {10.1007/978-3-030-91825-5\_5},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/epew/HajnalSP21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sasb/HajnalP20,
  author       = {Matej Hajnal and
                  Samuel Pastva},
  editor       = {Ankit Gupta and
                  Tatjana Petrov},
  title        = {Toward Model Selection by Formal Methods},
  booktitle    = {Proceedings of {SASB} 2018, the Ninth International Workshop on Static
                  Analysis and Systems Biology, Freiburg, Germany - August 28th, 2018},
  series       = {Electronic Notes in Theoretical Computer Science},
  pages        = {57--71},
  publisher    = {Elsevier},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.entcs.2020.06.004},
  doi          = {10.1016/J.ENTCS.2020.06.004},
  timestamp    = {Tue, 24 Mar 2026 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sasb/HajnalP20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cmsb/HajnalNPS19,
  author       = {Matej Hajnal and
                  Morgane Nouvian and
                  Tatjana Petrov and
                  David Safr{\'{a}}nek},
  editor       = {Luca Bortolussi and
                  Guido Sanguinetti},
  title        = {Data-Informed Parameter Synthesis for Population Markov Chains},
  booktitle    = {Computational Methods in Systems Biology - 17th International Conference,
                  {CMSB} 2019, Trieste, Italy, September 18-20, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  pages        = {383--386},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-31304-3\_32},
  doi          = {10.1007/978-3-030-31304-3\_32},
  timestamp    = {Tue, 17 Sep 2019 12:47:25 +0200},
  biburl       = {https://dblp.org/rec/conf/cmsb/HajnalNPS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hsb/HajnalNSP19,
  author       = {Matej Hajnal and
                  Morgane Nouvian and
                  David Safr{\'{a}}nek and
                  Tatjana Petrov},
  editor       = {Milan Ceska and
                  Nicola Paoletti},
  title        = {Data-Informed Parameter Synthesis for Population Markov Chains},
  booktitle    = {Hybrid Systems Biology - 6th International Workshop, {HSB} 2019, Prague,
                  Czech Republic, April 6-7, 2019, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  pages        = {147--164},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-28042-0\_10},
  doi          = {10.1007/978-3-030-28042-0\_10},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hsb/HajnalNSP19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cmsb/BarnatBBDHPS17,
  author       = {Jiri Barnat and
                  Nikola Benes and
                  Lubos Brim and
                  Martin Demko and
                  Matej Hajnal and
                  Samuel Pastva and
                  David Safr{\'{a}}nek},
  editor       = {J{\'{e}}r{\^{o}}me Feret and
                  Heinz Koeppl},
  title        = {Detecting Attractors in Biological Models with Uncertain Parameters},
  booktitle    = {Computational Methods in Systems Biology - 15th International Conference,
                  {CMSB} 2017, Darmstadt, Germany, September 27-29, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  pages        = {40--56},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-67471-1\_3},
  doi          = {10.1007/978-3-319-67471-1\_3},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cmsb/BarnatBBDHPS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hsb/HajnalSDPKB16,
  author       = {Matej Hajnal and
                  David Safr{\'{a}}nek and
                  Martin Demko and
                  Samuel Pastva and
                  Pavel Krejc{\'{\i}} and
                  Lubos Brim},
  editor       = {Eugenio Cinquemani and
                  Alexandre Donz{\'{e}}},
  title        = {Toward Modelling and Analysis of Transient and Sustained Behaviour
                  of Signalling Pathways},
  booktitle    = {Hybrid Systems Biology - 5th International Workshop, {HSB} 2016, Grenoble,
                  France, October 20-21, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  pages        = {57--66},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47151-8\_4},
  doi          = {10.1007/978-3-319-47151-8\_4},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hsb/HajnalSDPKB16.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.