- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| j10 |      | Aleksander Andreychenko, Linar Mikeev, David Spieler, Verena Wolf: Approximate maximum likelihood estimation for stochastic chemical kinetics. EURASIP J. Bioinformatics and Systems Biology 2012: 9 (2012) |
| j9 | | Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf: Three-valued abstraction for probabilistic systems. J. Log. Algebr. Program. 81(4): 356-389 (2012) |
| j8 | | Alessio Angius, András Horváth, Verena Wolf: Quasi Product Form Approximation for Markov Models of Reaction Networks. T. Comp. Sys. Biology 14: 26-52 (2012) |
| c19 | | Linar Mikeev, Verena Wolf: Parameter estimation for stochastic hybrid models of biochemical reaction networks. HSCC 2012: 155-166 |
| 2011 | ||
| j7 | | Thomas A. Henzinger, Barbara Jobstmann, Verena Wolf: Formalisms for Specifying Markovian Population Models. Int. J. Found. Comput. Sci. 22(4): 823-841 (2011) |
| j6 | | Frédéric Didier, Thomas A. Henzinger, Maria Mateescu, Verena Wolf: Approximation of event probabilities in noisy cellular processes. Theor. Comput. Sci. 412(21): 2128-2141 (2011) |
| c18 | | Aleksander Andreychenko, Linar Mikeev, David Spieler, Verena Wolf: Parameter Identification for Markov Models of Biochemical Reactions. CAV 2011: 83-98 |
| c17 | | Maksim Lapin, Linar Mikeev, Verena Wolf: SHAVE: stochastic hybrid analysis of markov population models. HSCC 2011: 311-312 |
| c16 | | Aleksander Andreychenko, Pepijn Crouzen, Verena Wolf: On-the-fly Uniformization of Time-Inhomogeneous Infinite Markov Population Models. QAPL 2011: 1 |
| i3 | | Aleksander Andreychenko, Linar Mikeev, David Spieler, Verena Wolf: Parameter Identification for Markov Models of Biochemical Reactions. CoRR abs/1102.2819 (2011) |
| 2010 | ||
| c15 | | Thomas A. Henzinger, Linar Mikeev, Maria Mateescu, Verena Wolf: Hybrid numerical solution of the chemical master equation. CMSB 2010: 55-65 |
| c14 | | Tugrul Dayar, Linar Mikeev, Verena Wolf: On the Numerical Analysis of Stochastic Lotka-Volterra Models. IMCSIT 2010: 289-296 |
| c13 | | Frédéric Didier, Thomas A. Henzinger, Maria Mateescu, Verena Wolf: SABRE: A Tool for Stochastic Analysis of Biochemical Reaction Networks. QEST 2010: 193-194 |
| i2 | | Thomas A. Henzinger, Maria Mateescu, Linar Mikeev, Verena Wolf: Hybrid Numerical Solution of the Chemical Master Equation. CoRR abs/1005.0747 (2010) |
| i1 | | Frédéric Didier, Thomas A. Henzinger, Maria Mateescu, Verena Wolf: SABRE: A Tool for Stochastic Analysis of Biochemical Reaction Networks. CoRR abs/1005.2819 (2010) |
| 2009 | ||
| c12 | | Thomas A. Henzinger, Maria Mateescu, Verena Wolf: Sliding Window Abstraction for Infinite Markov Chains. CAV 2009: 337-352 |
| c11 | | Frédéric Didier, Thomas A. Henzinger, Maria Mateescu, Verena Wolf: Approximation of Event Probabilities in Noisy Cellular Processes. CMSB 2009: 173-188 |
| c10 | | Thomas A. Henzinger, Barbara Jobstmann, Verena Wolf: Formalisms for Specifying Markovian Population Models. RP 2009: 3-23 |
| 2008 | ||
| c9 | | Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf: Abstraction for Stochastic Systems by Erlang's Method of Stages. CONCUR 2008: 279-294 |
| c8 | | |
| 2007 | ||
| j5 | | Verena Wolf: Modelling of Biochemical Reactions by Stochastic Automata Networks. Electr. Notes Theor. Comput. Sci. 171(2): 197-208 (2007) |
| c7 |  | Mila E. Majster-Cederbaum, Nils Semmelrock, Verena Wolf: Interaction Models for Biochemical Reactions. BIOCOMP 2007: 480-486 |
| c6 | | Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf: Three-Valued Abstraction for Continuous-Time Markov Chains. CAV 2007: 311-324 |
| 2006 | ||
| j4 | | Verena Wolf, Christel Baier, Mila E. Majster-Cederbaum: Trace Machines for Observing Continuous-Time Markov Chains. Electr. Notes Theor. Comput. Sci. 153(2): 259-277 (2006) |
| j3 | | Christel Baier, Holger Hermanns, Joost-Pieter Katoen, Verena Wolf: Bisimulation and Simulation Relations for Markov Chains. Electr. Notes Theor. Comput. Sci. 162: 73-78 (2006) |
| j2 | | Verena Wolf, Christel Baier, Mila E. Majster-Cederbaum: Trace Semantics for Stochastic Systems with Nondeterminism. Electr. Notes Theor. Comput. Sci. 164(3): 187-204 (2006) |
| c5 | | Hauke Busch, Werner Sandmann, Verena Wolf: A Numerical Aggregation Algorithm for the Enzyme-Catalyzed Substrate Conversion. CMSB 2006: 298-311 |
| c4 | | Christel Baier, Verena Wolf: Stochastic Reasoning About Channel-Based Component Connectors. COORDINATION 2006: 1-15 |
| c3 | | |
| 2005 | ||
| j1 | | Christel Baier, Joost-Pieter Katoen, Holger Hermanns, Verena Wolf: Comparative branching-time semantics for Markov chains. Inf. Comput. 200(2): 149-214 (2005) |
| 2004 | ||
| c2 | | Verena Wolf: Testing Theory for Probabilistic Systems. Model-Based Testing of Reactive Systems 2004: 233-275 |
| 2003 | ||
| c1 | | Christel Baier, Holger Hermanns, Joost-Pieter Katoen, Verena Wolf: Comparative Branching-Time Semantics. CONCUR 2003: 482-497 |
Colors in the list of coauthors
Last update Sun May 19 14:32:35 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page