Selected Journal Publications
M. Troják, D. Šafránek, S. Pastva, L. Brim
Rule-based modelling of biological systems using regulated rewriting
Biosystems, Volume 225, March 2023
N. Beneš, L. Brim, O. Huvar, S. Pastva, D. Šafránek
Boolean network sketches: a unifying framework for logical model inference
Bioinformatics, Volume 39, Issue 4, 2023
L. Brim, S. Pastva, D. Šafránek, E. Šmijáková
Temporary and permanent control of partially specified Boolean networks
Biosystems, October 29, 2022
N. Beneš, L. Brim, O. Huvar, S. Pastva, D. Šafránek, E. Šmijáková
AEON.py: Python library for attractor analysis in asynchronous Boolean networks
Bioinformatics, Volume 38, Issue 21, 2022
N. Beneš, L. Brim, S. Pastva, D. Šafránek
BDD-Based Algorithm for SCC Decomposition of Edge-Coloured Graphs
Logical Methods in Computer Science, March 10, 2022, Volume 18, Issue 1
N. Beneš, L. Brim, J. Kadlecaj, S. Pastva, D. Šafránek
Exploring attractor bifurcations in Boolean networks
BMC Bioinformatics 23, 173 (2022)
N. Beneš, L. Brim, S. Pastva, D. Šafránek
Digital Bifurcation Analysis of Internet Congestion Control Protocols
International Journal of Bifurcation and ChaosVol. 30, No. 13, 2030038 (2020)
N. Beneš, L. Brim, S. Pastva, D. Šafránek
Parallel parameter synthesis algorithm for hybrid CTL
Science of Computer Programming, Volume 185, 1 January 2020, 102321
M. Češka, F. Dannenberg, N. Paoletti, M. Kwiatkowska, L. Brim
Precise parameter synthesis for stochastic biochemical systems
Acta Informatica, September 2017, Volume 54, Issue 6, pp 589–623
M. Češka, D. Šafránek, S. Dražan, L. Brim
Robustness Analysis of Stochastic Biochemical Systems
PLOS One 9(4), 2014
J. Barnat, L. Brim, A. Krejčí, A. Streck, D. Šafránek, M. Vejnar, T. Vejpustek
On Parameter Synthesis by Parallel Model Checking
IEEE/ACM Trans. Comput. Biology Bioinform. 9(3): 693-705 (2012)
Top
ß