| Combining formal methods and Bayesian approach for inferring discrete-state stochastic models from steady-state data J Klein, H Phung, M Hajnal, D Šafránek, T Petrov Plos one 18 (11), e0291151, 2023 | | 2023 |
| Data-Driven Inference of Chemical Reaction Networks via Graph-Based Variational Autoencoders L Bortolussi, F Cairoli, J Klein, T Petrov International Conference on Quantitative Evaluation of Systems, 143-147, 2023 | | 2023 |
| Understanding Social Feedback in Biological Collectives with Smoothed Model Checking J Klein, T Petrov International Symposium on Leveraging Applications of Formal Methods, 181-198, 2022 | | 2022 |
| 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 | 7 | 2022 |
| Lumping Reductions for Multispread in Multi-Layer Networks T Petrov, S Tognazzi Complex Networks & Their Applications X: Volume 2, Proceedings of the Tenth …, 2022 | 1 | 2022 |
| Automated deep abstractions for stochastic chemical reaction networks D Repin, T Petrov Information and Computation 281, 104788, 2021 | 5 | 2021 |
| DiPS: A Tool for Data-Informed Parameter Synthesis for Markov Chains from Multiple-Property Specifications M Hajnal, D Šafránek, T Petrov European Workshop on Performance Engineering, 79-95, 2021 | 1 | 2021 |
| Long lived transients in gene regulation T Petrov, C Igler, A Sezgin, TA Henzinger, CC Guet Theoretical Computer Science 893, 1-16, 2021 | 3 | 2021 |
| Exact and approximate role assignment for multi-layer networks T Petrov, S Tognazzi Journal of Complex Networks 9 (5), cnab027, 2021 | 3 | 2021 |
| Computational Methods in Systems Biology: 18th International Conference, CMSB 2020, Konstanz, Germany, September 23–25, 2020, Proceedings A Abate, T Petrov, V Wolf Springer Nature, 2020 | | 2020 |
| Accelerating reactions at the DNA can slow down transient gene expression P Bokes, J Klein, T Petrov International Conference on Computational Methods in Systems Biology, 44-60, 2020 | 2 | 2020 |
| Tropical abstraction of biochemical reaction networks with guarantees A Beica, J Feret, T Petrov Electronic Notes in Theoretical Computer Science 350, 3-32, 2020 | 9 | 2020 |
| StochNetV2: a tool for automated deep abstractions for stochastic reaction networks D Repin, NH Phung, T Petrov International Conference on Quantitative Evaluation of Systems, 27-32, 2020 | 1 | 2020 |
| Automated deep abstractions for stochastic chemical reaction networks T Petrov, D Repin arXiv preprint arXiv:2002.01889, 2020 | 5 | 2020 |
| Consumers’ food choices, understanding and perceptions in response to different front-of-pack nutrition labelling systems in Belgium: results from an online experimental study A Beica, J Feret, T Petrov, S Vandevijvere, M Vermote, M Egnell, P Galan, ... | | 2020 |
| Centrality-preserving exact reductions of multi-layer networks T Petrov, S Tognazzi Leveraging Applications of Formal Methods, Verification and Validation …, 2020 | 4 | 2020 |
| 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 | 5 | 2019 |
| 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 |
| Markov chain aggregation and its application to rule-based modelling T Petrov Modeling Biomolecular Site Dynamics: Methods and Protocols, 297-313, 2019 | 3 | 2019 |
| 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 |
Heinz KoepplTechnische Universität Darmstadt, Dept. Electrical Engineering and Dept. BiologyVerified email at bcs.tu-darmstadt.de