Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Nico M. Van dijk
On a Simple Proof of Uniformization for Continuous and Discrete-State Continuous-Time Markov Chains
Advances in Applied Probability
Applied Mathematics
Statistics
Probability
Related publications
A Ruelle Operator for Continuous Time Markov Chains
Sao Paulo Journal of Mathematical Sciences
Mathematics
Statistics
Uncertainty
Probability
Computational Theory
Time-Bounded Model Checking of Infinite-State Continuous-Time Markov Chains
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
Efficient Computation of Renaming Functions for Ρ-Reversible Discrete and Continuous Time Markov Chains
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
Continuous Parameter Markov Chains
Bounding Inferences for Large-Scale Continuous-Time Markov Chains: A New Approach Based on Lumping and Imprecise Markov Chains
International Journal of Approximate Reasoning
Applied Mathematics
Theoretical Computer Science
Artificial Intelligence
Software
CSL^TA: An Expressive Logic for Continuous-Time Markov Chains
