prof. RNDr. Luboš Brim, CSc.

2021

• Computing Bottom SCCs Symbolically Using Transition Guided Reduction

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

  Článek ve sborníku

  Computer Aided Verification - 33rd International Conference, CAV 2021, rok: 2021

• Symbolic Coloured SCC Decomposition

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

  Článek ve sborníku

  Tools and Algorithms for the Construction and Analysis of Systems, 27th International Conference, TACAS 2021, rok: 2021

2020

• AEON: Attractor Bifurcation Analysis of Parametrised Boolean Networks

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

  Článek ve sborníku

  Computer Aided Verification. CAV 2020, rok: 2020

• Digital Bifurcation Analysis of Internet Congestion Control Protocols

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

  Článek v odborném periodiku

  International Journal of Bifurcation and Chaos, rok: 2020, ročník: 30, vydání: 13, DOI

• eBCSgen: A Software Tool for Biochemical Space Language

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

  Článek ve sborníku

  18th International Conference on Computational Methods in Systems Biology, CMSB 2020, rok: 2020

• Executable Biochemical Space for Specification and Analysis of Biochemical Systems

  TROJÁK Matej ŠAFRÁNEK David BRIM Luboš ŠALAGOVIČ Jakub ČERVENÝ Jan

  Článek ve sborníku

  9th International Workshop on Static Analysis and Systems Biology (SASB), rok: 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