Tahiry Rabehaja

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Categorical Information Flow	2024-03-14	Paper
Probabilistic concurrent Kleene algebra	2021-06-09	Paper
Probabilistic concurrent Kleene algebra (available as arXiv preprint)	2021-06-09	Paper
Program algebra for quantitative information flow Journal of Logical and Algebraic Methods in Programming	2019-06-20	Paper
Abstract hidden Markov models: a monadic account of quantitative information flow (available as arXiv preprint)	2019-05-17	Paper
Schedulers and finishers: on generating and filtering the behaviours of an event structure Theoretical Computer Science	2018-09-24	Paper
Abstract hidden Markov models: a monadic account of quantitative information flow 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science	2018-04-23	Paper
Algebra for quantitative information flow Relational and Algebraic Methods in Computer Science	2017-07-21	Paper
Probabilistic rely-guarantee calculus Theoretical Computer Science	2017-02-06	Paper
Schedulers and finishers: on generating the behaviours of an event structure Theoretical Aspects of Computing – ICTAC 2016	2016-12-21	Paper
An event structure model for probabilistic concurrent Kleene algebra Logic for Programming, Artificial Intelligence, and Reasoning	2014-01-17	Paper
On probabilistic Kleene algebras, automata and simulations Relational and Algebraic Methods in Computer Science	2011-06-17	Paper

Research outcomes over time

This page was built for person: Tahiry Rabehaja