Publications
Total number of publications: 11
2014
-
Robustness Analysis of Stochastic Biochemical Systems
Plos One, year: 2014, volume: 9, edition: 4, DOI
2013
-
Exploring Parameter Space of Stochastic Biochemical Systems Using Quantitative Model Checking
25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings, year: 2013
-
Robustness Analysis of Stochastic Systems
Electronic Proceedings in Theoretical Computer Science, Volume 116, year: 2013
2012
-
On Approximative Reachability Analysis of Biochemical Dynamical Systems
Transactions on Computational Systems Biology XIV, year: 2012
2011
-
Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation
Electronic Proceedings in Theoretical Computer Science, year: 2011, volume: Neuveden, edition: 67, DOI
2009
-
BioDiVinE: A Framework for Parallel Analysis of Biological Models
Proceedings of 2nd International Workshop on Computational Models for Cell Processes, year: 2009
-
BioDiVinE: A Tool for Parallel Analysis of Multi-Affine ODE Models
Computational Mehotds in Systems Biology: Abstract of the Posters, year: 2009
-
Computational Analysis of Large-Scale Multi-Affine ODE Models
International Workshop on High Performance Computational Systems Biology, year: 2009
-
On Algorithmic Analysis of Transcriptional Regulation by LTL Model Checking
Theoretical Computer Science, year: 2009, volume: 2009, edition: 410
2008
-
From Simple Regulatory Motifs to Parallel Model Checking of Complex Transcriptional Networks
Proceedings of PDMC 2008 - Parallel and Distributed Methods ins VerifiCation, year: 2008