Follow
Verena Wolf
Verena Wolf
Professor of Computer Science, Saarland University, Saarland Informatics Campus
Verified email at cs.uni-saarland.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
4162012
Comparative branching-time semantics for Markov chains
C Baier, JP Katoen, H Hermanns, V Wolf
Information and computation 200 (2), 149-214, 2005
1742005
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
1282014
Don’t Know in Probabilistic Systems
H Fecher, M Leucker, V Wolf
Model Checking Software: 13th International SPIN Workshop, Vienna, Austria …, 2006
1262006
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
1142007
Solving the chemical master equation using sliding windows
V Wolf, R Goel, M Mateescu, TA Henzinger
BMC systems biology 4, 1-19, 2010
1102010
Sliding window abstraction for infinite Markov chains
TA Henzinger, M Mateescu, V Wolf
Computer Aided Verification: 21st International Conference, CAV 2009 …, 2009
1042009
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
632010
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
632009
Fast adaptive uniformisation of the chemical master equation
M Mateescu, V Wolf, F Didier, TA Henzinger
IET systems biology 4 (6), 441-452, 2010
622010
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
552012
Formalisms for specifying Markovian population models
T Henzinger, B Jobstmann, V Wolf
International Journal of Foundations of Computer Science 22 (04), 823-841, 2011
542011
Formalisms for specifying Markovian population models
T Henzinger, B Jobstmann, V Wolf
International Journal of Foundations of Computer Science 22 (04), 823-841, 2011
542011
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
452011
Comparative branching-time semantics for Markov chains
C Baier, H Hermanns, JP Katoen, V Wolf
CONCUR 2003-Concurrency Theory: 14th International Conference, Marseille …, 2003
452003
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
432011
Stochastic reasoning about channel-based component connectors
C Baier, V Wolf
Coordination Models and Languages: 8th International Conference …, 2006
402006
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
382011
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
372006
Generalized method of moments for estimating parameters of stochastic reaction networks
A Lück, V Wolf
BMC systems biology 10 (1), 1-12, 2016
342016
The system can't perform the operation now. Try again later.
Articles 1–20