Verena Wolf
Verena Wolf
Professor of Computer Science, Saarland University, Saarland Informatics Campus
Bestätigte E-Mail-Adresse bei cs.uni-saarland.de
Titel
Zitiert von
Zitiert von
Jahr
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 Genet 8 (6), e1002750, 2012
3322012
Comparative branching-time semantics for Markov chains
C Baier, JP Katoen, H Hermanns, V Wolf
Information and computation 200 (2), 149-214, 2005
1602005
Don’t Know in Probabilistic Systems
H Fecher, M Leucker, V Wolf
International SPIN Workshop on Model Checking of Software, 71-88, 2006
1182006
Method of conditional moments (MCM) for the chemical master equation
J Hasenauer, V Wolf, A Kazeroonian, FJ Theis
Journal of mathematical biology 69 (3), 687-735, 2014
1082014
Three-valued abstraction for continuous-time Markov chains
JP Katoen, D Klink, M Leucker, V Wolf
International Conference on Computer Aided Verification, 311-324, 2007
1072007
Solving the chemical master equation using sliding windows
V Wolf, R Goel, M Mateescu, TA Henzinger
BMC systems biology 4 (1), 42, 2010
982010
Sliding window abstraction for infinite Markov chains
TA Henzinger, M Mateescu, V Wolf
International Conference on Computer Aided Verification, 337-352, 2009
962009
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
592010
Fast adaptive uniformisation of the chemical master equation
M Mateescu, V Wolf, F Didier, TA Henzinger
IET systems biology 4 (6), 441-452, 2010
582010
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
572009
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
432012
Comparative branching-time semantics for Markov chains
C Baier, H Hermanns, JP Katoen, V Wolf
International Conference on Concurrency Theory, 492-507, 2003
432003
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
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
362006
Stochastic reasoning about channel-based component connectors
C Baier, V Wolf
International Conference on Coordination Languages and Models, 1-15, 2006
342006
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
332011
Parameter identification for Markov models of biochemical reactions
A Andreychenko, L Mikeev, D Spieler, V Wolf
International Conference on Computer Aided Verification, 83-98, 2011
332011
A numerical aggregation algorithm for the enzyme-catalyzed substrate conversion
H Busch, W Sandmann, V Wolf
International Conference on Computational Methods in Systems Biology, 298-311, 2006
322006
Modelling of biochemical reactions by stochastic automata networks
V Wolf
Electronic Notes in Theoretical Computer Science 171 (2), 197-208, 2007
282007
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), 9, 2012
272012
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20