Follow
Tatjana Petrov
Tatjana Petrov
Verified email at uni-konstanz.de
Title
Cited by
Year
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
22020
Approximate model reductions for combinatorial reaction systems
T Petrov, H Koeppl
2013 European Control Conference (ECC), 4172-4177, 2013
42013
Approximate reductions of rule-based models
T Petrov, H Koeppl, J Feret
CMACS workshop on Systems Biology and Formals, 2012
42012
Automated deep abstractions for stochastic chemical reaction networks
D Repin, T Petrov
Information and Computation 281, 104788, 2021
52021
Automated deep abstractions for stochastic chemical reaction networks
T Petrov, D Repin
arXiv preprint arXiv:2002.01889, 2020
52020
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
32010
Centrality-preserving exact reductions of multi-layer networks
T Petrov, S Tognazzi
Leveraging Applications of Formal Methods, Verification and Validation …, 2020
42020
Clinical implications of hippocampal vulnerability patterns in tauopathies
I Milenkovic, T Petrov, GG Kovacs
Journal of the Neurological Sciences 333, e316, 2013
2013
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
112013
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
Combining model reductions
F Camporesi, J Feret, H Koeppl, T Petrov
Electronic Notes in Theoretical Computer Science 265, 73-96, 2010
252010
Computational Methods in Systems Biology
A Abate, T Petrov, V Wolf
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
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
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
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
112019
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
12021
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
112015
Exact and approximate role assignment for multi-layer networks
T Petrov, S Tognazzi
Journal of Complex Networks 9 (5), cnab027, 2021
32021
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
72022
The system can't perform the operation now. Try again later.
Articles 1–20