| 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 | 104 | 2008 |
| Lumpability abstractions of rule-based systems J Feret, T Henzinger, H Koeppl, T Petrov Theoretical Computer Science 431, 137-164, 2012 | 66 | 2012 |
| 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 | 51 | 2017 |
| 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 (4), 527-604, 2013 | 48 | 2013 |
| 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 | 38 | 2014 |
| 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 | 33 | 2014 |
| Linear distances between Markov chains P Daca, TA Henzinger, J Křetínský, T Petrov arXiv preprint arXiv:1605.00186, 2016 | 28 | 2016 |
| Combining model reductions F Camporesi, J Feret, H Koeppl, T Petrov Electronic Notes in Theoretical Computer Science 265, 73-96, 2010 | 25 | 2010 |
| Markov chain aggregation and its applications to combinatorial reaction networks A Ganguly, T Petrov, H Koeppl Journal of mathematical biology 69, 767-797, 2014 | 23 | 2014 |
| 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 | 17 | 2015 |
| 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 | 16 | 2012 |
| Model checking the evolution of gene regulatory networks M Giacobbe, CC Guet, A Gupta, TA Henzinger, T Paixão, T Petrov Acta Informatica 54, 765-787, 2017 | 13 | 2017 |
| Tropical abstraction of biochemical reaction networks with guarantees A Beica, J Feret, T Petrov Electronic Notes in Theoretical Computer Science 350, 3-32, 2020 | 11 | 2020 |
| Data-informed parameter synthesis for population Markov chains M Hajnal, M Nouvian, D Šafránek, T Petrov International Workshop on Hybrid Systems Biology, 147-164, 2019 | 11 | 2019 |
| 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 | 11 | 2015 |
| Coarse-grained brownian dynamics simulation of rule-based models M Klann, L Paulevé, T Petrov, H Koeppl Computational Methods in Systems Biology: 11th International Conference …, 2013 | 11 | 2013 |
| Extracting individual characteristics from population data reveals a negative social effect during honeybee defence T Petrov, M Hajnal, J Klein, D Šafránek, M Nouvian PLoS Computational Biology 18 (9), e1010305, 2022 | 8 | 2022 |
| Automated deep abstractions for stochastic chemical reaction networks D Repin, T Petrov Information and Computation 281, 104788, 2021 | 8 | 2021 |
| 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 |
Heinz KoepplTechnische Universität Darmstadt, Dept. Electrical Engineering and Dept. BiologyVerified email at bcs.tu-darmstadt.de