Vasco Miguel Gomes Nunes Manquinho


AuthID: R-000-HE8

Confirmed Publications: 69



21
TITLE: AlloyMax: Bringing Maximum Satisfaction to Relational Specifications
AUTHORS: Zhang, CJ; Wagner, R; Orvalho, P; Garlan, D; Manquinho, V ; Martins, R; Kang, E;
PUBLISHED: 2021, SOURCE: 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)
INDEXED IN: Scopus WOS CrossRef: 5
IN MY: ORCID | CIÊNCIAVITAE
22
TITLE: Exact hypervolume subset selection through incremental computations
AUTHORS: Guerreiro, AP; Manquinho, V ; Figueira, JR ;
PUBLISHED: 2021, SOURCE: COMPUTERS & OPERATIONS RESEARCH, VOLUME: 136
INDEXED IN: Scopus WOS CrossRef: 6
IN MY: ORCID | CIÊNCIAVITAE
23
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
INDEXED IN: CrossRef: 3
IN MY: ORCID | CIÊNCIAVITAE
24
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
INDEXED IN: CrossRef: 3
IN MY: ORCID | CIÊNCIAVITAE
25
TITLE: Integrating Pseudo-Boolean Constraint Reasoning in Multi-Objective Evolutionary Algorithms
AUTHORS: Terra Neves, M; Lynce, I ; Manquinho, V ;
PUBLISHED: 2019, SOURCE: PROCEEDINGS OF THE TWENTY-EIGHTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLUME: 2019-August
INDEXED IN: Scopus WOS DBLP CrossRef: 1
26
TITLE: Virtual machine consolidation using constraint-based multi-objective optimization
AUTHORS: Terra Neves, M; Lynce, I ; Manquinho, V ;
PUBLISHED: 2019, SOURCE: JOURNAL OF HEURISTICS, VOLUME: 25, ISSUE: 3
INDEXED IN: Scopus WOS DBLP CrossRef: 10
27
TITLE: Multi-Objective Optimization Through Pareto Minimal Correction Subsets
AUTHORS: Terra Neves, M; Lynce, I ; Manquinho, V ;
PUBLISHED: 2018, SOURCE: PROCEEDINGS OF THE TWENTY-SEVENTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLUME: 2018-July
INDEXED IN: Scopus WOS DBLP CrossRef: 2
28
TITLE: Stable States of Boolean Regulatory Networks Composed Over Hexagonal Grids
AUTHORS: Varela, PL; Lynce, I ; Manquinho, V ; Chaouiya, C; Monteiro, PT;
PUBLISHED: 2018, SOURCE: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 335
INDEXED IN: Scopus WOS DBLP CrossRef: 5
29
TITLE: Stratification for Constraint-Based Multi-Objective Combinatorial Optimization
AUTHORS: Terra Neves, M; Lynce, I ; Manquinho, V ;
PUBLISHED: 2018, SOURCE: PROCEEDINGS OF THE TWENTY-SEVENTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLUME: 2018-July
INDEXED IN: Scopus WOS DBLP CrossRef: 2
30
TITLE: Introducing Pareto Minimal Correction Subsets
AUTHORS: Terra Neves, M; Lynce, I ; Manquinho, V ;
PUBLISHED: 2017, SOURCE: THEORY AND APPLICATIONS OF SATISFIABILITY TESTING (SAT 2017), VOLUME: 10491
INDEXED IN: Scopus WOS DBLP CrossRef: 6
Page 3 of 7. Total results: 69.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service