Tatjana Petrov

According to our database1, Tatjana Petrov
  • authored at least 23 papers between 2008 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

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

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

2016
Linear Distances between Markov Chains.
CoRR, 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

Faster Statistical Model Checking for Unbounded Temporal Properties.
CoRR, 2015

Efficient reduction of Kappa models by static inspection of the rule-set.
CoRR, 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

2014
Model Checking Gene Regulatory Networks.
CoRR, 2014

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

Optimal Kullback-Leibler Aggregation via Information Bottleneck
CoRR, 2013

Markov chain aggregation and its applications to combinatorial reaction networks
CoRR, 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...