Jaime Arsénio de Brito Ramos
AuthID: R-000-6GW
31
TITLE: Cryptomorphisms at work
AUTHORS: Caleiro, C ; Ramos, J;
PUBLISHED: 2005, SOURCE: 17th International Workshop on Algebraic Development Techniques in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, VOLUME: 3423
AUTHORS: Caleiro, C ; Ramos, J;
PUBLISHED: 2005, SOURCE: 17th International Workshop on Algebraic Development Techniques in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, VOLUME: 3423
INDEXED IN: 
Scopus 
WOS
Scopus WOS IN MY: 
ORCID
ORCID32
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
DBLP33
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
ORCID34
TITLE: Combining Logics: Parchments Revisited
AUTHORS: Carlos Caleiro; Paulo Mateus; Jaime Ramos; Amílcar Sernadas;
PUBLISHED: 2001, SOURCE: Recent Trends in Algebraic Development Techniques, 15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001, Selected Papers, VOLUME: 2267
AUTHORS: Carlos Caleiro; Paulo Mateus; Jaime Ramos; Amílcar Sernadas;
PUBLISHED: 2001, SOURCE: Recent Trends in Algebraic Development Techniques, 15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001, Selected Papers, VOLUME: 2267
INDEXED IN: DBLP
DBLP35
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
Scopus36
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