×

zbMATH — the first resource for mathematics

Wolf, Verena

Compute Distance To:
Author ID: wolf.verena Recent zbMATH articles by "Wolf, Verena"
Published as: Wolf, V.; Wolf, Verena
Documents Indexed: 30 Publications since 2003, including 1 Book

Publications by Year

Citations contained in zbMATH

22 Publications have been cited 133 times in 98 Documents Cited by Year
Comparative branching-time semantics for Markov chains. Zbl 1101.68053
Baier, Christel; Katoen, Joost-Pieter; Hermanns, Holger; Wolf, Verena
25
2005
Don’t know in probabilistic systems. Zbl 1178.68341
Fecher, Harald; Leucker, Martin; Wolf, Verena
20
2006
Three-valued abstraction for continuous-time Markov chains. Zbl 1135.68476
Katoen, Joost-Pieter; Klink, Daniel; Leucker, Martin; Wolf, Verena
16
2007
Method of conditional moments (MCM) for the chemical master equation. Zbl 1302.92070
Hasenauer, J.; Wolf, V.; Kazeroonian, A.; Theis, F. J.
14
2014
Sliding window abstraction for infinite Markov chains. Zbl 1242.60079
Henzinger, Thomas A.; Mateescu, Maria; Wolf, Verena
10
2009
Infinite level-dependent QBD processes and matrix-analytic solutions for stochastic chemical kinetics. Zbl 1233.60042
Dayar, Tuǧrul; Sandmann, Werner; Spieler, David; Wolf, Verena
7
2011
Three-valued abstraction for probabilistic systems. Zbl 1277.68219
Katoen, Joost-Pieter; Klink, Daniel; Leucker, Martin; Wolf, Verena
6
2012
Bounding the equilibrium distribution of Markov population models. Zbl 1265.60148
Dayar, T.; Hermanns, H.; Spieler, D.; Wolf, V.
5
2011
Comparative branching-time semantics for Markov chains (extended abstract). Zbl 1274.68264
Baier, Christel; Hermanns, Holger; Katoen, Joost-Pieter; Wolf, Verena
5
2003
Model reconstruction for moment-based stochastic chemical kinetics. Zbl 1384.92066
Andreychenko, Alexander; Mikeev, Linar; Wolf, Verena
4
2015
On-the-fly verification and optimization of DTA-properties for large Markov chains. Zbl 1291.68295
Mikeev, Linar; Neuhäußer, Martin R.; Spieler, David; Wolf, Verena
3
2013
Parameter estimation for stochastic hybrid models of biochemical reaction networks. Zbl 1365.92037
Mikeev, Linar; Wolf, Verena
3
2012
Modelling of biochemical reactions by stochastic automata networks. Zbl 1277.68215
Wolf, Verena
3
2007
Stochastic hybrid models of gene regulatory networks – a PDE approach. Zbl 1412.35344
Kurasov, Pavel; Lück, Alexander; Mugnolo, Delio; Wolf, Verena
2
2018
Approximation of event probabilities in noisy cellular processes. Zbl 1211.92016
Didier, Frédéric; Henzinger, Thomas A.; Mateescu, Maria; Wolf, Verena
2
2011
Bisimulation and simulation relations for Markov chains. Zbl 1316.68085
Baier, Christel; Hermanns, Holger; Katoen, Joost-Pieter; Wolf, Verena
2
2006
Approximate adaptive uniformization of continuous-time Markov chains. Zbl 07182477
Andreychenko, Alexander; Sandmann, Werner; Wolf, Verena
1
2018
Quasi product form approximation for Markov models of reaction networks. Zbl 1381.92023
Angius, Alessio; Horváth, András; Wolf, Verena
1
2012
Formalisms for specifying Markovian population models. Zbl 1216.68190
Henzinger, Thomas; Jobstmann, Barbara; Wolf, Verena
1
2011
Formalisms for specifying Markovian population models. Zbl 1260.68284
Henzinger, Thomas A.; Jobstmann, Barbara; Wolf, Verena
1
2009
Abstraction for stochastic systems by Erlang’s method of stages. Zbl 1160.68469
Katoen, Joost-Pieter; Klink, Daniel; Leucker, Martin; Wolf, Verena
1
2008
Computational probability for systems biology. Zbl 1375.92024
Sandmann, Werner; Wolf, Verena
1
2008
Stochastic hybrid models of gene regulatory networks – a PDE approach. Zbl 1412.35344
Kurasov, Pavel; Lück, Alexander; Mugnolo, Delio; Wolf, Verena
2
2018
Approximate adaptive uniformization of continuous-time Markov chains. Zbl 07182477
Andreychenko, Alexander; Sandmann, Werner; Wolf, Verena
1
2018
Model reconstruction for moment-based stochastic chemical kinetics. Zbl 1384.92066
Andreychenko, Alexander; Mikeev, Linar; Wolf, Verena
4
2015
Method of conditional moments (MCM) for the chemical master equation. Zbl 1302.92070
Hasenauer, J.; Wolf, V.; Kazeroonian, A.; Theis, F. J.
14
2014
On-the-fly verification and optimization of DTA-properties for large Markov chains. Zbl 1291.68295
Mikeev, Linar; Neuhäußer, Martin R.; Spieler, David; Wolf, Verena
3
2013
Three-valued abstraction for probabilistic systems. Zbl 1277.68219
Katoen, Joost-Pieter; Klink, Daniel; Leucker, Martin; Wolf, Verena
6
2012
Parameter estimation for stochastic hybrid models of biochemical reaction networks. Zbl 1365.92037
Mikeev, Linar; Wolf, Verena
3
2012
Quasi product form approximation for Markov models of reaction networks. Zbl 1381.92023
Angius, Alessio; Horváth, András; Wolf, Verena
1
2012
Infinite level-dependent QBD processes and matrix-analytic solutions for stochastic chemical kinetics. Zbl 1233.60042
Dayar, Tuǧrul; Sandmann, Werner; Spieler, David; Wolf, Verena
7
2011
Bounding the equilibrium distribution of Markov population models. Zbl 1265.60148
Dayar, T.; Hermanns, H.; Spieler, D.; Wolf, V.
5
2011
Approximation of event probabilities in noisy cellular processes. Zbl 1211.92016
Didier, Frédéric; Henzinger, Thomas A.; Mateescu, Maria; Wolf, Verena
2
2011
Formalisms for specifying Markovian population models. Zbl 1216.68190
Henzinger, Thomas; Jobstmann, Barbara; Wolf, Verena
1
2011
Sliding window abstraction for infinite Markov chains. Zbl 1242.60079
Henzinger, Thomas A.; Mateescu, Maria; Wolf, Verena
10
2009
Formalisms for specifying Markovian population models. Zbl 1260.68284
Henzinger, Thomas A.; Jobstmann, Barbara; Wolf, Verena
1
2009
Abstraction for stochastic systems by Erlang’s method of stages. Zbl 1160.68469
Katoen, Joost-Pieter; Klink, Daniel; Leucker, Martin; Wolf, Verena
1
2008
Computational probability for systems biology. Zbl 1375.92024
Sandmann, Werner; Wolf, Verena
1
2008
Three-valued abstraction for continuous-time Markov chains. Zbl 1135.68476
Katoen, Joost-Pieter; Klink, Daniel; Leucker, Martin; Wolf, Verena
16
2007
Modelling of biochemical reactions by stochastic automata networks. Zbl 1277.68215
Wolf, Verena
3
2007
Don’t know in probabilistic systems. Zbl 1178.68341
Fecher, Harald; Leucker, Martin; Wolf, Verena
20
2006
Bisimulation and simulation relations for Markov chains. Zbl 1316.68085
Baier, Christel; Hermanns, Holger; Katoen, Joost-Pieter; Wolf, Verena
2
2006
Comparative branching-time semantics for Markov chains. Zbl 1101.68053
Baier, Christel; Katoen, Joost-Pieter; Hermanns, Holger; Wolf, Verena
25
2005
Comparative branching-time semantics for Markov chains (extended abstract). Zbl 1274.68264
Baier, Christel; Hermanns, Holger; Katoen, Joost-Pieter; Wolf, Verena
5
2003
all top 5

