Ruben Carlos Gonçalves Martins
AuthID: R-001-JNM
1
TÃTULO: BatFix: Repairing Language Model-based Transpilation Full Text
AUTORES: Ramos, Daniel; Lynce, Ines ; Manquinho, Vasco; Martins, Ruben; Le Goues, Claire;
PUBLICAÇÃO: 2024, FONTE: ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, VOLUME: 33, NÚMERO: 6
AUTORES: Ramos, Daniel; Lynce, Ines ; Manquinho, Vasco; Martins, Ruben; Le Goues, Claire;
PUBLICAÇÃO: 2024, FONTE: ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, VOLUME: 33, NÚMERO: 6
2
TÃTULO: Reverse-Engineering Congestion Control Algorithm Behavior
AUTORES: Ferreira, Margarida; Ware, Ranysha; Kothari, Yash; Lynce, Ines ; Martins, Ruben; Narayan, Akshay; Sherry, Justine;
PUBLICAÇÃO: 2024, FONTE: ACM Internet Measurement Conference (IMC) in PROCEEDINGS OF THE 2024 ACM INTERNET MEASUREMENT CONFERENCE, IMC 2024
AUTORES: Ferreira, Margarida; Ware, Ranysha; Kothari, Yash; Lynce, Ines ; Martins, Ruben; Narayan, Akshay; Sherry, Justine;
PUBLICAÇÃO: 2024, FONTE: ACM Internet Measurement Conference (IMC) in PROCEEDINGS OF THE 2024 ACM INTERNET MEASUREMENT CONFERENCE, IMC 2024
3
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
4
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
Scopus5
TÃTULO: MELT: Mining Effective Lightweight Transformations from Pull Requests
AUTORES: Ramos, Daniel; Mitchell, Hailie; Lynce, Ines ; Manquinho, Vasco; Martins, Ruben; Le Goues, Claire;
PUBLICAÇÃO: 2023, FONTE: 38th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2023 38TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, ASE
AUTORES: Ramos, Daniel; Mitchell, Hailie; Lynce, Ines ; Manquinho, Vasco; Martins, Ruben; Le Goues, Claire;
PUBLICAÇÃO: 2023, FONTE: 38th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2023 38TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, ASE
6
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 
DBLP
Scopus WOS DBLP7
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 DBLP
WOS DBLP8
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
WOS9
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 WOS10
TÃTULO: Reflections on "Incremental Cardinality Constraints for MaxSAT" PDF
AUTORES: Ruben Martins; Saurabh Joshi; Vasco Manquinho; Inês Lynce ;
PUBLICAÇÃO: 2019, FONTE: CoRR, VOLUME: abs/1910.04643
AUTORES: Ruben Martins; Saurabh Joshi; Vasco Manquinho; Inês Lynce ;
PUBLICAÇÃO: 2019, FONTE: CoRR, VOLUME: abs/1910.04643
INDEXADO EM: DBLP 
arXiv
DBLP arXiv