- Methodology for Optimization of Polymer Blends CompositionAlessandra Martins Coelho, Vania Vieira Estrela, Joaquim Teixeira de Assis, Gil de Carvalho, Joaquim Teixeira de Assis, Vania Vieira Estrela, Vânia Estrela, Vania Vieira Estrela, Vania Vieira Estrela, Vania Vieira Estrela, Vania Vieira Estrela, Alessandra Martins Coelho, Alessandra Martins Coelho, Alessandra Martins Coelho. 2012. [doi]
- Correct Hardware Design and Verification Methods, 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005, ProceedingsDominique Borrione, Wolfgang J. Paul, editors, Volume 3725 of Lecture Notes in Computer Science, Springer, 2005.
- Correct Hardware Design and Verification Methods, IFIP WG 10.5 Advanced Research Working Conference, CHARME 95, Frankfurt/Main, Germany, October 2-4, 1995, ProceedingsPaolo Camurati, Hans Eveking, editors, Volume 987 of Lecture Notes in Computer Science, Springer, 1995.
- Correct Hardware Design and Verification Methods, IFIP WG 10.5 Advanced Research Working Conference, CHARME 93, Arles, France, May 24-26, 1993, ProceedingsGeorge J. Milne, Laurence Pierre, editors, Volume 683 of Lecture Notes in Computer Science, Springer, 1993.