Jaime Arsénio de Brito Ramos
AuthID: R-000-6GW
1
TITLE: Bounded model checking distributed temporal logic
AUTHORS: Peres, Augusto; Ramos, Jaime; Dionisio, Francisco;
PUBLISHED: 2022, SOURCE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 33, ISSUE: 5
AUTHORS: Peres, Augusto; Ramos, Jaime; Dionisio, Francisco;
PUBLISHED: 2022, SOURCE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 33, ISSUE: 5
INDEXED IN: 
Scopus 
WOS
Scopus WOS2
TITLE: Conservative Translations Revisited Full Text
AUTHORS: Ramos, J.; Rasga, J.; Sernadas, C.;
PUBLISHED: 2022, SOURCE: JOURNAL OF PHILOSOPHICAL LOGIC
AUTHORS: Ramos, J.; Rasga, J.; Sernadas, C.;
PUBLISHED: 2022, SOURCE: JOURNAL OF PHILOSOPHICAL LOGIC
INDEXED IN: WOS
WOS3
TITLE: Event-Based Time-Stamped Claim Logic
AUTHORS: Ramos, J; Rasga, J; Sernadas, C; Vigano, L;
PUBLISHED: 2021, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 121
AUTHORS: Ramos, J; Rasga, J; Sernadas, C; Vigano, L;
PUBLISHED: 2021, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 121
INDEXED IN: Scopus WOS
Scopus WOS4
TITLE: Violence detection in video game metadata using ConvLSTM
AUTHORS: Correia, HA; Brito, JH;
PUBLISHED: 2021, SOURCE: 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
AUTHORS: Correia, HA; Brito, JH;
PUBLISHED: 2021, SOURCE: 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
INDEXED IN: Scopus
Scopus5
TITLE: Schema Complexity in Propositional-Based Logics Full Text
AUTHORS: Ramos, J; Rasga, J; Sernadas, C;
PUBLISHED: 2021, SOURCE: MATHEMATICS, VOLUME: 9, ISSUE: 21
AUTHORS: Ramos, J; Rasga, J; Sernadas, C;
PUBLISHED: 2021, SOURCE: MATHEMATICS, VOLUME: 9, ISSUE: 21
INDEXED IN: Scopus WOS
Scopus WOS6
TITLE: 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)]
AUTHORS: Ramos, AB; de Carvalho, CSM; Antunes, J;
PUBLISHED: 2021, SOURCE: Journal of Tourism and Development, VOLUME: 36, ISSUE: 2
AUTHORS: Ramos, AB; de Carvalho, CSM; Antunes, J;
PUBLISHED: 2021, SOURCE: Journal of Tourism and Development, VOLUME: 36, ISSUE: 2
INDEXED IN: Scopus
Scopus7
TITLE: Essential Structure of Proofs as a Measure of Complexity Full Text
AUTHORS: Jaime Ramos; Joao Rasga; Cristina Sernadas;
PUBLISHED: 2020, SOURCE: LOGICA UNIVERSALIS, VOLUME: 14, ISSUE: 2
AUTHORS: Jaime Ramos; Joao Rasga; Cristina Sernadas;
PUBLISHED: 2020, SOURCE: LOGICA UNIVERSALIS, VOLUME: 14, ISSUE: 2
INDEXED IN: WOS
WOS8
TITLE: Optimizing the economic, environmental and technical performance of concrete mixes with fly ash and recycled concrete aggregates
AUTHORS: Kurda, R; Silvestre, JD; Brito, J;
PUBLISHED: 2019, SOURCE: Sustainable Built Environment D-A-CH Conference (SBE) in SUSTAINABLE BUILT ENVIRONMENT D-A-CH CONFERENCE 2019 (SBE19 GRAZ), VOLUME: 323, ISSUE: 1
AUTHORS: Kurda, R; Silvestre, JD; Brito, J;
PUBLISHED: 2019, SOURCE: Sustainable Built Environment D-A-CH Conference (SBE) in SUSTAINABLE BUILT ENVIRONMENT D-A-CH CONFERENCE 2019 (SBE19 GRAZ), VOLUME: 323, ISSUE: 1
INDEXED IN: Scopus WOS
Scopus WOS9
TITLE: A Quantitative Model for Dynamic Security Analysis of Wireless Sensor Networks
AUTHORS: Ramos, A; Aquino, B; Lazar, M; Filho, RH; Rodrigues, JJPC;
PUBLISHED: 2018, SOURCE: 2017 IEEE Global Communications Conference, GLOBECOM 2017 in 2017 IEEE Global Communications Conference, GLOBECOM 2017 - Proceedings, VOLUME: 2018-January
AUTHORS: Ramos, A; Aquino, B; Lazar, M; Filho, RH; Rodrigues, JJPC;
PUBLISHED: 2018, SOURCE: 2017 IEEE Global Communications Conference, GLOBECOM 2017 in 2017 IEEE Global Communications Conference, GLOBECOM 2017 - Proceedings, VOLUME: 2018-January
INDEXED IN: Scopus
Scopus10
TITLE: The robust minimal controllability problem Full Text
AUTHORS: Sergio Pequito; Guilherme Ramos ; Soummya Kar; A. Pedro Aguiar ; Jaime Ramos;
PUBLISHED: 2017, SOURCE: AUTOMATICA, VOLUME: 82
AUTHORS: Sergio Pequito; Guilherme Ramos ; Soummya Kar; A. Pedro Aguiar ; Jaime Ramos;
PUBLISHED: 2017, SOURCE: AUTOMATICA, VOLUME: 82
