Jos Mauro Volkmer de Castilho
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
1980–1995
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1995 | DEXA | Evaluating Case-Based Reasoning in a Geological Domain | Mara Abel, Eliseo Berni Reategui, Jos Mauro Volkmer de Castilho, John A. Campbell |
| 1993 | ER | A State-Space Approach for Database Redesign. | Jos Mauro Volkmer de Castilho |
| 1982 | VLDB | A Temporal Framework for Database Specifications. | Jos Mauro Volkmer de Castilho, Marco A. Casanova, Antnio L. Furtado |
| 1981 | ER | Verification and Testing of S-ER Representations. | Antnio L. Furtado, Paulo A. S. Veloso, Jos Mauro Volkmer de Castilho |
| 1981 | VLDB | Systematic Derivation of Complementary Specifications | Paulo A. S. Veloso, Jos Mauro Volkmer de Castilho, Antnio L. Furtado |
| 1980 | SIGMOD | Towards Constructive Axiomatic Specifications. | Clesio Saraiva dos Santos, Antnio L. Furtado, Jos Mauro Volkmer de Castilho, Sergio E. R. de Carvalho |