César de Jesus Pereira da Cunha Rodrigues
AuthID: R-001-HG2
1
TÃTULO: Revisiting context-aware component interconnection
AUTORES: Luis S Barbosa ; Marco A C Barbosa; Cesar J Rodrigues;
PUBLICAÇÃO: 2011, FONTE: 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)
AUTORES: Luis S Barbosa ; Marco A C Barbosa; Cesar J Rodrigues;
PUBLICAÇÃO: 2011, FONTE: 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
TÃTULO: Pointfree factorization of operation refinement
AUTORES: Jose N Oliveira ; Cesar J Rodrigues;
PUBLICAÇÃO: 2006, FONTE: 14th International Symposium on Formal Methods in FM 2006: FORMAL METHODS, PROCEEDINGS, VOLUME: 4085
AUTORES: Jose N Oliveira ; Cesar J Rodrigues;
PUBLICAÇÃO: 2006, FONTE: 14th International Symposium on Formal Methods in FM 2006: FORMAL METHODS, PROCEEDINGS, VOLUME: 4085
INDEXADO EM: 
Scopus 
WOS
Scopus WOS3
TÃTULO: Iransposing relations: From Maybe functions to hash tables
AUTORES: de Oliveira, JNF ; Rodrigues, CJPC;
PUBLICAÇÃO: 2004, FONTE: 7th International Conference on Mathematics of Program Construction in MATHEMATICS OF PROGRAM CONSTRUCTION, PROCEEDINGS, VOLUME: 3125
AUTORES: de Oliveira, JNF ; Rodrigues, CJPC;
PUBLICAÇÃO: 2004, FONTE: 7th International Conference on Mathematics of Program Construction in MATHEMATICS OF PROGRAM CONSTRUCTION, PROCEEDINGS, VOLUME: 3125
INDEXADO EM: Scopus WOS
Scopus WOS