Jaime Arsénio de Brito Ramos


AuthID: R-000-6GW

Publicações Confirmadas: 11



1
TÍTULO: Distributed temporal logic for the analysis of security protocol models  Full Text
AUTORES: David Basin; Carlos Caleiro ; Jaime Ramos ; Luca Vigano;
PUBLICAÇÃO: 2011, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 412, NÚMERO: 31
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
2
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
3
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
4
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
5
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
6
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
7
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
8
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
9
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
10
TÍTULO: The situation and state calculus versus branching temporal logic  Full Text
AUTORES: Ramos, J ; Sernadas, A ;
PUBLICAÇÃO: 1999, FONTE: 13th International Workshop on Algebraic Development Techiniques at the 1st European Joint Conferences on Theory and Practice of Software in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, VOLUME: 1589
INDEXADO EM: WOS
Página 1 de 2. Total de resultados: 11.

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

Links Úteis

Ajuda

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