Verena Wolf - Google Scholar Citations

Cited by

	All	Since 2015
Citations	1856	929
h-index	23	16
i10-index	36	25

220

110

165

200420052006200720082009201020112012201320142015201620172018201920208 12 22 37 50 73 104 135 141 150 174 193 176 155 182 215 6

Co-authors

Thomas HenzingerIST AustriaVerified email at ist.ac.at
David SpielerProfessor for Machine Learning, Munich University of Applied ScienceVerified email at hm.edu
Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteVerified email at cs.rwth-aachen.de
Christel BaierTU DresdenVerified email at tu-dresden.de
Holger HermannsProfessor of Computer Science, Saarland University, Saarland Informatics CampusVerified email at cs.uni-saarland.de
Martin LeuckerProfessor of Computer Science, University of LübeckVerified email at isp.uni-luebeck.de
Luca BortolussiUniversità di TriesteVerified email at units.it
Werner SandmannSaarland UniversityVerified email at uni-saarland.de
Charalampos KyriakopoulosPhd student, Saarland UniversityVerified email at cs.uni-saarland.de
Tugrul DayarProfessor of Computer Engineering at Bilkent UniversityVerified email at cs.bilkent.edu.tr
Alexander LückPhD Student, Saarland UniversityVerified email at uni-saarland.de
Julia ArandPostdoctoral fellow, Stanford UniversityVerified email at stanford.edu
Fabian J TheisHelmholtz Zentrum München, GermanyVerified email at helmholtz-muenchen.de
Pepijn CrouzenGoogle inc.Verified email at google.com
Barbara JobstmannScientist at EPFLVerified email at epfl.ch
Andras HorvathComputer Science Department, University of Turin, ItalyVerified email at di.unito.it
Alessio AngiusPolitecnico di MilanoVerified email at di.unito.it
Hauke BuschUniversity of LübeckVerified email at uni-luebeck.de
Maksim LapinComputer Vision Scientist, Amazon BerlinVerified email at amazon.com
Martin R. NeuhäußerSiemens AGVerified email at marneu.com

Verena Wolf

Professor of Computer Science, Saarland University, Saarland Informatics Campus

Verified email at cs.uni-saarland.de

Modelling and Simulation Complex Networks Stochastic Modelling Stochastic Systems


Title	Cited by	Year
In vivo control of CpG and non-CpG DNA methylation by DNA methyltransferases J Arand, D Spieler, T Karius, MR Branco, D Meilinger, A Meissner, ... PLoS genetics 8 (6), e1002750, 2012	285	2012
Comparative branching-time semantics for Markov chains C Baier, JP Katoen, H Hermanns, V Wolf Information and computation 200 (2), 149-214, 2005	156	2005
Don’t Know in Probabilistic Systems H Fecher, M Leucker, V Wolf International SPIN Workshop on Model Checking of Software, 71-88, 2006	117	2006
Three-valued abstraction for continuous-time Markov chains JP Katoen, D Klink, M Leucker, V Wolf International Conference on Computer Aided Verification, 311-324, 2007	109	2007
Method of conditional moments (MCM) for the chemical master equation J Hasenauer, V Wolf, A Kazeroonian, FJ Theis Journal of mathematical biology 69 (3), 687-735, 2014	98	2014
Solving the chemical master equation using sliding windows V Wolf, R Goel, M Mateescu, TA Henzinger BMC systems biology 4 (1), 42, 2010	88	2010
Sliding window abstraction for infinite Markov chains TA Henzinger, M Mateescu, V Wolf International Conference on Computer Aided Verification, 337-352, 2009	87	2009
Hybrid numerical solution of the chemical master equation TA Henzinger, L Mikeev, M Mateescu, V Wolf Proceedings of the 8th International Conference on Computational Methods in …, 2010	55	2010
Fast adaptive uniformization of the chemical master equation F Didier, TA Henzinger, M Mateescu, V Wolf 2009 International Workshop on High Performance Computational Systems …, 2009	54	2009
Fast adaptive uniformisation of the chemical master equation M Mateescu, V Wolf, F Didier, TA Henzinger IET systems biology 4 (6), 441-452, 2010	53	2010
Three-valued abstraction for probabilistic systems JP Katoen, D Klink, M Leucker, V Wolf The Journal of Logic and Algebraic Programming 81 (4), 356-389, 2012	43	2012
Formalisms for specifying Markovian population models T Henzinger, B Jobstmann, V Wolf International Journal of Foundations of Computer Science 22 (04), 823-841, 2011	42	2011
Formalisms for specifying Markovian population models T Henzinger, B Jobstmann, V Wolf International Journal of Foundations of Computer Science 22 (04), 823-841, 2011	42	2011
Comparative branching-time semantics for Markov chains C Baier, H Hermanns, JP Katoen, V Wolf International Conference on Concurrency Theory, 492-507, 2003	41	2003
Bounding the equilibrium distribution of Markov population models T Dayar, H Hermanns, D Spieler, V Wolf Numerical linear algebra with applications 18 (6), 931-946, 2011	38	2011
Trace machines for observing continuous-time Markov chains V Wolf, C Baier, M Majster-Cederbaum Electronic Notes in Theoretical Computer Science 153 (2), 259-277, 2006	34	2006
Stochastic reasoning about channel-based component connectors C Baier, V Wolf International Conference on Coordination Languages and Models, 1-15, 2006	33	2006
Recombinant service systems engineering D Beverungen, H Lüttenberg, V Wolf Business & Information Systems Engineering 60 (5), 377-391, 2018	32	2018
Parameter identification for Markov models of biochemical reactions A Andreychenko, L Mikeev, D Spieler, V Wolf International Conference on Computer Aided Verification, 83-98, 2011	29	2011
A numerical aggregation algorithm for the enzyme-catalyzed substrate conversion H Busch, W Sandmann, V Wolf International Conference on Computational Methods in Systems Biology, 298-311, 2006	29	2006

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors