Jaime Arsénio de Brito Ramos
AuthID: R-000-6GW
21
TITLE: From Fibring to Cryptofibring. A Solution to the Collapsing Problem
AUTHORS: Carlos Caleiro; Jaime Ramos;
PUBLISHED: 2007, SOURCE: Logica Universalis, VOLUME: 1, ISSUE: 1
AUTHORS: Carlos Caleiro; Jaime Ramos;
PUBLISHED: 2007, SOURCE: Logica Universalis, VOLUME: 1, ISSUE: 1
INDEXED IN: 
DBLP
DBLP22
TITLE: Cryptomorphisms at Work
AUTHORS: Carlos Caleiro; Jaime Ramos;
PUBLISHED: 2004, SOURCE: Recent Trends in Algebraic Development Techniques, 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers, VOLUME: 3423
AUTHORS: Carlos Caleiro; Jaime Ramos;
PUBLISHED: 2004, SOURCE: Recent Trends in Algebraic Development Techniques, 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers, VOLUME: 3423
INDEXED IN: DBLP
DBLP23
TITLE: Vibratory response of ship hulls to wave impact loads
AUTHORS: Ramos, J; Guedes Soares, C ;
PUBLISHED: 1998, SOURCE: International Shipbuilding Progress, VOLUME: 45, ISSUE: 441
AUTHORS: Ramos, J; Guedes Soares, C ;
PUBLISHED: 1998, SOURCE: International Shipbuilding Progress, VOLUME: 45, ISSUE: 441
INDEXED IN: 
Scopus
Scopus24
TITLE: A linear temporal logic approach to objects with transactions
AUTHORS: Denker, G; Ramos, J; Caleiro, C ; Sernadas, A;
PUBLISHED: 1997, SOURCE: 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
AUTHORS: Denker, G; Ramos, J; Caleiro, C ; Sernadas, A;
PUBLISHED: 1997, SOURCE: 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
INDEXED IN: Scopus
Scopus