# Tahiry M. Rabehaja

According to our database

^{1}, Tahiry M. Rabehaja## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2017

Privacy in elections: How small is "small"?

J. Inf. Sec. Appl., 2017

Abstract Hidden Markov Models: a monadic account of quantitative information flow.

CoRR, 2017

Reasoning About Distributed Secrets.

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2017

Algebra for Quantitative Information Flow.

Proceedings of the Relational and Algebraic Methods in Computer Science, 2017

2016

Probabilistic rely-guarantee calculus.

Theor. Comput. Sci., 2016

Compositional security and collateral leakage.

CoRR, 2016

Schedulers and Finishers: On Generating the Behaviours of an Event Structure.

Proceedings of the Theoretical Aspects of Computing - ICTAC 2016, 2016

2015

Abstract Hidden Markov Models: A Monadic Account of Quantitative Information Flow.

Proceedings of the 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015

2014

Probabilistic Rely-guarantee Calculus.

CoRR, 2014

2013

Weak Concurrent Kleene Algebra with Application to Algebraic Verification

CoRR, 2013

An Event Structure Model for Probabilistic Concurrent Kleene Algebra.

CoRR, 2013

Probabilistic Concurrent Kleene Algebra.

Proceedings of the Proceedings 11th International Workshop on Quantitative Aspects of Programming Languages and Systems, 2013

An Event Structure Model for Probabilistic Concurrent Kleene Algebra.

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

2011

On Probabilistic Kleene Algebras, Automata and Simulations.

Proceedings of the Relational and Algebraic Methods in Computer Science, 2011

2009

Data Refinement with Probability in Mind.

Electr. Notes Theor. Comput. Sci., 2009

Refinement Algebra with Explicit Probabilism.

Proceedings of the TASE 2009, 2009