Verena Wolf

Citat de

	Toate	Din 2020
Referințe bibliografice	2840	956
h-index	26	14
i10-index	58	32

220

110

165

20042005200620072008200920102011201220132014201520162017201820192020202120222023202420257 12 24 40 57 68 109 128 143 153 182 195 182 178 189 177 198 186 204 154 192 20

Acces public

Afișați-le pe toate

49 de articole

4 articole

disponibile

indisponibile

Pe baza cerințelor privind finanțarea

Coautori

Michael BackenköhlerSaarland University, Helmholtz Institute for Pharmaceutical Research SaarlandAdresă de e-mail confirmată pe uni-saarland.de
Thomas HenzingerIST AustriaAdresă de e-mail confirmată pe ist.ac.at
Dr. Gerrit GroßmannDFKI, Saarland UniversityAdresă de e-mail confirmată pe dfki.de
David SpielerProfessor of Computer Science - Machine Learning, Munich University of Applied ScienceAdresă de e-mail confirmată pe hm.edu
Jörn WalterProfessor of Genetics & Epigenetics, Saarland UniveristyAdresă de e-mail confirmată pe mx.uni-saarland.de
Luca BortolussiUniversità di TriesteAdresă de e-mail confirmată pe units.it
Christel BaierTU DresdenAdresă de e-mail confirmată pe tu-dresden.de
Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteAdresă de e-mail confirmată pe cs.rwth-aachen.de
Holger HermannsProfessor of Computer Science, Saarland University, Saarland Informatics CampusAdresă de e-mail confirmată pe cs.uni-saarland.de
Timo P. GrosGerman Research Center for Artificial Intelligence (DFKI)Adresă de e-mail confirmată pe dfki.de
Werner SandmannSaarland UniversityAdresă de e-mail confirmată pe uni-saarland.de
Pascal GiehrJunior Group Leader, LMU MunichAdresă de e-mail confirmată pe lmu.de
Julia ArandPostdoctoral fellow, Medical University ViennaAdresă de e-mail confirmată pe meduniwien.ac.at
Martin LeuckerProfessor of Computer Science, University of LübeckAdresă de e-mail confirmată pe isp.uni-luebeck.de
Charalampos KyriakopoulosMachine Learning R&D, Bristol Myers SquibbAdresă de e-mail confirmată pe cs.uni-saarland.de
Alexander LückPhD Student, Saarland UniversityAdresă de e-mail confirmată pe uni-saarland.de
Joerg HoffmannProfessor, Saarland Informatics Campus, Saarland University and German Research Center for AI (DFKI)Adresă de e-mail confirmată pe cs.uni-saarland.de
Daniel HöllerSaarland University, Saarland Informatics CampusAdresă de e-mail confirmată pe cs.uni-saarland.de
Gabriella FiczReader and Principal Investigator, Barts Cancer InstituteAdresă de e-mail confirmată pe qmul.ac.uk
Michaela KlauckRobert Bosch GmbH - Bosch Research, Saarland University, Saarland Informatics CampusAdresă de e-mail confirmată pe de.bosch.com

Urmăriți

Verena Wolf

Professor of Computer Science, Saarland University, Saarland Informatics Campus

Adresă de e-mail confirmată pe dfki.de

Stochastic Modelling Neuro-explicit AI Reinforcement Learning Stochastic Systems


Titlu Sortați după descrierea bibliografică Sortați după an Sortați după titlu	Citat de Citat de	Anul
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	117	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	57	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	42	2021
Generalized method of moments for estimating parameters of stochastic reaction networks A Lück, V Wolf BMC systems biology 10, 1-12, 2016	41	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

Sistemul nu poate realiza operația în acest moment. Încercați din nou mai târziu.

Articole 1–20

Referințe bibliografice pe an

Citate duplicat

Citate fuzionate

Adăugați coautoriCoautori

Urmăriți

Citat de

Coautori