On the use of pointers and the teaching of disciplined programming. - Sergio E. R. de Carvalho; Miguel Angelo A. Nóvoa (SIGCSE, 1976)

A Proposal for a Generalized "FOR" Statement. - Sergio E. R. de Carvalho (Comput. Lang., 1978)

Towards Constructive Axiomatic Specifications. - Clesio Saraiva dos Santos; António L. Furtado 001; José Mauro Volkmer de Castilho; Sergio E. R. de Carvalho (SIGMOD Rec., 1980)

Ambiente de Programação com Mistura de Linguagens: Comunicação entre os módulos de um programa. - Regina Celia de Souza Pereira; Sergio E. R. de Carvalho (SBES, 1987)

Sobre o Comportamento de Objetos. - Sergio Eduardo Rodrigues de Carvalho (SBES, 1993)

Second Generation Object-Oriented Development. - Sergio E. R. de Carvalho; Sylvia de O. Cruz; Toacy Cavalcante de Oliveira (US-Brazil Joint Workshops on the Formal Foundations of Software Systems, 1997)

An Incremental Model for Concurrent Objects. - Sergio E. R. de Carvalho; Toacy Cavalcante de Oliveira (US-Brazil Joint Workshops on the Formal Foundations of Software Systems, 1997)

An Object-Oriented Framework for Local Search Heuristics. - Alexandre A. Andreatta; Sergio E. R. de Carvalho; Celso C. Ribeiro (TOOLS (26), 1998)

Object Life-Cycles in Active Relational Databases. - Fábio Porto 001; Mauricio J. V. Silva; Sergio E. R. de Carvalho (TOOLS (26), 1998)

Persistent Object Synchronization with Active Relational Databases. - Fábio Porto 001; Sergio E. R. de Carvalho; Mauricio J. V. de Silva; Rubens N. Melo (TOOLS (30), 1999)

Module interconnection features in object-oriented development tools. - Sergio E. R. de Carvalho; Julio César Sampaio do Prado Leite (J. Syst. Softw., 2000)

Using UML-F to enhance framework development: a case study in the local search heuristics domain. - Marcus Fontoura; Carlos José Pereira de Lucena; Alexandre A. Andreatta; Sergio E. R. de Carvalho; Celso C. Ribeiro (J. Syst. Softw., 2001)