Marcelo Navarro

Publication Activity (10 Years)

Years Active: 2016-2022
Publications (10 Years): 4

Top Topics

Probabilistic Logic

Formal Verification

Posterior Probability

Top Venues

Sci. Comput. Program.

Publications

Marcelo Navarro, Federico Olmedo
Slicing of probabilistic programs based on specifications. Sci. Comput. Program. 220 (2022)
Marcelo Navarro, Federico Olmedo
Slicing of Probabilistic Programs Based on Specifications (Extended Abstract). ECOOP (2022)
Marcelo Navarro, Federico Olmedo
Slicing of Probabilistic Programs based on Specifications. CoRR (2022)
Alberto A. Reymundo, Elvin M. Munoz, Marcelo Navarro, Emir Augusto Vela, Hermano Igo Krebs
Hand rehabilitation using Soft-Robotics. BioRob (2016)