PETROV, TATJANA
PETROV, TATJANA
Dipartimento di Matematica, Informatica e Geoscienze
Settore INF/01 - Informatica
Ricercatori a tempo determinato
Accelerating Reactions at the DNA Can Slow Down Transient Gene Expression
2020-01-01 Bokes, P.; Klein, J.; Petrov, T.
Approximate model reductions for combinatorial reaction systems
2013-01-01 Petrov, T.; Koeppl, H.
Automated deep abstractions for stochastic chemical reaction networks
2021-01-01 Repin, Denis; Petrov, Tatjana
Automatic reduction of stochastic rules-based models in a nutshell
2010-01-01 Camporesi, ; Feret, ; Koeppl, ; Petrov, T
Centrality-Preserving Exact Reductions of Multi-Layer Networks
2020-01-01 Petrov, T.; Tognazzi, S.
Coarse-grained Brownian dynamics simulation of rule-based models
2013-01-01 Klann, M.; Pauleve, L.; Petrov, T.; Koeppl, H.
Combining formal methods and Bayesian approach for inferring discrete-state stochastic models from steady-state data
2023-01-01 Klein, J.; Phung, H.; Hajnal, M.; Safranek, D.; Petrov, T.
Combining model reductions
2010-01-01 Camporesi, F.; Feret, J.; Koeppl, H.; Petrov, T.
Data-Driven Inference of Chemical Reaction Networks via Graph-Based Variational Autoencoders
2023-01-01 Bortolussi, Luca; Cairoli, Francesca; Klein, Julia; Petrov, Tatjana
Data-Informed Parameter Synthesis for Population Markov Chains
2019-01-01 Hajnal, M; Nouvian, M; Safranek, D; Petrov, T
Efficient reduction of kappa models by static inspection of the rule-set
2015-01-01 Beica, A.; Guet, C. C.; Petrov, T.
Exact and approximate role assignment for multi-layer networks
2021-01-01 Petrov, T.; Tognazzi, S.
Extracting individual characteristics from population data reveals a negative social effect during honeybee defence
2022-01-01 Petrov, T.; Hajnal, M.; Klein, J.; Safranek, D.; Nouvian, M.
Faster statistical model checking for unbounded temporal properties
2016-01-01 Daca, P.; Henzinger, T. A.; Kretinsky, J.; Petrov, T.
Faster statistical model checking for unbounded temporal properties
2017-01-01 Daca, P.; Henzinger, T. A.; Kretinsky, J.; Petrov, T.
Interface theories with component reuse
2008-01-01 Doyen, L.; Henzinger, T. A.; Jobstmann, B.; Petrov, T.
Linear distances between Markov chains
2016-01-01 Daca, P.; Henzinger, T. A.; Kretinsky, J.; Petrov, T.
Long lived transients in gene regulation
2021-01-01 Petrov, T; Igler, C; Sezgin, A; Henzinger, Ta; Guet, Cc
Lumpability abstractions of rule-based systems
2010-01-01 Feret, J.; Henzinger, T.; Koeppl, H.; Petrov, T.
Lumping Reductions for Multispread in Multi-Layer Networks
2022-01-01 Petrov, Tatjana; Tognazzi, Stefano