Selected Journal Publications

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 ß