Sven Drazan

According to our database¹, Sven Drazan authored at least 8 papers between 2007 and 2013.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2013

On Robustness Analysis of Stochastic Biochemical Systems by Probabilistic Model Checking.

[BibT_eX]

[DOI]

CoRR, 2013

Exploring Parameter Space of Stochastic Biochemical Systems Using Quantitative Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2012

On Approximative Reachability Analysis of Biochemical Dynamical Systems.

[BibT_eX]

[DOI]

Trans. Comp. Sys. Biology, 2012

2011

Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation (extended abstract)

[BibT_eX]

[DOI]

Proceedings of the Proceedings Third International Workshop on Computational Models for Cell Processes, 2011

Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation

[BibT_eX]

[DOI]

CoRR, 2011

2009

On algorithmic analysis of transcriptional regulation by LTL model checking.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2009

BioDiVinE: A Framework for Parallel Analysis of Biological Models

[BibT_eX]

[DOI]

Proceedings of the Proceedings Second International Workshop on Computational Models for Cell Processes, 2009

2007

Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE.

[BibT_eX]

[DOI]

Proceedings of the First Workshop "From Biology To Concurrency and back", 2007

Sven Drazan

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...