Jaime Arsénio de Brito Ramos
AuthID: R-000-6GW
31
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
DBLP32
TITLE: Completeness results for fibred parchments - Beyond the propositional base
AUTHORS: Caleiro, C ; Gouveia, P; Ramos, J;
PUBLISHED: 2003, SOURCE: 16th International Workshop on Algebraic Development Techniques in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, VOLUME: 2755
AUTHORS: Caleiro, C ; Gouveia, P; Ramos, J;
PUBLISHED: 2003, SOURCE: 16th International Workshop on Algebraic Development Techniques in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, VOLUME: 2755
INDEXED IN: 
Scopus 
WOS
Scopus WOS IN MY: 
ORCID
ORCID33
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
Scopus34
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