PETROV, TATJANA

PETROV, TATJANA  

Dipartimento di Matematica, Informatica e Geoscienze  

Settore INF/01 - Informatica  

Ricercatori a tempo determinato  

Mostra records
Risultati 1 - 20 di 37 (tempo di esecuzione: 0.078 secondi).
Titolo Data di pubblicazione Autori File
Accelerating Reactions at the DNA Can Slow Down Transient Gene Expression 1-gen-2020 Petrov T. +
Approximate model reductions for combinatorial reaction systems 1-gen-2013 Petrov T. +
Automated deep abstractions for stochastic chemical reaction networks 1-gen-2021 Petrov, Tatjana +
Automatic reduction of stochastic rules-based models in a nutshell 1-gen-2010 Petrov T +
Centrality-Preserving Exact Reductions of Multi-Layer Networks 1-gen-2020 Petrov T. +
Coarse-grained Brownian dynamics simulation of rule-based models 1-gen-2013 Petrov T. +
Combining formal methods and Bayesian approach for inferring discrete-state stochastic models from steady-state data 1-gen-2023 Petrov T. +
Combining model reductions 1-gen-2010 Petrov T. +
Data-Driven Inference of Chemical Reaction Networks via Graph-Based Variational Autoencoders 1-gen-2023 Bortolussi, LucaCairoli, FrancescaPetrov, Tatjana +
Data-Informed Parameter Synthesis for Population Markov Chains 1-gen-2019 PETROV T +
Efficient reduction of kappa models by static inspection of the rule-set 1-gen-2015 Petrov T. +
Exact and approximate role assignment for multi-layer networks 1-gen-2021 Petrov T. +
Extracting individual characteristics from population data reveals a negative social effect during honeybee defence 1-gen-2022 Petrov T. +
Faster statistical model checking for unbounded temporal properties 1-gen-2016 Petrov T. +
Faster statistical model checking for unbounded temporal properties 1-gen-2017 Petrov T. +
Interface theories with component reuse 1-gen-2008 Petrov T. +
Linear distances between Markov chains 1-gen-2016 Petrov T. +
Long lived transients in gene regulation 1-gen-2021 Petrov T +
Lumpability abstractions of rule-based systems 1-gen-2010 Petrov T. +
Lumping Reductions for Multispread in Multi-Layer Networks 1-gen-2022 Petrov, Tatjana +