Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by E. Moritz Hahn
Time-Bounded Model Checking of Infinite-State Continuous-Time Markov Chains
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
Related publications
A Ruelle Operator for Continuous Time Markov Chains
Sao Paulo Journal of Mathematical Sciences
Mathematics
Statistics
Uncertainty
Probability
Computational Theory
On a Simple Proof of Uniformization for Continuous and Discrete-State Continuous-Time Markov Chains
Advances in Applied Probability
Applied Mathematics
Statistics
Probability
Analysis of Signalling Pathways Using Continuous Time Markov Chains
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Selected Topics on Continuous-Time Controlled Markov Chains and Markov Games
ICP Advanced Texts in Mathematics
Distributions of Reward Functions on Continuous-Time Markov Chains
Stability Estimates for Finite Homogeneous Continuous-Time Markov Chains
Theory of Probability and its Applications
Uncertainty
Statistics
Probability
An Expectation Maximization Algorithm to Model Failure Times by Continuous-Time Markov Chains
Mathematical Problems in Engineering
Mathematics
Engineering
CSL^TA: An Expressive Logic for Continuous-Time Markov Chains
Nonlinear Bounded-Error State Estimation of Continuous-Time Systems
Automatica
Control
Systems Engineering
Electrical
Electronic Engineering
