Items where Author is "Wolf, Verena"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 19.

Kyriakopoulos, Charalampos and Giehr, Pascal and Wolf, Verena
(2017) H(O)TA: estimation of DNA methylation and hydroxylation levels and efficiencies from time course data.
Bioinformatics, 33 (11). 1733–1734.

Beverungen, Daniel and Lüttenberg, Hedda and Wolf, Verena
(2017) Recombinant Service System Engineering.
In: Towards Thought Leadership in Digital Transformation: 13. Internationale Tagung Wirtschaftsinformatik, WI 2017, St.Gallen, Switzerland, February 12-15, 2017..

Lück, Alexander and Giehr, Pascal and Walter, Jörn and Wolf, Verena
(2017) A Stochastic Model for the Formation of Spatial Methylation Patterns.
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10545), 160–178.

Backenköhler, Michael and Wolf, Verena
(2017) Student Performance Prediction and Optimal Course Selection: An MDP Approach.
In: Software Engineering and Formal Methods - SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers.

Backes, Michael and Berrang, Pascal and Humbert, Mathias and Shen, Xiaoyu and Wolf, Verena
(2016) Simulating the Large-Scale Erosion of Genomic Privacy Over Time.
In: Proceedings of the 3rd International Workshop on Genome Privacy and Security (GenoPri'16).

Backenköhler, Michael and Bortolussi, Luca and Wolf, Verena
(2016) Generalized Method of Moments for Stochastic Reaction Networks in Equilibrium.
In: Computational Methods in Systems Biology - 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings.

Lück, Alexander and Wolf, Verena
(2016) Generalized method of moments for estimating parameters of stochastic reaction networks.
BMC Systems Biology, 10. 98:1–98:12.

Krüger, Thilo and Wolf, Verena
(2016) Hybrid Stochastic Simulation of Rule-Based Polymerization Models.
In: Hybrid Systems Biology - 5th International Workshop, HSB 2016, Grenoble, France, October 20-21, 2016, Proceedings.

Thrän, Daniela and Schaldach, Rüdiger and Millinger, Markus and Wolf, Verena and Arendt, Oliver and Ponitka, Jens and Gärtner, Sven and Rettenmaier, Nils and Hennenberg, Klaus and Schüngel, Jan
(2016) The MILESTONES modeling framework: An integrated analysis of national bioenergy strategies and their global environmental impacts.
Environmental Modelling & Software, 86. 14–29.

Andreychenko, Alexandr and Mikeev, Linar and Wolf, Verena
(2015) Model Reconstruction for Moment-Based Stochastic Chemical Kinetics.
ACM Transactions on Modeling and Computer Simulation, 25 (2). 12:1–12:19.

Bock, Christoph and Bortolussi, Luca and Krüger, Thilo and Mikeev, Linar and Wolf, Verena
(2015) Model-Based Whole-Genome Analysis of DNA Methylation Fidelity.
In: Hybrid Systems Biology - Fourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015. Revised Selected Papers.

Bortolussi, Luca and Krüger, Thilo and Lehr, Thorsten and Wolf, Verena
(2015) Rule-based modelling and simulation of drug-administration policies.
In: Proceedings of the Symposium on Modeling and Simulation in Medicine, part of the 2015 Spring Simulation Multiconference, SpringSim '15, Alexandria, VA, USA, April 12-15, 2015.

Kyriakopoulos, Charalampos and Wolf, Verena
(2014) Optimal Observation Time Points in Stochastic Chemical Kinetics.
In: Hybrid Systems Biology - Second International Workshop, HSB 2013, Taormina, Italy, September 2, 2013 and Third International Workshop, HSB 2014, Vienna, Austria, July 23-24, 2014, Revised Selected Papers.

Angius, Alessio and Horváth, András and Wolf, Verena
(2013) Approximate Transient Analysis of Queuing Networks by Quasi Product Forms.
In: Analytical and Stochastic Modelling Techniques and Applications - 20th International Conference, ASMTA 2013, Ghent, Belgium, July 8-10, 2013. Proceedings.

Mikeev, Linar and Neuhäußer, Martin R. and Spieler, David and Wolf, Verena
(2013) On-the-fly verification and optimization of DTA-properties for large Markov chains.
Formal Methods in System Design, 43 (2). pp. 313-337.

Katoen, Joost-Pieter and Klink, Daniel and Leucker, Martin and Wolf, Verena
(2012) Three-valued abstraction for probabilistic systems.
Journal of Logic and Algebraic Programming, 81 (4). pp. 356-389.

Mikeev, Linar and Sandmann, Werner and Wolf, Verena
(2011) Efficient calculation of rare event probabilities in Markovian queueing networks.
In: 5th International ICST Conference on Performance Evaluation Methodologies and Tools Communications, VALUETOOLS '11, Paris, France, May 16-20, 2011.

Henzinger, Thomas A and Jobstmann, Barbara and Wolf, Verena
(2011) Formalisms for Specifying Markovian Population Models.
International Journal of Foundations of Computer Science, 22 (4). pp. 823-841.

Lapin, Maksim and Mikeev, Linar and Wolf, Verena
(2011) SHAVE: stochastic hybrid analysis of markov population models.
In: Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2011, Chicago, IL, USA, April 12-14, 2011.

This list was generated on Sun Dec 22 09:53:09 2024 CET.
CISPA is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.