researchr

explore
calendar
search

You are not signed in
Sign in
Sign up

All Publications

Unidentified publications

Filter by Year

Filter by Type

Filter by Topic

Filter by Venue

Filter by Co-author

Filter by Top terms

Download

BibTeX
Compact BibTeX
RSS
HTML
YAML
Compact YAML

External Links

Homepage

Profile Name

verenawolf

Statistics

Publications: 0
Edited: 0
Credit: 0

Aliases

Wolf, V.
Wolf, Verena
V. Wolf
Wolf
Verena Wolf

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Verena Wolf's Profile

Publications

Unidentified Publications

Publications with a 'Verena Wolf' as author, editor, or advisor:

Calliope miniKerstin Reese, Verena Wolf. login, 38(1):108-111, 2017. [doi]
"Sie werden eh einen Weg finden, um es zu umgehen" - Ein führender Automobilhersteller kämpft mit Datensicherheit in der NeuproduktentwicklungRamona Weber, Chris C. Gernreich, Verena Wolf. hmd, 59(4):1101-1116, 2022. [doi]
Numerical Approximation of Rare Event Probabilities in Biochemically Reacting SystemsLinar Mikeev, Werner Sandmann, Verena Wolf. cmsb 2013: 5-18 [doi]
Abstraction-Guided Truncations for Stationary Distributions of Markov Population ModelsMichael Backenköhler, Luca Bortolussi, Gerrit Großmann, Verena Wolf. qest 2021: 351-371 [doi]
Sliding Window Abstraction for Infinite Markov ChainsThomas A. Henzinger, Maria Mateescu, Verena Wolf. cav 2009: 337-352 [doi]
Generalized method of moments for estimating parameters of stochastic reaction networksAlexander Lück, Verena Wolf. bmcsb, 10:98, 2016. [doi]
Bisimulation and Simulation Relations for Markov ChainsChristel Baier, Holger Hermanns, Joost-Pieter Katoen, Verena Wolf. ENTCS, 162:73-78, 2006. [doi]
Analysis of Markov Jump Processes under Terminal ConstraintsMichael Backenköhler, Luca Bortolussi, Gerrit Großmann, Verena Wolf. TACAS 2021: 210-229 [doi]
::::Don t Know:::: in Probabilistic SystemsHarald Fecher, Martin Leucker, Verena Wolf. spin 2006: 71-88 [doi]
Hybrid Stochastic Simulation of Rule-Based Polymerization ModelsThilo Krüger, Verena Wolf. hsb 2016: 39-53 [doi]
Modelling of Biochemical Reactions by Stochastic Automata NetworksVerena Wolf. ENTCS, 171(2):197-208, 2007. [doi]
Computational Probability for Systems BiologyWerner Sandmann, Verena Wolf. fmsb 2008: 33-47 [doi]
A Numerical Aggregation Algorithm for the Enzyme-Catalyzed Substrate ConversionHauke Busch, Werner Sandmann, Verena Wolf. cmsb 2006: 298-311 [doi]
DSMC Evaluation Stages: Fostering Robust and Safe Behavior in Deep Reinforcement Learning - Extended VersionTimo P. Gros, Joschka Groß, Daniel Höller, Jörg Hoffmann 0001, Michaela Klauck, Hendrik Meerkamp, Nicola J. Müller, Lukas Schaller, Verena Wolf. tomacs, 33(4), October 2023. [doi]
InfoLab Saar - Schülerlabor Informatik der Universität des SaarlandesNadine Kirsch, Kerstin Reese, Verena Wolf. gi 2021: 1653-1656 [doi]
Testing Theory for Probabilistic SystemsVerena Wolf. Dagstuhl 2005: 233-275 [doi]
Importance of Interaction Structure and Stochasticity for Epidemic Spreading: A COVID-19 Case StudyGerrit Großmann, Michael Backenköhler, Verena Wolf. qest 2020: 211-229 [doi]
Model Reconstruction for Moment-Based Stochastic Chemical KineticsAlexandr Andreychenko, Linar Mikeev, Verena Wolf. tomacs, 25(2):12, 2015. [doi]
On the Numerical Analysis of Stochastic Lotka-Volterra ModelsTugrul Dayar, Linar Mikeev, Verena Wolf. imcsit 2010: 289-296 [doi]
Interaction Models for Biochemical ReactionsMila E. Majster-Cederbaum, Nils Semmelrock, Verena Wolf. psb 2007: 480-486
Understanding Smart Service Systems Transformation - A Socio-Technical PerspectiveVerena Wolf. ecis 2020: [doi]
Efficient calculation of rare event probabilities in Markovian queueing networksLinar Mikeev, Werner Sandmann, Verena Wolf. valuetools 2011: 186-196 [doi]
On-the-fly verification and optimization of DTA-properties for large Markov chainsLinar Mikeev, Martin R. Neuhäußer, David Spieler, Verena Wolf. fmsd, 43(2):313-337, 2013. [doi]
Data-Driven Approach Towards a Personalized CurriculumMichael Backenköhler, Felix Scherzinger, Adish Singla, Verena Wolf. edm 2018: [doi]
Rejection-Based Simulation of Stochastic Spreading Processes on Complex NetworksGerrit Großmann, Verena Wolf. hsb 2019: 63-79 [doi]
Comparative Branching-Time SemanticsChristel Baier, Holger Hermanns, Joost-Pieter Katoen, Verena Wolf. concur 2003: 482-497 [doi]
Unsupervised relational inference using masked reconstructionGerrit Großmann, Julian Zimmerlin, Michael Backenköhler, Verena Wolf. ans, 8(1):18, December 2023. [doi]
A Hybrid HMM Approach for the Dynamics of DNA MethylationCharalampos Kyriakopoulos, Pascal Giehr, Alexander Lück, Jörn Walter, Verena Wolf. hsb 2019: 117-131 [doi]
Approximation of Event Probabilities in Noisy Cellular ProcessesFrÃ©dÃ©ric Didier, Thomas A. Henzinger, Maria Mateescu, Verena Wolf. cmsb 2009: 173-188 [doi]
Rejection-Based Simulation of Non-Markovian Agents on Complex NetworksGerrit Großmann, Luca Bortolussi, Verena Wolf. complexnetworks 2020: 349-361 [doi]
Formalisms for Specifying Markovian Population ModelsThomas A. Henzinger, Barbara Jobstmann, Verena Wolf. ijfcs, 22(4):823-841, 2011. [doi]
DSMC Evaluation Stages: Fostering Robust and Safe Behavior in Deep Reinforcement LearningTimo P. Gros, Daniel Höller, Jörg Hoffmann 0001, Michaela Klauck, Hendrik Meerkamp, Verena Wolf. qest 2021: 197-216 [doi]
Hybrid numerical solution of the chemical master equationThomas A. Henzinger, Linar Mikeev, Maria Mateescu, Verena Wolf. cmsb 2010: 55-65 [doi]
Workarounds as generative mechanisms for bottom-up process innovation - Insights from a multiple case studyChristian Bartelheimer, Verena Wolf, Daniel Beverungen. isj, 33(5):1085-1150, September 2023. [doi]
Student Performance Prediction and Optimal Course Selection: An MDP ApproachMichael Backenköhler, Verena Wolf. SEFM 2018: 40-47 [doi]
Digitalization of Work Systems - An Organizational Routines' PerspectiveVerena Wolf, Christian Bartelheimer, Daniel Beverungen. hicss 2018: 1-10 [doi]
Real-Time Decision Making for a Car Manufacturing Process Using Deep Reinforcement LearningTimo P. Gros, Joschka Groß, Verena Wolf. wsc 2020: 3032-3044 [doi]
Variance Reduction in Stochastic Reaction Networks Using Control VariatesMichael Backenköhler, Luca Bortolussi, Verena Wolf. BIRTHDAY 2022: 456-474 [doi]
The Influence of Hydroxylation on Maintaining CpG Methylation Patterns: A Hidden Markov Model ApproachPascal Giehr, Charalampos Kyriakopoulos, Gabriella Ficz, Verena Wolf, Jörn Walter. ploscb, 12(5), 2016. [doi]
Trace Semantics for Stochastic Systems with NondeterminismVerena Wolf, Christel Baier, Mila E. Majster-Cederbaum. ENTCS, 164(3):187-204, 2006. [doi]
Trace Machines for Observing Continuous-Time Markov ChainsVerena Wolf, Christel Baier, Mila E. Majster-Cederbaum. ENTCS, 153(2):259-277, 2006. [doi]
Bounding Mean First Passage Times in Population Continuous-Time Markov ChainsMichael Backenköhler, Luca Bortolussi, Verena Wolf. qest 2020: 155-174 [doi]
Approximate Transient Analysis of Queuing Networks by Quasi Product FormsAlessio Angius, András Horváth, Verena Wolf. asmta 2013: 22-36 [doi]
Generalized Method of Moments for Stochastic Reaction Networks in EquilibriumMichael Backenköhler, Luca Bortolussi, Verena Wolf. cmsb 2016: 15-29 [doi]
Simulating the Large-Scale Erosion of Genomic Privacy Over TimeMichael Backes 0001, Pascal Berrang, Mathias Humbert, Xiaoyu Shen, Verena Wolf. tcbb, 15(5):1405-1412, 2018. [doi]
Quantitative Evaluation of Systems, 16th International Conference, QEST 2019, Glasgow, UK, September 10-12, 2019, ProceedingsDavid Parker 0001, Verena Wolf, editors, Volume 11785 of Lecture Notes in Computer Science, Springer, 2019. [doi]
Moment-Based Parameter Estimation for Stochastic Reaction Networks in EquilibriumMichael Backenköhler, Luca Bortolussi, Verena Wolf. tcbb, 15(4):1180-1192, 2018. [doi]
Model-Based Whole-Genome Analysis of DNA Methylation FidelityChristoph Bock, Luca Bortolussi, Thilo Krüger, Linar Mikeev, Verena Wolf. hsb 2015: 141-155 [doi]
Learning Vaccine Allocation from SimulationsGerrit Großmann, Michael Backenköhler, Jonas Klesen, Verena Wolf. complexnetworks 2021: 432-443 [doi]
H(O)TA: estimation of DNA methylation and hydroxylation levels and efficiencies from time course dataCharalampos Kyriakopoulos, Pascal Giehr, Verena Wolf. bioinformatics, 33(11):1733-1734, 2017. [doi]
Approximation of event probabilities in noisy cellular processesFrédéric Didier, Thomas A. Henzinger, Maria Mateescu, Verena Wolf. TCS, 412(21):2128-2141, 2011. [doi]
Informatikunterricht in der Grundschule? - Erprobung und Auswertung eines Unterrichtsmoduls mit Calliope miniKevin Baum, Nadine Kirsch, Kerstin Reese, Pascal Schmidt, Lukas Wachter, Verena Wolf. schule 2019: 49-58 [doi]
The Impact of Process Automation on Manufacturers' Long-Term KnowledgeChris C. Gernreich, Christian Bartelheimer, Verena Wolf, Christopher Prinz. icis 2018: [doi]
Three-Valued Abstraction for Continuous-Time Markov ChainsJoost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf. cav 2007: 311-324 [doi]
Formalisms for Specifying Markovian Population ModelsThomas A. Henzinger, Barbara Jobstmann, Verena Wolf. rp 2009: 3-23 [doi]
Detecting Workarounds in Business Processes - a Deep Learning method for Analyzing Event LogsSven Weinzierl, Verena Wolf, Tobias Pauli, Daniel Beverungen, Martin Matzner. ecis 2020: [doi]
Recombinant Service Systems EngineeringDaniel Beverungen, Hedda Lüttenberg, Verena Wolf. bise, 60(5):377-391, 2018. [doi]
Recombinant Service System EngineeringDaniel Beverungen, Hedda Lüttenberg, Verena Wolf. wirtschaftsinformatik 2017: [doi]
Bounding the equilibrium distribution of Markov population modelsTugrul Dayar, Holger Hermanns, David Spieler, Verena Wolf. nla, 18(6):931-946, 2011. [doi]
Establishing Smart Service Systems is a Challenge: A Case Study on Pitfalls and ImplicationsVerena Wolf, Alena Franke, Christian Bartelheimer, Daniel Beverungen. In Wirtschaftsinformatik (Community Tracks). 2020: 103-119 [doi]
Calliope miniPascal Schmidt, Anselm Lambert, Kerstin Reese, Verena Wolf. login, 38(1):86-91, 2017. [doi]
XAI Requirements in Smart Production Processes: A Case StudyDeborah Baum, Kevin Baum 0001, Timo P. Gros, Verena Wolf. xai 2023: 3-24 [doi]
Computational Methods in Systems Biology - 18th International Conference, CMSB 2020, Konstanz, Germany, September 23-25, 2020, ProceedingsAlessandro Abate, Tatjana Petrov, Verena Wolf, editors, Volume 12314 of Lecture Notes in Computer Science, Springer, 2020. [doi]
Hidden Markov Modelling Reveals Neighborhood Dependence of Dnmt3a and 3b ActivityAlexander Lück, Pascal Giehr, Karl Nordström, Jörn Walter, Verena Wolf. tcbb, 16(5):1598-1609, 2019. [doi]
Introduction to the Special Issue on QEST 2019David Parker 0001, Verena Wolf. tomacs, 31(3), 2021. [doi]
Comparative branching-time semantics for Markov chainsChristel Baier, Joost-Pieter Katoen, Holger Hermanns, Verena Wolf. iandc, 200(2):149-214, 2005. [doi]
Approximate maximum likelihood estimation for stochastic chemical kineticsAleksander Andreychenko, Linar Mikeev, David Spieler, Verena Wolf. ejbsb, 2012:9, 2012. [doi]
Three-valued abstraction for probabilistic systemsJoost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf. jlp, 81(4):356-389, 2012. [doi]
SHAVE: stochastic hybrid analysis of markov population modelsMaksim Lapin, Linar Mikeev, Verena Wolf. hybrid 2011: 311-312 [doi]
Designing Digital Community Service Platforms for Crowd-Based Services in Urban AreasChristian Bartelheimer, Verena Wolf, Nico Langhorst, Florian Seegers. desrist 2020: 35-41 [doi]
Optimal Observation Time Points in Stochastic Chemical KineticsCharalampos Kyriakopoulos, Verena Wolf. hsb 2015: 83-96 [doi]
Parameter estimation for stochastic hybrid models of biochemical reaction networksLinar Mikeev, Verena Wolf. hybrid 2012: 155-166 [doi]
Tracking the Race Between Deep Reinforcement Learning and Imitation LearningTimo P. Gros, Daniel Höller, Jörg Hoffmann 0001, Verena Wolf. qest 2020: 11-17 [doi]
Quasi Product Form Approximation for Markov Models of Reaction NetworksAlessio Angius, András Horváth, Verena Wolf. TCSB, 14:26-52, 2012. [doi]
Abstraction for Stochastic Systems by Erlang s Method of StagesJoost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf. concur 2008: 279-294 [doi]
The MILESTONES modeling framework: An integrated analysis of national bioenergy strategies and their global environmental impactsDaniela Thrän, Rüdiger Schaldach, Markus Millinger, Verena Wolf, Oliver Arendt, Jens Ponitka, Sven Gärtner, Nils Rettenmaier, Klaus Hennenberg, Jan Schüngel. envsoft, 86:14-29, 2016. [doi]
Bounding First Passage Times in Chemical Reaction Networks - Poster AbstractMichael Backenköhler, Luca Bortolussi, Verena Wolf. cmsb 2019: 379-382 [doi]
Seven Paradoxes of Business Process Management in a Hyper-Connected WorldDaniel Beverungen, Joos C. A. M. Buijs, Jörg Becker 0001, Claudio Di Ciccio, Wil M. P. van der Aalst, Christian Bartelheimer, Jan vom Brocke, Marco Comuzzi, Karsten Kraume, Henrik Leopold, Martin Matzner, Jan Mendling, Nadine Ogonek, Till Post, Manuel Resinas, Kate Revoredo, Adela del-Río-Ortega, Marcello La Rosa, Flávia Maria Santoro, Andreas Solti, Minseok Song 0001, Armin Stein, Matthias Stierle, Verena Wolf. bise, 63(2):145-156, 2021. [doi]
MoGym: Using Formal Models for Training and Verifying Decision-making AgentsTimo P. Gros, Holger Hermanns, Jörg Hoffmann 0001, Michaela Klauck, Maximilian A. Köhl, Verena Wolf. cav 2022: 430-443 [doi]
Efficient Steady State Analysis of Multimodal Markov ChainsDavid Spieler, Verena Wolf. asmta 2013: 380-395 [doi]
SABRE: A Tool for Stochastic Analysis of Biochemical Reaction NetworksFrédéric Didier, Thomas A. Henzinger, Maria Mateescu, Verena Wolf. qest 2010: 193-194 [doi]
Capabilities for Ambidextrous Innovation of Digital ServiceVerena Wolf, Hedda Lüttenberg. In Wirtschaftsinformatik (Zentrale Tracks). 2020: 1132-1138 [doi]
Solving the chemical master equation using sliding windowsVerena Wolf, Rushil Goel, Maria Mateescu, Thomas A. Henzinger. bmcsb, 4:42, 2010. [doi]
Stochastic Reasoning About Channel-Based Component ConnectorsChristel Baier, Verena Wolf. coordination 2006: 1-15 [doi]
A Stochastic Automata Network Description for Spatial DNA-Methylation ModelsAlexander Lück, Verena Wolf. mmb 2020: 54-64 [doi]
Ambidexterity in Service Innovation Research: A Systematic Literature ReviewVerena Wolf. wirtschaftsinformatik 2019: 751-765 [doi]
Conceptualizing the Impact of Workarounds - an Organizational Routines' PerspectiveVerena Wolf, Daniel Beverungen. ecis 2019: [doi]
Parameter Identification for Markov Models of Biochemical ReactionsAleksander Andreychenko, Linar Mikeev, David Spieler, Verena Wolf. cav 2011: 83-98 [doi]
Lumping the Approximate Master Equation for Multistate Processes on Complex NetworksGerrit Großmann, Charalampos Kyriakopoulos, Luca Bortolussi, Verena Wolf. qest 2018: 157-172 [doi]
Epidemic overdispersion strengthens the effectiveness of mobility restrictionsGerrit Großmann, Michael Backenköhler, Verena Wolf. hybrid 2021: [doi]
Rule-based modelling and simulation of drug-administration policiesLuca Bortolussi, Thilo Krüger, Thorsten Lehr, Verena Wolf. springsim 2015: 53-60 [doi]
A Stochastic Model for the Formation of Spatial Methylation PatternsAlexander Lück, Pascal Giehr, Jörn Walter, Verena Wolf. cmsb 2017: 160-178 [doi]
Control Variates for Stochastic Simulation of Chemical Reaction NetworksMichael Backenköhler, Luca Bortolussi, Verena Wolf. cmsb 2019: 42-59 [doi]

About
Contact
Credits
Help
Web Service API
Blog
FAQ
Feedback

runs on WebDSL