Verena Wolf

ORCID

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 63

Top Venues

Publications

Michael Backenköhler, Joschka Groß, Verena Wolf, Andrea Volkamer
Guided Docking as a Data Generation Approach Facilitates Structure-Based Machine Learning on Kinases. J. Chem. Inf. Model. 64 (10) (2024)
Deborah Baum, Kevin Baum, Timo P. Gros, Verena Wolf
XAI Requirements in Smart Production Processes: A Case Study. xAI (1) (2023)
Gerrit Großmann, Julian Zimmerlin, Michael Backenköhler, Verena Wolf
Unsupervised relational inference using masked reconstruction. Appl. Netw. Sci. 8 (1) (2023)
Timo P. Gros, Joschka Groß, Daniel Höller, Jörg Hoffmann, Michaela Klauck, Hendrik Meerkamp, Nicola J. Müller, Lukas Schaller, Verena Wolf
DSMC Evaluation Stages: Fostering Robust and Safe Behavior in Deep Reinforcement Learning - Extended Version. ACM Trans. Model. Comput. Simul. 33 (4) (2023)
Christian Bartelheimer, Verena Wolf, Daniel Beverungen
Workarounds as generative mechanisms for bottom-up process innovation - Insights from a multiple case study. Inf. Syst. J. 33 (5) (2023)
Timo P. Gros, Holger Hermanns, Jörg Hoffmann, Michaela Klauck, Maximilian A. Köhl, Verena Wolf
MoGym: Using Formal Models for Training and Verifying Decision-making Agents. CAV (2) (2022)
Ramona Weber, Chris C. Gernreich, Verena Wolf
"Sie werden eh einen Weg finden, um es zu umgehen" - Ein führender Automobilhersteller kämpft mit Datensicherheit in der Neuproduktentwicklung. HMD Prax. Wirtsch. 59 (4) (2022)
Michael Backenköhler, Luca Bortolussi, Verena Wolf
Variance Reduction in Stochastic Reaction Networks Using Control Variates. Principles of Systems Design (2022)
Michael Backenköhler, Luca Bortolussi, Verena Wolf
Variance Reduction in Stochastic Reaction Networks using Control Variates. CoRR (2021)
Michael Backenköhler, Luca Bortolussi, Gerrit Großmann, Verena Wolf
Abstraction-Guided Truncations for Stationary Distributions of Markov Population Models. CoRR (2021)
Gerrit Großmann, Julian Zimmerlin, Michael Backenköhler, Verena Wolf
GINA: Neural Relational Inference From Independent Snapshots. CoRR (2021)
Michael Backenköhler, Luca Bortolussi, Gerrit Großmann, Verena Wolf
Analysis of Markov Jump Processes under Terminal Constraints. TACAS (1) (2021)
Daniel Beverungen, Joos C. A. M. Buijs, Jörg Becker, 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, Armin Stein, Matthias Stierle, Verena Wolf
Seven Paradoxes of Business Process Management in a Hyper-Connected World. Bus. Inf. Syst. Eng. 63 (2) (2021)
Gerrit Großmann, Michael Backenköhler, Verena Wolf
Epidemic overdispersion strengthens the effectiveness of mobility restrictions. HSCC (2021)
David Parker, Verena Wolf
Introduction to the Special Issue on QEST 2019. ACM Trans. Model. Comput. Simul. 31 (3) (2021)
Nadine Kirsch, Kerstin Reese, Verena Wolf
InfoLab Saar - Schülerlabor Informatik der Universität des Saarlandes. GI-Jahrestagung (2021)
Timo P. Gros, Daniel Höller, Jörg Hoffmann, Michaela Klauck, Hendrik Meerkamp, Verena Wolf
DSMC Evaluation Stages: Fostering Robust and Safe Behavior in Deep Reinforcement Learning. QEST (2021)
Michael Backenköhler, Luca Bortolussi, Gerrit Großmann, Verena Wolf
Abstraction-Guided Truncations for Stationary Distributions of Markov Population Models. QEST (2021)
Christian Bartelheimer, Verena Wolf, Nico Langhorst, Florian Seegers
Designing Digital Community Service Platforms for Crowd-Based Services in Urban Areas. DESRIST (2020)
Timo P. Gros, Joschka Groß, Verena Wolf
Real-Time Decision Making for a Car Manufacturing Process Using Deep Reinforcement Learning. WSC (2020)
Verena Wolf
Understanding Smart Service Systems Transformation - A Socio-Technical Perspective. ECIS (2020)
Timo P. Gros, Daniel Höller, Jörg Hoffmann, Verena Wolf
Tracking the Race Between Deep Reinforcement Learning and Imitation Learning - Extended Version. CoRR (2020)
Gerrit Großmann, Michael Backenköhler, Jonas Klesen, Verena Wolf
Learning Vaccine Allocation from Simulations. COMPLEX NETWORKS (1) (2020)
Michael Backenköhler, Luca Bortolussi, Gerrit Großmann, Verena Wolf
Analysis of Markov Jump Processes under Terminal Constraints. CoRR (2020)
Sven Weinzierl, Verena Wolf, Tobias Pauli, Daniel Beverungen, Martin Matzner
Detecting Workarounds in Business Processes - a Deep Learning method for Analyzing Event Logs. ECIS (2020)
Verena Wolf, Hedda Lüttenberg
Capabilities for Ambidextrous Innovation of Digital Service. Wirtschaftsinformatik (Zentrale Tracks) (2020)
Timo P. Gros, Daniel Höller, Jörg Hoffmann, Verena Wolf
Tracking the Race Between Deep Reinforcement Learning and Imitation Learning. QEST (2020)
Verena Wolf, Alena Franke, Christian Bartelheimer, Daniel Beverungen
Establishing Smart Service Systems is a Challenge: A Case Study on Pitfalls and Implications. Wirtschaftsinformatik (Community Tracks) (2020)
Michael Backenköhler, Luca Bortolussi, Verena Wolf
Bounding Mean First Passage Times in Population Continuous-Time Markov Chains. QEST (2020)
Gerrit Großmann, Michael Backenköhler, Verena Wolf
Importance of Interaction Structure and Stochasticity for Epidemic Spreading: A COVID-19 Case Study. QEST (2020)
Alexander Lück, Verena Wolf
A Stochastic Automata Network Description for Spatial DNA-Methylation Models. MMB (2020)
Michael Backenköhler, Luca Bortolussi, Verena Wolf
Bounding First Passage Times in Chemical Reaction Networks - Poster Abstract. CMSB (2019)
Gerrit Großmann, Luca Bortolussi, Verena Wolf
Rejection-Based Simulation of Non-Markovian Agents on Complex Networks. CoRR (2019)
Verena Wolf, Daniel Beverungen
Conceptualizing the Impact of Workarounds - an Organizational Routines' Perspective. ECIS (2019)
Gerrit Großmann, Verena Wolf
Rejection-Based Simulation of Stochastic Spreading Processes on Complex Networks. HSB (2019)
Charalampos Kyriakopoulos, Pascal Giehr, Alexander Lück, Jörn Walter, Verena Wolf
A Hybrid HMM Approach for the Dynamics of DNA Methylation. HSB (2019)
Gerrit Großmann, Luca Bortolussi, Verena Wolf
Rejection-Based Simulation of Non-Markovian Agents on Complex Networks. COMPLEX NETWORKS (1) (2019)
Michael Backenköhler, Luca Bortolussi, Verena Wolf
Bounding Mean First Passage Times in Population Continuous-Time Markov Chains. CoRR (2019)
Verena Wolf, Christian Bartelheimer, Daniel Beverungen
Digitalization of Work Systems - An Organizational Routines' Perspective. HICSS (2019)
Verena Wolf
Ambidexterity in Service Innovation Research: A Systematic Literature Review. Wirtschaftsinformatik (2019)
Kevin Baum, Nadine Kirsch, Kerstin Reese, Pascal Schmidt, Lukas Wachter, Verena Wolf
Informatikunterricht in der Grundschule? - Erprobung und Auswertung eines Unterrichtsmoduls mit Calliope mini. INFOS (2019)
Michael Backenköhler, Luca Bortolussi, Verena Wolf
Control Variates for Stochastic Simulation of Chemical Reaction Networks. CMSB (2019)
Alexander Lück, Pascal Giehr, Karl Nordström, Jörn Walter, Verena Wolf
Hidden Markov Modelling Reveals Neighborhood Dependence of Dnmt3a and 3b Activity. IEEE ACM Trans. Comput. Biol. Bioinform. 16 (5) (2019)
Gerrit Großmann, Charalampos Kyriakopoulos, Luca Bortolussi, Verena Wolf
Lumping the Approximate Master Equation for Multistate Processes on Complex Networks. CoRR (2018)
Michael Backenköhler, Luca Bortolussi, Verena Wolf
Moment-Based Parameter Estimation for Stochastic Reaction Networks in Equilibrium. IEEE ACM Trans. Comput. Biol. Bioinform. 15 (4) (2018)
Gerrit Großmann, Verena Wolf
Rejection-Based Simulation of Stochastic Spreading Processes on Complex Networks. CoRR (2018)
Pascal Schmidt, Anselm Lambert, Kerstin Reese, Verena Wolf
Calliope mini. LOG IN 38 (1) (2018)
Gerrit Großmann, Charalampos Kyriakopoulos, Luca Bortolussi, Verena Wolf
Lumping the Approximate Master Equation for Multistate Processes on Complex Networks. QEST (2018)
Chris C. Gernreich, Christian Bartelheimer, Verena Wolf, Christopher Prinz
The Impact of Process Automation on Manufacturers' Long-Term Knowledge. ICIS (2018)
Michael Backenköhler, Felix Scherzinger, Adish Singla, Verena Wolf
Data-Driven Approach Towards a Personalized Curriculum. EDM (2018)
Daniel Beverungen, Hedda Lüttenberg, Verena Wolf
Recombinant Service Systems Engineering. Bus. Inf. Syst. Eng. 60 (5) (2018)
Michael Backes, Pascal Berrang, Mathias Humbert, Xiaoyu Shen, Verena Wolf
Simulating the Large-Scale Erosion of Genomic Privacy Over Time. IEEE ACM Trans. Comput. Biol. Bioinform. 15 (5) (2018)
Kerstin Reese, Verena Wolf
Calliope mini. LOG IN 38 (1) (2018)
Charalampos Kyriakopoulos, Pascal Giehr, Verena Wolf
H(O)TA: estimation of DNA methylation and hydroxylation levels and efficiencies from time course data. Bioinform. 33 (11) (2017)
Michael Backenköhler, Verena Wolf
Student Performance Prediction and Optimal Course Selection: An MDP Approach. SEFM Workshops (2017)
Daniel Beverungen, Hedda Lüttenberg, Verena Wolf
Recombinant Service System Engineering. Wirtschaftsinformatik (2017)
Charalampos Kyriakopoulos, Gerrit Grossmann, Verena Wolf, Luca Bortolussi
Lumping of Degree-Based Mean Field and Pair Approximation Equations for Multi-State Contact Processes. CoRR (2017)
Alexander Lück, Pascal Giehr, Jörn Walter, Verena Wolf
A Stochastic Model for the Formation of Spatial Methylation Patterns. CMSB (2017)
Michael Backenköhler, Luca Bortolussi, Verena Wolf
Generalized Method of Moments for Stochastic Reaction Networks in Equilibrium. CMSB (2016)
Alexander Lück, Verena Wolf
Generalized method of moments for estimating parameters of stochastic reaction networks. BMC Syst. Biol. 10 (2016)
Daniela Thrän, Rüdiger Schaldach, Markus Millinger, Verena Wolf, Oliver Arendt, Jens Ponitka, Sven Gärtner, Nils Rettenmaier, Klaus Hennenberg, Jan Schüngel
The MILESTONES modeling framework: An integrated analysis of national bioenergy strategies and their global environmental impacts. Environ. Model. Softw. 86 (2016)
Pascal Giehr, Charalampos Kyriakopoulos, Gabriella Ficz, Verena Wolf, Jörn Walter
The Influence of Hydroxylation on Maintaining CpG Methylation Patterns: A Hidden Markov Model Approach. PLoS Comput. Biol. 12 (5) (2016)
Thilo Krüger, Verena Wolf
Hybrid Stochastic Simulation of Rule-Based Polymerization Models. HSB (2016)
Christoph Bock, Luca Bortolussi, Thilo Krüger, Linar Mikeev, Verena Wolf
Model-Based Whole-Genome Analysis of DNA Methylation Fidelity. HSB (2015)
Alexandr Andreychenko, Linar Mikeev, Verena Wolf
Model Reconstruction for Moment-Based Stochastic Chemical Kinetics. ACM Trans. Model. Comput. Simul. 25 (2) (2015)
Luca Bortolussi, Thilo Krüger, Thorsten Lehr, Verena Wolf
Rule-based modelling and simulation of drug-administration policies. SpringSim (MSM) (2015)
Charalampos Kyriakopoulos, Verena Wolf
Optimal Observation Time Points in Stochastic Chemical Kinetics. HSB (2014)
Alessio Angius, András Horváth, Verena Wolf
Approximate Transient Analysis of Queuing Networks by Quasi Product Forms. ASMTA (2013)
David Spieler, Verena Wolf
Efficient Steady State Analysis of Multimodal Markov Chains. ASMTA (2013)
Linar Mikeev, Martin R. Neuhäußer, David Spieler, Verena Wolf
On-the-fly verification and optimization of DTA-properties for large Markov chains. Formal Methods Syst. Des. 43 (2) (2013)
Linar Mikeev, Werner Sandmann, Verena Wolf
Numerical Approximation of Rare Event Probabilities in Biochemically Reacting Systems. CMSB (2013)
Aleksandr Andreychenko, Linar Mikeev, David Spieler, Verena Wolf
Approximate maximum likelihood estimation for stochastic chemical kinetics. EURASIP J. Bioinform. Syst. Biol. 2012 (2012)
Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf
Three-valued abstraction for probabilistic systems. J. Log. Algebraic Methods Program. 81 (4) (2012)
Linar Mikeev, Verena Wolf
Parameter estimation for stochastic hybrid models of biochemical reaction networks. HSCC (2012)
Alessio Angius, András Horváth, Verena Wolf
Quasi Product Form Approximation for Markov Models of Reaction Networks. Trans. Comp. Sys. Biology 14 (2012)
Aleksandr Andreychenko, Linar Mikeev, David Spieler, Verena Wolf
Parameter Identification for Markov Models of Biochemical Reactions CoRR (2011)
Frédéric Didier, Thomas A. Henzinger, Maria Mateescu, Verena Wolf
Approximation of event probabilities in noisy cellular processes. Theor. Comput. Sci. 412 (21) (2011)
Aleksandr Andreychenko, Linar Mikeev, David Spieler, Verena Wolf
Parameter Identification for Markov Models of Biochemical Reactions. CAV (2011)
Maksim Lapin, Linar Mikeev, Verena Wolf
SHAVE: stochastic hybrid analysis of markov population models. HSCC (2011)
Tugrul Dayar, Holger Hermanns, David Spieler, Verena Wolf
Bounding the equilibrium distribution of Markov population models. Numer. Linear Algebra Appl. 18 (6) (2011)
Linar Mikeev, Werner Sandmann, Verena Wolf
Efficient calculation of rare event probabilities in Markovian queueing networks. VALUETOOLS (2011)
Aleksandr Andreychenko, Pepijn Crouzen, Verena Wolf
On-the-fly Uniformization of Time-Inhomogeneous Infinite Markov Population Models QAPL (2011)
Thomas A. Henzinger, Barbara Jobstmann, Verena Wolf
Formalisms for Specifying Markovian Population Models. Int. J. Found. Comput. Sci. 22 (4) (2011)
Verena Wolf, Rushil Goel, Maria Mateescu, Thomas A. Henzinger
Solving the chemical master equation using sliding windows. BMC Syst. Biol. 4 (2010)
Frédéric Didier, Thomas A. Henzinger, Maria Mateescu, Verena Wolf
SABRE: A Tool for Stochastic Analysis of Biochemical Reaction Networks. QEST (2010)
Thomas A. Henzinger, Maria Mateescu, Linar Mikeev, Verena Wolf
Hybrid Numerical Solution of the Chemical Master Equation CoRR (2010)
Tugrul Dayar, Linar Mikeev, Verena Wolf
On the Numerical Analysis of Stochastic Lotka-Volterra Models. IMCSIT (2010)
Frédéric Didier, Thomas A. Henzinger, Maria Mateescu, Verena Wolf
SABRE: A Tool for Stochastic Analysis of Biochemical Reaction Networks CoRR (2010)
Thomas A. Henzinger, Linar Mikeev, Maria Mateescu, Verena Wolf
Hybrid numerical solution of the chemical master equation. CMSB (2010)
Thomas A. Henzinger, Barbara Jobstmann, Verena Wolf
Formalisms for Specifying Markovian Population Models. RP (2009)
Thomas A. Henzinger, Maria Mateescu, Verena Wolf
Sliding Window Abstraction for Infinite Markov Chains. CAV (2009)
Frédéric Didier, Thomas A. Henzinger, Maria Mateescu, Verena Wolf
Approximation of Event Probabilities in Noisy Cellular Processes. CMSB (2009)
Werner Sandmann, Verena Wolf
Computational Probability for Systems Biology. FMSB (2008)
Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf
Abstraction for Stochastic Systems by Erlang's Method of Stages. CONCUR (2008)
Verena Wolf
Modelling of Biochemical Reactions by Stochastic Automata Networks. Electron. Notes Theor. Comput. Sci. 171 (2) (2007)
Mila E. Majster-Cederbaum, Nils Semmelrock, Verena Wolf
Interaction Models for Biochemical Reactions. BIOCOMP (2007)
Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf
Three-Valued Abstraction for Continuous-Time Markov Chains. CAV (2007)
Christel Baier, Verena Wolf
Stochastic Reasoning About Channel-Based Component Connectors. COORDINATION (2006)
Verena Wolf, Christel Baier, Mila E. Majster-Cederbaum
Trace Semantics for Stochastic Systems with Nondeterminism. Electron. Notes Theor. Comput. Sci. 164 (3) (2006)
Verena Wolf, Christel Baier, Mila E. Majster-Cederbaum
Trace Machines for Observing Continuous-Time Markov Chains. Electron. Notes Theor. Comput. Sci. 153 (2) (2006)

Verena Wolf.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Verena Wolf