Tatjana Petrov

According to our database1, Tatjana Petrov authored at least 19 papers between 2008 and 2019.

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

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

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

2016
Faster Statistical Model Checking for Unbounded Temporal Properties.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 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. Automat. Contr., 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

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.
Electr. 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.
Electr. Notes Theor. Comput. Sci., 2011

2010
Combining Model Reductions.
Electr. Notes Theor. Comput. Sci., 2010

Lumpability Abstractions of Rule-based Systems
Proceedings of the Proceedings Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi, 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...