Vasco Miguel Gomes Nunes Manquinho


AuthID: R-000-HE8

Confirmed Publications: 69



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

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service