CONCUR 2002 - Concurrency theory : 13th international conference, Brno, Czech Republic, August 20 - 23, 2002 ; proceedings

Veröffentlicht 2002

Mathematical foundations of computer science 1998 : 23rd international symposium, MFCS '98, Brno, Czech Republic, August 24 - 28, 1998 ; proceedings

Veröffentlicht 1998

Concurrency theory : 13th international conference ; proceedings

Veröffentlicht 2002

Mathematical foundations of computer science 1998 : 23rd international symposium, MFCS '98, Brno, Czech Republic, August 24 - 28, 1998 ; proceedings

Veröffentlicht 1998

Mathematical foundations of computer science 1998 : 23rd international symposium ; proceedings

Veröffentlicht 1998

Concurrency theory : 13th international conference, Brno, Czech Republic, August 20 - 23, 2002 ; proceedings

Veröffentlicht 2002

Aeon 2021: Bifurcation Decision Trees in Boolean Networks

von Beneš, Nikola
Veröffentlicht in CMSB (19. : 2021 : Bordeaux) Computational Methods in Systems Biology (2021)

eBCSgen: A Software Tool for Biochemical Space Language

von Troják, Matej
Veröffentlicht in CMSB (18. : 2020 : Online) Computational methods in systems biology (2020)

Symbolic Coloured SCC Decomposition

von Beneš, Nikola
Veröffentlicht in TACAS (27. : 2021 : Online) Tools and algorithms for the construction and analysis of systems ; Part 2 (2021)

eBCSgen 2.0: Modelling and Analysis of Regulated Rule-Based Systems

von Troják, Matej
Veröffentlicht in CMSB (20. : 2022 : Bukarest) Computational methods in systems biology (2022)

Computing Bottom SCCs Symbolically Using Transition Guided Reduction

von Beneš, Nikola
Veröffentlicht in CAV (33. : 2021 : Online) Computer aided verification ; Part 1 (2021)

Parameter Synthesis and Robustness Analysis of Rule-Based Models

von Troják, Matej
Veröffentlicht in NFM (12. : 2020 : Moffett Field, Calif.; Online) NASA formal methods (2020)

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

von Smijáková, Eva
Veröffentlicht in CMSB (18. : 2020 : Online) Computational methods in systems biology (2020)

AEON: Attractor Bifurcation Analysis of Parametrised Boolean Networks

von Benes, Nikola
Veröffentlicht in CAV (32. : 2020 : Online) Computer aided verification ; Part 1 (2020)

Formal methods for industrial critical systems ; 11th international workshop, FMICS 2006, Bonn, Germany, August 2006 ; preliminary proceedings

Veröffentlicht 2007

Formal methods: applications and technology ; 11th international workshop, FMICS 2006, and 5th international workshop, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006 ;...

Veröffentlicht 2007