doc. RNDr. David Šafránek, Ph.D.

2020

• Executable Biochemical Space for Specification and Analysis of Biochemical Systems

  TROJÁK Matej ŠAFRÁNEK David MERTOVÁ Lukrécia BRIM Luboš

  Další prezentace na konferencích

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

• Executable Biochemical Space for Specification and Analysis of Biochemical Systems

  TROJÁK Matej ŠAFRÁNEK David MERTOVÁ Lukrécia BRIM Luboš

  Článek v odborném periodiku

  PLOS ONE, rok: 2020, ročník: 15, vydání: 9, DOI

• Parallel parameter synthesis algorithm for hybrid CTL

  BENEŠ Nikola BRIM Luboš PASTVA Samuel ŠAFRÁNEK David

  Článek v odborném periodiku

  Science of Computer Programming, rok: 2020, ročník: 185, vydání: 102321, DOI

• Parallel Parameter Synthesis for Multi-affine Hybrid Systems from Hybrid CTL Specifications.

  ŠMIJÁKOVÁ Eva PASTVA Samuel ŠAFRÁNEK David BRIM Luboš

  Článek ve sborníku

  Computational Methods in Systems Biology. CMSB 2020. Lecture Notes in Computer Science, vol 12314, rok: 2020

• Parameter Synthesis and Robustness Analysis of Rule-Based Models

  TROJÁK Matej ŠAFRÁNEK David MERTOVÁ Lukrécia BRIM Luboš

  Článek ve sborníku

  12th International Symposium on NASA Formal Methods, NFM 2020, rok: 2020

• The need for standardisation in life science research - an approach to excellence and trust

  HOLLMANN Susanne KREMER Andreas BAEBLER Špela TREFOIS Christophe GRUDEN Kristina RUDNICKY Witold TONG Weida GRUCA Alexandra BONGCAM-RUDLOFF Erik EVELO Chris NECHYPORENKO Alina FROHME Marcus ŠAFRÁNEK David REGIERER Babette D'ELIA Domenica

  Článek v odborném periodiku

  F1000Research, rok: 2020, ročník: 9, vydání: 1398, DOI

2019

• Accelerating Parameter Synthesis Using Semi-algebraic Constraints

  BENEŠ Nikola BRIM Luboš GELETKA Martin PASTVA Samuel ŠAFRÁNEK David

  Článek ve sborníku

  Integrated Formal Methods, rok: 2019

• Barbaric Robustness Monitoring Revisited for STL* in Parasim

  ŠAFRÁNEK David TROJÁK Matej BRŮŽA Vojtěch VEJPUSTEK Tomáš PAPOUŠEK Jan DEMKO Martin PASTVA Samuel PEJZNOCH Aleš BRIM Luboš

  Článek ve sborníku

  Computational Methods in Systems Biology (CMSB 2019), rok: 2019

• Comprehensive Modelling Platform

  TROJÁK Matej ŠAFRÁNEK David ČERVENÝ Jan HAVLÍK Marek MERTOVÁ Lukrécia HAJNAL Matej HRABEC Jakub ŠALAGOVIČ Jakub

  Další prezentace na konferencích

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

• Computational Modelling of Metabolic Burden and Substrate Toxicity in Escherichia coli Carrying a Synthetic Metabolic Pathway

  DEMKO Martin CHRÁST Lukáš DVOŘÁK Pavel DAMBORSKÝ Jiří ŠAFRÁNEK David

  Článek v odborném periodiku

  Microorganisms, rok: 2019, ročník: 7, vydání: 11, DOI