Vítor Manuel de Morais Santos Costa


AuthID: R-000-HMB

Publicações Confirmadas: 207



121
TÍTULO: Demand-driven indexing of Prolog clauses
AUTORES: Costa, VS ; Sagonas, K; Lopes, R ;
PUBLICAÇÃO: 2007, FONTE: 23rd International Conference on Logic Programming (ICLP) in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 4670
INDEXADO EM: Scopus WOS DBLP CrossRef: 12
122
TÍTULO: Design, implementation, and evaluation of a dynamic compilation framework for the YAP system
AUTORES: da Silva, AF; Costa, VS ;
PUBLICAÇÃO: 2007, FONTE: 23rd International Conference on Logic Programming (ICLP) in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 4670
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
123
TÍTULO: Improving model construction of profile HMMs for remote homology detection through structural alignment
AUTORES: Bernardes, JS; Dávila, AM; Costa, VS ; Zaverucha, G;
PUBLICAÇÃO: 2007, FONTE: BMC BIOINFORMATICS, VOLUME: 8, NÚMERO: 1
INDEXADO EM: Scopus WOS DBLP CrossRef: 13
124
TÍTULO: Inferring regulatory networks from time series expression data and relational data via inductive logic programming
AUTORES: Ong, IM; Topper, SE; Page, D; Costa, VS ;
PUBLICAÇÃO: 2007, FONTE: 16th International Conference on Inductive Logic Programming in INDUCTIVE LOGIC PROGRAMMING, VOLUME: 4455
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
125
TÍTULO: Prolog performance on larger datasets  Full Text
AUTORES: Vitor Santos Costa ;
PUBLICAÇÃO: 2007, FONTE: 9th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, VOLUME: 4354
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
NO MEU: ORCID
126
TÍTULO: Selected papers from SBLP 2007: The 11th Brazilian Symposium on Programming Languages J.UCS special issue
AUTORES: Bigonha, RS; Musicante, MA; Pardo, A; Garcia, A; Martini, A; Moreira, AF; De Melo, ACV; Du Bois, AR; Santos, A; Camarao, C; Rubira, C; Braga, C; Naumann, D; Haeusler, EH; De Carvalho Junior, FH; Cafezeiro, I; Palsberg, J; Jeuring, J; Saraiva, J ; Guimaraes, J; Labra, J; Fiadeiro, JL; Figueiredo, L; Barbosa, LS ; Menezes, LC; Maia, M; De Valente, MTO; Bigonha, MAS; Benton, N; Rodriguez, N; Borba, P; Mosses, PD; Lins, RD; Cerqueira, R; Lima, RM; Ierusalimschy, R; Rigo, S; De Schneider, SM; Soares, S; Dascalu, S; Thompson, S; Vene, V; Costa, V ; Iorio, VD; ...Mais
PUBLICAÇÃO: 2007, FONTE: JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 13, NÚMERO: 6
INDEXADO EM: Scopus WOS
NO MEU: ORCID
127
TÍTULO: A pipelined data-parallel algorithm for ILP
AUTORES: Fonseca, NA ; Silva, F ; Costa, VS ; Camacho, R ;
PUBLICAÇÃO: 2006, FONTE: IEEE International Conference on Cluster Computing in 2005 IEEE INTERNATIONAL CONFERENCE ON CLUSTER COMPUTING (CLUSTER)
INDEXADO EM: Scopus WOS DBLP CrossRef: 4 Handle
128
TÍTULO: Our Experiences with Optimizations in Sun's Java Just-In-Time Compilers
AUTORES: Anderson Faustino da Silva; Vítor Santos Costa ;
PUBLICAÇÃO: 2006, FONTE: J. Univers. Comput. Sci., VOLUME: 12, NÚMERO: 7
INDEXADO EM: Scopus DBLP
129
TÍTULO: PFORTE: Revising Probabilistic FOL Theories
AUTORES: Aline Paes; Kate Revoredo; Gerson Zaverucha; Vítor Santos Costa ;
PUBLICAÇÃO: 2006, FONTE: IBERAMIA-SBIA, VOLUME: 4140 LNAI
INDEXADO EM: Scopus DBLP CrossRef
130
TÍTULO: The Design and Implementation of the YAP Compiler: An Optimizing Compiler for Logic Programming Languages
AUTORES: Anderson Faustino da Silva; Vítor Santos Costa ;
PUBLICAÇÃO: 2006, FONTE: ICLP, VOLUME: 4079 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 1
Página 13 de 21. Total de resultados: 207.

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