Jaime Arsénio de Brito Ramos


AuthID: R-000-6GW

Publicações Confirmadas: 22



11
TÍTULO: Hierarchical logical consequence  Full Text
AUTORES: Carlos Caleiro ; Paula Gouveia; Jaime Ramos ;
PUBLICAÇÃO: 2011, FONTE: LOGIC JOURNAL OF THE IGPL, VOLUME: 19, NÚMERO: 4
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
12
TÍTULO: Labelled Tableaux for Distributed Temporal Logic
AUTORES: David Basin; Carlos Caleiro ; Jaime Ramos ; Luca Vigano;
PUBLICAÇÃO: 2009, FONTE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 19, NÚMERO: 6
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
13
TÍTULO: A labeled tableaux system for the distributed temporal logic DTL
AUTORES: David Basin; Carlos Caleiro ; Jaime Ramos ; Luca Vigano;
PUBLICAÇÃO: 2008, FONTE: 15th International Symposium on Temporal Representation and Reasoning in TIME 2008: 15TH INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING, PROCEEDINGS
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
14
TÍTULO: Combining classical and intuitionistic implications
AUTORES: Carlos Caleiro ; Jaime Ramos ;
PUBLICAÇÃO: 2007, FONTE: 6th International Symposium on Frontiers of Combining Systems in FRONTIERS OF COMBINING SYSTEMS, PROCEEDINGS, VOLUME: 4720
INDEXADO EM: Scopus WOS
NO MEU: ORCID | CIÊNCIAVITAE
15
TÍTULO: From fibring to cryptofibring. A solution to the collapsing problem  Full Text
AUTORES: Caleiro, C ; Ramos, J ;
PUBLICAÇÃO: 2007, FONTE: Logica Universalis, VOLUME: 1, NÚMERO: 1
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
16
TÍTULO: Cryptomorphisms at work
AUTORES: Caleiro, C ; Ramos, J ;
PUBLICAÇÃO: 2005, FONTE: 17th International Workshop on Algebraic Development Techniques in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, VOLUME: 3423
INDEXADO EM: Scopus WOS
NO MEU: ORCID | CIÊNCIAVITAE
17
TÍTULO: Multi-agent systems specification and certification: a situation and state calculus approach  Full Text
AUTORES: Gouveia, P; Ramos, J ;
PUBLICAÇÃO: 2004, FONTE: Dagstuhl Seminar on Programming Mult Agent Systems Based on Logic in ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, VOLUME: 41, NÚMERO: 2-4
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
18
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
INDEXADO EM: Scopus WOS
NO MEU: ORCID | CIÊNCIAVITAE
19
TÍTULO: Nautilus: A concurrent anticipatory programming language
AUTORES: Menezes, PB; Costa, SA; Machado, JP; Ramos, J ;
PUBLICAÇÃO: 2002, FONTE: 5th International Conference on Computing Anticipatory Systems in COMPUTING ANTICIPATORY SYSTEMS, VOLUME: 627
INDEXADO EM: WOS
20
TÍTULO: Combining logics: Parchments revisited
AUTORES: Caleiro, C ; Mateus, P ; Ramos, J ; Sernadas, A ;
PUBLICAÇÃO: 2001, FONTE: 15th International Workshop on Algebraic Development Techniques/General Workshop of the ESPRIT Working Group CoFI in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, VOLUME: 2267
INDEXADO EM: WOS CrossRef: 7
Página 2 de 3. Total de resultados: 22.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2025 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service