On the Relationship Between Concurrent Separation Logic and Assume-Guarantee Reasoning. - Xinyu Feng 001; Rodrigo Ferreira; Zhong Shao 001 (ESOP, 2007)

Parameterized Memory Models and Concurrent Separation Logic. - Rodrigo Ferreira; Xinyu Feng 001; Zhong Shao 001 (ESOP, 2010)

The ENCOURAGE ICT architecture for heterogeneous smart grids. - Michele Albano; Luis Lino Ferreira; Thibaut Le Guilly; Manuel Ramiro; J. Eduardo Faria; Lara Perez Duenas; Rodrigo Ferreira; Earl Gaylard; David Jorquera Cubas; Eammon Roarke; Daniel Lux; Sandra Scalari; et al. (EUROCON, 2013)

Consolidation of the control system of a chemical polishing machine for superconducting RF cavities using the UNICOS-CPC framework. - Rodrigo Ferreira; Sebastien Blanchard; Paulo Gomes; Henrik Vestergard (CASE, 2015)

The Framework of Copista: An OMR System for Historical Music Collection Recovery. - Marcos Laia; Flávio Luiz Schiavoni; Daniel Madeira; Dárlinton B. F. Carvalho; João Pedro Moreira Ferreira; Júlio Resende; Rodrigo Ferreira (CMMR, 2016)

Fast and Accurate Micro Lenses Depth Maps for Multi-focus Light Field Cameras. - Rodrigo Ferreira; Nuno Gonçalves 001 (GCPR, 2016)

Fuzzy logic for estimating replacement items in inventory management. - Rafael Ferreira; Rodrigo Ferreira; Hendrik Teixeira Macedo (EATIS, 2016)

Multi-Focus Plenoptic Simulator and Lens Pattern Mixing for Dense Depth Map Estimation. - Rodrigo Ferreira; Joel Cunha; Nuno Gonçalves 001 (Eurographics (Short Papers), 2016)

Accurate and fast micro lenses depth maps from a 3D point cloud in light field cameras. - Rodrigo Ferreira; Nuno Gonçalves 001 (ICPR, 2016)

An Experimental Comparison of Algorithms for Virtual Machine Placement Considering Many Objectives. - Fabio López-Pires; Benjamín Barán; Augusto Amarilla; Leonardo Benítez; Rodrigo Ferreira; Saúl Zalimben (LANC, 2016)

Consolidation of the controls for turbo-molecular pumping groups at CERN's particle accelerator complex. - Rodrigo Ferreira; Sebastien Blanchard; Gregory Pigny; Henrik Vestergard; Paulo Gomes (MED, 2016)

Deep Tech Ethics: An Approach to Teaching Social Justice in Computer Science. - Rodrigo Ferreira; Moshe Y. Vardi (SIGCSE, 2021)

Early risk detection of mental illnesses using various types of textual features. - Rodrigo Ferreira; Alina Trifan; José Luís Oliveira (CLEF (Working Notes), 2022)

The Impact of the Spatial Sampling Resolution on the Prediction of Vehicular Mobility. - Rodrigo Ferreira; Miguel Luís; Rodolfo Oliveira (IWCMC, 2022)

Renovation of the Control System of a High-Pressure Water Rinsing Machine for Superconducting RF Cavities using the UNICOS-CPC Framework. - Joanna Staniszewska; Rodrigo Ferreira; Gregory Pigny (CoDIT, 2023)

Torwards Trustworthy Machine Learning based systems: Evaluating breast cancer predictions interpretability using Human Centered Machine Learning and UX Techniques. - Jonathan Ugalde; Eduardo Godoy; Diego Mellado; Eduardo Cavieres; Bastian Carvajal; Carlos Fernández; Pamela Illescas; Rodrigo H. Avaria; Claudia Díaz; Rodrigo Ferreira; Marvin Querales; Scarlett Lever; et al. (HCI (47), 2023)

Extended Abstract: Bridging Deep Tech Ethics, Community Literacy, and Computer Science Education. - Mary Glavan; Rodrigo Ferreira (ProComm, 2024)