Vasco M. Manquinho
Orcid: 0000-0002-4205-2189Affiliations:
- University of Lisbon, Portugal
According to our database1,
Vasco M. Manquinho
authored at least 93 papers
between 1997 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
ACM Trans. Softw. Eng. Methodol., July, 2024
Multiple-input neural networks for time series forecasting incorporating historical and prospective context.
Data Min. Knowl. Discov., January, 2024
CFaults: Model-Based Diagnosis for Fault Localization in C Programs with Multiple Test Cases.
CoRR, 2024
Proceedings of the Fundamental Approaches to Software Engineering, 2024
2023
Exact and approximate determination of the Pareto front using Minimal Correction Subsets.
Comput. Oper. Res., May, 2023
CoRR, 2023
New Core-Guided and Hitting Set Algorithms for Multi-Objective Combinatorial Optimization.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023
Proceedings of the 26th International Conference on Theory and Applications of Satisfiability Testing, 2023
Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023
Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023
2022
Associative Analysis of Inefficiencies and Station Activity Levels in Emergency Response.
ISPRS Int. J. Geo Inf., 2022
InvAASTCluster: On Applying Invariant-Based Program Clustering to Introductory Programming Assignments.
CoRR, 2022
CoRR, 2022
Exact and approximate determination of the Pareto set using minimal correction subsets.
CoRR, 2022
Constraint-based electoral districting using a new compactness measure: An application to Portugal.
Comput. Oper. Res., 2022
MultIPAs: applying program transformations to introductory programming assignments for data augmentation.
Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022
Proceedings of the 25th International Conference on Theory and Applications of Satisfiability Testing, 2022
Consolidation of Massive Medical Emergency Events With Heterogeneous Situational Context Data Sources.
Proceedings of the Workshops of the EDBT/ICDT 2022 Joint Conference, 2022
2021
Proceedings of the Handbook of Satisfiability - Second Edition, 2021
Comput. Oper. Res., 2021
Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021
UNIANO: robust and efficient anomaly consensus in time series sensitive to cross-correlated anomaly profiles.
Proceedings of the 2021 SIAM International Conference on Data Mining, 2021
Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2021
Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021
Proceedings of the 27th International Conference on Principles and Practice of Constraint Programming, 2021
2020
Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020
2019
J. Heuristics, 2019
Integrating Pseudo-Boolean Constraint Reasoning in Multi-Objective Evolutionary Algorithms.
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019
Proceedings of the Principles and Practice of Constraint Programming, 2019
Proceedings of the Principles and Practice of Constraint Programming, 2019
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019
2018
Proceedings of SASB 2018, 2018
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018
Proceedings of the Handbook of Parallel Constraint Reasoning., 2018
2017
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28, 2017
Proceedings of the Progress in Artificial Intelligence, 2017
Proceedings of the 24th RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion 2017 co-located with the 16th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2017), 2017
2016
Proceedings of the 28th IEEE International Conference on Tools with Artificial Intelligence, 2016
Proceedings of the Principles and Practice of Constraint Programming, 2016
2015
J. Exp. Theor. Artif. Intell., 2015
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2015, 2015
Proceedings of the Principles and Practice of Constraint Programming, 2015
2014
J. Satisf. Boolean Model. Comput., 2014
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2014, 2014
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014
Proceedings of the Principles and Practice of Constraint Programming, 2014
2013
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2013, 2013
2012
J. Satisf. Boolean Model. Comput., 2012
Proceedings of the Learning and Intelligent Optimization - 6th International Conference, 2012
2011
Proceedings of the IEEE 23rd International Conference on Tools with Artificial Intelligence, 2011
2010
DFT and Minimum Leakage Pattern Generation for Static Power Reduction During Test and Burn-In.
IEEE Trans. Very Large Scale Integr. Syst., 2010
Computing the Summed Adjacency Disruption Number between Two Genomes with Duplicate Genes.
J. Comput. Biol., 2010
Proceedings of the Theory and Applications of Satisfiability Testing, 2010
Proceedings of the 22nd IEEE International Conference on Tools with Artificial Intelligence, 2010
2009
Proceedings of the Handbook of Satisfiability, 2009
Proceedings of the Theory and Applications of Satisfiability Testing, 2009
Computing the Summed Adjacency Disruption Number between Two Genomes with Duplicate Genes Using Pseudo-Boolean Optimization.
Proceedings of the Comparative Genomics, International Workshop, 2009
2008
Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008
Proceedings of the Theory and Applications of Satisfiability Testing, 2008
Proceedings of the LPAR 2008 Workshops, 2008
Proceedings of the Logic for Programming, 2008
Proceedings of the Twenty-First International Florida Artificial Intelligence Research Society Conference, 2008
2006
J. Satisf. Boolean Model. Comput., 2006
J. Satisf. Boolean Model. Comput., 2006
Proceedings of the Theory and Applications of Satisfiability Testing, 2006
2005
Proceedings of the Theory and Applications of Satisfiability Testing, 2005
Satisfiability-Based Algorithms for Pseudo-Boolean Optimization Using Gomory Cuts and Search Restarts.
Proceedings of the 17th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2005), 2005
Proceedings of the 2005 Design, 2005
2004
Ann. Math. Artif. Intell., 2004
Proceedings of the SAT 2004, 2004
Proceedings of the 16th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2004), 2004
2002
Search pruning techniques in SAT-based branch-and-bound algorithmsfor the binate covering problem.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2002
2000
Search Pruning Conditions for Boolean Optimization.
Proceedings of the ECAI 2000, 2000
Proceedings of the 2000 Design, 2000
Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2000
1997
Proceedings of the 9th International Conference on Tools with Artificial Intelligence, 1997