Tahiry Rabehaja

From MaRDI portal
Person:507374

Available identifiers

zbMath Open rabehaja.tahiry-mMaRDI QIDQ507374

List of research outcomes





PublicationDate of PublicationType
Categorical Information Flow2024-03-14Paper
https://portal.mardi4nfdi.de/entity/Q49925272021-06-09Paper
Program algebra for quantitative information flow2019-06-20Paper
https://portal.mardi4nfdi.de/entity/Q53766512019-05-17Paper
Schedulers and finishers: on generating and filtering the behaviours of an event structure2018-09-24Paper
Abstract Hidden Markov Models: A Monadic Account of Quantitative Information Flow2018-04-23Paper
Algebra for Quantitative Information Flow2017-07-21Paper
Probabilistic rely-guarantee calculus2017-02-06Paper
Schedulers and Finishers: On Generating the Behaviours of an Event Structure2016-12-21Paper
An Event Structure Model for Probabilistic Concurrent Kleene Algebra2014-01-17Paper
On Probabilistic Kleene Algebras, Automata and Simulations2011-06-17Paper

Research outcomes over time

This page was built for person: Tahiry Rabehaja

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:507374&oldid=10836834"
Powered by MediaWiki