| Publication | Date of Publication | Type |
|---|
On Robustness Analysis of Stochastic Biochemical Systems by Probabilistic Model Checking
(available as arXiv preprint) | N/A | Paper |
| Inference of qualitative models from steady-state data via weighted MaxSMT | 2027-01-01 | Paper |
| Accelerating parameter synthesis using semi-algebraic constraints | 2024-04-19 | Paper |
Phenotype control of partially specified Boolean networks
Computational Methods in Systems Biology | 2024-02-28 | Paper |
| BNClassifier: classifying Boolean models by dynamic properties | 2024-01-01 | Paper |
Digital bifurcation analysis of TCP dynamics
Tools and Algorithms for the Construction and Analysis of Systems | 2023-11-24 | Paper |
| eBCSgen 2.0: modelling and analysis of regulated rule-based systems | 2023-01-18 | Paper |
| Parallel parameter synthesis for multi-affine hybrid systems from hybrid CTL specifications | 2022-12-22 | Paper |
| eBCSgen: a software tool for biochemical space language | 2022-12-22 | Paper |
scientific article; zbMATH DE number 7566051 (Why is no real title available?)
(available as arXiv preprint) | 2022-08-02 | Paper |
| scientific article; zbMATH DE number 7566051 (Why is no real title available?) | 2022-08-02 | Paper |
| Aeon 2021: bifurcation decision trees in Boolean networks | 2022-05-25 | Paper |
| Unfolding of parametric Boolean networks | 2022-04-25 | Paper |
| Computing bottom SCCs symbolically using transition guided reduction | 2022-03-25 | Paper |
| Symbolic coloured SCC decomposition | 2021-10-18 | Paper |
Executable biochemical space for specification and analysis of biochemical systems
(available as arXiv preprint) | 2021-02-22 | Paper |
| AEON: attractor bifurcation analysis of parametrised Boolean networks | 2021-02-04 | Paper |
Digital bifurcation analysis of Internet congestion control protocols
International Journal of Bifurcation and Chaos in Applied Sciences and Engineering | 2020-12-03 | Paper |
| A model checking approach to discrete bifurcation analysis | 2020-01-03 | Paper |
Toward Modelling and Analysis of Transient and Sustained Behaviour of Signalling Pathways
Hybrid Systems Biology | 2019-12-04 | Paper |
Facetal abstraction for non-linear dynamical systems based on δ-decidable SMT
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control | 2019-10-22 | Paper |
Detecting attractors in biological models with uncertain parameters
Computational Methods in Systems Biology | 2019-07-25 | Paper |
Parameter space abstraction and unfolding semantics of discrete regulatory networks
Theoretical Computer Science | 2019-06-18 | Paper |
High-Performance Discrete Bifurcation Analysis for Piecewise-Affine Dynamical Systems
Hybrid Systems Biology | 2019-05-21 | Paper |
| Formal biochemical space with semantics in Kappa and BNGL | 2018-04-23 | Paper |
Compact representation of photosynthesis dynamics by rule-based models
(available as arXiv preprint) | 2016-12-16 | Paper |
STL*: extending signal temporal logic with signal-value freezing operator
Information and Computation | 2014-06-06 | Paper |
Parallel model checking large-scale genetic regulatory networks with DiVinE
Electronic Notes in Theoretical Computer Science | 2014-01-17 | Paper |
Model checking of biological systems
Lecture Notes in Computer Science | 2013-06-28 | Paper |
On approximative reachability analysis of biochemical dynamical systems
Lecture Notes in Computer Science | 2013-04-03 | Paper |
On algorithmic analysis of transcriptional regulation by LTL model checking
Theoretical Computer Science | 2009-08-07 | Paper |
SOFSEM 2005: Theory and Practice of Computer Science
Lecture Notes in Computer Science | 2005-12-07 | Paper |
