doc. RNDr. Milan Češka, Ph.D.

2017

• Parametric multi-step scheme for GPU-accelerated graph decomposition into strongly connected components

  ALDEGHERI Stefano BARNAT Jiří BOMBIERI Nicola BUSATO Federico ČEŠKA Milan

  Článek ve sborníku

  22nd International Conference on Parallel and Distributed Computing, Euro-Par 2016, rok: 2017

• Precise parameter synthesis for stochastic biochemical systems

  ČEŠKA Milan DANNENBERG Frits KWIATKOWSKA Marta BRIM Luboš

  Článek v odborném periodiku

  Acta informatica, rok: 2017, ročník: 54, vydání: 6, DOI

2016

• PRISM-PSY: Precise GPU-Accelerated Parameter Synthesis for Stochastic Systems

  ČEŠKA Milan PILAŘ Petr PAOLETTI Nikola BRIM Luboš KWIATKOWSKA Marta

  Článek ve sborníku

  22nd International Conference, TACAS 2016, rok: 2016

2015

• Adaptive Aggregation of Markov Chains: Quantitative Analysis of Chemical Reaction Networks

  ABATE Alessandro ČEŠKA Milan BRIM Luboš KWIATKOWSKA Marta

  Článek ve sborníku

  27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, rok: 2015

• Parameter Synthesis by Parallel Coloured CTL Model Checking

  BRIM Luboš ČEŠKA Milan DEMKO Martin PASTVA Samuel ŠAFRÁNEK David

  Článek ve sborníku

  Computational Methods in Systems Biology, rok: 2015

• Stochastic Modelling of the Interface between Regulatory Enzymes and Transcription Initiation at Inducible Genes

  ČEŠKA Milan SCHNEIDER Caroline ALESSANDRO Abate ŠAFRÁNEK David MAHADEVAN Louis KWIATKOWSKA Marta

  Další prezentace na konferencích

  Rok: 2015, druh: Další prezentace na konferencích

2014

• Precise Parameter Synthesis for Stochastic Biochemical Systems

  ČEŠKA Milan DANNENBERG Frits KWIATKOWSKA Marta PAOLETTI Nicola

  Článek ve sborníku

  Computational Methods in Systems Biology, rok: 2014

• Robustness Analysis of Stochastic Biochemical Systems

  ČEŠKA Milan ŠAFRÁNEK David DRAŽAN Sven BRIM Luboš

  Článek v odborném periodiku

  Plos One, rok: 2014, ročník: 9, vydání: 4, DOI

2013

• Exploring Parameter Space of Stochastic Biochemical Systems Using Quantitative Model Checking

  BRIM Luboš ČEŠKA Milan DRAŽAN Sven ŠAFRÁNEK David

  Článek ve sborníku

  25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings, rok: 2013

• Model Checking of Biological Systems

  BRIM Luboš ČEŠKA Milan ŠAFRÁNEK David

  Článek ve sborníku

  Formal Methods for Dynamical Systems, rok: 2013