Vasco Miguel Gomes Nunes Manquinho (5F10-0E18-0223)

Curriculum Vitae

Vasco Miguel Gomes Nunes Manquinho

Vasco Miguel Gomes Nunes Manquinho. Concluiu o(a) Doutoramento em Engenharia Informática e de Computadores em 2006/07/20 pelo(a) Universidade de Lisboa Instituto Superior Técnico, Mestrado em Engenharia Electrotécnica e de Computadores em 1999/05 pelo(a) Universidade de Lisboa Instituto Superior Técnico e Licenciatura em Engenharia Informática e de Computadores em 1996 pelo(a) Universidade de Lisboa Instituto Superior Técnico. É Professor Associado no(a) Universidade de Lisboa Instituto Superior Técnico e Investigador no(a) Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa. Publicou 17 artigos em revistas especializadas. Possui 3 capítulo(s) de livros. Orientou 1 tese(s) de doutoramento e coorientou 1. Orientou 11 dissertação(ões) de mestrado e coorientou 6. Participa e/ou participou como Investigador em 1 projeto(s) e Investigador responsável em 1 projeto(s). Atua na(s) área(s) de Ciências da Engenharia e Tecnologias com ênfase em Engenharia Eletrotécnica, Eletrónica e Informática e Ciências da Engenharia e Tecnologias com ênfase em Engenharia Eletrotécnica, Eletrónica e Informática. Nas suas atividades profissionais interagiu com 49 colaborador(es) em coautorias de trabalhos científicos. No seu currículo Ciência Vitae os termos mais frequentes na contextualização da produção científica, tecnológica e artístico-cultural são: Program Synthesis; Program Verification; Propositional Satisfiability; Boolean Optimization; Multi-Objective Combinatorial Optimization; Ciência de Dados; Optimização; Cadeia de Abastecimento de Sangue; Planeamento; Serviços de Emergência Médica; Escalonamento; Optimização Discreta; Gestão de Energia; Optimização Multi Critério; Gestão de Centro de Dados; educação; aprendizagem personalizada; auto-estudo; métodos formais; Mar profundo; Ciência de dados; Aprendizagem automática; Métodos formais; Massive Open Online Courses ; Automated Feedback; Boolean Solving; Optimization; Satisfação de Restrições; Refinamento de Abstracções com Contra-exemplos; Formulas Proposicionais Quantificas; Hierarquia Polinomial; Satisfação Proposicional (SAT); Algoritmos Paralelos; Programação em Multicores (SMP/NUMA); Unidades de Processamento Gráfico (GPUs/CUDA); Restrições Booleanas; Subformulas não-satisfaziveis; Optimização com Restrições; Explicações de Conflitos; Optimização com restrições lineares Booleanas; Incrementalidade em estimativas de limite inferior; Contagem de modelos; inferência de haplotipos; satisfação proposicional; parcimónia pura; dados reais; Satisfação Proposicional; Optimização Pseudo-Booleana; Fórmulas Booleanas Quantificadas; Contagem de Modelos; .

Ler resumo completo ↓

Identificação

Identificação pessoal

Nome completo: Vasco Miguel Gomes Nunes Manquinho

Nomes de citação

Manquinho, Vasco

Identificadores de autor

Ciência ID: 5F10-0E18-0223
ORCID iD: 0000-0002-4205-2189
Google Scholar ID: vG7Gj6QAAAAJ
Researcher Id: A-1774-2009
Scopus Author Id: 6507501441

Endereços de correio eletrónico

vasco.manquinho@tecnico.ulisboa.pt (Profissional)

Telefones

Telefone

213100204 (Profissional)

Moradas

Rua Alves Redol, 9, 1000-029, Lisboa, Lisboa, Portugal (Profissional)

Websites

https://dblp.uni-trier.de/pid/57/1074.html (Académico)
https://scholar.google.com/citations?user=vG7Gj6QAAAAJ&hl=pt-PT (Académico)

Domínios de atuação

Ciências da Engenharia e Tecnologias - Engenharia Eletrotécnica, Eletrónica e Informática
Ciências da Engenharia e Tecnologias - Engenharia Eletrotécnica, Eletrónica e Informática

Idiomas

Idioma	Conversação	Leitura	Escrita	Compreensão	Peer-review
Português (Idioma materno)
Inglês	Utilizador proficiente (C1)	Utilizador proficiente (C1)	Utilizador proficiente (C1)	Utilizador proficiente (C2)	Utilizador proficiente (C1)

Percurso profissional

Ciência

	Categoria Profissional Instituição de acolhimento	Empregador
2001 - Atual	Investigador (Investigação)	Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
	Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal

Docência no Ensino Superior

	Categoria Profissional Instituição de acolhimento	Empregador
2015/03/20 - Atual	Professor Associado (Docente Universitário)	Universidade de Lisboa Instituto Superior Técnico, Portugal

2006/07/20 - 2015/03/20	Professor Auxiliar (Docente Universitário)	Universidade de Lisboa Instituto Superior Técnico, Portugal
	Universidade de Lisboa Instituto Superior Técnico, Portugal
2001/09/01 - 2006/07/20	Assistente (Docente Universitário)	Universidade de Lisboa Instituto Superior Técnico, Portugal
	Universidade de Lisboa Instituto Superior Técnico, Portugal

