|
Search the dblp DataBase
Verena Wolf:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Hauke Busch, Werner Sandmann, Verena Wolf
A Numerical Aggregation Algorithm for the Enzyme-Catalyzed Substrate Conversion. [Citation Graph (0, 0)][DBLP] CMSB, 2006, pp:298-311 [Conf]
- Christel Baier, Holger Hermanns, Joost-Pieter Katoen, Verena Wolf
Comparative Branching-Time Semantics. [Citation Graph (0, 0)][DBLP] CONCUR, 2003, pp:482-497 [Conf]
- Christel Baier, Verena Wolf
Stochastic Reasoning About Channel-Based Component Connectors. [Citation Graph (0, 0)][DBLP] COORDINATION, 2006, pp:1-15 [Conf]
- Verena Wolf
Testing Theory for Probabilistic Systems. [Citation Graph (0, 0)][DBLP] Model-Based Testing of Reactive Systems, 2004, pp:233-275 [Conf]
- Harald Fecher, Martin Leucker, Verena Wolf
Don't Know in Probabilistic Systems. [Citation Graph (0, 0)][DBLP] SPIN, 2006, pp:71-88 [Conf]
- Verena Wolf, Christel Baier, Mila E. Majster-Cederbaum
Trace Machines for Observing Continuous-Time Markov Chains. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2006, v:153, n:2, pp:259-277 [Journal]
- Christel Baier, Holger Hermanns, Joost-Pieter Katoen, Verena Wolf
Bisimulation and Simulation Relations for Markov Chains. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2006, v:162, n:, pp:73-78 [Journal]
- Verena Wolf, Christel Baier, Mila E. Majster-Cederbaum
Trace Semantics for Stochastic Systems with Nondeterminism. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2006, v:164, n:3, pp:187-204 [Journal]
- Christel Baier, Joost-Pieter Katoen, Holger Hermanns, Verena Wolf
Comparative branching-time semantics for Markov chains. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2005, v:200, n:2, pp:149-214 [Journal]
- Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf
Three-Valued Abstraction for Continuous-Time Markov Chains. [Citation Graph (0, 0)][DBLP] CAV, 2007, pp:311-324 [Conf]
- Verena Wolf
Modelling of Biochemical Reactions by Stochastic Automata Networks. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2007, v:171, n:2, pp:197-208 [Journal]
Interaction Models for Biochemical Reactions. [Citation Graph (, )][DBLP]
Sliding Window Abstraction for Infinite Markov Chains. [Citation Graph (, )][DBLP]
Approximation of Event Probabilities in Noisy Cellular Processes. [Citation Graph (, )][DBLP]
Abstraction for Stochastic Systems by Erlang's Method of Stages. [Citation Graph (, )][DBLP]
Computational Probability for Systems Biology. [Citation Graph (, )][DBLP]
Formalisms for Specifying Markovian Population Models. [Citation Graph (, )][DBLP]
SABRE: A Tool for Stochastic Analysis of Biochemical Reaction Networks [Citation Graph (, )][DBLP]
Hybrid Numerical Solution of the Chemical Master Equation [Citation Graph (, )][DBLP]
On-the-fly Uniformization of Time-Inhomogeneous Infinite Markov Population Models [Citation Graph (, )][DBLP]
Search in 0.027secs, Finished in 0.028secs
|