Jaime Arsénio de Brito Ramos


AuthID: R-000-6GW

Publicações a aguardar confirmação

1
TÍTULO: Labelled proof systems for existential reasoning  Full Text
AUTORES: Ramos, Jaime; Rasga, Joao; Sernadas, Cristina;
PUBLICAÇÃO: 2024, FONTE: LOGIC JOURNAL OF THE IGPL, VOLUME: 33, NÚMERO: 1
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
2
3
TÍTULO: Model checking distributed temporal logic
AUTORES: Francisco Dionísio; Jaime Ramos; Fernando Subtil; Luca Viganò;
PUBLICAÇÃO: 2024, FONTE: Logic Journal of the IGPL
INDEXADO EM: CrossRef
NO MEU: ORCID
4
TÍTULO: Bounded model checking distributed temporal logic
AUTORES: Peres, Augusto; Ramos, Jaime; Dionisio, Francisco;
PUBLICAÇÃO: 2022, FONTE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 33, NÚMERO: 5
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
5
TÍTULO: Conservative Translations Revisited  Full Text
AUTORES: Ramos, J.; Rasga, J.; Sernadas, C.;
PUBLICAÇÃO: 2022, FONTE: JOURNAL OF PHILOSOPHICAL LOGIC, VOLUME: 52, NÚMERO: 3
INDEXADO EM: WOS CrossRef
NO MEU: ORCID
6
TÍTULO: Event-Based Time-Stamped Claim Logic
AUTORES: Ramos, J; Rasga, J; Sernadas, C; Vigano, L;
PUBLICAÇÃO: 2021, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 121
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
7
TÍTULO: Violence detection in video game metadata using ConvLSTM
AUTORES: Correia, HA; Brito, JH;
PUBLICAÇÃO: 2021, FONTE: 9th IEEE International Conference on Serious Games and Applications for Health, SeGAH 2021 in SeGAH 2021 - 2021 IEEE 9th International Conference on Serious Games and Applications for Health
INDEXADO EM: Scopus
8
TÍTULO: Schema Complexity in Propositional-Based Logics  Full Text
AUTORES: Ramos, J; Rasga, J; Sernadas, C;
PUBLICAÇÃO: 2021, FONTE: MATHEMATICS, VOLUME: 9, NÚMERO: 21
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
9
TÍTULO: Consumer expectations at Caldas da Felgueira Termas & SPA: An overview (1999-2017) [As expectativas dos consumidores das Caldas da Felgueira: Uma análise temporal (1999-2017)]
AUTORES: Ramos, AB; de Carvalho, CSM; Antunes, J;
PUBLICAÇÃO: 2021, FONTE: Journal of Tourism and Development, VOLUME: 36, NÚMERO: 2
INDEXADO EM: Scopus
10
TÍTULO: Essential Structure of Proofs as a Measure of Complexity  Full Text
AUTORES: Ramos, J; Rasga, J; Sernadas, C;
PUBLICAÇÃO: 2020, FONTE: LOGICA UNIVERSALIS, VOLUME: 14, NÚMERO: 2
INDEXADO EM: WOS CrossRef: 1
NO MEU: ORCID
Página 1 de 4. Total de resultados: 35.

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