Rodrigo Reis

Publication Activity (10 Years)

Years Active: 2005-2017
Publications (10 Years): 1

Top Topics

Benchmark Instances

Infectious Disease

Top Venues

CENTERIS/ProjMAN/HCist

Publications

Maurílio de Souza Cazarim, Rodrigo Reis, Olívia Wu, Rui Pedro Charters Lopes Rijo, André Luiz Teixeira Vinci, Domingos Alves, Leonardo Régis Leira Pereira
Development and validation of a pharmacoeconomic tool for decision making in the implementation of pharmaceutical care for hypertensive patients in the Brazilian public health system (SUS). CENTERIS/ProjMAN/HCist (2017)
Bruno Miranda, Henrique Masini, Rodrigo Reis
Using Simulink Design Verifier for Automatic Generation of Requirements-Based Tests. FM (2015)
Leila Moslemi Naeni, Natalie Jane de Vries, Rodrigo Reis, Ahmed Shamsul Arefin, Regina Berretta, Pablo Moscato
Identifying Communities of Trust and Confidence in the Charity and Not-for-Profit Sector: A Memetic Algorithm Approach. BDCloud (2014)
Stephen Wassef, Rodrigo Reis, Dragan Lazin
ResNet management: Wayne State University's experience supporting cisco clean access agent. SIGUCCS (2005)