About Me

@inproceedings{bockModelBasedWholeGenomeAnalysisOf2015,
 author = {Christoph Bock and Luca Bortolussi and Thilo Krüger and Linar Mikeev and Verena Wolf},
 booktitle = {Hybrid Systems Biology - Fourth International Workshop. Revised Selected Papers. International Conference on Hybrid Systems Biology (HSB-2015), September 4-5, Madrid, Spain},
 doi = {10.1007/978-3-319-26916-0_8},
 editor = {Alessandro Abate and David Šafránek},
 isbn = {9783319269160},
 month = {9},
 pages = {141-155},
 publisher = {Springer International Publishing, Switzerland},
 series = {Lecture Notes in Computer Science, LNCS},
 title = {Model-Based Whole-Genome Analysis of DNA Methylation Fidelity},
 volume = {9271},
 year = {2015}
}

@article{andreychenkoModelReconstructionForMomentBased2015,
 author = {Alexander Andreychenko and Linar Mikeev and Verena Wolf},
 doi = {10.1145/2699712},
 journal = {ACM Transactions on Modeling and Computer Simulation (TOMACS)},
 number = {2},
 pages = {1-19},
 publisher = {Association for Computing Machinery},
 title = {Model Reconstruction for Moment-Based Stochastic Chemical Kinetics},
 url = {https://dl.acm.org/doi/10.1145/2699712},
 volume = {25},
 year = {2015}
}

@article{mikeevOnTheFlyVerificationAndOptimization2013,
 author = {Linar Mikeev and Martin R. Neuhäußer and David Spieler and Verena Wolf},
 doi = {10.1007/s10703-012-0165-1},
 editor = {Nicht bekannt},
 journal = {Formal Methods in System Design},
 month = {10},
 number = {2},
 pages = {313-337},
 publisher = {Springer US, USA},
 title = {On-the-fly verification and optimization of DTA-properties for large Markov chains},
 volume = {43},
 year = {2013}
}

@inproceedings{mikeevNumericalApproximationOfRare2013,
 author = {Linar Mikeev and Werner Sandmann and Verena Wolf},
 booktitle = {Computational Methods in Systems Biology. International Conference on Computational Methods in Systems Biology (CMSB-2013), 11th International Conference, CMSB 2013, September 22-24, Klosterneuburg, Austria},
 doi = {10.1007/978-3-642-40708-6_2},
 edition = {1st},
 editor = {Ashutosh Gupta and Thomas A. Henzinger},
 isbn = {9783642407086},
 month = {9},
 pages = {5-18},
 publisher = {Springer, Berlin, Heidelberg},
 title = {Numerical Approximation of Rare Event Probabilities in Biochemically Reacting Systems},
 volume = {8130},
 year = {2013}
}

@inproceedings{mikeevParameterEstimationForStochastic2012,
 author = {Linar Mikeev and Verena Wolf},
 booktitle = {HSCC '12: Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control. ACM International Conference on Hybrid Systems: Computation and Control (HSCC-2012), April 17-19, Beijing, China},
 doi = {10.1145/2185632.2185657},
 isbn = {9781450312202},
 month = {4},
 pages = {155-166},
 publisher = {ACM, New York, NY},
 title = {Parameter estimation for stochastic hybrid models of biochemical reaction networks},
 year = {2012}
}

@article{andreychenkoApproximateMaximumLikelihoodEstimation2012,
 author = {Aleksander Andreychenko and Linar Mikeev and David Spieler and Verena Wolf},
 doi = {10.1186/1687-4153-2012-9},
 journal = {EURASIP Journal on Bioinformatics and Systems Biology},
 number = {1},
 pages = {1-14},
 publisher = {Springer Nature},
 title = {Approximate maximum likelihood estimation for stochastic chemical kinetics},
 url = {https://doi.org/10.1186/1687-4153-2012-9},
 volume = {2012},
 year = {2012}
}

@inproceedings{mikeevEfficientCalculationOfRare2011,
 author = {Linar Mikeev and Werner Sandmann and Verena Wolf},
 booktitle = {VALUETOOLS '11: Proceedings of the 5th International ICST Conference on Performance Evaluation Methodologies and Tools. International ICST Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS-2011), May 16-20, Paris, France},
 doi = {10.4108/icst.valuetools.2011.245597},
 editor = {Samson Lasaulce and Dieter Fiems and Pete Harrison and Luc Vandendorpe},
 isbn = {978-1-936968-09-1},
 month = {5},
 pages = {186-196},
 publisher = {ACM},
 title = {Efficient Calculation of Rare Event Probabilities in Markovian Queueing Networks},
 year = {2011}
}

@inproceedings{lapinSHAVEStochasticHybridAnalysis2011,
 author = {Maksim Lapin and Linar Mikeev and Verena Wolf},
 booktitle = {HSCC '11: Proceedings of the 14th international conference on Hybrid systems: computation and control. ACM International Conference on Hybrid Systems: Computation and Control (HSCC-2011), April 12-14, Chicago,, IL, USA},
 doi = {10.1145/1967701.1967746},
 isbn = {978-1-4503-0629-4},
 month = {4},
 pages = {311-312},
 publisher = {ACM},
 title = {SHAVE: stochastic hybrid analysis of markov population models},
 year = {2011}
}

@inproceedings{dayarOnTheNumericalAnalysis2010,
 author = {Tuğrul Dayar and Linar Mikeev and Verena Wolf},
 booktitle = {Proceedings of the International Multiconference on Computer Science and Information Technology. Computer Aspects of Numerical Algorithms (CANA-2010), located at IMCSIT 2010, October 18-20, Wisla, Poland},
 doi = {10.1109/IMCSIT.2010.5680059},
 editor = {M. Ganzha and M. Paprzycki},
 isbn = {978-83-60810-27-9},
 month = {10},
 pages = {289-296},
 publisher = {IEEE},
 title = {On the numerical analysis of stochastic Lotka-Volterra models},
 volume = {5},
 year = {2010}
}

@inproceedings{henzingerHybridNumericalSolutionOf2010,
 author = {Thomas A. Henzinger and Linar Mikeev and Maria Mateescu and Verena Wolf},
 booktitle = {Proceedings of the 8th International Conference on Computational Methods in Systems Biology. International Conference on Computational Methods in Systems Biology (CMSB-2010), Proceedings of the 8th International Conference on Computational Methods in Systems Biology, September 29 - October 1, Trento, Italy},
 doi = {10.1145/1839764.1839772},
 isbn = {9781450300681},
 month = {9},
 pages = {55-65},
 publisher = {ACM, USA},
 title = {Hybrid numerical solution of the chemical master equation},
 year = {2010}
}