Cargos e Funções

	Categoria Profissional Instituição de acolhimento	Empregador
2016/01/01 - 2018/01/01	Coordenação ou direção de centro de investigação, departamento ou equivalente	Universidade de Lisboa, Portugal

Projetos

Projeto

	Designação	Financiadores
2022/01/15 - 2025/01/14	Coerência de Dados em Composições de Microserviços PTDC/CCI-COM/2156/2021 10.54499/PTDC/CCI-COM/2156/2021 Co-Investigador Responsável (Co-IR) Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal FCiênciasID Associação para a Investigação e Desenvolvimento de Ciências, Portugal LASIGE Laboratório de Sistemas Informáticos de Grande Escala, Portugal	Fundação para a Ciência e a Tecnologia Em curso
2022/01/01 - 2024/12/31	DACOMICO - Data Consistency in Microservices Compositions PPTDC/CCI-COM/2156/2021 Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal	Fundação para a Ciência e a Tecnologia Em curso
2023/03/12 - 2024/09/11	Raciocínio sobre Discriminação Indireta 2022.03537.PTDC 10.54499/2022.03537.PTDC Investigador Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal	Fundação para a Ciência e a Tecnologia Em curso
2020/01/01 - 2022/12/31	LAIfeBlood - Inteligência Artificial para a Gestão do Sangue DSAIPA/AI/0033/2019 Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento, Portugal	Fundação para a Ciência e a Tecnologia Em curso
2019/01/01 - 2021/12/31	Data2Help: Ciência de Dados para Optimização de Serviços de Emergência Médica DSAIPA/AI/0044/2018 Investigador responsável Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento, Portugal Instituto Nacional de Emergência Médica IP, Portugal	Fundação para a Ciência e a Tecnologia Em curso
2018/10/01 - 2021/09/30	DOME: Métodos de Optimização Discreta para Gestão Energética PTDC/CCI-COM/31198/2017 Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento, Portugal	Fundação para a Ciência e a Tecnologia Em curso
2018/10/01 - 2021/09/30	INFOCOS: Feedback Inteligente para alunos contentes PTDC/CCI-COM/32378/2017 Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal	Fundação para a Ciência e a Tecnologia Em curso
2018/09/01 - 2019/08/31	DeepData: Data Science in the Azores Deep Sea CMU/AIR/0022/2017 Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal	Fundação para a Ciência e a Tecnologia Concluído
2015/01/01 - 2015/12/31	AMOS: Algoritmos para Cursos Online Abertos e Massivos CMUP-EPB/TIC/0049/2013 Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal	Fundação para a Ciência e a Tecnologia Concluído
2012/03/01 - 2015/08/31	POLARIS: Algoritmos para a Hierarquia Polinomial PTDC/EIA-CCO/123051/2010 Investigador Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal	Fundação para a Ciência e a Tecnologia Concluído
2010/04/04 - 2013/10/03	ParSat - Algoritmos Paralelos de Satisfação e suas Aplicações PTDC/EIA-EIA/103532/2008 Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal	Fundação para a Ciência e a Tecnologia Concluído
2010/04/01 - 2013/09/30	iExplain - Raciocínio sobre não satisfação PTDC/EIA-CCO/102077/2008 Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal	Fundação para a Ciência e a Tecnologia Concluído
2008/01/01 - 2011/08/31	BSOLO - Satisfação e optimização com restrições Booleanas PTDC/EIA/76572/2006 Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal	Fundação para a Ciência e a Tecnologia Concluído
2008/01/01 - 2010/12/31	SHIPs: Inferência de Haplotipos por Parcimónia Pura baseada em Satisfação Proposicional PTDC/EIA/64164/2006 Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal Universidade Nova de Lisboa Faculdade de Ciências Médicas, Portugal	Fundação para a Ciência e a Tecnologia Concluído
2005/03/01 - 2008/11/30	SATPot: Algoritmos de satisfação, aplicações e extensões POSC/EIA/61852/2004 Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal	Fundação para a Ciência e a Tecnologia Concluído

Produções

Publicações

