Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Dennis Guck
Quantitative Timed Analysis of Interactive Markov Chains
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Symbolic Quantitative Robustness Analysis of Timed Automata
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Segregating Markov Chains
Journal of Theoretical Probability
Mathematics
Statistics
Uncertainty
Probability
On the Spectral Analysis of Second-Order Markov Chains
Annales de la faculté des sciences de Toulouse Mathématiques
Analysis of Signalling Pathways Using Continuous Time Markov Chains
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Quantitative Analysis of Real-Time Systems Using Priced Timed Automata
Communications of the ACM
Computer Science
Shepherding Hordes of Markov Chains
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Equivalence of Labeled Markov Chains
International Journal of Foundations of Computer Science
Computer Science
Appendix A. Markov Chains
Wiley Series in Probability and Statistics
Finite-State Markov Chains
