Edit Profile Wolf, Verena Compute Distance To: Compute Author ID: wolf.verena Published as: Wolf, V.; Wolf, Verena Documents Indexed: 30 Publications since 2003, including 1 Book all top 5 Co-Authors 1 single-authored 6 Katoen, Joost-Pieter 4 Henzinger, Thomas A. 4 Hermanns, Holger 4 Leucker, Martin 4 Mikeev, Linar 4 Spieler, David 3 Baier, Christel 3 Bortolussi, Luca 3 Klink, Daniel 3 Sandmann, Werner 2 Andreychenko, Alexander 2 Angius, Alessio 2 Backenköhler, Michael 2 Dayar, Tugrul 2 Horváth, András 2 Jobstmann, Barbara 2 Krüger, Thilo 2 Lück, Alexander 2 Mateescu, Maria 1 Bock, Christoph 1 Didier, Frédéric 1 Fecher, Harald 1 Giehr, Pascal 1 Kurasov, Pavel B. 1 Mugnolo, Delio 1 Neuhäußer, Martin R. 1 Parker, David F. 1 Walter, Jörn all top 5 Serials 1 Advances in Applied Probability 1 Mathematical Biosciences 1 Theoretical Computer Science 1 Information and Computation 1 International Journal of Foundations of Computer Science 1 Applied Mathematical Modelling 1 Formal Methods in System Design 1 Numerical Linear Algebra with Applications 1 ACM Transactions on Modeling and Computer Simulation 1 The Journal of Logic and Algebraic Programming 1 Lecture Notes in Computer Science all top 5 Fields 17 Biology and other natural sciences (92-XX) 16 Probability theory and stochastic processes (60-XX) 12 Computer science (68-XX) 6 Numerical analysis (65-XX) 2 Classical thermodynamics, heat transfer (80-XX) 1 General and overarching topics; collections (00-XX) 1 Mathematical logic and foundations (03-XX) 1 Partial differential equations (35-XX) Publications by Year all cited Publications top 5 cited Publications 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.68053Baier, Christel; Katoen, Joost-Pieter; Hermanns, Holger; Wolf, Verena 25 2005 Don’t know in probabilistic systems. Zbl 1178.68341Fecher, Harald; Leucker, Martin; Wolf, Verena 20 2006 Three-valued abstraction for continuous-time Markov chains. Zbl 1135.68476Katoen, Joost-Pieter; Klink, Daniel; Leucker, Martin; Wolf, Verena 16 2007 Method of conditional moments (MCM) for the chemical master equation. Zbl 1302.92070Hasenauer, J.; Wolf, V.; Kazeroonian, A.; Theis, F. J. 14 2014 Sliding window abstraction for infinite Markov chains. Zbl 1242.60079Henzinger, Thomas A.; Mateescu, Maria; Wolf, Verena 10 2009 Infinite level-dependent QBD processes and matrix-analytic solutions for stochastic chemical kinetics. Zbl 1233.60042Dayar, Tuǧrul; Sandmann, Werner; Spieler, David; Wolf, Verena 7 2011 Three-valued abstraction for probabilistic systems. Zbl 1277.68219Katoen, Joost-Pieter; Klink, Daniel; Leucker, Martin; Wolf, Verena 6 2012 Bounding the equilibrium distribution of Markov population models. Zbl 1265.60148Dayar, T.; Hermanns, H.; Spieler, D.; Wolf, V. 5 2011 Comparative branching-time semantics for Markov chains (extended abstract). Zbl 1274.68264Baier, Christel; Hermanns, Holger; Katoen, Joost-Pieter; Wolf, Verena 5 2003 Model reconstruction for moment-based stochastic chemical kinetics. Zbl 1384.92066Andreychenko, Alexander; Mikeev, Linar; Wolf, Verena 4 2015 On-the-fly verification and optimization of DTA-properties for large Markov chains. Zbl 1291.68295Mikeev, Linar; Neuhäußer, Martin R.; Spieler, David; Wolf, Verena 3 2013 Parameter estimation for stochastic hybrid models of biochemical reaction networks. Zbl 1365.92037Mikeev, Linar; Wolf, Verena 3 2012 Modelling of biochemical reactions by stochastic automata networks. Zbl 1277.68215Wolf, Verena 3 2007 Stochastic hybrid models of gene regulatory networks – a PDE approach. Zbl 1412.35344Kurasov, Pavel; Lück, Alexander; Mugnolo, Delio; Wolf, Verena 2 2018 Approximation of event probabilities in noisy cellular processes. Zbl 1211.92016Didier, Frédéric; Henzinger, Thomas A.; Mateescu, Maria; Wolf, Verena 2 2011 Bisimulation and simulation relations for Markov chains. Zbl 1316.68085Baier, Christel; Hermanns, Holger; Katoen, Joost-Pieter; Wolf, Verena 2 2006 Approximate adaptive uniformization of continuous-time Markov chains. Zbl 07182477Andreychenko, Alexander; Sandmann, Werner; Wolf, Verena 1 2018 Quasi product form approximation for Markov models of reaction networks. Zbl 1381.92023Angius, Alessio; Horváth, András; Wolf, Verena 1 2012 Formalisms for specifying Markovian population models. Zbl 1216.68190Henzinger, Thomas; Jobstmann, Barbara; Wolf, Verena 1 2011 Formalisms for specifying Markovian population models. Zbl 1260.68284Henzinger, Thomas A.; Jobstmann, Barbara; Wolf, Verena 1 2009 Abstraction for stochastic systems by Erlang’s method of stages. Zbl 1160.68469Katoen, Joost-Pieter; Klink, Daniel; Leucker, Martin; Wolf, Verena 1 2008 Computational probability for systems biology. Zbl 1375.92024Sandmann, Werner; Wolf, Verena 1 2008 Stochastic hybrid models of gene regulatory networks – a PDE approach. Zbl 1412.35344Kurasov, Pavel; Lück, Alexander; Mugnolo, Delio; Wolf, Verena 2 2018 Approximate adaptive uniformization of continuous-time Markov chains. Zbl 07182477Andreychenko, Alexander; Sandmann, Werner; Wolf, Verena 1 2018 Model reconstruction for moment-based stochastic chemical kinetics. Zbl 1384.92066Andreychenko, Alexander; Mikeev, Linar; Wolf, Verena 4 2015 Method of conditional moments (MCM) for the chemical master equation. Zbl 1302.92070Hasenauer, 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.68295Mikeev, Linar; Neuhäußer, Martin R.; Spieler, David; Wolf, Verena 3 2013 Three-valued abstraction for probabilistic systems. Zbl 1277.68219Katoen, Joost-Pieter; Klink, Daniel; Leucker, Martin; Wolf, Verena 6 2012 Parameter estimation for stochastic hybrid models of biochemical reaction networks. Zbl 1365.92037Mikeev, Linar; Wolf, Verena 3 2012 Quasi product form approximation for Markov models of reaction networks. Zbl 1381.92023Angius, Alessio; Horváth, András; Wolf, Verena 1 2012 Infinite level-dependent QBD processes and matrix-analytic solutions for stochastic chemical kinetics. Zbl 1233.60042Dayar, Tuǧrul; Sandmann, Werner; Spieler, David; Wolf, Verena 7 2011 Bounding the equilibrium distribution of Markov population models. Zbl 1265.60148Dayar, T.; Hermanns, H.; Spieler, D.; Wolf, V. 5 2011 Approximation of event probabilities in noisy cellular processes. Zbl 1211.92016Didier, Frédéric; Henzinger, Thomas A.; Mateescu, Maria; Wolf, Verena 2 2011 Formalisms for specifying Markovian population models. Zbl 1216.68190Henzinger, Thomas; Jobstmann, Barbara; Wolf, Verena 1 2011 Sliding window abstraction for infinite Markov chains. Zbl 1242.60079Henzinger, Thomas A.; Mateescu, Maria; Wolf, Verena 10 2009 Formalisms for specifying Markovian population models. Zbl 1260.68284Henzinger, Thomas A.; Jobstmann, Barbara; Wolf, Verena 1 2009 Abstraction for stochastic systems by Erlang’s method of stages. Zbl 1160.68469Katoen, Joost-Pieter; Klink, Daniel; Leucker, Martin; Wolf, Verena 1 2008 Computational probability for systems biology. Zbl 1375.92024Sandmann, Werner; Wolf, Verena 1 2008 Three-valued abstraction for continuous-time Markov chains. Zbl 1135.68476Katoen, Joost-Pieter; Klink, Daniel; Leucker, Martin; Wolf, Verena 16 2007 Modelling of biochemical reactions by stochastic automata networks. Zbl 1277.68215Wolf, Verena 3 2007 Don’t know in probabilistic systems. Zbl 1178.68341Fecher, Harald; Leucker, Martin; Wolf, Verena 20 2006 Bisimulation and simulation relations for Markov chains. Zbl 1316.68085Baier, Christel; Hermanns, Holger; Katoen, Joost-Pieter; Wolf, Verena 2 2006 Comparative branching-time semantics for Markov chains. Zbl 1101.68053Baier, Christel; Katoen, Joost-Pieter; Hermanns, Holger; Wolf, Verena 25 2005 Comparative branching-time semantics for Markov chains (extended abstract). Zbl 1274.68264Baier, Christel; Hermanns, Holger; Katoen, Joost-Pieter; Wolf, Verena 5 2003 all cited Publications top 5 cited Publications 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 all top 5 Cited in 34 Serials 12 Theoretical Computer Science 11 Information and Computation 4 Journal of Mathematical Biology 4 Formal Methods in System Design 4 The Journal of Logic and Algebraic Programming 3 Acta Informatica 3 Journal of Applied Probability 3 Annals of Operations Research 2 Advances in Applied Probability 2 Mathematical Biosciences 2 Journal of Computer and System Sciences 2 MSCS. Mathematical Structures in Computer Science 2 ACM Transactions on Modeling and Computer Simulation 1 Information Processing Letters 1 Journal of Computational Physics 1 Journal of the Franklin Institute 1 Applied Mathematics and Computation 1 Automatica 1 BIT 1 Statistics & Probability Letters 1 Computers & Operations Research 1 International Journal of Approximate Reasoning 1 Discrete Event Dynamic Systems 1 Applied Mathematical Modelling 1 SIAM Journal on Scientific Computing 1 Numerical Linear Algebra with Applications 1 Mathematical Problems in Engineering 1 Journal of the ACM 1 Communications in Nonlinear Science and Numerical Simulation 1 Journal of Applied Mathematics and Computing 1 SIAM Journal on Applied Dynamical Systems 1 Multiscale Modeling & Simulation 1 Journal of Physics A: Mathematical and Theoretical 1 Journal of Theoretical Biology all top 5 Cited in 16 Fields 63 Computer science (68-XX) 43 Probability theory and stochastic processes (60-XX) 27 Biology and other natural sciences (92-XX) 12 Numerical analysis (65-XX) 8 Operations research, mathematical programming (90-XX) 6 Mathematical logic and foundations (03-XX) 3 Linear and multilinear algebra; matrix theory (15-XX) 3 Statistics (62-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 3 Systems theory; control (93-XX) 2 Ordinary differential equations (34-XX) 2 Partial differential equations (35-XX) 1 General and overarching topics; collections (00-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Integral equations (45-XX) 1 Mathematics education (97-XX) Citations by Year