Milan Ceska : Publications

Click here to download all publications in a single bibtex file

@inproceedings{ABCK15,
  title = "Adaptive Aggregation of Markov Chains: Quantitative Analysis of Chemical Reaction Networks",
  author = "A. Abate and L. Brim and M. \v{C}e\v{s}ka and M. Kwiatkowska",
  year = "2015",
  booktitle = "Computer Aided Verification (CAV)",
  pages = "195-213",
  publisher = "Springer Berlin Heidelberg",
  series = "LNCS",
  volume = "9206",
  doi = "10.1007/978-3-319-21690-4_12",
}

@article{PloS2014,
  title = "Robustness Analysis of Stochastic Biochemical Systems",
  author = "{\v{C}}eska, M. and {\v{S}}afr{\'a}nek, D. and Dra{\v{z}}an, S. and Brim, L.",
  year = "2014",
  journal = "PloS one",
  number = "4",
  pages = "e94553",
  publisher = "Public Library of Science",
  volume = "9",
  doi = "10.1371/journal.pone.0094553",
}

@inproceedings{CDKP14,
  title = "Precise parameter synthesis for stochastic biochemical systems",
  author = "{\v{C}}e{\v{s}}ka, M. and Dannenberg, F. and Kwiatkowska, M. and Paoletti, N.",
  year = "2014",
  booktitle = "Computational Methods in Systems Biology (CMSB)",
  pages = "86--98",
  publisher = "Springer Berlin Heidelberg",
  series = "LNCS",
  volume = "8859",
  doi = "10.1007/978-3-319-12982-2_7",
}

@inproceedings{CAV2013,
  title = "{Exploring Parameter Space of Stochastic Biochemical Systems Using Quantitative Model Checking}",
  author = "L. Brim and M. \v{C}e\v{s}ka and S. Dra\v{z}an and D. \v{S}afr\'{a}nek",
  year = "2013",
  booktitle = "Computer Aided Verification (CAV'13)",
  isbn = "978-3-642-39798-1",
  pages = "107-123",
  publisher = "Springer Berlin Heidelberg",
  series = "LNCS",
  volume = "8044",
  doi = "10.1007/978-3-642-39799-8\_7",
}

@article{BBBC12,
  title = "{Designing Fast LTL Model Checking Algorithms for Many-Core GPUs}",
  author = "J. Barnat and P. Bauch and L. Brim and M. \v{C}e\v{s}ka",
  year = "2012",
  issn = "0743-7315",
  journal = "Journal of Parallel and Distributed Computing",
  number = "9",
  pages = "1083–1097",
  volume = "72",
  doi = "10.1016/j.jpdc.2011.10.015",
}

@inproceedings{BBBC11,
  title = "{Computing Strongly Connected Components in Parallel on CUDA}",
  author = "J. Barnat and P. Bauch and L. Brim and M. \v{C}e\v{s}ka",
  year = "2011",
  booktitle = "International Parallel \& Distributed Processing Symposium (IPDPS'11)",
  pages = "541--552",
  publisher = "IEEE Computer Society",
  doi = "10.1109/IPDPS.2011.59",
}