Leandro Rafael Moreira Gomes
AuthID: R-00H-1FJ
1
TITLE: A Kleene Algebra with Tests for Union Bound Reasoning About Probabilistic Programs
AUTHORS: Leandro Gomes; Patrick Baillot; Marco Gaboardi;
PUBLISHED: 2025, SOURCE: 33rd EACSL Annual Conference on Computer Science Logic, CSL 2025, February 10-14, 2025, Amsterdam, Netherlands, VOLUME: 326
AUTHORS: Leandro Gomes; Patrick Baillot; Marco Gaboardi;
PUBLISHED: 2025, SOURCE: 33rd EACSL Annual Conference on Computer Science Logic, CSL 2025, February 10-14, 2025, Amsterdam, Netherlands, VOLUME: 326
INDEXED IN: 
DBLP
DBLP IN MY: DBLP
DBLP2
TITLE: Weighted computations: semantics and program logics
AUTHORS: Leandro Gomes;
PUBLISHED: 2022
AUTHORS: Leandro Gomes;
PUBLISHED: 2022
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP3
TITLE: On the Construction of Multi-valued Concurrent Dynamic Logics
AUTHORS: Leandro Gomes;
PUBLISHED: 2019, SOURCE: Dynamic Logic. New Trends and Applications - Second International Workshop, DaLí 2019, Porto, Portugal, October 7-11, 2019, Proceedings, VOLUME: 12005
AUTHORS: Leandro Gomes;
PUBLISHED: 2019, SOURCE: Dynamic Logic. New Trends and Applications - Second International Workshop, DaLí 2019, Porto, Portugal, October 7-11, 2019, Proceedings, VOLUME: 12005
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP4
TITLE: On the construction of multi-valued concurrent dynamic logic PDF
AUTHORS: Leandro Gomes;
PUBLISHED: 2019, SOURCE: CoRR, VOLUME: abs/1911.00462
AUTHORS: Leandro Gomes;
PUBLISHED: 2019, SOURCE: CoRR, VOLUME: abs/1911.00462
INDEXED IN: DBLP 
arXiv
DBLP arXiv IN MY: DBLP
DBLP