Follow
Verena Wolf
Verena Wolf
Professor of Computer Science, Saarland University, Saarland Informatics Campus
Verified email at dfki.de
Title
Cited by
Cited by
Year
In Vivo Control of CpG and Non-CpG DNA Methylation by DNA Methyltransferases
J Arand, D Spieler, T Karius, MR Branco, D Meilinger, A Meissner, ...
PLoS genetics 8 (6), e1002750, 2012
4662012
Comparative branching-time semantics for Markov chains
C Baier, JP Katoen, H Hermanns, V Wolf
Information and computation 200 (2), 149-214, 2005
1842005
Method of conditional moments (MCM) for the Chemical Master Equation: A unified framework for the method of moments and hybrid stochastic-deterministic models
J Hasenauer, V Wolf, A Kazeroonian, FJ Theis
Journal of mathematical biology 69, 687-735, 2014
1392014
Solving the chemical master equation using sliding windows
V Wolf, R Goel, M Mateescu, TA Henzinger
BMC systems biology 4, 1-19, 2010
1252010
Don’t Know in Probabilistic Systems
H Fecher, M Leucker, V Wolf
Model Checking Software: 13th International SPIN Workshop, Vienna, Austria …, 2006
1252006
Three-valued abstraction for continuous-time Markov chains
JP Katoen, D Klink, M Leucker, V Wolf
Computer Aided Verification: 19th International Conference, CAV 2007, Berlin …, 2007
1162007
Sliding window abstraction for infinite Markov chains
TA Henzinger, M Mateescu, V Wolf
International Conference on Computer Aided Verification, 337-352, 2009
1102009
Hybrid numerical solution of the chemical master equation
TA Henzinger, L Mikeev, M Mateescu, V Wolf
Proceedings of the 8th International Conference on Computational Methods in …, 2010
722010
Fast adaptive uniformization of the chemical master equation
F Didier, TA Henzinger, M Mateescu, V Wolf
2009 International Workshop on High Performance Computational Systems …, 2009
672009
Fast adaptive uniformisation of the chemical master equation
M Mateescu, V Wolf, F Didier, TA Henzinger
IET systems biology 4 (6), 441-452, 2010
642010
Formalisms for specifying Markovian population models
T Henzinger, B Jobstmann, V Wolf
International Journal of Foundations of Computer Science 22 (04), 823-841, 2011
592011
Three-valued abstraction for probabilistic systems
JP Katoen, D Klink, M Leucker, V Wolf
The Journal of Logic and Algebraic Programming 81 (4), 356-389, 2012
582012
Bounding the equilibrium distribution of Markov population models
T Dayar, H Hermanns, D Spieler, V Wolf
Numerical linear algebra with applications 18 (6), 931-946, 2011
482011
Comparative branching-time semantics for Markov chains
C Baier, H Hermanns, JP Katoen, V Wolf
CONCUR 2003-Concurrency Theory: 14th International Conference, Marseille …, 2003
472003
Infinite level-dependent QBD processes and matrix-analytic solutions for stochastic chemical kinetics
T Dayar, W Sandmann, D Spieler, V Wolf
Advances in Applied Probability 43 (4), 1005-1026, 2011
452011
Generalized method of moments for estimating parameters of stochastic reaction networks
A Lück, V Wolf
BMC systems biology 10, 1-12, 2016
402016
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
402011
Trace machines for observing continuous-time Markov chains
V Wolf, C Baier, M Majster-Cederbaum
Electronic Notes in Theoretical Computer Science 153 (2), 259-277, 2006
402006
Heterogeneity matters: Contact structure and individual variation shape epidemic dynamics
G Großmann, M Backenköhler, V Wolf
Plos one 16 (7), e0250050, 2021
392021
Stochastic reasoning about channel-based component connectors
C Baier, V Wolf
Coordination Models and Languages: 8th International Conference …, 2006
382006
The system can't perform the operation now. Try again later.
Articles 1–20