doc. RNDr.

Luboš Brim

CSc.

FIT, CK-SZZ – externí - FI MUNI

brim@fi.muni.cz

Odeslat VUT zprávu

doc. RNDr. Luboš Brim, CSc.

Publikace

  • 2016

    ČEŠKA, M.; DANNENBERG, F.; KWIATKOWSKA, M.; PAOLETTI, N.; BRIM, L. Precise parameter synthesis for stochastic biochemical systems. Acta Informatica, 2016, roč. 54, č. 6, s. 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. s. 367-384. ISBN: 978-3-662-49673-2. ISSN: 0302-9743.
    Detail | WWW

*) Citace publikací se generují jednou za 24 hodin.