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

2024

• Abstraction-based segmental simulation of reaction networks using adaptive memoization

  HELFRICH Martin ANDRIUSHCHENKO Roman ČEŠKA Milan KŘETÍNSKÝ Jan MARTIČEK Štefan ŠAFRÁNEK David

  Článek v odborném periodiku

  BMC Bioinformatics, rok: 2024, ročník: 25, vydání: 350, DOI

2022

• Abstraction-Based Segmental Simulation of Chemical Reaction Networks

  HELFRICH Martin ČEŠKA Milan KŘETÍNSKÝ Jan MARTICEK Stefan

  Článek ve sborníku

  Computational Methods in Systems Biology - 20th International Conference, CMSB 2022, Bucharest, Romania, September 14-16, 2022, Proceedings, rok: 2022

2020

• SeQuaiA: A Scalable Tool for Semi-Quantitative Analysis of Chemical Reaction Networks

  ČEŠKA Milan CHAU Calvin KŘETÍNSKÝ Jan

  Článek ve sborníku

  Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I, rok: 2020

2019

• Semi-quantitative Abstraction and Analysis of Chemical Reaction Networks

  ČEŠKA Milan KŘETÍNSKÝ Jan

  Článek ve sborníku

  Computer Aided Verification - 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I, rok: 2019

• Semi-quantitative Abstraction and Analysis of Chemical Reaction Networks (Extended Abstract)

  ČEŠKA Milan KŘETÍNSKÝ Jan

  Článek ve sborníku

  Computational Methods in Systems Biology - 17th International Conference, CMSB 2019, Trieste, Italy, September 18-20, 2019, Proceedings, rok: 2019

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 PAOLETTI Nicola 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