Vasco Miguel Gomes Nunes Manquinho


AuthID: R-000-HE8

Publicações Confirmadas: 69



1
TÍTULO: Computation of Immediate Neighbours of Monotone Boolean Functions
AUTORES: Cury, Jose E. R.; Roxo, Patricia Tenera; Manquinho, Vasco ; Chaouiya, Claudine; Monteiro, Pedro T.;
PUBLICAÇÃO: 2026, FONTE: 23rd International Conference on Computational Methods in Systems Biology-CMSB-Annual in COMPUTATIONAL METHODS IN SYSTEMS BIOLOGY, CMSB 2025, VOLUME: 15959
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
2
TÍTULO: MENTOR: Fixing introductory programming assignments with formula-based fault localization and LLM-driven program repair
AUTORES: Orvalho, Pedro; Janota, Mikolas; Manquinho, Vasco ;
PUBLICAÇÃO: 2026, FONTE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 234
INDEXADO EM: Scopus WOS CrossRef: 1
NO MEU: ORCID | CIÊNCIAVITAE
3
TÍTULO: Unsatisfiability-based Algorithms for Multi-Objective Combinatorial Optimization  Full Text
AUTORES: Cortes, Joao; Lynce, Ines ; Manquinho, Vasco ;
PUBLICAÇÃO: 2026, FONTE: JOURNAL OF AUTOMATED REASONING, VOLUME: 70, NÚMERO: 1
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
4
TÍTULO: CFAULTS: Model-Based Diagnosis for Fault Localization in C with Multiple Test Cases
AUTORES: Orvalho, Pedro; Janota, Mikolas; Manquinho, Vasco ;
PUBLICAÇÃO: 2025, FONTE: 26th International Symposium on Formal Methods (FM) in FORMAL METHODS, PT I, FM 2024, VOLUME: 14933
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
5
TÍTULO: Combining Logic and Large Language Models for Assisted Debugging and Repair of ASP Programs
AUTORES: Brancas, Ricardo; Manquinho, Vasco ; Martins, Ruben;
PUBLICAÇÃO: 2025, FONTE: 18th International Conference on Software Testing Verification and Validation-ICST-Annual in 2025 IEEE CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION, ICST
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
6
TÍTULO: CUBES: A Parallel Synthesizer for SQL Using Examples  Full Text
AUTORES: Ricardo Brancas; Miguel Terra-Neves; Miguel Ventura; Vasco Manquinho ; Ruben Martins;
PUBLICAÇÃO: 2025, FONTE: Formal Aspects of Computing
INDEXADO EM: CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
7
TÍTULO: InvAASTCluster: On Applying Invariant-Based Program Clustering to Introductory Programming Assignments
AUTORES: Orvalho, Pedro; Janota, Mikolas; Manquinho, Vasco ;
PUBLICAÇÃO: 2025, FONTE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 230
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
8
TÍTULO: BatFix: Repairing Language Model-based Transpilation
AUTORES: Ramos, Daniel; Lynce, Ines ; Manquinho, Vasco ; Martins, Ruben; Le Goues, Claire;
PUBLICAÇÃO: 2024, FONTE: ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, VOLUME: 33, NÚMERO: 6
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
9
TÍTULO: C-Pack of IPAs: A C90 Program Benchmark of Introductory Programming Assignments
AUTORES: Orvalho, Pedro; Janota, Mikolas; Manquinho, Vasco ;
PUBLICAÇÃO: 2024, FONTE: 5th ACM/IEEE International Workshop on Automated Program Repair (APR) in 2024 ACM/IEEE INTERNATIONAL WORKSHOP ON AUTOMATED PROGRAM REPAIR, APR 2024, VOLUME: 10808
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
10
TÍTULO: GITSEED: A Git-backed Automated Assessment Tool for Software Engineering and Programming Education
AUTORES: Orvalho, Pedro; Janota, Mikolas; Manquinho, Vasco ;
PUBLICAÇÃO: 2024, FONTE: 1st ACM Virtual Global Computing Education Conference (SIGCSE) in PROCEEDINGS OF THE 2024 ACM VIRTUAL GLOBAL COMPUTING EDUCATION CONFERENCE V.1, SIGCSE VIRTUAL 2024
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
Página 1 de 7. Total de resultados: 69.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service