Peter__Buchholz
Complexity of Kronecker operations on sparse matrices with applications to the solution of Markov models
Hierarchical Markovian Models - Symmetries and Reduction
Markovian process algebra: Composition and equivalence
Structured analysis approaches for large Markov chains