According to our database1, Tatjana Petrov authored at least 19 papers between 2008 and 2019.
Legend:Book In proceedings Article PhD thesis Other
Data-Informed Parameter Synthesis for Population Markov Chains.
Proceedings of the Hybrid Systems Biology - 6th International Workshop, 2019
Model checking the evolution of gene regulatory networks.
Acta Inf., 2017
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
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
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
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
Stochastic Semantics of Signaling as a Composition of Agent-view Automata.
Electr. Notes Theor. Comput. Sci., 2011
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
Interface theories with component reuse.
Proceedings of the 8th ACM & IEEE International conference on Embedded software, 2008