Vasco Miguel Gomes Nunes Manquinho
AuthID: R-000-HE8
21
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 
DBLP
WOS DBLP22
TITLE: The Seesaw Algorithm: Function Optimization Using Implicit Hitting Sets
AUTHORS: Mikolás Janota; Morgado, António ; José Fragoso Santos; Vasco M Manquinho;
PUBLISHED: 2021, SOURCE: 27th International Conference on Principles and Practice of Constraint Programming, CP 2021, Montpellier, France (Virtual Conference), October 25-29, 2021., VOLUME: 210
AUTHORS: Mikolás Janota; Morgado, António ; José Fragoso Santos; Vasco M Manquinho;
PUBLISHED: 2021, SOURCE: 27th International Conference on Principles and Practice of Constraint Programming, CP 2021, Montpellier, France (Virtual Conference), October 25-29, 2021., VOLUME: 210
INDEXED IN: 
Scopus DBLP
Scopus DBLP23
TITLE: UNCHARTIT: An Interactive Framework for Program Recovery from Charts
AUTHORS: Ramos, D; Pereira, J; Lynce, I ; Manquinho, V; Martins, R;
PUBLISHED: 2020, SOURCE: 35th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2020 35TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2020)
AUTHORS: Ramos, D; Pereira, J; Lynce, I ; Manquinho, V; Martins, R;
PUBLISHED: 2020, SOURCE: 35th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2020 35TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2020)
INDEXED IN: Scopus WOS DBLP
Scopus WOS DBLP24
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
WOS25
TITLE: UnchartIt. an interactive framework for program recovery from charts
AUTHORS: Daniel Ramos; Jorge Pereira; Inês Lynce ; Vasco Manquinho; Ruben Martins;
PUBLISHED: 2020, SOURCE: Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering
AUTHORS: Daniel Ramos; Jorge Pereira; Inês Lynce ; Vasco Manquinho; Ruben Martins;
PUBLISHED: 2020, SOURCE: Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering
26
TITLE: Virtual machine consolidation using constraint-based multi-objective optimization Full Text
AUTHORS: Terra Neves, M; Lynce, I ; Manquinho, V;
PUBLISHED: 2019, SOURCE: JOURNAL OF HEURISTICS, VOLUME: 25, ISSUE: 3
AUTHORS: Terra Neves, M; Lynce, I ; Manquinho, V;
PUBLISHED: 2019, SOURCE: JOURNAL OF HEURISTICS, VOLUME: 25, ISSUE: 3
27
TITLE: Constraint-Based Techniques in Stochastic Local Search MaxSAT Solving
AUTHORS: Guerreiro, AP; Terra Neves, M; Lynce, I ; Figueira, JR; Manquinho, V;
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: Guerreiro, AP; Terra Neves, M; Lynce, I ; Figueira, JR; Manquinho, V;
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
28
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 WOS29
TITLE: Plant defensin PvD(1) modulates the membrane composition of breast tumour-derived exosomes Full Text
AUTHORS: Skalska, J; Oliveira, FD; Figueira, TN; Mello, EO; Gomes, VM; McNaughton Smith, G; Castanho, MARB ; Gaspar, D;
PUBLISHED: 2019, SOURCE: NANOSCALE, VOLUME: 11, ISSUE: 48
AUTHORS: Skalska, J; Oliveira, FD; Figueira, TN; Mello, EO; Gomes, VM; McNaughton Smith, G; Castanho, MARB ; Gaspar, D;
PUBLISHED: 2019, SOURCE: NANOSCALE, VOLUME: 11, ISSUE: 48
30
TITLE: Concurrency Debugging with MaxSMT
AUTHORS: Miguel Terra-Neves; Nuno Machado; Ines Lynce ; Vasco Manquinho;
PUBLISHED: 2019, SOURCE: Proceedings of the AAAI Conference on Artificial Intelligence, VOLUME: 33, ISSUE: 01
AUTHORS: Miguel Terra-Neves; Nuno Machado; Ines Lynce ; Vasco Manquinho;
PUBLISHED: 2019, SOURCE: Proceedings of the AAAI Conference on Artificial Intelligence, VOLUME: 33, ISSUE: 01
