Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Model-Based Whole-Genome Analysis of DNA Methylation Fidelity.

C. Bock, L. Bortolussi, T. Krüger, L. Mikeev, and V. Wolf. HSB, volume 9271 of Lecture Notes in Computer Science, page 141-155. Springer, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Verena Schaefer University of Stuttgart

Thomas Wolfram University of Stuttgart

Martin Wolf University of Stuttgart

Verena Russlies University of Stuttgart

Verena Kunberger University of Stuttgart

Other publications of authors with the same name

On-the-fly verification and optimization of DTA-properties for large Markov chains.L. Mikeev, M. Neuhäußer, D. Spieler, and V. Wolf. Formal Methods in System Design, 43 (2): 313-337 (2013)The MILESTONES modeling framework: An integrated analysis of national bioenergy strategies and their global environmental impacts.D. Thrän, R. Schaldach, M. Millinger, V. Wolf, O. Arendt, J. Ponitka, S. Gärtner, N. Rettenmaier, K. Hennenberg, and J. Schüngel. Environmental Modelling and Software, (2016)Lumping of Degree-Based Mean Field and Pair Approximation Equations for Multi-State Contact Processes.C. Kyriakopoulos, G. Grossmann, V. Wolf, and L. Bortolussi. CoRR, (2017)Generalized method of moments for estimating parameters of stochastic reaction networks.A. Lück, and V. Wolf. BMC Systems Biology, (2016)Comparative branching-time semantics for Markov chains.C. Baier, J. Katoen, H. Hermanns, and V. Wolf. Inf. Comput., 200 (2): 149-214 (2005)Parameter Identification for Markov Models of Biochemical Reactions.A. Andreychenko, L. Mikeev, D. Spieler, and V. Wolf. CAV, volume 6806 of Lecture Notes in Computer Science, page 83-98. Springer, (2011)Sliding Window Abstraction for Infinite Markov Chains.T. Henzinger, M. Mateescu, and V. Wolf. CAV, volume 5643 of Lecture Notes in Computer Science, page 337-352. Springer, (2009)Computational Probability for Systems Biology.W. Sandmann, and V. Wolf. FMSB, volume 5054 of Lecture Notes in Computer Science, page 33-47. Springer, (2008)Testing Theory for Probabilistic Systems.V. Wolf. Model-Based Testing of Reactive Systems, volume 3472 of Lecture Notes in Computer Science, page 233-275. Springer, (2004)Approximate Transient Analysis of Queuing Networks by Quasi Product Forms.A. Angius, A. Horváth, and V. Wolf. ASMTA, volume 7984 of Lecture Notes in Computer Science, page 22-36. Springer, (2013)