Vasco Miguel Gomes Nunes Manquinho


AuthID: R-000-HE8

Publicações Confirmadas: 69



21
TÍTULO: AlloyMax: Bringing Maximum Satisfaction to Relational Specifications
AUTORES: Zhang, CJ; Wagner, R; Orvalho, P; Garlan, D; Manquinho, V ; Martins, R; Kang, E;
PUBLICAÇÃO: 2021, FONTE: 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) in PROCEEDINGS OF THE 29TH ACM JOINT MEETING ON EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING (ESEC/FSE '21)
INDEXADO EM: Scopus WOS CrossRef: 5
NO MEU: ORCID | CIÊNCIAVITAE
22
TÍTULO: Exact hypervolume subset selection through incremental computations
AUTORES: Guerreiro, AP; Manquinho, V ; Figueira, JR ;
PUBLICAÇÃO: 2021, FONTE: COMPUTERS & OPERATIONS RESEARCH, VOLUME: 136
INDEXADO EM: Scopus WOS CrossRef: 6
NO MEU: ORCID | CIÊNCIAVITAE
23
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
INDEXADO EM: CrossRef: 3
NO MEU: ORCID | CIÊNCIAVITAE
24
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
INDEXADO EM: CrossRef: 3
NO MEU: ORCID | CIÊNCIAVITAE
25
TÍTULO: Integrating Pseudo-Boolean Constraint Reasoning in Multi-Objective Evolutionary Algorithms
AUTORES: Terra Neves, M; Lynce, I ; Manquinho, V ;
PUBLICAÇÃO: 2019, FONTE: PROCEEDINGS OF THE TWENTY-EIGHTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLUME: 2019-August
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
26
TÍTULO: Virtual machine consolidation using constraint-based multi-objective optimization
AUTORES: Terra Neves, M; Lynce, I ; Manquinho, V ;
PUBLICAÇÃO: 2019, FONTE: JOURNAL OF HEURISTICS, VOLUME: 25, NÚMERO: 3
INDEXADO EM: Scopus WOS DBLP CrossRef: 10
27
TÍTULO: Multi-Objective Optimization Through Pareto Minimal Correction Subsets
AUTORES: Terra Neves, M; Lynce, I ; Manquinho, V ;
PUBLICAÇÃO: 2018, FONTE: PROCEEDINGS OF THE TWENTY-SEVENTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLUME: 2018-July
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
28
TÍTULO: Stable States of Boolean Regulatory Networks Composed Over Hexagonal Grids
AUTORES: Varela, PL; Lynce, I ; Manquinho, V ; Chaouiya, C; Monteiro, PT;
PUBLICAÇÃO: 2018, FONTE: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 335
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
29
TÍTULO: Stratification for Constraint-Based Multi-Objective Combinatorial Optimization
AUTORES: Terra Neves, M; Lynce, I ; Manquinho, V ;
PUBLICAÇÃO: 2018, FONTE: PROCEEDINGS OF THE TWENTY-SEVENTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLUME: 2018-July
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
30
TÍTULO: Introducing Pareto Minimal Correction Subsets
AUTORES: Terra Neves, M; Lynce, I ; Manquinho, V ;
PUBLICAÇÃO: 2017, FONTE: THEORY AND APPLICATIONS OF SATISFIABILITY TESTING (SAT 2017), VOLUME: 10491
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
Página 3 de 7. Total de resultados: 69.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service