Parameter Estimation
Discrete-state stochastic models have become a well-established approach to describe biochemical reaction networks that are influenced …
@article{luckGeneralizedMethodOfMoments2016,
author = {Alexander Lück and Verena Wolf},
doi = {10.1186/s12918-016-0342-8},
journal = {BMC Systems Biology},
month = {10},
number = {98},
pages = {1-12},
publisher = {BioMed Central, UK},
title = {Generalized method of moments for estimating parameters of stochastic reaction networks},
volume = {10},
year = {2016}
}
We consider the problem of understanding how DNA methylation fidelity, i.e. the preservation of methylated sites in the genome, varies …
@inproceedings{bockModelBasedWholeGenomeAnalysisOf2015,
author = {Christoph Bock and Luca Bortolussi and Thilo Krüger and Linar Mikeev and Verena Wolf},
booktitle = {Hybrid Systems Biology - Fourth International Workshop. Revised Selected Papers. International Conference on Hybrid Systems Biology (HSB-2015), September 4-5, Madrid, Spain},
doi = {10.1007/978-3-319-26916-0_8},
editor = {Alessandro Abate and David Šafránek},
isbn = {9783319269160},
month = {9},
pages = {141-155},
publisher = {Springer International Publishing, Switzerland},
series = {Lecture Notes in Computer Science, LNCS},
title = {Model-Based Whole-Genome Analysis of DNA Methylation Fidelity},
volume = {9271},
year = {2015}
}
We consider continuous-time Markov chains (CTMC) with very large or infinite state spaces which are, for instance, used to model …
@article{mikeevOnTheFlyVerificationAndOptimization2013,
author = {Linar Mikeev and Martin R. Neuhäußer and David Spieler and Verena Wolf},
doi = {10.1007/s10703-012-0165-1},
editor = {Nicht bekannt},
journal = {Formal Methods in System Design},
month = {10},
number = {2},
pages = {313-337},
publisher = {Springer US, USA},
title = {On-the-fly verification and optimization of DTA-properties for large Markov chains},
volume = {43},
year = {2013}
}