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