Verena Wolf

According to our database1, Verena Wolf authored at least 55 papers between 2003 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
Digitalization of Work Systems - An Organizational Routines' Perspective.
Proceedings of the 52nd Hawaii International Conference on System Sciences, 2019

Conceptualizing the Impact of Workarounds - an Organizational Routines' Perspective.
Proceedings of the 27th European Conference on Information Systems, 2019

2018
Simulating the Large-Scale Erosion of Genomic Privacy Over Time.
IEEE/ACM Trans. Comput. Biology Bioinform., 2018

Moment-Based Parameter Estimation for Stochastic Reaction Networks in Equilibrium.
IEEE/ACM Trans. Comput. Biology Bioinform., 2018

Recombinant Service Systems Engineering.
Business & Information Systems Engineering, 2018

Lumping the Approximate Master Equation for Multistate Processes on Complex Networks.
Proceedings of the Quantitative Evaluation of Systems - 15th International Conference, 2018

The Impact of Process Automation on Manufacturers' Long-Term Knowledge.
Proceedings of the International Conference on Information Systems, 2018

Data-Driven Approach Towards a Personalized Curriculum.
Proceedings of the 11th International Conference on Educational Data Mining, 2018

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

Recombinant Service System Engineering.
Proceedings of the Towards Thought Leadership in Digital Transformation: 13. Internationale Tagung Wirtschaftsinformatik, 2017

Student Performance Prediction and Optimal Course Selection: An MDP Approach.
Proceedings of the Software Engineering and Formal Methods, 2017

A Stochastic Model for the Formation of Spatial Methylation Patterns.
Proceedings of the Computational Methods in Systems Biology, 2017

2016
The Influence of Hydroxylation on Maintaining CpG Methylation Patterns: A Hidden Markov Model Approach.
PLoS Computational Biology, 2016

The MILESTONES modeling framework: An integrated analysis of national bioenergy strategies and their global environmental impacts.
Environmental Modelling and Software, 2016

Generalized method of moments for estimating parameters of stochastic reaction networks.
BMC Systems Biology, 2016

Hybrid Stochastic Simulation of Rule-Based Polymerization Models.
Proceedings of the Hybrid Systems Biology - 5th International Workshop, 2016

Generalized Method of Moments for Stochastic Reaction Networks in Equilibrium.
Proceedings of the Computational Methods in Systems Biology, 2016

2015
Model Reconstruction for Moment-Based Stochastic Chemical Kinetics.
ACM Trans. Model. Comput. Simul., 2015

Rule-based modelling and simulation of drug-administration policies.
Proceedings of the Symposium on Modeling and Simulation in Medicine, 2015

Model-Based Whole-Genome Analysis of DNA Methylation Fidelity.
Proceedings of the Hybrid Systems Biology - Fourth International Workshop, 2015

2014
Optimal Observation Time Points in Stochastic Chemical Kinetics.
Proceedings of the Hybrid Systems Biology, 2014

2013
On-the-fly verification and optimization of DTA-properties for large Markov chains.
Formal Methods in System Design, 2013

Numerical Approximation of Rare Event Probabilities in Biochemically Reacting Systems.
Proceedings of the Computational Methods in Systems Biology, 2013

Efficient Steady State Analysis of Multimodal Markov Chains.
Proceedings of the Analytical and Stochastic Modelling Techniques and Applications, 2013

Approximate Transient Analysis of Queuing Networks by Quasi Product Forms.
Proceedings of the Analytical and Stochastic Modelling Techniques and Applications, 2013

2012
Quasi Product Form Approximation for Markov Models of Reaction Networks.
Trans. Computational Systems Biology, 2012

Three-valued abstraction for probabilistic systems.
J. Log. Algebr. Program., 2012

Approximate maximum likelihood estimation for stochastic chemical kinetics.
EURASIP J. Bioinformatics and Systems Biology, 2012

Parameter estimation for stochastic hybrid models of biochemical reaction networks.
Proceedings of the Hybrid Systems: Computation and Control (part of CPS Week 2012), 2012

2011
Bounding the equilibrium distribution of Markov population models.
Numerical Lin. Alg. with Applic., 2011

On-the-fly Uniformization of Time-Inhomogeneous Infinite Markov Population Models
Proceedings of the Proceedings Ninth Workshop on Quantitative Aspects of Programming Languages, 2011

Efficient calculation of rare event probabilities in Markovian queueing networks.
Proceedings of the 5th International ICST Conference on Performance Evaluation Methodologies and Tools Communications, 2011

SHAVE: stochastic hybrid analysis of markov population models.
Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, 2011

Parameter Identification for Markov Models of Biochemical Reactions.
Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2010
Solving the chemical master equation using sliding windows.
BMC Systems Biology, 2010

SABRE: A Tool for Stochastic Analysis of Biochemical Reaction Networks.
Proceedings of the QEST 2010, 2010

On the Numerical Analysis of Stochastic Lotka-Volterra Models.
Proceedings of the International Multiconference on Computer Science and Information Technology, 2010

Hybrid numerical solution of the chemical master equation.
Proceedings of the Computational Methods in Systems Biology, 8th International Conference, 2010

2009
Formalisms for Specifying Markovian Population Models.
Proceedings of the Reachability Problems, 3rd International Workshop, 2009

Approximation of Event Probabilities in Noisy Cellular Processes.
Proceedings of the Computational Methods in Systems Biology, 7th International Conference, 2009

Sliding Window Abstraction for Infinite Markov Chains.
Proceedings of the Computer Aided Verification, 21st International Conference, 2009

2008
Computational Probability for Systems Biology.
Proceedings of the Formal Methods in Systems Biology, First International Workshop, 2008

Abstraction for Stochastic Systems by Erlang's Method of Stages.
Proceedings of the CONCUR 2008 - Concurrency Theory, 19th International Conference, 2008

2007
Modelling of Biochemical Reactions by Stochastic Automata Networks.
Electr. Notes Theor. Comput. Sci., 2007

Three-Valued Abstraction for Continuous-Time Markov Chains.
Proceedings of the Computer Aided Verification, 19th International Conference, 2007

Interaction Models for Biochemical Reactions.
Proceedings of the International Conference on Bioinformatics & Computational Biology, 2007

2006
Trace Semantics for Stochastic Systems with Nondeterminism.
Electr. Notes Theor. Comput. Sci., 2006

Trace Machines for Observing Continuous-Time Markov Chains.
Electr. Notes Theor. Comput. Sci., 2006

Bisimulation and Simulation Relations for Markov Chains.
Electr. Notes Theor. Comput. Sci., 2006

Don't Know in Probabilistic Systems.
Proceedings of the Model Checking Software, 13th International SPIN Workshop, Vienna, Austria, March 30, 2006

Stochastic Reasoning About Channel-Based Component Connectors.
Proceedings of the Coordination Models and Languages, 8th International Conference, 2006

A Numerical Aggregation Algorithm for the Enzyme-Catalyzed Substrate Conversion.
Proceedings of the Computational Methods in Systems Biology, International Conference, 2006

2005
Comparative branching-time semantics for Markov chains.
Inf. Comput., 2005

2004
Testing Theory for Probabilistic Systems.
Proceedings of the Model-Based Testing of Reactive Systems, 2004

2003
Comparative Branching-Time Semantics.
Proceedings of the CONCUR 2003, 2003


  Loading...