| 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 | 105 | 2008 |
| Lumpability abstractions of rule-based systems J Feret, T Henzinger, H Koeppl, T Petrov Theoretical Computer Science 431, 137-164, 2012 | 60 | 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 | 41 | 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 (ARTICLE), 527-604, 2013 | 39 | 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 | 31 | 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 | 29 | 2014 |
| Linear distances between Markov chains P Daca, TA Henzinger, J Křetínský, T Petrov arXiv preprint arXiv:1605.00186, 2016 | 24 | 2016 |
| Combining model reductions F Camporesi, J Feret, H Koeppl, T Petrov Electronic Notes in Theoretical Computer Science 265, 73-96, 2010 | 21 | 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 | 20 | 2014 |
| Model checking gene regulatory networks M Giacobbe, CC Guet, A Gupta, TA Henzinger, T Paixão, T Petrov Tools and Algorithms for the Construction and Analysis of Systems: 21st …, 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 | 13 | 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 | 12 | 2017 |
| 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 |
| Data-informed parameter synthesis for population Markov chains M Hajnal, M Nouvian, D Šafránek, T Petrov Hybrid Systems Biology: 6th International Workshop, HSB 2019, Prague, Czech …, 2019 | 9 | 2019 |
| Efficient reduction of kappa models by static inspection of the rule-set A Beica, CC Guet, T Petrov Hybrid Systems Biology: Fourth International Workshop, HSB 2015, Madrid …, 2016 | 9 | 2016 |
| 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 |
| Transient memory in gene regulation C Guet, TA Henzinger, C Igler, T Petrov, A Sezgin Computational Methods in Systems Biology: 17th International Conference …, 2019 | 5 | 2019 |
| Centrality-preserving exact reductions of multi-layer networks T Petrov, S Tognazzi Leveraging Applications of Formal Methods, Verification and Validation …, 2020 | 4 | 2020 |
| Formal reductions of stochastic rule-based models of biochemical systems T Petrov ETH Zurich, 2013 | 4 | 2013 |
Heinz KoepplTechnische Universität Darmstadt, Dept. Electrical Engineering and Dept. BiologyVerified email at bcs.tu-darmstadt.de
