Items where Author is "Mikeev, Linar"

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

Conference or Workshop Item (A Paper)

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.

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.

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.


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.

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.

This list was generated on Tue Dec 7 00:04:12 2021 CET.