Search the dblp DataBase

Publications of Author

1. 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]
   
2. Christel Baier, Holger Hermanns, Joost-Pieter Katoen, Verena Wolf
   Comparative Branching-Time Semantics. [Citation Graph (0, 0)][DBLP]
   CONCUR, 2003, pp:482-497 [Conf]
   
3. Christel Baier, Verena Wolf
   Stochastic Reasoning About Channel-Based Component Connectors. [Citation Graph (0, 0)][DBLP]
   COORDINATION, 2006, pp:1-15 [Conf]
   
4. Verena Wolf
   Testing Theory for Probabilistic Systems. [Citation Graph (0, 0)][DBLP]
   Model-Based Testing of Reactive Systems, 2004, pp:233-275 [Conf]
   
5. Harald Fecher, Martin Leucker, Verena Wolf
   Don't Know in Probabilistic Systems. [Citation Graph (0, 0)][DBLP]
   SPIN, 2006, pp:71-88 [Conf]
   
6. 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]
   
7. 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]
   
8. 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]
   
9. 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]
   
10. 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]
    
11. 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]
    
12. 
    Interaction Models for Biochemical Reactions. [Citation Graph (, )][DBLP]
    
    
13. 
    Sliding Window Abstraction for Infinite Markov Chains. [Citation Graph (, )][DBLP]
    
    
14. 
    Approximation of Event Probabilities in Noisy Cellular Processes. [Citation Graph (, )][DBLP]
    
    
15. 
    Abstraction for Stochastic Systems by Erlang's Method of Stages. [Citation Graph (, )][DBLP]
    
    
16. 
    Computational Probability for Systems Biology. [Citation Graph (, )][DBLP]
    
    
17. 
    Formalisms for Specifying Markovian Population Models. [Citation Graph (, )][DBLP]
    
    
18. 
    SABRE: A Tool for Stochastic Analysis of Biochemical Reaction Networks [Citation Graph (, )][DBLP]
    
    
19. 
    Hybrid Numerical Solution of the Chemical Master Equation [Citation Graph (, )][DBLP]
    
    
20. 
    On-the-fly Uniformization of Time-Inhomogeneous Infinite Markov Population Models [Citation Graph (, )][DBLP]