Milan Ceska : Publications
-
[1]
Adaptive Aggregation of Markov Chains: Quantitative Analysis of Chemical Reaction Networks
A. Abate‚ L. Brim‚ M. Češka and M. Kwiatkowska
In Computer Aided Verification (CAV). Vol. 9206 of LNCS. Pages 195−213. Springer Berlin Heidelberg. 2015.
Details about Adaptive Aggregation of Markov Chains: Quantitative Analysis of Chemical Reaction Networks | BibTeX data for Adaptive Aggregation of Markov Chains: Quantitative Analysis of Chemical Reaction Networks | DOI (10.1007/978-3-319-21690-4_12)
-
[2]
Robustness Analysis of Stochastic Biochemical Systems
M. Česka‚ D. Šafránek‚ S. Dražan and L. Brim
In PloS one. Vol. 9. No. 4. Pages e94553. 2014.
Details about Robustness Analysis of Stochastic Biochemical Systems | BibTeX data for Robustness Analysis of Stochastic Biochemical Systems | DOI (10.1371/journal.pone.0094553)
-
[3]
Precise parameter synthesis for stochastic biochemical systems
M. Češka‚ F. Dannenberg‚ M. Kwiatkowska and N. Paoletti
In Computational Methods in Systems Biology (CMSB). Vol. 8859 of LNCS. Pages 86–98. Springer Berlin Heidelberg. 2014.
Details about Precise parameter synthesis for stochastic biochemical systems | BibTeX data for Precise parameter synthesis for stochastic biochemical systems | DOI (10.1007/978-3-319-12982-2_7)
-
[4]
Exploring Parameter Space of Stochastic Biochemical Systems Using Quantitative Model Checking
L. Brim‚ M. Češka‚ S. Dražan and D. Šafránek
In Computer Aided Verification (CAV'13). Vol. 8044 of LNCS. Pages 107−123. Springer Berlin Heidelberg. 2013.
Details about Exploring Parameter Space of Stochastic Biochemical Systems Using Quantitative Model Checking | BibTeX data for Exploring Parameter Space of Stochastic Biochemical Systems Using Quantitative Model Checking | DOI (10.1007/978-3-642-39799-8\_7)
-
[5]
Designing Fast LTL Model Checking Algorithms for Many−Core GPUs
J. Barnat‚ P. Bauch‚ L. Brim and M. Češka
In Journal of Parallel and Distributed Computing. Vol. 72. No. 9. Pages 1083–1097. 2012.
Details about Designing Fast LTL Model Checking Algorithms for Many−Core GPUs | BibTeX data for Designing Fast LTL Model Checking Algorithms for Many−Core GPUs | DOI (10.1016/j.jpdc.2011.10.015)
-
[6]
Computing Strongly Connected Components in Parallel on CUDA
J. Barnat‚ P. Bauch‚ L. Brim and M. Češka
In International Parallel & Distributed Processing Symposium (IPDPS'11). Pages 541–552. IEEE Computer Society. 2011.
Details about Computing Strongly Connected Components in Parallel on CUDA | BibTeX data for Computing Strongly Connected Components in Parallel on CUDA | DOI (10.1109/IPDPS.2011.59)