Jaime Arsénio de Brito Ramos
AuthID: R-000-6GW
31
TÃTULO: Cryptomorphisms at Work
AUTORES: Carlos Caleiro; Jaime Ramos;
PUBLICAÇÃO: 2004, FONTE: Recent Trends in Algebraic Development Techniques, 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers, VOLUME: 3423
AUTORES: Carlos Caleiro; Jaime Ramos;
PUBLICAÇÃO: 2004, FONTE: Recent Trends in Algebraic Development Techniques, 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers, VOLUME: 3423
INDEXADO EM: 
DBLP
DBLP32
TÃTULO: Completeness results for fibred parchments - Beyond the propositional base
AUTORES: Caleiro, C ; Gouveia, P; Ramos, J;
PUBLICAÇÃO: 2003, FONTE: 16th International Workshop on Algebraic Development Techniques in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, VOLUME: 2755
AUTORES: Caleiro, C ; Gouveia, P; Ramos, J;
PUBLICAÇÃO: 2003, FONTE: 16th International Workshop on Algebraic Development Techniques in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, VOLUME: 2755
INDEXADO EM: 
Scopus 
WOS
Scopus WOS NO MEU: 
ORCID
ORCID33
TÃTULO: Vibratory response of ship hulls to wave impact loads
AUTORES: Ramos, J; Guedes Soares, C ;
PUBLICAÇÃO: 1998, FONTE: International Shipbuilding Progress, VOLUME: 45, NÚMERO: 441
AUTORES: Ramos, J; Guedes Soares, C ;
PUBLICAÇÃO: 1998, FONTE: International Shipbuilding Progress, VOLUME: 45, NÚMERO: 441
INDEXADO EM: Scopus
Scopus34
TÃTULO: A linear temporal logic approach to objects with transactions
AUTORES: Denker, G; Ramos, J; Caleiro, C; Sernadas, A;
PUBLICAÇÃO: 1997, FONTE: 6th International Algebraic Methodology and Software Technology Conference, AMAST 1997 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1349
AUTORES: Denker, G; Ramos, J; Caleiro, C; Sernadas, A;
PUBLICAÇÃO: 1997, FONTE: 6th International Algebraic Methodology and Software Technology Conference, AMAST 1997 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1349
INDEXADO EM: Scopus
Scopus