Rayan Hallal
According to our database1,
Rayan Hallal
authored at least 3 papers
between 2018 and 2020.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2020
J. Log. Algebraic Methods Program., 2020
2019
From Global Choreographies to Provably Correct and Efficient Distributed Implementations.
CoRR, 2019
2018
Proceedings of the 2018 International Conference on High Performance Computing & Simulation, 2018