Tatjana Petrov

According to our database1, Tatjana Petrov authored at least 22 papers between 2008 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2020
Automated Deep Abstractions for Stochastic Chemical Reaction Networks.
CoRR, 2020

2019
Data-Informed Parameter Synthesis for Population Markov Chains.
Proceedings of the Hybrid Systems Biology - 6th International Workshop, 2019

Transient Memory in Gene Regulation.
Proceedings of the Computational Methods in Systems Biology, 2019

2018
Markov chain aggregation and its application to rule-based modelling.
CoRR, 2018

2017
Faster Statistical Model Checking for Unbounded Temporal Properties.
ACM Trans. Comput. Log., 2017

Model checking the evolution of gene regulatory networks.
Acta Informatica, 2017

2016
Linear Distances between Markov Chains.
Proceedings of the 27th International Conference on Concurrency Theory, 2016

2015
Optimal Kullback-Leibler Aggregation via Information Bottleneck.
IEEE Trans. Autom. Control., 2015

Model Checking Gene Regulatory Networks.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

Efficient Reduction of Kappa Models by Static Inspection of the Rule-Set.
Proceedings of the Hybrid Systems Biology - Fourth International Workshop, 2015

2013
Formal reductions of stochastic rule-based models of biochemical systems.
PhD thesis, 2013

Stochastic Fragments: A Framework for the Exact Reduction of the Stochastic Semantics of Rule-Based Models.
Int. J. Software and Informatics, 2013

Markov chain aggregation and its applications to combinatorial reaction networks
CoRR, 2013

Approximate model reductions for combinatorial reaction systems.
Proceedings of the European Control Conference, 2013

Coarse-Grained Brownian Dynamics Simulation of Rule-Based Models.
Proceedings of the Computational Methods in Systems Biology, 2013

2012
Lumpability abstractions of rule-based systems.
Theor. Comput. Sci., 2012

Model Decomposition and Stochastic Fragments.
Electron. Notes Theor. Comput. Sci., 2012

Reconstructing species-based dynamics from reduced stochastic rule-based models.
Proceedings of the Winter Simulation Conference, 2012

2011
Stochastic Semantics of Signaling as a Composition of Agent-view Automata.
Electron. Notes Theor. Comput. Sci., 2011

2010
Combining Model Reductions.
Proceedings of the 26th Conference on the Mathematical Foundations of Programming Semantics, 2010

Probability metrics to calibrate stochastic chemical kinetics.
Proceedings of the International Symposium on Circuits and Systems (ISCAS 2010), May 30, 2010

2008
Interface theories with component reuse.
Proceedings of the 8th ACM & IEEE International conference on Embedded software, 2008


  Loading...