Markov Chains
Stochastic models of biological networks properly take the randomness of molecular dynamics in living cells into account. Numerical …
@inproceedings{sandmannComputationalProbabilityForSystems2008,
author = {Werner Sandmann and Verena Wolf},
booktitle = {Formal Methods in Systems Biology - First International Workshop, Proceedings. International Workshop on Formal Methods in Systems Biology (FMSB-2008), June 4-5, Cambridge, United Kingdom},
doi = {10.1007/978-3-540-68413-8_3},
edition = {1},
editor = {Jasmin Fisher},
isbn = {9783540684138},
month = {6},
pages = {33-47},
publisher = {Springer, Berlin, Heidelberg},
series = {Lecture Notes in Computer Science, LNCS},
title = {Computational Probability for Systems Biology},
volume = {5054},
year = {2008}
}
This paper discusses trace semantics of interactive Markov chains (IMCs) that are a generalisation of continuous-time Markov chains. In …
@article{wolfTraceSemanticsForStochastic2006,
author = {Verena Wolf and Christel Baier and Mila Majster-Cederbaum},
doi = {10.1016/j.entcs.2006.07.019},
editor = {Nicht bekannt},
journal = {Electronic Notes in Theoretical Computer Science},
month = {10},
number = {3},
pages = {187-204},
publisher = {Elsevier, Amsterdam},
title = {Trace Semantics for Stochastic Systems with Nondeterminism},
volume = {164},
year = {2006}
}
Stochastic models of biological networks are well established in systems biology, where the computational treatment of such models is …
@article{sandmannAComputationalStochasticModeling2006,
author = {Werner Sandmann and Verena Wolf},
journal = {Enformatika Transactions on Engineering, Computing and Technology},
pages = {132-137},
publisher = {o.A.},
title = {A computational stochastic modeling formalism for biological networks},
volume = {14},
year = {2006}
}