Probabilistic Logic Programming under the L-Stable Semantics. - Denis Deratani Mauá; Fábio G. Cozman; Alexandro Garces (NMR, 2024)

Space Complexity of Minimum Cut Problems in Single-Pass Streams. - Matthew Ding 001; Alexandro Garces; Jason Li 006; Honghao Lin; Jelani Nelson; Vihan Shah; David P. Woodruff (ITCS, 2025)