???global.info.a_carregar???
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

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
  1. Pedro Orvalho; Mikolás Janota; Vasco Manquinho. "GitSEED: A Git-backed Automated Assessment Tool for Software Engineering and Programming Education". 2024.
    10.1145/3649165.3690106
  2. Orvalho, Pedro; Janota, Mikolás; Manquinho, Vasco. "cfaults: Model-Based Diagnosis for Fault Localization in C with Multiple Test Cases". Trabalho apresentado em Formal Methods - 26th International Symposium, 2024.
    Publicado • 10.1007/978-3-031-71162-6_24
  3. Pedro Orvalho; Mikoláš Janota; Vasco Manquinho. "C-Pack of IPAs: A C90 Program Benchmark of Introductory Programming Assignments". 2024.
    10.1145/3643788.3648010
  4. Brancas, Ricardo; Miguel Terra-Neves; Miguel Ventura; Manquinho, Vasco; Ruben Martins. "Towards Reliable SQL Synthesis: Fuzzing-Based Evaluation and Disambiguation". Trabalho apresentado em 27th International Conference Fundamental Approaches to Software Engineering (FASE), 2024.
    10.1007/978-3-031-57259-3_11
  5. 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
  6. 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
  7. 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
  8. Pedro Orvalho; Vasco Manquinho; Ruben Martins. "UpMax: User Partitioning for MaxSAT". 2023.
    10.4230/LIPICS.SAT.2023.19
  9. Vasco Manquinho; Pedro Orvalho; Mikoláš Janota. "MultIPAs: applying program transformations to introductory programming assignments for data augmentation". 2022.
    10.1145/3540250.3558931
  10. 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.
  11. Vasco Manquinho; Miguel Cabral; Mikoláš Janota. "SAT-Based Leximax Optimisation Algorithms". 2022.
    10.4230/LIPICS.SAT.2022.29
  12. 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
  13. 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
  14. 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
  15. 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
  16. 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
  17. 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
  18. 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
  19. 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
  20. 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
  21. 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
  22. 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
  23. 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
  24. 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
  25. 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
  26. 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
  27. 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
  28. 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
  29. 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
  30. 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
  31. 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
  32. 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
  33. 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
  34. 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
  35. 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
  36. 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
  37. 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
  38. 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
  39. 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
  40. 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
  41. 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
  42. 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
  43. José Fragoso Santos; Manquinho, Vasco. "Learning techniques for pseudo-boolean solving". Trabalho apresentado em International Workshop on the Implementation of Logics, 2008.
    Publicado
  44. 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
  45. 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
  46. 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
  47. 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
  48. 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
  49. 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
  50. 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
  51. 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
  52. 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
  53. Manquinho, Vasco; Marques-Silva, J.P.. "Search Pruning Conditions for Boolean Optimization". Trabalho apresentado em European Conference on Artificial Intelligence (ECAI), Berlim, 2000.
    Publicado
  54. 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
  55. 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
  56. Manquinho, Vasco; Paulo Flores; Marques-Silva, J.P.; Oliveira, Arlindo. "Prime implicant computation using satisfiability algorithms". 1997.
    Publicado
Artigo em revista
  1. Daniel Ramos; Inês Lynce; Vasco Manquinho; Ruben Martins; Claire Le Goues. "BatFix: Repairing language model-based transpilation". ACM Transactions on Software Engineering and Methodology (2024): https://doi.org/10.1145/3658668.
    10.1145/3658668
  2. 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
  3. 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
  4. 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
  5. 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
  6. 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
  7. 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
  8. 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.
  9. 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
  10. 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
  11. 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
  12. 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
  13. 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
  14. 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
  15. 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
  16. 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
  17. 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
  18. 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
  19. 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
  20. 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.
  21. 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
  22. 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
  23. 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
  24. 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
  1. 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
  2. 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
  3. 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
  1. 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