| 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 | 95 | 2008 |
| Lumpability abstractions of rule-based systems J Feret, T Henzinger, H Koeppl, T Petrov Theoretical Computer Science 431, 137-164, 2012 | 55 | 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 | 35 | 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 | 25 | 2014 |
| Combining model reductions F Camporesi, J Feret, H Koeppl, T Petrov Electronic Notes in Theoretical Computer Science 265, 73-96, 2010 | 22 | 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 | 19 | 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 | 15 | 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 |
| 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 |
| 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 | 10 | 2012 |
| Model decomposition and stochastic fragments T Petrov, A Ganguly, H Koeppl Electronic Notes in Theoretical Computer Science 284, 105-124, 2012 | 8 | 2012 |
| 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 |
| 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 |
| Approximate reductions of rule-based models T Petrov, J Feret | 3 | 2013 |
| Automatic Reduction of Stochastic Rules‐Based Models in a Nutshell F Camporesi, J Feret, H Koeppl, T Petrov AIP Conference Proceedings 1281 (1), 1330-1334, 2010 | 3 | 2010 |
Heinz KoepplTechnische Universität DarmstadtVerified email at bcs.tu-darmstadt.de
