Beneš, Nikola; Brim, Luboš; Pastva, Samuel; Šafránek, David Symbolic coloured SCC decomposition. (English) Zbl 1474.68210 Groote, Jan Friso (ed.) et al., Tools and algorithms for the construction and analysis of systems. 27th international conference, TACAS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12652, 64-83 (2021). MSC: 68R10 05C15 05C85 68W30 92C42 PDFBibTeX XMLCite \textit{N. Beneš} et al., Lect. Notes Comput. Sci. 12652, 64--83 (2021; Zbl 1474.68210) Full Text: DOI
Barnat, Jiří; Beneš, Nikola; Brim, Luboš; Demko, Martin; Hajnal, Matej; Pastva, Samuel; Šafránek, David Detecting attractors in biological models with uncertain parameters. (English) Zbl 1416.92068 Feret, Jérôme (ed.) et al., Computational methods in systems biology. 15th international conference, CMSB 2017, Darmstadt, Germany, September 27–29, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10545, 40-56 (2017). MSC: 92C42 05C90 68W10 PDFBibTeX XMLCite \textit{J. Barnat} et al., Lect. Notes Comput. Sci. 10545, 40--56 (2017; Zbl 1416.92068) Full Text: DOI