Artigo em conferência	Orvalho, Pedro; Jelle Piepenbrock; Janota, Mikolás; Manquinho, Vasco. "Graph Neural Networks for Mapping Variables Between Programs". Trabalho apresentado em ECAI 2023 - 26th European Conference on Artificial Intelligence, September, 2023. Publicado • 10.3233/FAIA230468 Daniel Ramos; Hailie Mitchell; Inês Lynce; Vasco Manquinho; Ruben Martins; Claire Le Goues. "MELT: Mining Effective Lightweight Transformations from Pull Requests". 2023. 10.1109/ase56229.2023.00117 João Cortes; Inês Lynce; Manquinho, Vasco. "New Core-Guided and Hitting Set Algorithms for Multi-Objective Combinatorial Optimization". 2023. Publicado • 10.1007/978-3-031-30820-8_7 Pedro Orvalho; Vasco Manquinho; Ruben Martins. "UpMax: User Partitioning for MaxSAT". 2023. 10.4230/LIPICS.SAT.2023.19 Vasco Manquinho; Pedro Orvalho; Mikoláš Janota. "MultIPAs: applying program transformations to introductory programming assignments for data augmentation". 2022. 10.1145/3540250.3558931 Calhas, David; Manquinho, Vasco; Inês Lynce. "Automatic Generation of Neural Architecture Search Spaces". Trabalho apresentado em The AAAI Conference on Artificial Intelligence - Combining Learning and Reasoning: Programming Languages, Formalisms, and Representations, 2022. Vasco Manquinho; Miguel Cabral; Mikoláš Janota. "SAT-Based Leximax Optimisation Algorithms". 2022. 10.4230/LIPICS.SAT.2022.29 Changjian Zhang; Ryan Wagner; Pedro Orvalho; David Garlan; Vasco Manquinho; Ruben Martins; Eunsuk Kang. "AlloyMax: bringing maximum satisfaction to relational specifications". 2021. 10.1145/3468264.3468587 Oliveira, Leonor da Conceição Silva Ribeiro e Alves de; Helena Galhardas; Manquinho, Vasco; Henriques, Rui. "UNIANO: robust and efficient anomaly consensus in time series sensitive to cross-correlated anomaly profiles". Trabalho apresentado em SIAM International Conference on Data Mining (SDM21), 2021. No prelo Ansong Ni; Daniel Rosa Ramos; Aidan Yang; Inês Lynce; Manquinho, Vasco; Ruben Martins; Claire Le Goues. "SOAR: A Synthesis Approach for Data Science API Refactoring". Trabalho apresentado em 43rd International Conference on Software Engineering (ICSE), 2021. No prelo Mikoláš Janota; António Morgado; José Fragoso Santos; Vasco Manquinho. "The Seesaw Algorithm: Function Optimization Using Implicit Hitting Sets". 2021. 10.4230/LIPICS.CP.2021.31 Daniel Ramos; Pereira, Jorge; Inês Lynce; Manquinho, Vasco; Martins, Ruben. "UnchartIt: An Interactive Framework for Program Recovery from Charts". Trabalho apresentado em IEEE/ACM International Conference on Automated Software Engineering (ASE), Melbourne, 2020. Publicado • 10.1145/3324884.3416613 Miguel Terra-Neves; Inês Lynce; Manquinho, Vasco. "Integrating Pseudo-Boolean Constraint Reasoning in Multi-Objective Evolutionary Algorithms". Trabalho apresentado em International Joint Conference on Artificial Intelligence (IJCAI), 2019. 10.24963/ijcai.2019/165 Miguel Terra-Neves; Nuno Machado; Inês Lynce; Manquinho, Vasco. "Concurrency Debugging with MaxSMT". Trabalho apresentado em AAAI Conference on Artificial Intelligence, 2019. 10.1609/aaai.v33i01.33011608 Guerreiro, Andreia; Miguel Terra-Neves; Inês Lynce; Figueira, José Rui; Manquinho, Vasco. "Constraint-Based Techniques in Stochastic Local Search MaxSAT Solving". Trabalho apresentado em International Conference on Principles and Practice of Constraint Programming (CP), 2019. 10.1007/978-3-030-30048-7\_14 Orvalho, Pedro; Miguel Terra-Neves; Miguel Ventura; Ruben Martins; Manquinho, Vasco. "Encodings for Enumeration-Based Program Synthesis". Trabalho apresentado em International Conference on Principles and Practice of Constraint Programming (CP), 2019. 10.1007/978-3-030-30048-7\_34 Miguel Terra-Neves; Inês Lynce; Manquinho, Vasco. "Multi-Objective Optimization Through Pareto Minimal Correction Subsets". Trabalho apresentado em International Joint Conference on Artificial Intelligence (IJCAI), 2018. Publicado • 10.24963/ijcai.2018/757 Miguel Terra-Neves; Inês Lynce; Manquinho, Vasco. "Stratification for Constraint-Based Multi-Objective Combinatorial Optimization". Trabalho apresentado em International Joint Conference on Artificial Intelligence (IJCAI), 2018. Publicado • 10.24963/ijcai.2018/191 Miguel Terra-Neves; Inês Lynce; Manquinho, Vasco. "Enhancing Constraint-Based Multi-Objective Combinatorial Optimization". Trabalho apresentado em AAAI Conference on Artificial Intelligence, 2018. Publicado Janota, Mikolá¿; Radu Grigore; Manquinho, Vasco. "On the Quest for an Acyclic Graph". Trabalho apresentado em International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, 2017. Publicado Gouveia, Filipe; Monteiro, Pedro T; Manquinho, Vasco; Inês Lynce. "Logic-Based Encodings for Ricochet Robots". Trabalho apresentado em EPIA Conference on Artificial Intelligence, 2017. Publicado • 10.1007/978-3-319-65340-2_54 Miguel Terra-Neves; Inês Lynce; Manquinho, Vasco. "Introducing Pareto Minimal Correction Subsets". Trabalho apresentado em International Conference on Theory and Applications of Satisfiability Testing (SAT), 2017. Publicado • 10.1007/978-3-319-66263-3_13 Miguel Terra-Neves; Inês Lynce; Manquinho, Vasco. "Non-Portfolio Approaches for Distributed Maximum Satisfiability". Trabalho apresentado em IEEE International Conference on Tools with Artificial Intelligence (ICTAI), 2016. Publicado • 10.1109/ictai.2016.0073 Xujie Si; Xin Zhang; Manquinho, Vasco; Janota, Mikolá¿; Ignatiev, A.; Mayur Naik. "On Incremental Core-Guided MaxSAT Solving". Trabalho apresentado em International Conference on Principles and Practice of Constraint Programming (CP), 2016. Publicado • 10.1007/978-3-319-44953-1_30 Miguel Terra-Neves; Ruben Martins; Janota, Mikolá¿; Inês Lynce; Manquinho, Vasco. "Exploiting resolution-based representations for MaxSAT solving". Trabalho apresentado em International Conference on Theory and Applications of Satisfiability Testing (SAT), 2015. Publicado • 10.1007/978-3-319-24318-4_20 Saurabh Joshi; Ruben Martins; Manquinho, Vasco. "Generalized Totalizer encoding for pseudo-boolean constraints". Trabalho apresentado em International Conference on Principles and Practice of Constraint Programming (CP), 2015. 10.1007/978-3-319-23219-5_15 Ruben Martins; Saurabh Joshi; Manquinho, Vasco; Inês Lynce. "Incremental cardinality constraints for MaxSAT". Trabalho apresentado em International Conference on Principles and Practice of Constraint Programming (CP), 2014. Publicado • 10.1007/978-3-319-10428-7_39 Marques-Silva, J.P.; Ignatiev, A.; Morgado, A.; Manquinho, Vasco; Inês Lynce. "Efficient autarkies". Trabalho apresentado em European Conference on Artificial Intelligence (ECAI), 2014. 10.3233/978-1-61499-419-0-603 Ignatiev, A.; Morgado, A.; Manquinho, Vasco; Inês Lynce; Marques-Silva, J.P.. "Progression in maximum satisfiability". Trabalho apresentado em European Conference on Artificial Intelligence (ECAI), 2014. Publicado • 10.3233/978-1-61499-419-0-453 Ruben Martins; Manquinho, Vasco; Inês Lynce. "Open-WBO: A modular MaxSAT solver". Trabalho apresentado em International Conference Theory and Applications of Satisfiability Testing (SAT), 2014. Publicado • 10.1007/978-3-319-09284-3-33 Ruben Martins; Manquinho, Vasco; Inês Lynce. "Community-based partitioning for MaxSAT solving". Trabalho apresentado em International Conference on Theory and Applications of Satisfiability Testing (SAT), 2013. Publicado • 10.1007/978-3-642-39071-5_14 Ruben Martins; Manquinho, Vasco; Inês Lynce. "On partitioning for maximum satisfiability". Trabalho apresentado em European Conference on Artificial Intelligence (ECAI), 2012. Publicado • 10.3233/978-1-61499-098-7-913 Ruben Martins; Manquinho, Vasco; Inês Lynce. "Clause sharing in parallel MaxSAT". Trabalho apresentado em International Conference on Learning and Intelligent Optimization (LION), 2012. Publicado • 10.1007/978-3-642-34413-8_44 Ruben Martins; Manquinho, Vasco; Inês Lynce. "Exploiting cardinality encodings in parallel maximum satisfiability". Trabalho apresentado em IEEE 23rd International Conference on Tools with Artificial Intelligence (ICTAI), 2011. Publicado • 10.1109/ICTAI.2011.54 Ruben Martins; Manquinho, Vasco; Inês Lynce. "Improving search space splitting for parallel SAT solving". Trabalho apresentado em 22nd {IEEE} International Conference on Tools with Artificial Intelligence (ICTAI), 2010. Publicado • 10.1109/ICTAI.2010.56 Manquinho, Vasco; Ruben Martins; Inês Lynce. "Improving unsatisfiability-based algorithms for boolean optimization". Trabalho apresentado em International Conference on Theory and Applications of Satisfiability Testing (SAT), 2010. Publicado • 10.1007/978-3-642-14186-7_16 Joao Delgado; Inês Lynce; Manquinho, Vasco. "Computing the summed adjacency disruption number between two genomes with duplicate genes using pseudo-Boolean optimization". Trabalho apresentado em International Workshop Comparative Genomics (RECOMB-CG), 2009. Publicado • 10.1007/978-3-642-04744-2_12 Manquinho, Vasco; Marques-Silva, J.P.; Jordi Planes. "Algorithms for weighted boolean optimization". Trabalho apresentado em International Conference on Theory and Applications of Satisfiability Testing (SAT), 2009. Publicado • 10.1007/978-3-642-02777-2_45 José Fragoso Santos; Manquinho, Vasco. "Learning techniques for pseudo-boolean solving". Trabalho apresentado em International Workshop on the Implementation of Logics, 2008. Publicado Marques-Silva, J.P.; Inês Lynce; Manquinho, Vasco. "Symmetry breaking for maximum satisfiability". Trabalho apresentado em International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR), 2008. Publicado • 10.1007/978-3-540-89439-1_1 Marques-Silva, J.P.; Manquinho, Vasco. "Towards more effective unsatisfiability-based maximum satisfiability algorithms". Trabalho apresentado em International Conference on Theory and Applications of Satisfiability Testing (SAT), 2008. Publicado • 10.1007/978-3-540-79719-7_21 Federico Heras; Manquinho, Vasco; Marques-Silva, J.P.. "On applying unit propagation-based lower bounds in pseudo-boolean optimization". Trabalho apresentado em International Florida Artificial Intelligence Research Society Conference (FLAIRS), 2008. Publicado António Morgado; Paulo Matos; Manquinho, Vasco; Marques-Silva, J.P.. "Counting models in integer domains". Trabalho apresentado em International Conference on Theory and Applications of Satisfiability Testing (SAT), 2006. Publicado Manquinho, Vasco; Marques-Silva, J.. "Satisfiability-based algorithms for pseudo-boolean optimization using gomory cuts and search restarts". Trabalho apresentado em IEEE International Conference on Tools with Artificial Intelligence (ICTAI), 2005. Publicado • 10.1109/ICTAI.2005.113 Manquinho, Vasco; Marques-Silva, J.P.. "On applying cutting planes in DLL-based algorithms for pseudo-boolean optimization". Trabalho apresentado em International Conference Theory and Applications of Satisfiability Testing (SAT), 2005. Publicado Manquinho, Vasco; Marques-Silva, J.P.. "Effective lower bounding techniques for Pseudo-Boolean Optimization". Trabalho apresentado em Design, Automation and Test in Europe Conference (DATE), 2005. Publicado • 10.1109/DATE.2005.126 Manquinho, Vasco; Marques-Silva, J.P.. "Integration of lower bound estimates in Pseudo-Boolean optimization". Trabalho apresentado em IEEE International Conference on Tools with Artificial Intelligence (ICTAI), 2004. Publicado • 10.1109/ICTAI.2004.76 Manquinho, Vasco; Marques-Silva, J.P.. "Using Lower-Bound Estimates in SAT-Based Pseudo-Boolean Optimization". Trabalho apresentado em International Conference on Theory and Applications of Satisfiability Testing (SAT), 2004. Publicado Manquinho, Vasco; Marques-Silva, J.P.. "Search Pruning Conditions for Boolean Optimization". Trabalho apresentado em European Conference on Artificial Intelligence (ECAI), Berlim, 2000. Publicado Manquinho, Vasco; Marques-Silva, J.P.. "On using satisfiability-based pruning techniques in covering algorithms". Trabalho apresentado em Design, Automation and Test in Europe (DATE), 2000. Publicado • 10.1109/DATE.2000.840296 Manquinho, Vasco; Marques-Silva, J.P.. "On Solving Boolean Optimization with Satisfiability-Based Algorithms". Trabalho apresentado em International Symposium on Artificial Intelligence and Mathematics (AMAI), 2000. Publicado Manquinho, Vasco; Paulo Flores; Marques-Silva, J.P.; Oliveira, Arlindo. "Prime implicant computation using satisfiability algorithms". 1997. Publicado
Artigo em revista	João Palet; Vasco Manquinho; Rui Henriques. "Multiple-input neural networks for time series forecasting incorporating historical and prospective context". Data Mining and Knowledge Discovery (2024): http://dx.doi.org/10.1007/s10618-023-00984-y. 10.1007/s10618-023-00984-y A. P. Guerreiro; J. Cortes; D. Vanderpooten; C. Bazgan; I. Lynce; V. Manquinho; J.R. Figueira. "Exact and approximate determination of the Pareto front using Minimal Correction Subsets". Computers & Operations Research (2023): http://dx.doi.org/10.1016/j.cor.2023.106153. 10.1016/j.cor.2023.106153 Vasco Manquinho; Leonor Oliveira e Silva; Magda Resende; Helena Galhardas; Ines Lynce. "DeepData: Machine learning in the marine ecosystems". Expert Systems with Applications 206 (2022): 117841-117841. http://dx.doi.org/10.1016/j.eswa.2022.117841. 10.1016/j.eswa.2022.117841 Tiago Almeida; Vasco Manquinho. "Constraint-based electoral districting using a new compactness measure: An application to Portugal". Computers & Operations Research (2022): https://doi.org/10.1016/j.cor.2022.105892. 10.1016/j.cor.2022.105892 Thomas James Tiam-Lee; Rui Henriques; Vasco Manquinho. "Associative Analysis of Inefficiencies and Station Activity Levels in Emergency Response". ISPRS International Journal of Geo-Information (2022): https://doi.org/10.3390/ijgi11070356. 10.3390/ijgi11070356 Andreia P. Guerreiro; Vasco Manquinho; José Rui Figueira. "Exact hypervolume subset selection through incremental computations". Computers & Operations Research 136 (2021): 105471-105471. https://doi.org/10.1016/j.cor.2021.105471. 10.1016/j.cor.2021.105471 Orvalho, Pedro; Miguel Terra-Neves; Miguel Ventura; Ruben Martins; Manquinho, Vasco. "SQUARES : A SQL Synthesizer Using Query Reverse Engineering". Proc. VLDB Endow. 13 12 (2020): 2853-2856. http://www.vldb.org/pvldb/vol13/p2853-orvalho.pdf. Miguel Terra-Neves; Inês Lynce; Manquinho, Vasco. "Virtual machine consolidation using constraint-based multi-objective optimization". J. Heuristics 25 3 (2018): 339-375. https://doi.org/10.1007/s10732-018-9400-2. Publicado • 10.1007/s10732-018-9400-2 Pedro Varela; Inês Lynce; Manquinho, Vasco; Chaouiya, Claudine; Monteiro, Pedro T. "Stable States of Boolean Regulatory Networks Composed Over Hexagonal Grids". Electron. Notes Theor. Comput. Sci. 335 (2018): 113-130. https://doi.org/10.1016/j.entcs.2018.03.011. Publicado • 10.1016/j.entcs.2018.03.011 Ruben Martins; Manquinho, Vasco; Inês Lynce. "Deterministic parallel MaxSAT solving". International Journal on Artificial Intelligence Tools 24 3 (2015): 1-25. http://www.scopus.com/inward/record.url?eid=2-s2.0-84930799888&partnerID=MN8TOARS. Publicado • 10.1142/s0218213015500050 Ruben Martins; Manquinho, Vasco; Inês Lynce. "Improving linear search algorithms with model-based approaches for MaxSAT solving". Journal of Experimental and Theoretical Artificial Intelligence 27 5 (2015): 673-701. http://www.scopus.com/inward/record.url?eid=2-s2.0-84922340446&partnerID=MN8TOARS. 10.1080/0952813X.2014.993508 Miguel Miranda; Inês Lynce; Manquinho, Vasco. "Inferring phylogenetic trees using pseudo-Boolean optimization". AI Communications 27 3 (2014): 229-243. http://www.scopus.com/inward/record.url?eid=2-s2.0-84901757092&partnerID=MN8TOARS. 10.3233/AIC-140592 Ruben Martins; Saurabh Joshi; Manquinho, Vasco; Inês Lynce. "On Using Incremental Encodings in Unsatisfiability-based MaxSAT Solving". Journal Satisfiability Boolean Modelling Computation 9 1 (2014): 59-81. https://satassociation.org/jsat/index.php/jsat/article/view/126. Publicado Ruben Martins; Manquinho, Vasco; Inês Lynce. "An overview of parallel SAT solving". Constraints 17 3 (2012): 304-347. http://www.scopus.com/inward/record.url?eid=2-s2.0-84865232764&partnerID=MN8TOARS. Publicado • 10.1007/s10601-012-9121-3 Ruben Martins; Manquinho, Vasco; Inês Lynce. "Parallel search for maximum satisfiability". AI Communications 25 2 (2012): 75-95. http://www.scopus.com/inward/record.url?eid=2-s2.0-84864428731&partnerID=MN8TOARS. Publicado • 10.3233/AIC-2012-0517 Janota, Mikolá¿; Inês Lynce; Manquinho, Vasco; Marques-Silva, J.P.. "PackUp: Tools for Package Upgradability Solving". Journal Satisfiability Boolean Modelling Computation 8 1 (2012): 89-94. https://satassociation.org/jsat/index.php/jsat/article/view/97. Publicado Joao Delgado; Inês Lynce; Manquinho, Vasco. "Computing the summed adjacency disruption number between two genomes with duplicate genes". Journal of Computational Biology 17 9 (2010): 1243-1265. http://www.scopus.com/inward/record.url?eid=2-s2.0-77958071093&partnerID=MN8TOARS. Publicado • 10.1089/cmb.2010.0098 Kao, W.-C.; Chuang, W.-S.; Lin, H.-T.; Li, J.C.-M.; Manquinho, Vasco. "DFT and minimum leakage pattern generation for static power reduction during test and burn-in". IEEE Transactions on Very Large Scale Integration (VLSI) Systems 18 3 (2010): 392-400. http://www.scopus.com/inward/record.url?eid=2-s2.0-77649185652&partnerID=MN8TOARS. Publicado • 10.1109/TVLSI.2008.2011048 Ewald Speckenmeyer; Armando Tacchella; Manquinho, Vasco; Chu Min Li. "Guest Editors Conclusion". J. Satisf. Boolean Model. Comput. 4 2-4 (2008): https://satassociation.org/jsat/index.php/jsat/article/view/54. Manquinho, Vasco; Olivier Roussel. "The First Evaluation of Pseudo-Boolean Solvers (PB'05)". Journal Satisfiability Boolean Modelling Computation 2 1-4 (2006): 103-143. https://satassociation.org/jsat/index.php/jsat/article/view/22. Publicado Manquinho, Vasco; Marques-Silva, J.P.. "On Using Cutting Planes in Pseudo-Boolean Optimization". Journal Satisfiability Boolean Modelling Computation 2 1-4 (2006): 209-219. https://satassociation.org/jsat/index.php/jsat/article/view/27. Publicado Manquinho, Vasco; Marques-Silva, J.P.. "Satisfiability-based algorithms for Boolean optimization". Annals of Mathematics and Artificial Intelligence 40 3-4 (2004): 353-372. http://www.scopus.com/inward/record.url?eid=2-s2.0-4043152845&partnerID=MN8TOARS. Publicado Manquinho, Vasco; Marques-Silva, J.P.. "Search pruning techniques in SAT-based branch-and-bound algorithms for the binate covering problem". IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 21 5 (2002): 505-516. http://www.scopus.com/inward/record.url?eid=2-s2.0-0036576020&partnerID=MN8TOARS. Publicado • 10.1109/43.998623
Capítulo de livro	Inês Lynce; Manquinho, Vasco; Ruben Martins. "Parallel Maximum Satisfiability". In Handbook of Parallel Constraint Reasoning, 61-99. 2018. Publicado • 10.1007/978-3-319-63516-3\_3 Olivier Roussel; Manquinho, Vasco. "Pseudo-boolean and cardinality constraints". In Handbook of Satisfiability, 695-733. IOS Press, 2009. Publicado • 10.3233/978-1-58603-929-5-695 Inês Lynce; Manquinho, Vasco; Marques-Silva, J.P.. "Backtracking". In Wiley Encyclopedia of Computer Science and Engineering. 2008. Publicado • 10.1002/9780470050118.ecse033
Relatório	Ruben Martins; Saurabh Joshi; Inês Lynce; Manquinho, Vasco. 2019. Reflections on "Incremental Cardinality Constraints for MaxSAT". http://arxiv.org/abs/1910.04643.

