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

• 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

  NASA Formal Methods, rok: 2020

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