Verena Wolf

	2009
17		Thomas A. Henzinger, Maria Mateescu, Verena Wolf: Sliding Window Abstraction for Infinite Markov Chains. CAV 2009: 337-352
16		Frédéric Didier, Thomas A. Henzinger, Maria Mateescu, Verena Wolf: Approximation of Event Probabilities in Noisy Cellular Processes. CMSB 2009: 173-188
15		Thomas A. Henzinger, Barbara Jobstmann, Verena Wolf: Formalisms for Specifying Markovian Population Models. RP 2009: 3-23
	2008
14		Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf: Abstraction for Stochastic Systems by Erlang's Method of Stages. CONCUR 2008: 279-294
13		Werner Sandmann, Verena Wolf: Computational Probability for Systems Biology. FMSB 2008: 33-47
	2007
12		Mila E. Majster-Cederbaum, Nils Semmelrock, Verena Wolf: Interaction Models for Biochemical Reactions. BIOCOMP 2007: 480-486
11		Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf: Three-Valued Abstraction for Continuous-Time Markov Chains. CAV 2007: 311-324
10		Verena Wolf: Modelling of Biochemical Reactions by Stochastic Automata Networks. Electr. Notes Theor. Comput. Sci. 171(2): 197-208 (2007)
	2006
9		Hauke Busch, Werner Sandmann, Verena Wolf: A Numerical Aggregation Algorithm for the Enzyme-Catalyzed Substrate Conversion. CMSB 2006: 298-311
8		Christel Baier, Verena Wolf: Stochastic Reasoning About Channel-Based Component Connectors. COORDINATION 2006: 1-15
7		Harald Fecher, Martin Leucker, Verena Wolf: Don't Know in Probabilistic Systems. SPIN 2006: 71-88
6		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)
5		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)
4		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)
	2005
3		Christel Baier, Joost-Pieter Katoen, Holger Hermanns, Verena Wolf: Comparative branching-time semantics for Markov chains. Inf. Comput. 200(2): 149-214 (2005)
	2004
2		Verena Wolf: Testing Theory for Probabilistic Systems. Model-Based Testing of Reactive Systems 2004: 233-275
	2003
1		Christel Baier, Holger Hermanns, Joost-Pieter Katoen, Verena Wolf: Comparative Branching-Time Semantics. CONCUR 2003: 482-497

Coauthor Index

1	Christel Baier	[1] [3] [4] [5] [6] [8]
2	Hauke Busch	[9]
3	Frédéric Didier	[16]
4	Harald Fecher	[7]
5	Thomas A. Henzinger	[15] [16] [17]
6	Holger Hermanns	[1] [3] [5]
7	Barbara Jobstmann	[15]
8	Joost-Pieter Katoen	[1] [3] [5] [11] [14]
9	Daniel Klink	[11] [14]
10	Martin Leucker	[7] [11] [14]
11	Mila E. Majster-Cederbaum	[4] [6] [12]
12	Maria Mateescu	[16] [17]
13	Werner Sandmann	[9] [13]
14	Nils Semmelrock	[12]

Colors in the list of coauthors