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: SOAR: A Synthesis Approach for Data Science API Refactoring
AUTORES: Ni, AS; Ramos, D; Yang, AZH; Lynce, I; Manquinho, V; Martins, R; Le Goues, C;
PUBLICAÇÃO: 2021, FONTE: 43rd IEEE/ACM International Conference on Software Engineering - Software Engineering in Practice (ICSE-SEIP) / 43rd ACM/IEEE International Conference on Software Engineering - New Ideas and Emerging Results (ICSE-NIER) in 2021 IEEE/ACM 43RD INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2021)
AUTORES: Ni, AS; Ramos, D; Yang, AZH; Lynce, I; Manquinho, V; Martins, R; Le Goues, C;
PUBLICAÇÃO: 2021, FONTE: 43rd IEEE/ACM International Conference on Software Engineering - Software Engineering in Practice (ICSE-SEIP) / 43rd ACM/IEEE International Conference on Software Engineering - New Ideas and Emerging Results (ICSE-NIER) in 2021 IEEE/ACM 43RD INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2021)
INDEXADO EM: Scopus 
WOS
Scopus WOS4
TÃTULO: Replication of SOAR: A Synthesis Approach for Data Science API Refactoring
AUTORES: Ni, AS; Ramos, D; Yang, AZH; Lynce, I; Manquinho, V; Martins, R; Le Goues, C;
PUBLICAÇÃO: 2021, FONTE: IEEE/ACM 43rd International Conference on Software Engineering (ICSE) in 2021 IEEE/ACM 43RD INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: COMPANION PROCEEDINGS (ICSE-COMPANION 2021)
AUTORES: Ni, AS; Ramos, D; Yang, AZH; Lynce, I; Manquinho, V; Martins, R; Le Goues, C;
PUBLICAÇÃO: 2021, FONTE: IEEE/ACM 43rd International Conference on Software Engineering (ICSE) in 2021 IEEE/ACM 43RD INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: COMPANION PROCEEDINGS (ICSE-COMPANION 2021)
INDEXADO EM: WOS
WOS5
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
WOS6
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 WOS7
TÃTULO: Parallel maximum satisfiability
AUTORES: Lynce, I; Manquinho, V; Martins, R;
PUBLICAÇÃO: 2018, FONTE: Handbook of Parallel Constraint Reasoning
AUTORES: Lynce, I; Manquinho, V; Martins, R;
PUBLICAÇÃO: 2018, FONTE: Handbook of Parallel Constraint Reasoning
INDEXADO EM: Scopus
Scopus8
TÃTULO: Deterministic Parallel MaxSAT Solving
AUTORES: Ruben Martins; Vasco Manquinho; Ines Lynce;
PUBLICAÇÃO: 2015, FONTE: INTERNATIONAL JOURNAL ON ARTIFICIAL INTELLIGENCE TOOLS, VOLUME: 24, NÚMERO: 3
AUTORES: Ruben Martins; Vasco Manquinho; Ines Lynce;
PUBLICAÇÃO: 2015, FONTE: INTERNATIONAL JOURNAL ON ARTIFICIAL INTELLIGENCE TOOLS, VOLUME: 24, NÚMERO: 3
9
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
10
TÃTULO: Exploiting Resolution-Based Representations for MaxSAT Solving
AUTORES: Miguel Neves; Ruben Martins; Mikolas Janota; Ines Lynce; Vasco Manquinho;
PUBLICAÇÃO: 2015, FONTE: 18th International Conference on Theory and Applications of Satisfiability Testing (SAT) in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2015, VOLUME: 9340
AUTORES: Miguel Neves; Ruben Martins; Mikolas Janota; Ines Lynce; Vasco Manquinho;
PUBLICAÇÃO: 2015, FONTE: 18th International Conference on Theory and Applications of Satisfiability Testing (SAT) in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2015, VOLUME: 9340
