Statistics
Publications
2
Citations
86
H-Index
2
Active since
2018
Affiliations
Lucas dos Santos Leal is an author at Universidade Federal do Rio Grande do Sul specializing in engineering, computer science, and routing.
Publications per year
2018–2020
2
2
Uncovering Bugs in P4 Programs with Assertion-based Verification
Lucas G. Freire, Miguel Neves, Lucas dos Santos Leal et al. · 2018 · 67 citations · Full text
Pedro Marcos, Lars Prehn, Lucas dos Santos Leal et al. · 2020 · 19 citations · Full text
Inbound Traffic Engineering, Route Choice, Ipv4 Prefixes +11
1–2 of 2