Hand rehabilitation using Soft-Robotics. - Alberto A. Reymundo; Elvin M. Munoz; Marcelo Navarro; Emir Augusto Vela; Hermano Igo Krebs (BioRob, 2016)

Slicing of Probabilistic Programs Based on Specifications (Extended Abstract). - Marcelo Navarro; Federico Olmedo (ECOOP, 2022)

Slicing of probabilistic programs based on specifications. - Marcelo Navarro; Federico Olmedo (Sci. Comput. Program., 2022)