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