Tahiry M. Rabehaja

According to our database1, Tahiry M. Rabehaja authored at least 20 papers between 2009 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Schedulers and finishers: On generating and filtering the behaviours of an event structure.
Theor. Comput. Sci., 2018

Fine-Grained Access Control for Smart Healthcare Systems in the Internet of Things.
EAI Endorsed Trans. Indust. Netw. & Intellig. Syst., 2018

Policy-Based Access Control for Constrained Healthcare Resources.
Proceedings of the 19th IEEE International Symposium on "A World of Wireless, 2018

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

On Design of A Fine-Grained Access Control Architecture for Securing IoT-Enabled Smart Healthcare Systems.
Proceedings of the 14th EAI International Conference on Mobile and Ubiquitous Systems: Computing, 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


  Loading...