Bisimulation for labelled Markov processes
Information and Computation - Special issue: LICS'97
Approximating Labeled Markov Processes
LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
Approximating labelled Markov processes
Information and Computation
Behavioural differential equations: a coinductive calculus of streams, automata, and power series
Theoretical Computer Science
Coinductive characterizations of applicative structures
Mathematical Structures in Computer Science
Bisimulation and cocongruence for probabilistic systems
Information and Computation - Special issue: Seventh workshop on coalgebraic methods in computer science 2004
Bisimulation relations for weighted automata
Theoretical Computer Science
A Demonic Approach to Information in Probabilistic Systems
CONCUR 2009 Proceedings of the 20th International Conference on Concurrency Theory
Bisimulation and cocongruence for probabilistic systems
Information and Computation - Special issue: Seventh workshop on coalgebraic methods in computer science 2004
Reflection and preservation of properties in coalgebraic (bi)simulations
ICTAC'07 Proceedings of the 4th international conference on Theoretical aspects of computing
Approximating labelled Markov processes again!
CALCO'09 Proceedings of the 3rd international conference on Algebra and coalgebra in computer science
A logical duality for underspecified probabilistic systems
Information and Computation
Measurable stochastics for Brane Calculus
Theoretical Computer Science
Modalities in the Stone age: A comparison of coalgebraic logics
Theoretical Computer Science
Approximating Markov Processes by Averaging
Journal of the ACM (JACM)
Electronic Notes in Theoretical Computer Science (ENTCS)
| Hi-index | 0.00 |