Ruben Carlos Gonçalves Martins
AuthID: R-001-JNM
1
TÃTULO: Predictive Risk Score for Acute Kidney Injury in Hematopoietic Stem Cell Transplant Full Text
AUTORES: Rodrigues, Natacha; Fragao Marques, Mariana ; Costa, Claudia; Branco, Carolina; Marques, Filipe; Vasconcelos, Pedro; Martins, Carlos; Leite Moreira, Adelino ; Lopes, Jose Antonio;
PUBLICAÇÃO: 2023, FONTE: CANCERS, VOLUME: 15, NÚMERO: 14
AUTORES: Rodrigues, Natacha; Fragao Marques, Mariana ; Costa, Claudia; Branco, Carolina; Marques, Filipe; Vasconcelos, Pedro; Martins, Carlos; Leite Moreira, Adelino ; Lopes, Jose Antonio;
PUBLICAÇÃO: 2023, FONTE: CANCERS, VOLUME: 15, NÚMERO: 14
2
TÃTULO: UpMax: User Partitioning for MaxSAT
AUTORES: Pedro Orvalho; Vasco Manquinho; Ruben Martins;
PUBLICAÇÃO: 2023, FONTE: 26th International Conference on Theory and Applications of Satisfiability Testing, SAT 2023 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 271
AUTORES: Pedro Orvalho; Vasco Manquinho; Ruben Martins;
PUBLICAÇÃO: 2023, FONTE: 26th International Conference on Theory and Applications of Satisfiability Testing, SAT 2023 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 271
INDEXADO EM: 
Scopus
Scopus3
TÃTULO: SQUARES : A SQL Synthesizer Using Query Reverse Engineering Full Text
AUTORES: Pedro Orvalho; Miguel Terra Neves; Miguel Ventura; Ruben Martins; Vasco Manquinho;
PUBLICAÇÃO: 2020, FONTE: PROCEEDINGS OF THE VLDB ENDOWMENT, VOLUME: 13, NÚMERO: 12
AUTORES: Pedro Orvalho; Miguel Terra Neves; Miguel Ventura; Ruben Martins; Vasco Manquinho;
PUBLICAÇÃO: 2020, FONTE: PROCEEDINGS OF THE VLDB ENDOWMENT, VOLUME: 13, NÚMERO: 12
INDEXADO EM: 
WOS
WOS4
TÃTULO: Encodings for Enumeration-Based Program Synthesis
AUTORES: Pedro Orvalho; Miguel Terra Neves; Miguel Ventura; Ruben Martins; Vasco Manquinho;
PUBLICAÇÃO: 2019, FONTE: 25th International Conference on the Principles and Practice of Constraint Programming (CP) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2019, VOLUME: 11802
AUTORES: Pedro Orvalho; Miguel Terra Neves; Miguel Ventura; Ruben Martins; Vasco Manquinho;
PUBLICAÇÃO: 2019, FONTE: 25th International Conference on the Principles and Practice of Constraint Programming (CP) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2019, VOLUME: 11802
INDEXADO EM: Scopus WOS
Scopus WOS5
TÃTULO: Generalized Totalizer Encoding for Pseudo-Boolean Constraints
AUTORES: Saurabh Joshi; Ruben Martins; Vasco Manquinho;
PUBLICAÇÃO: 2015, FONTE: 21st International Conference on the Principles and Practice of Constraint Programming (CP) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2015, VOLUME: 9255
AUTORES: Saurabh Joshi; Ruben Martins; Vasco Manquinho;
PUBLICAÇÃO: 2015, FONTE: 21st International Conference on the Principles and Practice of Constraint Programming (CP) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2015, VOLUME: 9255
6
TÃTULO: Towards visualizing the mapping incoherences in BioPortal
AUTORES: Martins, C; Jimenez Ruiz, E; Santos, E; Pesquita, C;
PUBLICAÇÃO: 2015, FONTE: International Conference on Biomedical Ontology, ICBO 2015 in CEUR Workshop Proceedings, VOLUME: 1515
AUTORES: Martins, C; Jimenez Ruiz, E; Santos, E; Pesquita, C;
PUBLICAÇÃO: 2015, FONTE: International Conference on Biomedical Ontology, ICBO 2015 in CEUR Workshop Proceedings, VOLUME: 1515
INDEXADO EM: Scopus
Scopus