Beneš, Nikola; Brim, Luboš; Pastva, Samuel; Šafránek, David Digital bifurcation analysis of Internet congestion control protocols. (English) Zbl 1453.93141 Int. J. Bifurcation Chaos Appl. Sci. Eng. 30, No. 13, Article ID 2030038, 18 p. (2020). MSC: 93C62 93C83 93B70 93B52 PDFBibTeX XMLCite \textit{N. Beneš} et al., Int. J. Bifurcation Chaos Appl. Sci. Eng. 30, No. 13, Article ID 2030038, 18 p. (2020; Zbl 1453.93141) Full Text: DOI
Brim, Luboš; Češka, Milan; Šafránek, David Model checking of biological systems. (English) Zbl 1380.92024 Bernardo, Marco (ed.) et al., Formal methods for dynamical systems. 13th international school on formal methods for the design of computer, communication, and software systems, SFM 2013, Bertinoro, Italy, June 17–22, 2013. Advanced lectures. Berlin: Springer (ISBN 978-3-642-38873-6/pbk). Lecture Notes in Computer Science 7938, 63-112 (2013). MSC: 92C42 68Q60 92-08 PDFBibTeX XMLCite \textit{L. Brim} et al., Lect. Notes Comput. Sci. 7938, 63--112 (2013; Zbl 1380.92024) Full Text: DOI
Barnat, J.; Brim, L.; Černá, I.; Dražan, S.; Fabriková, J.; Šafránek, D. On algorithmic analysis of transcriptional regulation by LTL model checking. (English) Zbl 1173.68037 Theor. Comput. Sci. 410, No. 33-34, 3128-3148 (2009). MSC: 68Q60 92B05 92C37 PDFBibTeX XMLCite \textit{J. Barnat} et al., Theor. Comput. Sci. 410, No. 33--34, 3128--3148 (2009; Zbl 1173.68037) Full Text: DOI
Barnat, J.; Brim, L.; Černá, I.; Dražan, S.; Šafránek, D. Parallel model checking large-scale genetic regulatory networks with DiVinE. (English) Zbl 1279.68194 Cannata, Nicola (ed.) et al., Proceedings of the first workshop “From biology to concurrency and back (FBTC 2007)”, Lisbon, Portugal, September 8, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 194, No. 3, 35-50 (2008). MSC: 68Q60 68Q85 92C42 PDFBibTeX XMLCite \textit{J. Barnat} et al., Electron. Notes Theor. Comput. Sci. 194, No. 3, 35--50 (2008; Zbl 1279.68194) Full Text: DOI