Marcelo Navarro

According to our database, Marcelo Navarro authored at least 3 papers between 2016 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2022

Slicing of probabilistic programs based on specifications.

Marcelo Navarro, Federico Olmedo

Sci. Comput. Program., 2022

Slicing of Probabilistic Programs Based on Specifications (Extended Abstract).

Marcelo Navarro, Federico Olmedo

Proceedings of the 36th European Conference on Object-Oriented Programming, 2022

2016

Hand rehabilitation using Soft-Robotics.

Alberto A. Reymundo, Elvin M. Munoz, Marcelo Navarro, Emir Augusto Vela, Hermano Igo Krebs

Proceedings of the 6th IEEE International Conference on Biomedical Robotics and Biomechatronics, 2016