Verena Wolf

发表

Comparative Branching-Time Semantics

Christel Baier, Joost-Pieter Katoen, Holger Hermanns, 2003, CONCUR.

Parameter estimation for stochastic hybrid models of biochemical reaction networks

Verena Wolf, Linar Mikeev, V. Wolf, 2012, HSCC '12.

Efficient Steady State Analysis of Multimodal Markov Chains

Verena Wolf, David Spieler, 2013, ASMTA.

Digitalization of Work Systems - An Organizational Routines' Perspective

Verena Wolf, Daniel Beverungen, Christian Bartelheimer, 2019, HICSS.

Efficient simulation of non-Markovian dynamics on complex networks

Luca Bortolussi, Verena Wolf, Gerrit Großmann, 2020, PloS one.

On the numerical analysis of stochastic Lotka-Volterra models

Tugrul Dayar, Verena Wolf, Linar Mikeev, 2010, Proceedings of the International Multiconference on Computer Science and Information Technology.

Moment-Based Parameter Estimation for Stochastic Reaction Networks in Equilibrium

Luca Bortolussi, Verena Wolf, Michael Backenköhler, 2018, IEEE/ACM Transactions on Computational Biology and Bioinformatics.

Simulating the Large-Scale Erosion of Genomic Privacy Over Time

Michael Backes, Verena Wolf, Pascal Berrang, 2018, IEEE/ACM Transactions on Computational Biology and Bioinformatics.

SHAVE: stochastic hybrid analysis of markov population models

Verena Wolf, Linar Mikeev, Maksim Lapin, 2011, HSCC '11.

Hidden Markov Modelling Reveals Neighborhood Dependence of Dnmt3a and 3b Activity

Verena Wolf, Jörn Walter, Alexander Lück, 2019, IEEE/ACM Transactions on Computational Biology and Bioinformatics.

Three-valued abstraction for probabilistic systems

Joost-Pieter Katoen, Martin Leucker, Verena Wolf, 2012, J. Log. Algebraic Methods Program..

Interaction Models for Biochemical Reactions

Verena Wolf, Mila E. Majster-Cederbaum, Nils Semmelrock, 2007, BIOCOMP.

Rule-based modelling and simulation of drug-administration policies

Luca Bortolussi, Verena Wolf, Thilo Krüger, 2015, SpringSim.

Hybrid Stochastic Simulation of Rule-Based Polymerization Models

Verena Wolf, Thilo Krüger, 2016, HSB.

Quantitative Evaluation of Systems: 16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedings

Verena Wolf, David Parker, V. Wolf, 2019, Lecture Notes in Computer Science.

Generalized method of moments for estimating parameters of stochastic reaction networks

Verena Wolf, Alexander Lück, V. Wolf, 2016, BMC Systems Biology.

A Stochastic Automata Network Description for Spatial DNA-Methylation Models

Verena Wolf, Alexander Lück, 2020, MMB.

Stochastic Reasoning About Channel-Based Component Connectors

Christel Baier, Verena Wolf, C. Baier, 2006, COORDINATION.

Hybrid numerical solution of the chemical master equation pdf

Thomas A. Henzinger, Verena Wolf, Linar Mikeev, 2010, CMSB '10.

Model-Based Whole-Genome Analysis of DNA Methylation Fidelity

Luca Bortolussi, Verena Wolf, Thilo Krüger, 2015, HSB.

Bounding Mean First Passage Times in Population Continuous-Time Markov Chains

Luca Bortolussi, Verena Wolf, Michael Backenköhler, 2020, QEST.

The Influence of Hydroxylation on Maintaining CpG Methylation Patterns: A Hidden Markov Model Approach

Verena Wolf, Jörn Walter, Pascal Giehr, 2016, PLoS Comput. Biol..

Trace Machines for Observing Continuous-Time Markov Chains

Christel Baier, Verena Wolf, Mila E. Majster-Cederbaum, 2006, QAPL.

Ambidexterity in Service Innovation Research: A Systematic Literature Review

