Publikace
Počet publikací: 11
2014
-
Robustness Analysis of Stochastic Biochemical Systems
Plos One, rok: 2014, ročník: 9, vydání: 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, rok: 2013
-
Robustness Analysis of Stochastic Systems
Electronic Proceedings in Theoretical Computer Science, Volume 116, rok: 2013
2012
-
On Approximative Reachability Analysis of Biochemical Dynamical Systems
Transactions on Computational Systems Biology XIV, rok: 2012
2011
-
Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation
Electronic Proceedings in Theoretical Computer Science, rok: 2011, ročník: Neuveden, vydání: 67, DOI
2009
-
BioDiVinE: A Framework for Parallel Analysis of Biological Models
Proceedings of 2nd International Workshop on Computational Models for Cell Processes, rok: 2009
-
BioDiVinE: A Tool for Parallel Analysis of Multi-Affine ODE Models
Computational Mehotds in Systems Biology: Abstract of the Posters, rok: 2009
-
Computational Analysis of Large-Scale Multi-Affine ODE Models
International Workshop on High Performance Computational Systems Biology, rok: 2009
-
On Algorithmic Analysis of Transcriptional Regulation by LTL Model Checking
Theoretical Computer Science, rok: 2009, ročník: 2009, vydání: 410
2008
-
From Simple Regulatory Motifs to Parallel Model Checking of Complex Transcriptional Networks
Proceedings of PDMC 2008 - Parallel and Distributed Methods ins VerifiCation, rok: 2008