Verena Wolf

Cytowane przez

	Wszystkie	Od 2020
Cytowania	2851	967
h-indeks	26	14
i10-indeks	58	32

220

110

165

20052006200720082009201020112012201320142015201620172018201920202021202220232024202512 24 40 57 68 109 129 142 153 182 195 182 178 189 177 199 185 204 154 191 32

Dostęp publiczny

Wyświetl wszystko

49 artykułów

4 artykuły

dostępne

niedostępne

Objęte finansowaniem

Współautorzy

Michael BackenköhlerSaarland University, Helmholtz Institute for Pharmaceutical Research SaarlandZweryfikowany adres z uni-saarland.de
Thomas HenzingerIST AustriaZweryfikowany adres z ist.ac.at
Dr. Gerrit GroßmannDFKI, Saarland UniversityZweryfikowany adres z dfki.de
David SpielerProfessor of Computer Science - Machine Learning, Munich University of Applied ScienceZweryfikowany adres z hm.edu
Jörn WalterProfessor of Genetics & Epigenetics, Saarland UniveristyZweryfikowany adres z mx.uni-saarland.de
Luca BortolussiUniversità di TriesteZweryfikowany adres z units.it
Christel BaierTU DresdenZweryfikowany adres z tu-dresden.de
Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteZweryfikowany adres z cs.rwth-aachen.de
Holger HermannsProfessor of Computer Science, Saarland University, Saarland Informatics CampusZweryfikowany adres z cs.uni-saarland.de
Timo P. GrosGerman Research Center for Artificial Intelligence (DFKI)Zweryfikowany adres z dfki.de
Werner SandmannSaarland UniversityZweryfikowany adres z uni-saarland.de
Pascal GiehrJunior Group Leader, LMU MunichZweryfikowany adres z lmu.de
Julia ArandPostdoctoral fellow, Medical University ViennaZweryfikowany adres z meduniwien.ac.at
Martin LeuckerProfessor of Computer Science, University of LübeckZweryfikowany adres z isp.uni-luebeck.de
Charalampos KyriakopoulosMachine Learning R&D, Bristol Myers SquibbZweryfikowany adres z cs.uni-saarland.de
Alexander LückPhD Student, Saarland UniversityZweryfikowany adres z uni-saarland.de
Joerg HoffmannProfessor, Saarland Informatics Campus, Saarland University and German Research Center for AI (DFKI)Zweryfikowany adres z cs.uni-saarland.de
Daniel HöllerSaarland University, Saarland Informatics CampusZweryfikowany adres z cs.uni-saarland.de
Gabriella FiczReader and Principal Investigator, Barts Cancer InstituteZweryfikowany adres z qmul.ac.uk
Michaela KlauckRobert Bosch GmbH - Bosch Research, Saarland University, Saarland Informatics CampusZweryfikowany adres z de.bosch.com

Obserwuj

Verena Wolf

Professor of Computer Science, Saarland University, Saarland Informatics Campus

Zweryfikowany adres z dfki.de

Stochastic Modelling Neuro-explicit AI Reinforcement Learning Stochastic Systems


Tytuł Sortuj wg cytatów Sortuj wg roku Sortuj wg tytułu	Cytowane przez Cytowane przez	Rok
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	481	2012
Comparative branching-time semantics for Markov chains C Baier, JP Katoen, H Hermanns, V Wolf Information and computation 200 (2), 149-214, 2005	186	2005
Method of conditional moments (MCM) for the Chemical Master Equation: A unified framework for the method of moments and hybrid stochastic-deterministic models J Hasenauer, V Wolf, A Kazeroonian, FJ Theis Journal of mathematical biology 69 (3), 687-735, 2014	142	2014
Don’t Know in Probabilistic Systems H Fecher, M Leucker, V Wolf Model Checking Software: 13th International SPIN Workshop, Vienna, Austria …, 2006	127	2006
Solving the chemical master equation using sliding windows V Wolf, R Goel, M Mateescu, TA Henzinger BMC systems biology 4, 1-19, 2010	125	2010
Three-valued abstraction for continuous-time Markov chains JP Katoen, D Klink, M Leucker, V Wolf Computer Aided Verification: 19th International Conference, CAV 2007, Berlin …, 2007	118	2007
Sliding window abstraction for infinite Markov chains TA Henzinger, M Mateescu, V Wolf International Conference on Computer Aided Verification, 337-352, 2009	111	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	72	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	66	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	65	2010
Formalisms for specifying Markovian population models T Henzinger, B Jobstmann, V Wolf International Journal of Foundations of Computer Science 22 (04), 823-841, 2011	58	2011
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	56	2012
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	48	2011
Comparative branching-time semantics for Markov chains C Baier, H Hermanns, JP Katoen, V Wolf International Conference on Concurrency Theory, 492-507, 2003	45	2003
Infinite level-dependent QBD processes and matrix-analytic solutions for stochastic chemical kinetics T Dayar, W Sandmann, D Spieler, V Wolf Advances in Applied Probability 43 (4), 1005-1026, 2011	44	2011
Heterogeneity matters: Contact structure and individual variation shape epidemic dynamics G Großmann, M Backenköhler, V Wolf Plos one 16 (7), e0250050, 2021	43	2021
Generalized method of moments for estimating parameters of stochastic reaction networks A Lück, V Wolf BMC systems biology 10, 1-12, 2016	42	2016
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	41	2006
Parameter identification for Markov models of biochemical reactions A Andreychenko, L Mikeev, D Spieler, V Wolf Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011	40	2011
Stochastic reasoning about channel-based component connectors C Baier, V Wolf Coordination Models and Languages: 8th International Conference …, 2006	40	2006

Nie można teraz wykonać tej operacji. Spróbuj ponownie później.

Prace 1–20

Cytowania rocznie

Powielone cytowania

Scalone cytowania

Dodaj współautorówWspółautorzy

Obserwuj

Cytowane przez

Współautorzy