Arthur Oliveira Vale

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 3

Top Topics

Monte Carlo Tree Search

Pursuit Evasion

Theoretical Framework

Top Venues

Proc. ACM Program. Lang.

Publications

Arthur Oliveira Vale, Zhong Shao, Yixuan Chen
A Compositional Theory of Linearizability. J. ACM 71 (2) (2024)
Arthur Oliveira Vale, Zhong Shao, Yixuan Chen
A Compositional Theory of Linearizability. Proc. ACM Program. Lang. 7 (POPL) (2023)
Arthur Oliveira Vale, Paul-André Melliès, Zhong Shao, Jérémie Koenig, Léo Stefanesco
Layered and object-based game semantics. Proc. ACM Program. Lang. 6 (POPL) (2022)