Tatjana Petrov
According to our database^{1},
Tatjana Petrov
authored at least 19 papers
between 2008 and 2019.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Homepages:

at orcid.org
On csauthors.net:
Bibliography
2019
DataInformed 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 KullbackLeibler 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 RuleSet.
Proceedings of the Hybrid Systems Biology  Fourth International Workshop, 2015
2013
Formal reductions of stochastic rulebased models of biochemical systems
PhD thesis, 2013
Stochastic Fragments: A Framework for the Exact Reduction of the Stochastic Semantics of RuleBased Models.
Int. J. Software and Informatics, 2013
Approximate model reductions for combinatorial reaction systems.
Proceedings of the European Control Conference, 2013
CoarseGrained Brownian Dynamics Simulation of RuleBased Models.
Proceedings of the Computational Methods in Systems Biology, 2013
2012
Lumpability abstractions of rulebased systems.
Theor. Comput. Sci., 2012
Model Decomposition and Stochastic Fragments.
Electr. Notes Theor. Comput. Sci., 2012
Reconstructing speciesbased dynamics from reduced stochastic rulebased models.
Proceedings of the Winter Simulation Conference, 2012
2011
Stochastic Semantics of Signaling as a Composition of Agentview Automata.
Electr. Notes Theor. Comput. Sci., 2011
2010
Combining Model Reductions.
Electr. Notes Theor. Comput. Sci., 2010
Lumpability Abstractions of Rulebased 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