Verena Wolf, Verena Wolf, 2019, Wirtschaftsinformatik.

Rejection-Based Simulation of Stochastic Spreading Processes on Complex Networks

Verena Wolf, Gerrit Großmann, V. Wolf, 2018, HSB.

Model Reconstruction for Moment-Based Stochastic Chemical Kinetics

Verena Wolf, Linar Mikeev, Alexandr Andreychenko, 2015, ACM Trans. Model. Comput. Simul..

Approximate maximum likelihood estimation for stochastic chemical kinetics

Verena Wolf, Linar Mikeev, David Spieler, 2012, EURASIP J. Bioinform. Syst. Biol..

Bounding the equilibrium distribution of Markov population models

Holger Hermanns, Tugrul Dayar, Verena Wolf, 2010, Numer. Linear Algebra Appl..

Control Variates for Stochastic Simulation of Chemical Reaction Networks

Luca Bortolussi, Verena Wolf, Michael Backenköhler, 2019, CMSB.

Comparative branching-time semantics for Markov chains

Christel Baier, Joost-Pieter Katoen, Holger Hermanns, 2005, Inf. Comput..

The Impact of Process Automation on Manufacturers' Long-Term Knowledge

Verena Wolf, Christopher Prinz, Christian Bartelheimer, 2018, ICIS.

H(O)TA: estimation of DNA methylation and hydroxylation levels and efficiencies from time course data

Verena Wolf, Pascal Giehr, Charalampos Kyriakopoulos, 2016, Bioinform..

Approximate Transient Analysis of Queuing Networks by Quasi Product Forms

Alessio Angius, András Horváth, Verena Wolf, 2013, ASMTA.

Recombinant Service Systems Engineering

Verena Wolf, Daniel Beverungen, Hedda Lüttenberg, 2018, Bus. Inf. Syst. Eng..

Bounding First Passage Times in Chemical Reaction Networks - Poster Abstract

Luca Bortolussi, Verena Wolf, Michael Backenköhler, 2019, CMSB.

Uniformization for Time-Inhomogeneous Markov Population Models

Holger Hermanns, Verena Wolf, Aleksandr Andreychenko, 2010 .

Data-Driven Approach Towards a Personalized Curriculum

Verena Wolf, Adish Singla, Michael Backenköhler, 2018, EDM.

Abstraction for Stochastic Systems by Erlang's Method of Stages

Joost-Pieter Katoen, Martin Leucker, Verena Wolf, 2008, CONCUR.

Approximation of event probabilities in noisy cellular processes

Thomas A. Henzinger, Verena Wolf, Maria Mateescu, 2009, Theor. Comput. Sci..

On-the-fly Uniformization of Time-Inhomogeneous Infinite Markov Population Models

Verena Wolf, Pepijn Crouzen, Aleksandr Andreychenko, 2011, QAPL.

Recombinant Service System Engineering

Verena Wolf, Daniel Beverungen, Hedda Lüttenberg, 2017, Wirtschaftsinformatik.

Numerical Approximation of Rare Event Probabilities in Biochemically Reacting Systems

Werner Sandmann, Verena Wolf, Linar Mikeev, 2013, CMSB.

Stochastic hybrid models of gene regulatory networks - A PDE approach.

Delio Mugnolo, Verena Wolf, Pavel Kurasov, 2018, Mathematical biosciences.

Solving the chemical master equation using sliding windows

Thomas A. Henzinger, Verena Wolf, Maria Mateescu, 2010, BMC Systems Biology.

On-the-fly verification and optimization of DTA-properties for large Markov chains

Verena Wolf, Martin R. Neuhäußer, Linar Mikeev, 2012, Formal Methods in System Design.

Approximation of event probabilities in noisy cellular processes

Thomas A. Henzinger, Verena Wolf, Maria Mateescu, 2011, Theor. Comput. Sci..

Don't Know in Probabilistic Systems

Martin Leucker, Verena Wolf, Harald Fecher, 2006, SPIN.

