Leandro Rafael Moreira Gomes
AuthID: R-00H-1FJ
1
TÃTULO: A Kleene Algebra with Tests for Union Bound Reasoning About Probabilistic Programs
AUTORES: Leandro Gomes; Patrick Baillot; Marco Gaboardi;
PUBLICAÇÃO: 2025, FONTE: 33rd EACSL Annual Conference on Computer Science Logic, CSL 2025, February 10-14, 2025, Amsterdam, Netherlands, VOLUME: 326
AUTORES: Leandro Gomes; Patrick Baillot; Marco Gaboardi;
PUBLICAÇÃO: 2025, FONTE: 33rd EACSL Annual Conference on Computer Science Logic, CSL 2025, February 10-14, 2025, Amsterdam, Netherlands, VOLUME: 326
INDEXADO EM: 
DBLP
DBLP NO MEU: DBLP
DBLP2
TÃTULO: BiGKAT: An Algebraic Framework for Relational Verification of Probabilistic Programs
AUTORES: Leandro Gomes; Patrick Baillot; Marco Gaboardi;
PUBLICAÇÃO: 2025, FONTE: Foundations of Software Science and Computation Structures - 28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, VOLUME: 15691
AUTORES: Leandro Gomes; Patrick Baillot; Marco Gaboardi;
PUBLICAÇÃO: 2025, FONTE: Foundations of Software Science and Computation Structures - 28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, VOLUME: 15691
3
TÃTULO: Weighted computations: semantics and program logics
AUTORES: Leandro Gomes;
PUBLICAÇÃO: 2022
AUTORES: Leandro Gomes;
PUBLICAÇÃO: 2022
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP4
TÃTULO: On the Construction of Multi-valued Concurrent Dynamic Logics
AUTORES: Leandro Gomes;
PUBLICAÇÃO: 2019, FONTE: Dynamic Logic. New Trends and Applications - Second International Workshop, DaLí 2019, Porto, Portugal, October 7-11, 2019, Proceedings, VOLUME: 12005
AUTORES: Leandro Gomes;
PUBLICAÇÃO: 2019, FONTE: Dynamic Logic. New Trends and Applications - Second International Workshop, DaLí 2019, Porto, Portugal, October 7-11, 2019, Proceedings, VOLUME: 12005
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP5
TÃTULO: On the construction of multi-valued concurrent dynamic logic PDF
AUTORES: Leandro Gomes;
PUBLICAÇÃO: 2019, FONTE: CoRR, VOLUME: abs/1911.00462
AUTORES: Leandro Gomes;
PUBLICAÇÃO: 2019, FONTE: CoRR, VOLUME: abs/1911.00462
INDEXADO EM: DBLP 
arXiv
DBLP arXiv NO MEU: DBLP
DBLP