Travelled to:
1 × Italy
1 × Japan
Collaborated with:
A.McIver C.Morgan G.Struth
Talks about:
probabilist (1) abstract (1) quantit (1) concurr (1) algebra (1) account (1) markov (1) inform (1) hidden (1) monad (1)
Person: Tahiry M. Rabehaja
DBLP: Rabehaja:Tahiry_M=
Contributed to:
Wrote 2 papers:
- LICS-2015-McIverMR #data flow #markov #modelling #monad
- Abstract Hidden Markov Models: A Monadic Account of Quantitative Information Flow (AM, CM, TMR), pp. 597–608.
- QAPL-2013-McIverRS #algebra #concurrent #probability
- Probabilistic Concurrent Kleene Algebra (AM, TMR, GS), pp. 97–115.