A Stochastic Model for the Formation of Spatial Methylation Patterns

Verena Wolf, Jörn Walter, Alexander Lück, 2017, CMSB.

A Hybrid HMM Approach for the Dynamics of DNA Methylation

Verena Wolf, Alexander Lück, Pascal Giehr, 2019, HSB.

Informatikunterricht in der Grundschule? - Erprobung und Auswertung eines Unterrichtsmoduls mit Calliope mini

Verena Wolf, Kevin Baum, Lukas Wachter, 2019, INFOS.

Fast Adaptive Uniformization of the Chemical Master Equation

Thomas A. Henzinger, Verena Wolf, Maria Mateescu, 2009, 2009 International Workshop on High Performance Computational Systems Biology.

Quasi Product Form Approximation for Markov Models of Reaction Networks

Alessio Angius, András Horváth, Verena Wolf, 2012, Trans. Comp. Sys. Biology.

Generalized Method of Moments for Stochastic Reaction Networks in Equilibrium

Luca Bortolussi, Verena Wolf, Michael Backenköhler, 2016, CMSB.

Lumping the Approximate Master Equation for Multistate Processes on Complex Networks

Luca Bortolussi, Verena Wolf, Gerrit Großmann, 2018, QEST.

SABRE: A Tool for Stochastic Analysis of Biochemical Reaction Networks

Thomas A. Henzinger, Verena Wolf, Maria Mateescu, 2010, QEST.

Generalized Method of Moments Estimation for Stochastic Models of DNA Methylation Patterns

Verena Wolf, Alexander Luck, V. Wolf, 2019, 1911.01174.

A Numerical Aggregation Algorithm for the Enzyme-Catalyzed Substrate Conversion

Werner Sandmann, Verena Wolf, Hauke Busch, 2006, CMSB.

