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)

Verification and Testing of S-ER Representations. - António L. Furtado 001; Paulo A. S. Veloso; José Mauro Volkmer de Castilho (ER, 1981)

Systematic Derivation of Complementary Specifications - Paulo A. S. Veloso; José Mauro Volkmer de Castilho; António L. Furtado 001 (VLDB, 1981)

Dynamic modelling of a simple existence constraint. - António L. Furtado 001; Clesio Saraiva dos Santos; José Mauro Volkmer de Castilho (Inf. Syst., 1981)

Properties of Conceptual and External Database Schemas. - Marco A. Casanova; José Mauro Volkmer de Castilho; António Luz Furtado (Formal Description of Programming Concepts, 1982)

A Temporal Framework for Database Specifications. - José Mauro Volkmer de Castilho; Marco A. Casanova; António L. Furtado 001 (VLDB, 1982)

O Uso de uma Linguagem Semi-Formal no Processo de Formalização de Especificações de Software. - Stanley Loh; José Mauro Volkmer de Castilho (SBES, 1991)

Especificação de Requisitos: Utilizando um Modelo Temporal Orientado a Objetos. - Nina Edelweiss; José Palazzo M. de Oliveira; José Mauro Volkmer de Castilho; Barbara Pernici (SBES, 1992)

Apoio Automatizado à Elicitação de Requisitos: Proposta e Protótipo de Ferramenta. - Stanley Loh; Cesar Roberto Poeta; José M. V. de Castilho (SBES, 1992)

T-ORM: Temporal Aspects in Objects and Roles. - Nina Edelweiss; José Palazzo M. de Oliveira; José Mauro Volkmer de Castilho; Elisa Peressi; Angelo Montanari; Barbara Pernici (ORM, 1994)

Um Estudo sobre Ferramentas de Apoio para o Projeto de Sistemas de Banco de Dados. - Nara Martini Bigolin; José Mauro Volkmer de Castilho (SBES, 1994)

Evaluating Case-Based Reasoning in a Geological Domain - Mara Abel; Eliseo Berni Reategui; José Mauro Volkmer de Castilho; John A. Campbell (DEXA, 1995)

Uma ferramenta baseada em regras heurísticas para gerar especificações diagramáticas de requisitos orientadas a objeto. - Júlio Hartmann; Carolina Sturm Trindade; Stanley Loh; José Mauro Volkmer de Castilho (WER, 1998)

A State-Space Approach for Database Redesign. - José Mauro Volkmer de Castilho (RITA, 1998)

Sistema de Informação Total: Gerência de Dados e Conhecimento. - José Mauro Volkmer de Castilho; Mara Abel (RITA, 1998)

Uma Abordagem Baseada em Regras Heurísticas para Construção de Especificações Diagramáticas de Requisitos. - José Mauro Volkmer de Castilho; Stanley Loh (RITA, 1998)

Processamento Semântico de Informações Situadas. - Luiz A. M. Palazzo; José Mauro Volkmer de Castilho (RITA, 1998)

Global database views in a federation of autonomous databases. - José Mauro Volkmer de Castilho; R. P. da Rocha; Theo Härder; Joachim Thomas 001 (J. Braz. Comput. Soc., 1999)

Defining a Lexicalized Context-Free Grammar for a Subdomain of Portuguese Language. - Cinthyan Renata Sachs Camerlengo de Barbosa; Davidson Cury; José Mauro Volkmer de Castilho; Celso de Renna e Souza (TAG+, 2002)