Masarykova univerzita
Výpis publikací
česky
|
in English
Filtrování publikací
Omezující kritéria
Určeno pro RIV:
ano
ne
Rok uplatnění publikace:
2011
2009
Typ publikace:
Stať ve sborníku
Audiovizuální tvorba
Zrušit všechna omezení
Zvoleným kritériím neodpovídá žádná publikace.
2011
Semantics, bisimulation and congruence results for a general stochastic process operator
GROOTE, Jan Friso a
Jan LÁNÍK
.
Semantics, bisimulation and congruence results for a general stochastic process operator
. 2011. TU Eindhoven Technical Report CSR-11-05.
Podrobněji:
https://is.muni.cz/publication/979410/cs
2009
BioDiVinE: A Framework for Parallel Analysis of Biological Models
BARNAT, Jiří
,
Luboš BRIM
,
Ivana ČERNÁ
,
Sven DRAŽAN
,
Jana FABRIKOVÁ
,
Jan LÁNÍK
,
David ŠAFRÁNEK
a Ma HONGWU. BioDiVinE: A Framework for Parallel Analysis of Biological Models. In
Proceedings of 2nd International Workshop on Computational Models for Cell Processes
. Neuveden: EPTCS, 2009, s. 31-45. ISSN 2075-2180.
Podrobněji:
https://is.muni.cz/publication/850846/cs
BioDiVinE: A Tool for Parallel Analysis of Multi-Affine ODE Models
BARNAT, Jiří
,
Luboš BRIM
,
Ivana ČERNÁ
,
Sven DRAŽAN
,
Jana FABRIKOVÁ
,
Jan LÁNÍK
a
David ŠAFRÁNEK
. BioDiVinE: A Tool for Parallel Analysis of Multi-Affine ODE Models. In
Computational Mehotds in Systems Biology: Abstract of the Posters
. Pisa: University of Pisa, 2009, s. 1-5, 4 s.
Podrobněji:
https://is.muni.cz/publication/843066/cs
Zobrazit podrobně
Zobrazeno:
28. 6. 2024 23:34