\emph{Don't know} in probabilistic systems

Antti Valmari, Verena Wolf, Martin Leucker, 2005 .

A Computational Stochastic Modeling Formalism for Biological Networks

Werner Sandmann, Verena Wolf, V. Wolf, 2008 .

Conceptualizing the Impact of Workarounds - an Organizational Routines' Perspective

Verena Wolf, Daniel Beverungen, D. Beverungen, 2019, ECIS.

Parameter Estimation for Stochastic Models of Chemical Reaction Networks: Invited Presentation at the Third International Workshop on Computational Models for Cell Processes

Verena Wolf, 2011 .

Modelling of Biochemical Reactions by Stochastic Automata Networks

Verena Wolf, 2007, Electron. Notes Theor. Comput. Sci..

Sliding Window Abstraction for Infinite Markov Chains

Thomas A. Henzinger, Verena Wolf, Maria Mateescu, 2009, CAV.

Three-Valued Abstraction for Continuous-Time Markov Chains

Joost-Pieter Katoen, Martin Leucker, Verena Wolf, 2007, CAV.

Bisimulation and Simulation Relations for Markov Chains

Christel Baier, Joost-Pieter Katoen, Holger Hermanns, 2006, APC 25.

Computational Probability for Systems Biology

Werner Sandmann, Verena Wolf, V. Wolf, 2008, FMSB.

Testing Theory for Probabilistic Systems

Verena Wolf, 2004, Model-Based Testing of Reactive Systems.

Efficient calculation of rare event probabilities in Markovian queueing networks

Werner Sandmann, Verena Wolf, Linar Mikeev, 2011, VALUETOOLS.

Parameter Identification for Markov Models of Biochemical Reactions pdf

Verena Wolf, Linar Mikeev, David Spieler, 2011, CAV.

Optimal Observation Time Points in Stochastic Chemical Kinetics

Verena Wolf, Charalampos Kyriakopoulos, V. Wolf, 2014, HSB.

Proceedings Fourth International Workshop on Computational Models for Cell Processes: Rule-Based Modeling of Polymerization Reactions

Verena Wolf, Thilo Krüger, Thilo Krüger, 2013 .

Lumping of Degree-Based Mean Field and Pair Approximation Equations for Multi-State Contact Processes

Luca Bortolussi, Verena Wolf, Charalampos Kyriakopoulos, 2017, Physical review. E.

Stochastic Hybrid Models of Gene Regulatory Networks

Delio Mugnolo, Verena Wolf, Pavel Kurasov, 2018 .

Trace Semantics for Stochastic Systems with Nondeterminism

Christel Baier, Verena Wolf, Mila E. Majster-Cederbaum, 2006, QAPL.

Rejection-Based Simulation of Non-Markovian Agents on Complex Networks pdf

Luca Bortolussi, Verena Wolf, Gerrit Grossmann, 2019, COMPLEX NETWORKS.

Formalisms for Specifying Markovian Population Models

Thomas A. Henzinger, Verena Wolf, Barbara Jobstmann, 2009, RP.

Formalisms for Specifying Markovian Population Models

Thomas A. Henzinger, Verena Wolf, Barbara Jobstmann, 2009, Int. J. Found. Comput. Sci..

Student Performance Prediction and Optimal Course Selection: An MDP Approach

Verena Wolf, Michael Backenköhler, V. Wolf, 2017, SEFM Workshops.

The MILESTONES modeling framework: An integrated analysis of national bioenergy strategies and their global environmental impacts

Verena Wolf, Daniela Thrän, Markus Millinger, 2016, Environ. Model. Softw..

Abstraction-Guided Truncations for Stationary Distributions of Markov Population Models

Luca Bortolussi, Verena Wolf, Gerrit Großmann, 2021, QEST.

Epidemic overdispersion strengthens the effectiveness of mobility restrictions

Verena Wolf, Gerrit Großmann, Michael Backenköhler, 2021, HSCC.

Analysis of Markov Jump Processes under Terminal Constraints

Luca Bortolussi, Verena Wolf, Gerrit Großmann, 2021, TACAS.

Introduction to the Special Issue on QEST 2019

Verena Wolf, David Parker, Francesco Quaglia, 2021, ACM Trans. Model. Comput. Simul..

GINA: Neural Relational Inference From Independent Snapshots pdf

Verena Wolf, Gerrit Großmann, Michael Backenköhler, 2021, ArXiv.

Variance Reduction in Stochastic Reaction Networks using Control Variates pdf

Luca Bortolussi, Verena Wolf, Michael Backenköhler, 2021, ArXiv.

Analytic solutions for stochastic hybrid models of gene regulatory networks

Delio Mugnolo, Verena Wolf, Pavel Kurasov, 2018, Journal of Mathematical Biology.

Infinite level-dependent QBD processes and matrix-analytic solutions for stochastic chemical kinetics

Werner Sandmann, Tugrul Dayar, Verena Wolf, 2011, Advances in Applied Probability.

Fast Adaptive Uniformization of the Chemical Master Equation

Thomas A. Henzinger, Verena Wolf, Maria Mateescu, 2009 .

Approximate adaptive uniformization of continuous-time Markov chains

Werner Sandmann, Verena Wolf, Alexander Andreychenko, 2018, Applied Mathematical Modelling.

Reconstruction of Multimodal Distributions for Hybrid Moment-based Chemical Kinetics, Supporting Information

Verena Wolf, Linar Mikeev, Alexander Andreychenko, 2014 .

Distribution Approximations for the Chemical Master Equation: Comparison of the Method of Moments and the System Size Expansion

Philipp Thomas, Luca Bortolussi, Verena Wolf, 2015, 1509.09104.

Comparative Branching-Time Semantics for Markov Chains 3 and Continuous Stochastic

Christel Baier, Joost-Pieter Katoen, Holger Hermanns, 2022 .

Comparative Branching-Time Semantics for Markov Chains (Extended Abstract)

Christel Baier, Joost-Pieter Katoen, Holger Hermanns, 2003 .

Equivalences on Phase Type Processes

Verena Wolf, V. Wolf, 2008 .