Atividades

Orientação

	Título / Tema Papel desempenhado	Curso (Tipo) Instituição / Organização
2022/10/02 - Atual	On Using Program Synthesis for Parallel SQL Generation and Declarative Programming Assistance Orientador	Engenharia Informática e de Computadores (Doutoramento) Universidade de Lisboa Instituto Superior Técnico, Portugal
2020/10/01 - Atual	MENTOR: Automated Feedback for Introductory Programming Exercises Orientador de Pedro Miguel Orvalho Marques da Silva	Engenharia Informática e de Computadores (Doutoramento) Universidade de Lisboa Instituto Superior Técnico, Portugal
2020/03 - Atual	An Overconstrained Approach for Multi-Objective Combinatorial Optimization Orientador	Engenharia Informática e de Computadores (Doutoramento) Universidade de Lisboa Instituto Superior Técnico, Portugal
2020/02/04 - Atual	Towards Automated API Refactoring for Evolving Codebases Orientador	Engenharia Informática e de Computadores (Doutoramento) Universidade de Lisboa Instituto Superior Técnico, Portugal
2023/03/01 - 2023/12/11	Vicinity Characterization of Monotone Non-Degenerate Multivalued Functions Coorientador	Matemática Aplicada e Computação (Mestrado) Universidade de Lisboa Instituto Superior Técnico, Portugal
2022/10/01 - 2023/11/20	Integrating Meta-Heuristics and Logic-based techniques for Political Districting Orientador de Mariana Wong Brandão	Engenharia Informática e de Computadores (Mestrado) Universidade de Lisboa Instituto Superior Técnico, Portugal
2022/10/01 - 2023/11/13	Logic-based Algorithms for Political Districting Orientador de João Filipe Boucinha de Sá	Engenharia Informática e de Computadores (Mestrado) Universidade de Lisboa Instituto Superior Técnico, Portugal
2022/09/01 - 2023/11/13	Automatic detection of anomalies in micro-service architectures Coorientador de Valentim Dias Romão	Engenharia Informática e de Computadores (Mestrado) Universidade de Lisboa Instituto Superior Técnico, Portugal
2021/09/01 - 2022/11/02	ArcticTern: Automated Code Migration Orientador	Engenharia Informática e de Computadores (Mestrado) Universidade de Lisboa Instituto Superior Técnico, Portugal
2021/02/01 - 2022/03/01	Context-based predictive models for medical emergencies Coorientador de João Lopes Palet de Almeida	Engenharia Informática e de Computadores (Mestrado) Universidade de Lisboa Instituto Superior Técnico, Portugal
2020/10/01 - 2021/11/02	Automatic Chart Interpretation Orientador de Catarina Julião Relvas Pires	Engenharia Informática e de Computadores (Mestrado) Universidade de Lisboa Instituto Superior Técnico, Portugal
2020/10/01 - 2021/11/02	Ambulance Assignment for Medical Emergencies Orientador	Engenharia Informática e de Computadores (Mestrado) Universidade de Lisboa Instituto Superior Técnico, Portugal
2020/10/01 - 2021/11/02	Boolean Leximax Optimisation using Iterative SAT Solving Coorientador	Matemática Aplicada e Computação (Mestrado) Universidade de Lisboa Instituto Superior Técnico, Portugal
2020/03/01 - 2021/01/10	Automated Computational Complexity Estimation Coorientador de Marcos António Pires Ferreira dos Santos	Engenharia Informática e de Computadores (Mestrado) Universidade de Lisboa Instituto Superior Técnico, Portugal
2019/10/01 - 2021/01/10	Data2Help: Integração e Limpeza de Dados Coorientador	Engenharia Informática e de Computadores (Mestrado) Universidade de Lisboa Instituto Superior Técnico, Portugal
2019/10/01 - 2021/01/10	Evaluating Redistricting of Electoral Areas Orientador de Tiago Miguel Correia de Almeida	Engenharia Informática e de Computadores (Mestrado) Universidade de Lisboa Instituto Superior Técnico, Portugal
2019/10/01 - 2021/01/10	Stochastic Multi-Objective Combinatorial Optimization Algorithms Orientador de Miguel António dos Santos Machado Tavares	Engenharia Informática e de Computadores (Mestrado) Universidade de Lisboa Instituto Superior Técnico, Portugal
2019/10/01 - 2020/11/02	CUBES: A New Dimension in Query Synthesis From Examples Orientador de Ricardo Miguel Bacala Brancas	Engenharia Informática e de Computadores (Mestrado) Universidade de Lisboa Instituto Superior Técnico, Portugal
2018/09/15 - 2019/10/30	SQUARES: A SQL Synthesizer Using Query Reverse Engineering Orientador	Engenharia Informática e de Computadores (Mestrado) Universidade de Lisboa Instituto Superior Técnico, Portugal
2018/09/15 - 2019/10/30	Program Synthesis from Noisy Tabular Data Orientador de Daniel Rosa Ramos	Engenharia Informática e de Computadores (Mestrado) Universidade de Lisboa Instituto Superior Técnico, Portugal
2018/09/15 - 2019/10/30	Flying Tourist Problem: An Integer Linear Programming Approach Coorientador	Engenharia Aeroespacial (Mestrado) Universidade de Lisboa Instituto Superior Técnico, Portugal
2018/09/15 - 2019/10/30	DeepData: Machine Learning in the Marine Ecosystems Coorientador	Engenharia Informática e de Computadores (Mestrado) Universidade de Lisboa Instituto Superior Técnico, Portugal
2018/09/15 - 2019/10/30	New Language for Program Test Generation Coorientador	Engenharia Informática e de Computadores (Mestrado) Universidade de Lisboa Instituto Superior Técnico, Portugal
2018/09/15 - 2019/10/30	Data Center Optimization Using Virtual Machine Pro¿les Coorientador	Engenharia Informática e de Computadores (Mestrado) Universidade de Lisboa Instituto Superior Técnico, Portugal
2016 - 2019	Constraint-Based Multi-Objective Combinatorial Optimization Orientador	Engenharia Informática e de Computadores (Doutoramento) Universidade de Lisboa Instituto Superior Técnico, Portugal
2017/09/15 - 2018/10/30	Solving Treewidth in Graphs using MaxSAT Orientador	Engenharia Informática e de Computadores (Mestrado) Universidade de Lisboa Instituto Superior Técnico, Portugal
2017/02/15 - 2018/04/30	Algorithms for Water Leakage Control Systems Orientador	Engenharia Informática e de Computadores (Mestrado) Universidade de Lisboa Instituto Superior Técnico, Portugal
2017/02/15 - 2018/04/30	Optimization Algorithms in Forest Planning Models Orientador	Engenharia Informática e de Computadores (Mestrado) Universidade de Lisboa Instituto Superior Técnico, Portugal
2015/09/15 - 2017/04/30	Algorithms for Maximum Satis¿ability using GPU Coorientador	Engenharia Informática e de Computadores (Mestrado) Universidade de Lisboa Instituto Superior Técnico, Portugal
2017 - 2017	Automatic generation of test cases for Massive Open Online Courses (MOOCs) Orientador	Engenharia Informática e de Computadores (Mestrado) Universidade de Lisboa Instituto Superior Técnico, Portugal
2017 - 2017	Algorithms for Markov Logic Networks Orientador	Engenharia Informática e de Computadores (Mestrado) Universidade de Lisboa Instituto Superior Técnico, Portugal
2015 - 2015	Automatic Generation of Exercises for Massive Open Online Courses (MOOCs) Orientador	Engenharia Informática e de Computadores (Mestrado) Universidade de Lisboa Instituto Superior Técnico, Portugal
2014 - 2014	Distributed Solver for Maximum Satisfiability Orientador	Engenharia Informática e de Computadores (Mestrado) Universidade de Lisboa Instituto Superior Técnico, Portugal
2011 - 2011	Algorithms for Phylogenetic Tree Inference Orientador	Engenharia Informática e de Computadores (Mestrado) Universidade de Lisboa Instituto Superior Técnico, Portugal
2011 - 2011	Efficient Algorithmos for the Assessment of Stochastic Multiobjective Optimizers Coorientador	Engenharia Informática e de Computadores (Mestrado) Universidade de Lisboa Instituto Superior Técnico, Portugal
2008/09/15 - 2009/10/30	Pseudo-Boolean Approaches to Comparative Genomics Orientador	Engenharia Informática e de Computadores (Mestrado) Universidade de Lisboa Instituto Superior Técnico, Portugal
2009 - 2009	Parallel Search for Maximum Satisfiability Coorientador	Engenharia Informática e de Computadores (Doutoramento) Universidade de Lisboa Instituto Superior Técnico, Portugal

Distinções

Prémio

2023	ECAI Discussion Master Award, European Conference on Artificial Intelligence (ECAI), 2023
2021	ACM SIGSOFT Distinguished Paper Award, ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) 2021
2017	Best student paper award, International Conference on Theory and Applications of Satisfiability Testing (SAT) 2017

Outra distinção

2022	Recognition of teaching excellence - Algorithms for Computational Logic Universidade de Lisboa Instituto Superior Técnico, Portugal
2016	Recognition of teaching excellence - Foundations of Programming Universidade de Lisboa Instituto Superior Técnico, Portugal
2015	Senior member of the IEEE
2015	Recognition of teaching excellence - Analysis and Synthesis of Algorithms Universidade de Lisboa Instituto Superior Técnico, Portugal
2011	Recognition of teaching excellence - Introduction to Algorithms and Data Structures Universidade de Lisboa Instituto Superior Técnico, Portugal