An Approach to Verification in Contextual Logic Programming. - Vasco Pedro; Luís Monteiro (ILPS, 1995)

Modules and Specifications. - Vasco Pedro; Luís Monteiro (APPIA-GULP-PRODE, 1996)

Applications in Community Building Groupware. - Ashish Venugopal; Sriram Gollapalli; Ulas Bardak; Vasco Pedro (ICWI, 2002)

The JAVELIN Question-Answering System at TREC 2002. - Eric Nyberg; Teruko Mitamura; Jaime G. Carbonell; James P. Callan; Kevyn Collins-Thompson; Krzysztof Czuba; Michael Duggan; Laurie Hiyakumoto; N. Hu; Yifen Huang; Jeongwoo Ko; Lucian Vlad Lita; et al. (TREC, 2002)

The JAVELIN Question-Answering System at TREC 2003: A Multi-Strategh Approach with Dynamic Planning. - Eric Nyberg; Teruko Mitamura; James P. Callan; Jaime G. Carbonell; Robert E. Frederking; Kevyn Collins-Thompson; Laurie Hiyakumoto; Yifen Huang; Curtis Huttenhower; Scott Judy; Jeongwoo Ko; Anna Kupsc; et al. (TREC, 2003)

An Information Repository Model for Advanced Question Answering Systems. - Vasco Pedro; Jeongwoo Ko; Eric Nyberg; Teruko Mitamura (LREC, 2004)

JAVELIN I and II Systems at TREC 2005. - Eric Nyberg; Robert E. Frederking; Teruko Mitamura; Matthew W. Bilotti; Kerry Hannan; Laurie Hiyakumoto; Jeongwoo Ko; Frank Lin; Lucian Vlad Lita; Vasco Pedro; Andrew Hazen Schlaikjer (TREC, 2005)

Federated Ontology Search for the Medical Domain. - Vasco Pedro; Lucian Vlad Lita; Radu Stefan Niculescu; Bharat Rao; Jaime G. Carbonell (OTM Workshops (1), 2007)

Distributed Work Stealing for Constraint Solving - Vasco Pedro; Salvador Abreu (CoRR, 2010)

On the Scalability of Constraint Programming on Hierarchical Multiprocessor Systems. - Rui Machado; Vasco Pedro; Salvador Abreu (ICPP, 2013)

Annotating biomedical ontology terms in electronic health records using crowd-sourcing. - Andre Lamurias; Vasco Pedro; Luka A. Clarke; Francisco M. Couto (ICBO, 2015)

Constraint Solving on Hybrid Systems. - Pedro Roque; Vasco Pedro (DECLARE, 2017)

Impact of translation on named-entity recognition in radiology texts. - Luís Campos; Vasco Pedro; Francisco M. Couto (Database J. Biol. Databases Curation, 2017)

Improving Constraint Solving on Parallel Hybrid Systems. - Pedro Roque; Vasco Pedro; Daniel Diaz 001; Salvador Abreu (ICTAI, 2018)