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