Cited by 191 Authors

11 Katoen, Joost-Pieter
9 Hermanns, Holger
9 Wolf, Verena
6 Baier, Christel
6 Legay, Axel
5 Bernardo, Marco
5 Sandmann, Werner
4 Dayar, Tugrul
4 Delahaye, Benoît
4 Koeppl, Heinz
4 Kwiatkowska, Marta Z.
4 Larsen, Kim Guldstrand
4 Pedersen, Mikkel Lykke
4 Spieler, David
4 Wąsowski, Andrzej
4 Zhang, Lijun
3 Baumann, Hendrik
3 Bortolussi, Luca
3 Henzinger, Thomas A.
3 Jansen, David N.
3 Levi, Francesca
2 Abate, Alessandro
2 Altıntan, Derya
2 Andova, Suzana
2 Andreychenko, Alexander
2 Barbuti, Roberto
2 De Nicola, Rocco
2 Desharnais, Josée
2 Eisentraut, Christian
2 Gebler, Daniel E.
2 Georgievska, Sonja
2 Godskesen, Jens Chr.
2 Haverkort, Boudewijn R.
2 Kattenbelt, Mark
2 Klink, Daniel
2 Laviolette, François
2 Loreti, Michele
2 Marin, Andrea
2 Milazzo, Paolo
2 Neuhäußer, Martin R.
2 Norman, Gethin
2 Orhan, M. Can
2 Pájaro, Manuel
2 Parker, David F.
2 Petrov, Tatjana
2 Sanguinetti, Guido
2 Scatena, Guido
2 Sher, Falak
2 Song, Lei
2 Stoelinga, Mariëlle
2 Turgeon, Amélie
1 Agrawal, Manindra
1 Akshay, S.
1 Albert, Jaroslav
1 Alonso, Antonio A.
1 Alpízar, Rafael
1 Alzetta, Giacomo
1 Angius, Alessio
1 Balbo, Gianfranco
1 Balsamo, Simonetta
1 Beccuti, Marco
1 Bérard, Béatrice
1 Bertrand, Nathalie
1 Bibbona, Enrico
1 Bohy, Aaron
1 Bouyer, Patricia
1 Bradley, Jeremy T.
1 Brihaye, Thomas
1 Brim, Luboš
1 Bruyère, Véronique
1 Caillaud, Benoît
1 Cañizo, José Alfredo
1 Carlier, Pierre
1 Carrillo de la Plata, José Antonio
1 Češka, Milan
1 Chadha, Rohit
1 Chatzieleftheriou, George
1 Cinquemani, Eugenio
1 Coletta, Alessio
1 Cordeiro, James D.
1 Dai, Zhenlei
1 Dannenberg, Frits
1 Danos, Vincent
1 De Bock, Jasper
1 Dehnert, Christian
1 Dei Rossi, Gian-Luca
1 Didier, Frédéric
1 Doyen, Laurent
1 Duncan, Andrew B.
1 Erban, Radek
1 Erreygers, Alexander
1 Faella, Marco
1 Fahrenberg, Uli
1 Fearnley, John
1 Feng, Cheng
1 Feret, Jérôme
1 Fränzle, Martin
1 Galpin, Vashti
1 Ganguly, Arnab
1 Gast, Nicolas
...and 91 more Authors

Citations by Year