default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDVerena Wolf
Person information
- affiliation: Saarland University, Saarbrücken, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j28]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): 4009-4020 (2024)- [j27]Tristan Schneider, Matheus V. A. Pedrosa, Timo P. Gros, Verena Wolf, Kathrin Flaßkamp:
Motion Primitives as the Action Space of Deep Q-Learning for Planning in Autonomous Driving. IEEE Trans. Intell. Transp. Syst. 25(11): 17852-17864 (2024) - [i15]Kevin Baum, Lisa Dargasz, Felix Jahn, Timo P. Gros, Verena Wolf:
Acting for the Right Reasons: Creating Reason-Sensitive Artificial Moral Agents. CoRR abs/2409.15014 (2024) - [i14]Zhifei Li, Gerrit Großmann, Verena Wolf:
Enhancing GNNs with Architecture-Agnostic Graph Transformations: A Systematic Analysis. CoRR abs/2410.08759 (2024) - 2023
- [j26]Gerrit Großmann, Julian Zimmerlin, Michael Backenköhler, Verena Wolf:
Unsupervised relational inference using masked reconstruction. Appl. Netw. Sci. 8(1): 18 (2023) - [j25]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): 1085-1150 (2023) - [j24]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): 17:1-17:28 (2023) - [c66]Deborah Baum, Kevin Baum, Timo P. Gros, Verena Wolf:
XAI Requirements in Smart Production Processes: A Case Study. xAI (1) 2023: 3-24 - 2022
- [j23]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): 1101-1116 (2022) - [c65]Michael Backenköhler, Luca Bortolussi, Verena Wolf:
Variance Reduction in Stochastic Reaction Networks Using Control Variates. Principles of Systems Design 2022: 456-474 - [c64]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: 430-443 - [d1]Timo P. Gros, Holger Hermanns, Jörg Hoffmann, Michaela Klauck, Maximilian A. Köhl, Verena Wolf:
Artifact for the Tool Paper: MoGym: Using Formal Models for Training and Verifying Decision-making Agents. Zenodo, 2022
- 2021
- [j22]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): 145-156 (2021) - [j21]David Parker, Verena Wolf:
Introduction to the Special Issue on QEST 2019. ACM Trans. Model. Comput. Simul. 31(3): 12:1 (2021) - [c63]Nadine Kirsch, Kerstin Reese, Verena Wolf:
InfoLab Saar - Schülerlabor Informatik der Universität des Saarlandes. GI-Jahrestagung 2021: 1653-1656 - [c62]Gerrit Großmann, Michael Backenköhler, Verena Wolf:
Epidemic overdispersion strengthens the effectiveness of mobility restrictions. HSCC 2021: 31:1-31:2 - [c61]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: 197-216 - [c60]Michael Backenköhler, Luca Bortolussi, Gerrit Großmann, Verena Wolf:
Abstraction-Guided Truncations for Stationary Distributions of Markov Population Models. QEST 2021: 351-371 - [c59]Michael Backenköhler, Luca Bortolussi, Gerrit Großmann, Verena Wolf:
Analysis of Markov Jump Processes under Terminal Constraints. TACAS (1) 2021: 210-229 - [i13]Michael Backenköhler, Luca Bortolussi, Gerrit Großmann, Verena Wolf:
Abstraction-Guided Truncations for Stationary Distributions of Markov Population Models. CoRR abs/2105.01536 (2021) - [i12]Gerrit Großmann, Julian Zimmerlin, Michael Backenköhler, Verena Wolf:
GINA: Neural Relational Inference From Independent Snapshots. CoRR abs/2105.14329 (2021) - [i11]Michael Backenköhler, Luca Bortolussi, Verena Wolf:
Variance Reduction in Stochastic Reaction Networks using Control Variates. CoRR abs/2110.09143 (2021) - 2020
- [c58]Gerrit Großmann, Michael Backenköhler, Jonas Klesen, Verena Wolf:
Learning Vaccine Allocation from Simulations. COMPLEX NETWORKS (1) 2020: 432-443 - [c57]Christian Bartelheimer, Verena Wolf, Nico Langhorst, Florian Seegers:
Designing Digital Community Service Platforms for Crowd-Based Services in Urban Areas. DESRIST 2020: 35-41 - [c56]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 - [c55]Verena Wolf:
Understanding Smart Service Systems Transformation - A Socio-Technical Perspective. ECIS 2020 - [c54]Alexander Lück, Verena Wolf:
A Stochastic Automata Network Description for Spatial DNA-Methylation Models. MMB 2020: 54-64 - [c53]Timo P. Gros, Daniel Höller, Jörg Hoffmann, Verena Wolf:
Tracking the Race Between Deep Reinforcement Learning and Imitation Learning. QEST 2020: 11-17 - [c52]Michael Backenköhler, Luca Bortolussi, Verena Wolf:
Bounding Mean First Passage Times in Population Continuous-Time Markov Chains. QEST 2020: 155-174 - [c51]Gerrit Großmann, Michael Backenköhler, Verena Wolf:
Importance of Interaction Structure and Stochasticity for Epidemic Spreading: A COVID-19 Case Study. QEST 2020: 211-229 - [c50]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: 103-119 - [c49]Verena Wolf, Hedda Lüttenberg:
Capabilities for Ambidextrous Innovation of Digital Service. Wirtschaftsinformatik (Zentrale Tracks) 2020: 1132-1138 - [c48]Timo P. Gros, Joschka Groß, Verena Wolf:
Real-Time Decision Making for a Car Manufacturing Process Using Deep Reinforcement Learning. WSC 2020: 3032-3044 - [e2]Alessandro Abate, Tatjana Petrov, Verena Wolf:
Computational Methods in Systems Biology - 18th International Conference, CMSB 2020, Konstanz, Germany, September 23-25, 2020, Proceedings. Lecture Notes in Computer Science 12314, Springer 2020, ISBN 978-3-030-60326-7 [contents] - [i10]Timo P. Gros, Daniel Höller, Jörg Hoffmann, Verena Wolf:
Tracking the Race Between Deep Reinforcement Learning and Imitation Learning - Extended Version. CoRR abs/2008.00766 (2020) - [i9]Michael Backenköhler, Luca Bortolussi, Gerrit Großmann, Verena Wolf:
Analysis of Markov Jump Processes under Terminal Constraints. CoRR abs/2010.10096 (2020)
2010 – 2019
- 2019
- [j20]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): 1598-1609 (2019) - [c47]Michael Backenköhler, Luca Bortolussi, Verena Wolf:
Control Variates for Stochastic Simulation of Chemical Reaction Networks. CMSB 2019: 42-59 - [c46]Michael Backenköhler, Luca Bortolussi, Verena Wolf:
Bounding First Passage Times in Chemical Reaction Networks - Poster Abstract. CMSB 2019: 379-382 - [c45]Gerrit Großmann, Luca Bortolussi, Verena Wolf:
Rejection-Based Simulation of Non-Markovian Agents on Complex Networks. COMPLEX NETWORKS (1) 2019: 349-361 - [c44]Verena Wolf, Daniel Beverungen:
Conceptualizing the Impact of Workarounds - an Organizational Routines' Perspective. ECIS 2019 - [c43]Verena Wolf, Christian Bartelheimer, Daniel Beverungen:
Digitalization of Work Systems - An Organizational Routines' Perspective. HICSS 2019: 1-10 - [c42]Gerrit Großmann, Verena Wolf:
Rejection-Based Simulation of Stochastic Spreading Processes on Complex Networks. HSB 2019: 63-79 - [c41]Charalampos Kyriakopoulos, Pascal Giehr, Alexander Lück, Jörn Walter, Verena Wolf:
A Hybrid HMM Approach for the Dynamics of DNA Methylation. HSB 2019: 117-131 - [c40]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: 49-58 - [c39]Verena Wolf:
Ambidexterity in Service Innovation Research: A Systematic Literature Review. Wirtschaftsinformatik 2019: 751-765 - [e1]David Parker, Verena Wolf:
Quantitative Evaluation of Systems, 16th International Conference, QEST 2019, Glasgow, UK, September 10-12, 2019, Proceedings. Lecture Notes in Computer Science 11785, Springer 2019, ISBN 978-3-030-30280-1 [contents] - [i8]Gerrit Großmann, Luca Bortolussi, Verena Wolf:
Rejection-Based Simulation of Non-Markovian Agents on Complex Networks. CoRR abs/1910.03964 (2019) - [i7]Michael Backenköhler, Luca Bortolussi, Verena Wolf:
Bounding Mean First Passage Times in Population Continuous-Time Markov Chains. CoRR abs/1910.12562 (2019) - 2018
- [j19]Daniel Beverungen, Hedda Lüttenberg, Verena Wolf:
Recombinant Service Systems Engineering. Bus. Inf. Syst. Eng. 60(5): 377-391 (2018) - [j18]Pascal Schmidt, Anselm Lambert, Kerstin Reese, Verena Wolf:
Calliope mini. LOG IN 38(1): 86-91 (2018) - [j17]Kerstin Reese, Verena Wolf:
Calliope mini. LOG IN 38(1): 108-111 (2018) - [j16]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): 1180-1192 (2018) - [j15]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): 1405-1412 (2018) - [c38]Michael Backenköhler, Felix Scherzinger, Adish Singla, Verena Wolf:
Data-Driven Approach Towards a Personalized Curriculum. EDM 2018 - [c37]Chris C. Gernreich, Christian Bartelheimer, Verena Wolf, Christopher Prinz:
The Impact of Process Automation on Manufacturers' Long-Term Knowledge. ICIS 2018 - [c36]Gerrit Großmann, Charalampos Kyriakopoulos, Luca Bortolussi, Verena Wolf:
Lumping the Approximate Master Equation for Multistate Processes on Complex Networks. QEST 2018: 157-172 - [i6]Gerrit Großmann, Charalampos Kyriakopoulos, Luca Bortolussi, Verena Wolf:
Lumping the Approximate Master Equation for Multistate Processes on Complex Networks. CoRR abs/1804.02981 (2018) - [i5]Gerrit Großmann, Verena Wolf:
Rejection-Based Simulation of Stochastic Spreading Processes on Complex Networks. CoRR abs/1812.10845 (2018) - 2017
- [j14]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): 1733-1734 (2017) - [c35]Alexander Lück, Pascal Giehr, Jörn Walter, Verena Wolf:
A Stochastic Model for the Formation of Spatial Methylation Patterns. CMSB 2017: 160-178 - [c34]Michael Backenköhler, Verena Wolf:
Student Performance Prediction and Optimal Course Selection: An MDP Approach. SEFM Workshops 2017: 40-47 - [c33]Daniel Beverungen, Hedda Lüttenberg, Verena Wolf:
Recombinant Service System Engineering. Wirtschaftsinformatik 2017 - [i4]Charalampos Kyriakopoulos, Gerrit Grossmann, Verena Wolf, Luca Bortolussi:
Lumping of Degree-Based Mean Field and Pair Approximation Equations for Multi-State Contact Processes. CoRR abs/1706.06964 (2017) - 2016
- [j13]Alexander Lück, Verena Wolf:
Generalized method of moments for estimating parameters of stochastic reaction networks. BMC Syst. Biol. 10: 98:1-98:12 (2016) - [j12]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: 14-29 (2016) - [j11]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) - [c32]Michael Backenköhler, Luca Bortolussi, Verena Wolf:
Generalized Method of Moments for Stochastic Reaction Networks in Equilibrium. CMSB 2016: 15-29 - [c31]Thilo Krüger, Verena Wolf:
Hybrid Stochastic Simulation of Rule-Based Polymerization Models. HSB 2016: 39-53 - 2015
- [j10]Alexandr Andreychenko, Linar Mikeev, Verena Wolf:
Model Reconstruction for Moment-Based Stochastic Chemical Kinetics. ACM Trans. Model. Comput. Simul. 25(2): 12:1-12:19 (2015) - [c30]Christoph Bock, Luca Bortolussi, Thilo Krüger, Linar Mikeev, Verena Wolf:
Model-Based Whole-Genome Analysis of DNA Methylation Fidelity. HSB 2015: 141-155 - [c29]Luca Bortolussi, Thilo Krüger, Thorsten Lehr, Verena Wolf:
Rule-based modelling and simulation of drug-administration policies. SpringSim (MSM) 2015: 53-60 - 2014
- [c28]Charalampos Kyriakopoulos, Verena Wolf:
Optimal Observation Time Points in Stochastic Chemical Kinetics. HSB 2014: 83-96 - 2013
- [j9]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): 313-337 (2013) - [c27]Alessio Angius, András Horváth, Verena Wolf:
Approximate Transient Analysis of Queuing Networks by Quasi Product Forms. ASMTA 2013: 22-36 - [c26]David Spieler, Verena Wolf:
Efficient Steady State Analysis of Multimodal Markov Chains. ASMTA 2013: 380-395 - [c25]Linar Mikeev, Werner Sandmann, Verena Wolf:
Numerical Approximation of Rare Event Probabilities in Biochemically Reacting Systems. CMSB 2013: 5-18 - 2012
- [j8]Aleksandr Andreychenko, Linar Mikeev, David Spieler, Verena Wolf:
Approximate maximum likelihood estimation for stochastic chemical kinetics. EURASIP J. Bioinform. Syst. Biol. 2012: 9 (2012) - [j7]Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf:
Three-valued abstraction for probabilistic systems. J. Log. Algebraic Methods Program. 81(4): 356-389 (2012) - [j6]Alessio Angius, András Horváth, Verena Wolf:
Quasi Product Form Approximation for Markov Models of Reaction Networks. Trans. Comp. Sys. Biology 14: 26-52 (2012) - [c24]Linar Mikeev, Verena Wolf:
Parameter estimation for stochastic hybrid models of biochemical reaction networks. HSCC 2012: 155-166 - 2011
- [j5]Thomas A. Henzinger, Barbara Jobstmann, Verena Wolf:
Formalisms for Specifying Markovian Population Models. Int. J. Found. Comput. Sci. 22(4): 823-841 (2011) - [j4]Tugrul Dayar, Holger Hermanns, David Spieler, Verena Wolf:
Bounding the equilibrium distribution of Markov population models. Numer. Linear Algebra Appl. 18(6): 931-946 (2011) - [j3]Frédéric Didier, Thomas A. Henzinger, Maria Mateescu, Verena Wolf:
Approximation of event probabilities in noisy cellular processes. Theor. Comput. Sci. 412(21): 2128-2141 (2011) - [c23]Aleksandr Andreychenko, Linar Mikeev, David Spieler, Verena Wolf:
Parameter Identification for Markov Models of Biochemical Reactions. CAV 2011: 83-98 - [c22]Maksim Lapin, Linar Mikeev, Verena Wolf:
SHAVE: stochastic hybrid analysis of markov population models. HSCC 2011: 311-312 - [c21]Linar Mikeev, Werner Sandmann, Verena Wolf:
Efficient calculation of rare event probabilities in Markovian queueing networks. VALUETOOLS 2011: 186-196 - [c20]Aleksandr Andreychenko, Pepijn Crouzen, Verena Wolf:
On-the-fly Uniformization of Time-Inhomogeneous Infinite Markov Population Models. QAPL 2011: 1 - [i3]Aleksandr Andreychenko, Linar Mikeev, David Spieler, Verena Wolf:
Parameter Identification for Markov Models of Biochemical Reactions. CoRR abs/1102.2819 (2011) - 2010
- [j2]Verena Wolf, Rushil Goel, Maria Mateescu, Thomas A. Henzinger:
Solving the chemical master equation using sliding windows. BMC Syst. Biol. 4: 42 (2010) - [c19]Thomas A. Henzinger, Linar Mikeev, Maria Mateescu, Verena Wolf:
Hybrid numerical solution of the chemical master equation. CMSB 2010: 55-65 - [c18]Tugrul Dayar, Linar Mikeev, Verena Wolf:
On the Numerical Analysis of Stochastic Lotka-Volterra Models. IMCSIT 2010: 289-296 - [c17]Frédéric Didier, Thomas A. Henzinger, Maria Mateescu, Verena Wolf:
SABRE: A Tool for Stochastic Analysis of Biochemical Reaction Networks. QEST 2010: 193-194 - [i2]Thomas A. Henzinger, Maria Mateescu, Linar Mikeev, Verena Wolf:
Hybrid Numerical Solution of the Chemical Master Equation. CoRR abs/1005.0747 (2010) - [i1]Frédéric Didier, Thomas A. Henzinger, Maria Mateescu, Verena Wolf:
SABRE: A Tool for Stochastic Analysis of Biochemical Reaction Networks. CoRR abs/1005.2819 (2010)
2000 – 2009
- 2009
- [c16]Thomas A. Henzinger, Maria Mateescu, Verena Wolf:
Sliding Window Abstraction for Infinite Markov Chains. CAV 2009: 337-352 - [c15]Frédéric Didier, Thomas A. Henzinger, Maria Mateescu, Verena Wolf:
Approximation of Event Probabilities in Noisy Cellular Processes. CMSB 2009: 173-188 - [c14]Thomas A. Henzinger, Barbara Jobstmann, Verena Wolf:
Formalisms for Specifying Markovian Population Models. RP 2009: 3-23 - 2008
- [b1]Verena Wolf:
Equivalences on Phase Type Processes. Mannheim University, Germany, 2008 - [c13]Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf:
Abstraction for Stochastic Systems by Erlang's Method of Stages. CONCUR 2008: 279-294 - [c12]Werner Sandmann, Verena Wolf:
Computational Probability for Systems Biology. FMSB 2008: 33-47 - 2007
- [c11]Mila E. Majster-Cederbaum, Nils Semmelrock, Verena Wolf:
Interaction Models for Biochemical Reactions. BIOCOMP 2007: 480-486 - [c10]Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf:
Three-Valued Abstraction for Continuous-Time Markov Chains. CAV 2007: 311-324 - 2006
- [c9]Hauke Busch, Werner Sandmann, Verena Wolf:
A Numerical Aggregation Algorithm for the Enzyme-Catalyzed Substrate Conversion. CMSB 2006: 298-311 - [c8]Christel Baier, Verena Wolf:
Stochastic Reasoning About Channel-Based Component Connectors. COORDINATION 2006: 1-15 - [c7]Harald Fecher, Martin Leucker, Verena Wolf:
Don't Know in Probabilistic Systems. SPIN 2006: 71-88 - [c6]Verena Wolf, Christel Baier, Mila E. Majster-Cederbaum:
Trace Semantics for Stochastic Systems with Nondeterminism. QAPL 2006: 187-204 - [c5]Verena Wolf:
Modelling of Biochemical Reactions by Stochastic Automata Networks. MeCBIC@ICALP 2006: 197-208 - 2005
- [j1]Christel Baier, Joost-Pieter Katoen, Holger Hermanns, Verena Wolf:
Comparative branching-time semantics for Markov chains. Inf. Comput. 200(2): 149-214 (2005) - [c4]Christel Baier, Holger Hermanns, Joost-Pieter Katoen, Verena Wolf:
Bisimulation and Simulation Relations for Markov Chains. APC 25 2005: 73-78 - [c3]Verena Wolf, Christel Baier, Mila E. Majster-Cederbaum:
Trace Machines for Observing Continuous-Time Markov Chains. QAPL 2005: 259-277 - 2004
- [c2]Verena Wolf:
Testing Theory for Probabilistic Systems. Model-Based Testing of Reactive Systems 2004: 233-275 - 2003
- [c1]Christel Baier, Holger Hermanns, Joost-Pieter Katoen, Verena Wolf:
Comparative Branching-Time Semantics. CONCUR 2003: 482-497