( en | de | ru )

 

Disambiguation of "Manquinho, Vasco M."

Author of the publication

copydeleteadd this publication to your clipboard
UNCHARTIT: An Interactive Framework for Program Recovery from Charts.

, , , , and . ASE, page 175-186. IEEE, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Vasco Souza

Vasco Reuss

Cristian Vasco

Sergio Sezino Douets Vasconcelos

Ana Cátia Proença Vasconcelos

 

Other publications of authors with the same name

Graph Neural Networks for Mapping Variables Between Programs., , , and . ECAI, volume 372 of Frontiers in Artificial Intelligence and Applications, page 1811-1818. IOS Press, (2023)SAT-Based Leximax Optimisation Algorithms., , and . SAT, volume 236 of LIPIcs, page 29:1-29:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)UNCHARTIT: An Interactive Framework for Program Recovery from Charts., , , , and . ASE, page 175-186. IEEE, (2020)Stratification for Constraint-Based Multi-Objective Combinatorial Optimization., , and . IJCAI, page 1376-1382. ijcai.org, (2018)Prime Implicant Computation Using Satisfiability Algorithms., , , and . ICTAI, page 232-239. IEEE Computer Society, (1997)Exact and approximate determination of the Pareto front using Minimal Correction Subsets., , , , , , and . Comput. Oper. Res., (May 2023)Towards Reliable SQL Synthesis: Fuzzing-Based Evaluation and Disambiguation., , , , and . FASE, volume 14573 of Lecture Notes in Computer Science, page 232-254. Springer, (2024)Computing the Summed Adjacency Disruption Number between Two Genomes with Duplicate Genes Using Pseudo-Boolean Optimization., , and . RECOMB-CG, volume 5817 of Lecture Notes in Computer Science, page 138-149. Springer, (2009)Search pruning techniques in SAT-based branch-and-bound algorithmsfor the binate covering problem., and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 21 (5): 505-516 (2002)MultIPAs: applying program transformations to introductory programming assignments for data augmentation., , and . ESEC/SIGSOFT FSE, page 1657-1661. ACM, (2022)