The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Verena Wolf: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.027secs, Finished in 0.028secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002