doc. RNDr.

Luboš Brim

CSc.

FIT, CM-SFE – external - FI MUNI

brim@fi.muni.cz

Send BUT message

doc. RNDr. Luboš Brim, CSc.

Publications

  • 2016

    ČEŠKA, M.; DANNENBERG, F.; KWIATKOWSKA, M.; PAOLETTI, N.; BRIM, L. Precise parameter synthesis for stochastic biochemical systems. Acta Informatica, 2016, vol. 54, no. 6, p. 589-623. ISSN: 0001-5903.
    Detail | WWW

    ČEŠKA, M.; PILAŘ, P.; PAOLETTI, N.; BRIM, L.; KWIATKOWSKA, M. PRISM-PSY: Precise GPU-Accelerated Parameter Synthesis for Stochastic Systems. In Proceedings of the 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Lecture Notes in Computer Science. Lecture Notes in Computer Science. Berlin: Springer International Publishing, 2016. p. 367-384. ISBN: 978-3-662-49673-2. ISSN: 0302-9743.
    Detail | WWW

*) Publications are generated once a 24 hours.