Parameter identification for Markov models of biochemical reactions A Andreychenko, L Mikeev, D Spieler, V Wolf Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011 | 40 | 2011 |
Model reconstruction for moment-based stochastic chemical kinetics A Andreychenko, L Mikeev, V Wolf ACM Transactions on Modeling and Computer Simulation (TOMACS) 25 (2), 1-19, 2015 | 31 | 2015 |
Approximate maximum likelihood estimation for stochastic chemical kinetics A Andreychenko, L Mikeev, D Spieler, V Wolf EURASIP Journal on Bioinformatics and Systems Biology 2012, 1-14, 2012 | 28 | 2012 |
Distribution approximations for the chemical master equation: comparison of the method of moments and the system size expansion A Andreychenko, L Bortolussi, R Grima, P Thomas, V Wolf Modeling Cellular Systems, 39-66, 2017 | 24 | 2017 |
On-the-fly uniformization of time-inhomogeneous infinite Markov population models A Andreychenko, P Crouzen, L Mikeev, V Wolf arXiv preprint arXiv:1006.4425, 2010 | 17 | 2010 |
Analyzing resilience properties in oscillatory biological systems using parametric model checking A Andreychenko, M Magnin, K Inoue Biosystems 149, 50-58, 2016 | 10 | 2016 |
Reconstruction of multimodal distributions for hybrid moment-based chemical kinetics A Andreychenko, L Mikeev, V Wolf Journal of Coupled Systems and Multiscale Dynamics 3 (2), 156-163, 2015 | 10 | 2015 |
Approximate adaptive uniformization of continuous-time Markov chains A Andreychenko, W Sandmann, V Wolf Applied Mathematical Modelling 61, 561-576, 2018 | 7 | 2018 |
Modeling Cellular Systems A Andreychenko, L Bortolussi, R Grima, P Thomas, V Wolf ser. Contributions in Mathematical and Computational Sciences. Cham …, 2017 | 6 | 2017 |
Modeling of Resilience Properties in Oscillatory Biological Systems Using Parametric Time Petri Nets A Andreychenko, M Magnin, K Inoue Computational Methods in Systems Biology: 13th International Conference …, 2015 | 4 | 2015 |
Analyzing oscillatory behavior with formal methods A Andreychenko, T Krüger, D Spieler International Autumn School on Rigorous Dependability Analysis Using Model …, 2012 | 4 | 2012 |
Uniformization for time-inhomogeneous Markov population models A Andreychenko Universität des Saarlandes Saarbrücken, 2010 | 4 | 2010 |
Maximum entropy reconstruction for discrete distributions with unbounded support A Andreychenko, L Mikeev, V Wolf arXiv preprint arXiv:1408.2653, 2014 | 1 | 2014 |
Modeling of Resilience Properties in Oscillatory Biological Systems Using Parametric Time Petri Nets M Morgan, A Andreychenko, K Inoue International Conference on Computational Methods in Systems Biology …, 2015 | | 2015 |