César de Jesus Pereira da Cunha Rodrigues
AuthID: R-001-HG2
1
TITLE: Revisiting context-aware component interconnection
AUTHORS: Luis S Barbosa ; Marco A C Barbosa; Cesar J Rodrigues;
PUBLISHED: 2011, SOURCE: 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) in 12TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC 2010)
AUTHORS: Luis S Barbosa ; Marco A C Barbosa; Cesar J Rodrigues;
PUBLISHED: 2011, SOURCE: 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) in 12TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC 2010)
2
TITLE: Pointfree factorization of operation refinement
AUTHORS: Jose N Oliveira ; Cesar J Rodrigues;
PUBLISHED: 2006, SOURCE: 14th International Symposium on Formal Methods in FM 2006: FORMAL METHODS, PROCEEDINGS, VOLUME: 4085
AUTHORS: Jose N Oliveira ; Cesar J Rodrigues;
PUBLISHED: 2006, SOURCE: 14th International Symposium on Formal Methods in FM 2006: FORMAL METHODS, PROCEEDINGS, VOLUME: 4085
INDEXED IN: Scopus WOS
3
TITLE: Iransposing relations: From Maybe functions to hash tables
AUTHORS: de Oliveira, JNF ; Rodrigues, CJPC;
PUBLISHED: 2004, SOURCE: 7th International Conference on Mathematics of Program Construction in MATHEMATICS OF PROGRAM CONSTRUCTION, PROCEEDINGS, VOLUME: 3125
AUTHORS: de Oliveira, JNF ; Rodrigues, CJPC;
PUBLISHED: 2004, SOURCE: 7th International Conference on Mathematics of Program Construction in MATHEMATICS OF PROGRAM CONSTRUCTION, PROCEEDINGS, VOLUME: 3125
INDEXED IN: Scopus WOS