Prolog performance on larger datasetsSANTOS COSTA, Vitor.Lecture notes in computer science. 2007, pp 185-199, issn 0302-9743, isbn 978-3-540-69608-7, 1Vol, 15 p.Conference Paper

On applying tabling to inductive logic programmingROCHA, Ricardo; FONSECA, Nuno; SANTOS COSTA, Vitor et al.Lecture notes in computer science. 2005, pp 707-714, issn 0302-9743, isbn 3-540-29243-8, 1Vol, 8 p.Conference Paper

From simulation to practice: Cache performance study of a Prolog systemLOPES, Ricardo; FERNANDO CASTRO, Luis; SANTOS COSTA, Vitor et al.ACM SIGPLAN notices. 2003, Vol 38, Num 2, pp 56-64, issn 1523-2867, 9 p., SUPConference Paper

Understanding memory management in prolog systemsFERNANDO CASTRO, Luis; SANTOS COSTA, Vitor.Lecture notes in computer science. 2001, pp 11-26, issn 0302-9743, isbn 3-540-42935-2Conference Paper

Dynamic mixed-strategy evaluation of tabled logic programsROCHA, Ricardo; SILVA, Fernando; SANTOS COSTA, Vitor et al.Lecture notes in computer science. 2005, pp 250-264, issn 0302-9743, isbn 3-540-29208-X, 1Vol, 15 p.Conference Paper

A novel implementation of the Extended Andorra ModelLOPES, Ricardo; SANTOS COSTA, Vitor; SILVA, Fernando et al.Lecture notes in computer science. 2001, pp 199-213, issn 0302-9743, isbn 3-540-41768-0Conference Paper

Improving memory usage in the BEAMLOPES, Ricardo; SANTOS COSTA, Vitor.Lecture notes in computer science. 2005, pp 143-157, issn 0302-9743, isbn 3-540-24362-3, 15 p.Conference Paper

IMPACT : Innovative models for prolog with advanced control and tablingROCHA, Ricardo; LOPES, Ricardo; SILVA, Fernando et al.Lecture notes in computer science. 2005, pp 416-417, issn 0302-9743, isbn 3-540-29208-X, 1Vol, 2 p.Conference Paper

On deterministic computations in the Extended Andorra ModelLOPES, Ricardo; SANTOS COSTA, Vitor; SILVA, Fernando et al.Lecture notes in computer science. 2003, pp 407-421, issn 0302-9743, isbn 3-540-20642-6, 15 p.Conference Paper

On a tabling engine that can exploit or-parallelismROCHA, Ricardo; SILVA, Fernando; SANTOS COSTA, Vitor et al.Lecture notes in computer science. 2001, pp 43-58, issn 0302-9743, isbn 3-540-42935-2Conference Paper

Probabilistic first-order theory revision from examplesPAES, Aline; REVOREDO, Kate; ZAVERUCHA, Gerson et al.Lecture notes in computer science. 2005, pp 295-311, issn 0302-9743, isbn 3-540-28177-0, 17 p.Conference Paper

Concurrent table accesses in parallel tabled logic programsROCHA, Ricardo; SILVA, Fernando; SANTOS COSTA, Vitor et al.Lecture notes in computer science. 2004, pp 662-670, issn 0302-9743, isbn 3-540-22924-8, 9 p.Conference Paper

Mode directed path findingONG, Irene M; DE CASTRO DUTRA, Ines; PAGE, David et al.Lecture notes in computer science. 2005, pp 673-681, issn 0302-9743, isbn 3-540-29243-8, 1Vol, 9 p.Conference Paper

Experimental evaluation of a caching technique for ILPFONSECA, Nuno; SANTOS COSTA, Vitor; SILVA, Fernando et al.Lecture notes in computer science. 2003, pp 151-155, issn 0302-9743, isbn 3-540-20589-6, 5 p.Conference Paper

An integrated approach to learning bayesian networks of rulesDAVIS, Jesse; BURNSIDE, Elizabeth; DE CASTRO DUTRA, Ines et al.Lecture notes in computer science. 2005, pp 84-95, issn 0302-9743, isbn 3-540-29243-8, 1Vol, 12 p.Conference Paper

On the BEAM implementationLOPES, Ricardo; SANTOS COSTA, Vitor; SILVA, Fernando et al.Lecture notes in computer science. 2003, pp 131-135, issn 0302-9743, isbn 3-540-20589-6, 5 p.Conference Paper

An empirical evaluation of bagging in inductive logic programmingDE CASTRO DUTRA, Inês; PAGE, David; SANTOS COSTA, Vitor et al.Lecture notes in computer science. 2003, pp 48-65, issn 0302-9743, isbn 3-540-00567-6, 18 p.Conference Paper

Trebuchet: exploring TLP with dataflow virtualisationALVES, Tiago A. O; MARZULO, Leandro A. J; FRANCA, Felipe M. G et al.International journal of high performance systems architecture (Print). 2011, Vol 3, Num 2-3, pp 137-148, issn 1751-6528, 12 p.Article

PFORTE : Revising probabilistic FOL theoriesPAES, Aline; REVOREDO, Kate; ZAVERUCHA, Gerson et al.Lecture notes in computer science. 2006, pp 441-450, issn 0302-9743, isbn 3-540-45462-4, 1Vol, 10 p.Conference Paper

Toward automatic management of embarrassingly parallel applicationsDUTRA, Inês; PAGE, David; SANTOS COSTA, Vitor et al.Lecture notes in computer science. 2003, pp 509-516, issn 0302-9743, isbn 3-540-40788-X, 8 p.Conference Paper

Predicting the secondary structure of proteins using Machine Learning algorithmsCAMACHO, Rui; FERREIRA, Rita; ROSA, Natacha et al.International journal of data mining and bioinformatics (Print). 2012, Vol 6, Num 6, pp 571-584, issn 1748-5673, 14 p.Article

Performance evaluation of Fast Ethernet, Giganet and Myrinet on a clusterLOBOSCO, Marcelo; SANTOS COSTA, Vitor; DE AMORIM, Claudio L et al.Lecture notes in computer science. 2002, issn 0302-9743, isbn 3-540-43591-3, 3Vol, vol. 1, 296-305Conference Paper