| 1990 | ER | Algorithms for Designing and Maintaining Optimized Relational Representations of Entity-Relationship Schemas. | Marco A. Casanova, Luiz Tucherman, Alberto H. F. Laender |
| 1989 | ER | A Proposal for Formalizing and Extending the Generalization and Subset Abstractions in the Entity-Relationship Model. | Luiz Tucherman, Marco A. Casanova, Pedro M. Gualandi, Anelise P. Braga |
| 1989 | VLDB | Optimization of Relational Schemas Containing Inclusion Dependencies. | Marco A. Casanova, Luiz Tucherman, Antnio L. Furtado, Anelise P. Braga |
| 1988 | VLDB | Enforcing Inclusion Dependencies and Referencial Integrity. | Marco A. Casanova, Luiz Tucherman, Antnio L. Furtado |
| 1987 | ER | The CHRIS Consultant. | Antnio L. Furtado, Marco A. Casanova, Luiz Tucherman |
| 1986 | DS | Transforming Constraints into Logic Programs: A Case Study. | Antnio L. Furtado, Marco A. Casanova, Luiz Tucherman |
| 1985 | PODS | On the Correctness of a Local Storage Subsystem. | Marco A. Casanova, Arnaldo V. Moura, Luiz Tucherman |
| 1985 | VLDB | A Tool for Modular Database Design. | Luiz Tucherman, Antnio L. Furtado, Marco A. Casanova |
| 1983 | VLDB | A Pragmatic Approach to Structured Database Design. | Luiz Tucherman, Antnio L. Furtado, Marco A. Casanova |