Jaime Arsénio de Brito Ramos
AuthID: R-000-6GW
21
TÃTULO: From Fibring to Cryptofibring. A Solution to the Collapsing Problem
AUTORES: Carlos Caleiro; Jaime Ramos;
PUBLICAÇÃO: 2007, FONTE: Logica Universalis, VOLUME: 1, NÚMERO: 1
AUTORES: Carlos Caleiro; Jaime Ramos;
PUBLICAÇÃO: 2007, FONTE: Logica Universalis, VOLUME: 1, NÚMERO: 1
INDEXADO EM: 
DBLP
DBLP22
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
DBLP23
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
Scopus24
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