Compiling Non-strict Functional Languages for the .NET Platform. - Monique Monteiro; Mauro Araújo; Rafael Borges; André L. M. Santos (J. Univers. Comput. Sci., 2005)

An improved weighted essentially non-oscillatory scheme for hyperbolic conservation laws. - Rafael Borges; Monique Carmona; Bruno Costa 002; Wai Sun Don (J. Comput. Phys., 2008)

A neural-symbolic system for temporal reasoning with application to model verification and learning. - Rafael Borges (2012)

Accuracy of the weighted essentially non-oscillatory conservative finite difference schemes. - Wai-Sun Don; Rafael Borges (J. Comput. Phys., 2013)

An improved WENO-Z scheme. - F. Acker; Rafael Borges; Bruno Costa 002 (J. Comput. Phys., 2016)

Mobilex: a generic framework for cross-platform mobile development based on web language. - William Niemiec; Rafael Borges; Érika F. Cota (SBES, 2022)

Can Secure MultiParty Computation be Used to Create Clinical Trial Cohorts based on Blockchain Notarized Private Patient Data? - Bruno Ferreira; Rafael Borges; Carlos Machado Antunes; Marisa Maximiano; Ricardo Gomes; Vítor N. Távora; Manuel Dias; Ricardo Correia Bezerra (CENTERIS/ProjMAN/HCist, 2024)