| Interface theories with component reuse L Doyen, TA Henzinger, B Jobstmann, T Petrov Proceedings of the 8th ACM international conference on Embedded software, 79-88, 2008 | 100 | 2008 |
| Lumpability abstractions of rule-based systems J Feret, T Henzinger, H Koeppl, T Petrov Theoretical Computer Science 431, 137-164, 2012 | 56 | 2012 |
| Stochastic fragments: A framework for the exact reduction of the stochastic semantics of rule-based models J Feret, H Koeppl, T Petrov International Journal of Software and Informatics 7 (ARTICLE), 527-604, 2013 | 39 | 2013 |
| Faster statistical model checking for unbounded temporal properties P Daca, TA Henzinger, J Křetínský, T Petrov ACM Transactions on Computational Logic (TOCL) 18 (2), 1-25, 2017 | 26 | 2017 |
| Patterns of hippocampal tau pathology differentiate neurodegenerative dementias I Milenkovic, T Petrov, GG Kovacs Dementia and geriatric cognitive disorders 38 (5-6), 375-388, 2014 | 26 | 2014 |
| Combining model reductions F Camporesi, J Feret, H Koeppl, T Petrov Electronic Notes in Theoretical Computer Science 265, 73-96, 2010 | 23 | 2010 |
| Optimal kullback–leibler aggregation via information bottleneck BC Geiger, T Petrov, G Kubin, H Koeppl IEEE Transactions on Automatic Control 60 (4), 1010-1022, 2014 | 21 | 2014 |
| Linear distances between Markov chains P Daca, TA Henzinger, J Křetínský, T Petrov arXiv preprint arXiv:1605.00186, 2016 | 20 | 2016 |
| Model checking gene regulatory networks M Giacobbe, CC Guet, A Gupta, TA Henzinger, T Paixão, T Petrov International Conference on Tools and Algorithms for the Construction and …, 2015 | 16 | 2015 |
| Markov chain aggregation and its applications to combinatorial reaction networks A Ganguly, T Petrov, H Koeppl Journal of mathematical biology 69 (3), 767-797, 2014 | 15 | 2014 |
| Reconstructing species-based dynamics from reduced stochastic rule-based models T Petrov, J Feret, H Koeppl Proceedings of the 2012 Winter Simulation Conference (WSC), 1-15, 2012 | 11 | 2012 |
| Coarse-grained brownian dynamics simulation of rule-based models M Klann, L Paulevé, T Petrov, H Koeppl International Conference on Computational Methods in Systems Biology, 64-77, 2013 | 10 | 2013 |
| Efficient reduction of kappa models by static inspection of the rule-set A Beica, CC Guet, T Petrov International Workshop on Hybrid Systems Biology, 173-191, 2015 | 7 | 2015 |
| Model decomposition and stochastic fragments T Petrov, A Ganguly, H Koeppl Electronic Notes in Theoretical Computer Science 284, 105-124, 2012 | 7 | 2012 |
| Probability metrics to calibrate stochastic chemical kinetics H Koeppl, G Setti, S Pelet, M Mangia, T Petrov, M Peter Proceedings of 2010 IEEE International Symposium on Circuits and Systems …, 2010 | 7 | 2010 |
| Model checking the evolution of gene regulatory networks M Giacobbe, CC Guet, A Gupta, TA Henzinger, T Paixão, T Petrov Acta Informatica 54 (8), 765-787, 2017 | 6 | 2017 |
| Formal reductions of stochastic rule-based models of biochemical systems T Petrov ETH Zurich, 2013 | 4 | 2013 |
| Rational design of robust biomolecular circuits: from specification to parameters M Hafner, T Petrov, J Lu, H Koeppl Design and analysis of biomolecular circuits, 253-279, 2011 | 4 | 2011 |
| Transient memory in gene regulation C Guet, TA Henzinger, C Igler, T Petrov, A Sezgin International Conference on Computational Methods in Systems Biology, 155-187, 2019 | 3 | 2019 |
| Approximate reductions of rule-based models T Petrov, J Feret | 3 | 2013 |
Heinz KoepplTechnische Universität DarmstadtVerified email at bcs.tu-darmstadt.de
