BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Rabehaja:Tahiry_M=

Contributed to:

LICS 20152015
QAPL 20132013

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.