Jaime Arsénio de Brito Ramos
AuthID: R-000-6GW
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
AUTORES: Ramos, Jaime; Rasga, Joao; Sernadas, Cristina;
PUBLICAÇÃO: 2024, FONTE: LOGIC JOURNAL OF THE IGPL
2
TÃTULO: Probabilistic Semantics and Calculi for Multi-valued and Paraconsistent Logics Full Text
AUTORES: Ramos, Jaime; Rasga, Joao; Sernadas, Cristina;
PUBLICAÇÃO: 2024, FONTE: STUDIA LOGICA
AUTORES: Ramos, Jaime; Rasga, Joao; Sernadas, Cristina;
PUBLICAÇÃO: 2024, FONTE: STUDIA LOGICA
3
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
AUTORES: Peres, Augusto; Ramos, Jaime; Dionisio, Francisco;
PUBLICAÇÃO: 2022, FONTE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 33, NÚMERO: 5
5
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
AUTORES: Ramos, J; Rasga, J; Sernadas, C; Vigano, L;
PUBLICAÇÃO: 2021, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 121
6
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
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
Scopus7
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
AUTORES: Ramos, J; Rasga, J; Sernadas, C;
PUBLICAÇÃO: 2021, FONTE: MATHEMATICS, VOLUME: 9, NÚMERO: 21
8
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
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
Scopus10
TÃTULO: The robust minimal controllability problem Full Text
AUTORES: Sergio Pequito; Guilherme Ramos ; Soummya Kar; A. Pedro Aguiar ; Jaime Ramos;
PUBLICAÇÃO: 2017, FONTE: AUTOMATICA, VOLUME: 82
AUTORES: Sergio Pequito; Guilherme Ramos ; Soummya Kar; A. Pedro Aguiar ; Jaime Ramos;
PUBLICAÇÃO: 2017, FONTE: AUTOMATICA, VOLUME: 82
