Vítor Manuel de Morais Santos Costa

Possui graduação em Engenharia Electrotécnica pela Universidade do Porto(1984), doutorado em Computer Science pela University Of Bristol(1993), pós-doutorado pela University of Wisconsin - Madison(2002) e pós-doutorado pela University of Wisconsin - Madison(2005). Atualmente é Professor Auxiliar da Faculdade de Ciências da Universidade do Porto. Tem experiência na área de Ciência da Computação, com ênfase em Sistemas de Computação. Atuando principalmente nos seguintes temas:logic programming, andorra-i, compilation techniques.

Informações coletadas do Lattes em 10/11/2022

Acadêmico

Formação acadêmica

Doutorado em Computer Science

1988 - 1993

University of Bristol
Título: Compile-Time Analysis for the Parallel Execution of Logic Programs in Andorra-I
Orientador: David Higgory Warren
Bolsista do(a): Fundação Gulbenkian. Palavras-chave: logic programming; andorra-i; compilation techniques.Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação / Especialidade: Software Básico. Setores de atividade: Informática.

Graduação em Engenharia Electrotécnica

1979 - 1984

Universidade do Porto

Pós-doutorado

2004 - 2005

Pós-Doutorado. , University of Wisconsin - Madison.

2001 - 2002

Pós-Doutorado. , University of Wisconsin - Madison. , Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.

Idiomas

Inglês

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Português

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Francês

Compreende Razoavelmente, Fala Pouco, Lê Razoavelmente, Escreve Pouco.

Áreas de atuação

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Software Básico.

Participação em eventos

PADL2007. Prolog Performance on Larger Datasets. 2007. (Congresso).

Dagstuhl seminar on Probabilistic, Logical and Relational Learning.Dagstuhl seminar on Probabilistic, Logical and Relational Learning. 2007. (Seminário).

Black Forest Worskhop Joint APrIL/IQ Workshop 2006 Freiburg, Leuven & Friends Workshop (Fluffy) 2006.Black Forest Worskhop Joint APrIL/IQ Workshop 2006 Freiburg, Leuven & Friends Workshop (Fluffy) 2006. 2006. (Oficina).

Workshop on Declarative Languages for Multicore Architectures.Workshop on Declarative Languages for Multicore Architectures. 2006. (Encontro).

10th European Conference on Machine Learning. ECML 2005. 2005. (Congresso).

Twenty First International Conference on Logic Programming. Twenty First International Conference on Logic Programming. 2005. (Congresso).

2005 International Conference on Intelligence Analysis. 2005 International Conference on Intelligence Analysis. 2005. (Congresso).

Sixth International Symposium on Practical Aspects of Declarative Languages.Sixth International Symposium on Sixth International Symposium on Practical Aspects of Declarative Languages. 2004. (Simpósio).

3rd Workshop on Multi-Relational Data Mining.MRDM 2004. 2004. (Oficina).

2nd Int'l Compulog/ALP Summer School In Computational Logic.2nd Int'l Compulog/ALP Summer School In Computational Logic. 2004. (Outra).

19th ICLP. Nineteenth International Conference on Logic Programming. 2003. (Congresso).

EPIA 2003. EPIA 2003. 2003. (Congresso).

UAI 2003. Uncertainty in Artificial Intelligence. 2003. (Congresso).

Colloquium on the Implementation of (Constraint) Logic Programming Systems.CICLOPS 2003. 2003. (Seminário).

Participação em bancas

Aluno: Pedro Motta Cardoso

COSTA, V. M. M. S.. Tornando a Programação em Lógica Indutiva (ILP) Escalável a Bases de Dados Arbitrariamente Grandes. 2006. Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

Aluno: PAULA FERNANDA MACHADO VIEIRA DE CARVALHO

COSTA, V. M. M. S.. REDES NEURONAIS NA ANÁLISE DO COMPORTAMENTO DE CIANOBACTÉRIAS EM GRANDES RESERVATÓRIOS DE ÁGUA.. 2006. Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Kary Ann del Carmen Ocaña Gautherot

COSTA, V. M. M. S.. Detecção e caracterização de Elementos Móveis Genéticos usando HMMs (Hidden Markov Models). 2006. Dissertação (Mestrado em Biologia Celular e Molecular) - Fundação Oswaldo Cruz.

Aluno: Sergio Brauna da Silva

COSTA, V. M. M. S.. Um estudo do impacto de informacao de granulosidade em estrategias de escalonamento para sistemas Prolog que exploram paralelismo-ou. 2004. Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Anderson Faustino da Silva

COSTA, V. M. M. S.. Clusters Java: Implementação e Avaliação. 2003. Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Thobias Trevisan

COSTA, V. M. M. S.. Um Mecanismo Modular e Eficiente para Compartilhamento de Memória em Clusters. 2003. Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Viviane Almeida Morelli

COSTA, V. M. M. S.. Implementacao e Analise de tecnicas de ensemble em Programacão Lógica Indutiva.. 2003. Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Adriana Marino Carrusca

COSTA, V. M. M. S.. Análise de PolÍticas de Escalonamento para Sistemas Prolog que Exploram Paralelismo OU. 2000. Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Marcio Goncalves da Silva

COSTA, V. M. M. S.. Influência de Parâmetros Arquiteturais em Sistemas Paralelos de Programação Lógica. 1999. Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

Aluno: DANIELLE QUINTELA MENDES

COSTA, V. M. M. S.. MODELO NEUROCOMPUTACIONAL DO DÉFICIT DE ATENÇÃO NO MAL DE PARKINSON E NO TDAH. 2006. Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Remko Tronçon

COSTA, V. M. M. S.. Techniques for more efficient ILP data mining engines. 2006. Tese (Doutorado em Engenharia) - Katholieke Universiteit Leuven.

Aluno: Marcus Amorim Leal

COSTA, V. M. M. S.. Finalizadores e Referencias Fracas Interagindo com o Coletor de Lixo. 2005. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

Aluno: Marcelo Lobosco

COSTA, V. M. M. S.. Técnicas para Redução dos Custos de Compartilhamento de Memória em Máquinas Virtuais Distribuídas. 2005. Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Luis Fernando Pias de Castro

COSTA, V. M. M. S.. Demand-based Evaluation of Tabled Logic Programs. 2003. Tese (Doutorado em Computer Science) - State University of New York at Stony Brook.

Aluno: Paulo Jorge Lopes de Moura

COSTA, V. M. M. S.. Logtalk Design of an Object-Oriented Logic Programming Language. 2003. Tese (Doutorado em Engenharia Informatica) - Universidade da Beira Interior.

Aluno: Manuel Eduardo Correia

COSTA, V. M. M. S.. On the Implementation of And/Or Parallel Logic Programming Systems. 2001. Tese (Doutorado em Ciencia da Computacao) - Universidade do Porto.

Aluno: Ricardo Lopes

COSTA, V. M. M. S.. An Implementation of the Extended Andorra Model.. 2001. Tese (Doutorado em Ciencia da Computacao) - Universidade do Porto.

Aluno: Ricardo Rocha

COSTA, V. M. M. S.. On Applying Or-Parallelism and Tabling to Logic Programs. 2001. Tese (Doutorado em Ciencia da Computacao) - Universidade do Porto.

Aluno: Luis Miguel Barros Lopes

COSTA, V. M. M. S.. On the Design and Implementation of a Virtual Machine for Process Calculi. 1999. Tese (Doutorado em Ciencia da Computacao) - Universidade do Porto.

Aluno: Alipio Jorge

COSTA, V. M. M. S.. Iterative Induction of Logic Programs. 1998. Tese (Doutorado em Ciencia da Computacao) - Universidade do Porto.

Aluno: Rui Hu

COSTA, V. M. M. S.. Efficient Tabled Evaluation of Normal Logic Programs in a Distributed Environment. 1997. Tese (Doutorado em Computer Science) - State University of New York at Stony Brook.

Aluno: Juliana Freire

COSTA, V. M. M. S.. Scheduling Strategies for Evaluation of Recursive Queries over Memory and Disk-Resident Data. 1997. Tese (Doutorado em Computer Science) - State University of New York at Stony Brook.

Orientou

Cristiane Amaral de Magalhães

Roteamento em Sensores para Redes Eletricas; Início: 2006; Dissertação (Mestrado profissional em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro; (Orientador);

Leandro Augusto Justen Marzulo

On Transaction Flow; Início: 2006; Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro; (Orientador);

Renato de Castro Dutra

Aprendendo Rotas em Redes de Sensores; Início: 2006; Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro; (Orientador);

Aline Marins Paes Carvalho

Revisão de Teorias de Primeira-Ordem Bayesianas; Início: 2005; Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; (Coorientador);

Wagner Antonio Arbex

Aprendizagem de SNPs em Genomas de Bovinos; Início: 2003; Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro; (Orientador);

Roberto Francisco Ligeiro Marques

ZOS: Um ambiente para migracao e compartilhamento de contextos de execucao; 2005; Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Vítor Manuel de Morais Santos Costa;

Aline Marins Paes Carvalho

PFORTE: Revisao de Teorias Probabilisticas de Primeira-irdem atraves de Exemplos; 2005; Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Coorientador: Vítor Manuel de Morais Santos Costa;

Juliana da Silva Bernardes

DETECÇAO DE HOMOLOGIAS DISTANTES UTILIZANDO HMMs E INFORMAÇOES ESTRUTURAIS; 2005; Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Vítor Manuel de Morais Santos Costa;

José Afonso Lajas Sanches

Uma Ferramenta para Gerenciamento Automatico de Tarefas em Ambientes de Grid; ; 2004; Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro,; Coorientador: Vítor Manuel de Morais Santos Costa;

Thobias Trevisan

Um Mecanismo Modular e Eficiente para Compartilhamento de Memória em Clusters; 2003; Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, Financiadora de Estudos e Projetos; Coorientador: Vítor Manuel de Morais Santos Costa;

Ricardo Nuno de Sousa Lopes

Execução de Prolog com Alta Performance; 1996; 0 f; Dissertação (Mestrado em Mestrado Em Informática) - Universidade do Minho,; Orientador: Vítor Manuel de Morais Santos Costa;

Anderson Faustino da Silva

PROJECTO E IMPLEMENTAÇÃO DO COMPILADOR YAPc: UM COMPILADOR OTIMIZADOR PARA LINGUAGENS DE PROGRAMAÇÃO EM LÓGICA; 2006; Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro,; Orientador: Vítor Manuel de Morais Santos Costa;

Ricardo Nuno de Sousa Lopes

An Implementation of the Extended Andorra Model; 2002; Tese (Doutorado em Ciencia da Computacao) - Universidade do Porto,; Orientador: Vítor Manuel de Morais Santos Costa;

Manuel Eduardo Carvalho Duarte Correia

On the Implementation of And/Or Parallel Logic Programming Systems; 2002; Tese (Doutorado em Ciencia da Computacao) - Universidade do Porto,; Orientador: Vítor Manuel de Morais Santos Costa;

Ricardo Jorge Gomes Lopes da Rocha

On Applying Or-Parallelism and Tabling to Logic Programs; 2002; Tese (Doutorado em Ciencia da Computacao) - Universidade do Porto,; Coorientador: Vítor Manuel de Morais Santos Costa;

Produções bibliográficas

FAUSTINO, A. ; COSTA, V. M. M. S. . The Design of the YAP Compiler: An Optimizing Compiler for Logic Programming Languages. Journal of Universal Computer Science (Online) , v. 12, p. 764-787, 2006.
FAUSTINO, A. ; COSTA, V. M. M. S. . Our Experiences with Optimizations in Sun's Java Just-In-Time Compilers. Journal of Universal Computer Science (Online) , v. 12, p. 788-810, 2006.
ROCHA, R. ; SILVA, F. ; COSTA, V. M. M. S. . On applying or-parallelism and tabling to logic programs. Theory and Practice of Logic Programming , Cambridge, UK, v. 5, n.1-2, p. 161-205, 2005.
FAUSTINO, A. ; COSTA, V. M. M. S. . An Experimental Evaluation of JAVA JIT Technology. Journal of Universal Computer Science (Online) , v. 11, p. 1291-1309, 2005.
COSTA, V. M. M. S. ; SRINIVASAN, A. ; Rui Camacho ; BLOCKEEL, H. ; DEMOEN, B. ; JANSSENS, G. ; STRUYF, J. ; VANDECASTEELE, H. ; LAER, W. V. . Query Transformations for Improving the Efficiency of ILP Systems. Journal of Machine Learning Research , Cambridge, MA, USA, v. 4, n.August, p. 465-491, 2003.
COSTA, V. M. M. S. ; BIANCHINI, R. ; DUTRA, I. C. . Parallel Logic Programming Systems on Scalable Architectures. Journal of Parallel and Distributed Computing , v. 60, n.7, p. 835-852, 2000.
COSTA, V. M. M. S. ; PONTELLI, E. ; GUPTA, G. . Editorial on the Special Issue on the Workshop on Parallelism and Implementation Technology for (Constraint) Logic Programming Languages. The Journal Of Functional And Logic Programming , v. 1999, p. 1-3, 1999.
SHEN, K. ; COSTA, V. M. M. S. ; KING, A. . Distance: a New Metric for Controlling Granularity for Parallel Execution. The Journal Of Functional And Logic Programming , v. 1999, n.1, p. 1-23, 1999.
COSTA, V. M. M. S. ; WARREN, D. H. D. ; YANG, R. . Andorra-I Compilation. New Generation Computing , Japão, v. 14, n.1, p. 3-30, 1996.
GUPTA, G. ; COSTA, V. M. M. S. . Cuts and Side-Effects in And-Or Parallel Prolog. Journal of Logic Programming , Holanda, v. 27, n.1, p. 45-71, 1996.
GUPTA, G. ; COSTA, V. M. M. S. . Optimal implementation of and-or parallel Prolog. Future Generation Computer Systems , Holanda, v. 14, n.10, p. 71-92, 1994.
GUPTA, G. ; HERMENEGILDO, M. ; COSTA, V. M. M. S. . And-Or Parallel Prolog: A Recomputation based Approach. New Generation Computing , Japão, v. 11, n.3,4, p. 770-782, 1993.
PONTELLI, E. (Org.) ; COSTA, V. M. M. S. (Org.) . Practical Aspects of Declarative Languages. Berlin: Springer, 2000. v. 1. 327p .
DUTRA, I. C. (Org.) ; CARRO, M. (Org.) ; COSTA, V. M. M. S. (Org.) ; GUPTA, G. (Org.) ; PONTELLI, E. (Org.) ; SILVA, F. (Org.) . Parallelism and Implementation of (Constraint) Logic Programming. 1. ed. Commack. NY: Nova Science Publishers, Inc., 1999. v. 1. 351p .
COSTA, V. M. M. S. ; PAGE, C. D. ; CUSSENS, J. . CLP(BN): Constraint Logic Programming for Probabilistic Knowledge. In: Luc de Raedt; Paolo Frasconi;Kristian Kersting; Stephen Muggleton. (Org.). Probabilistic Inductive Logic Programming. : , 2008, v. 4911, p. 156-188.
KONSTANTOPOULOS, S. ; Rui Camacho ; FONSECA, N. ; COSTA, V. M. M. S. . Induction as a Search Procedure. In: Dimitris Vrakas; Ioannis Vlahavas. (Org.). Artificial Intelligence for Advanced Problem Solving Techniques. Hershey, PA, USA: Idea Group Inc., 2007, v. , p. -.
DAVIS, J. ; BURNSIDE, B. ; DUTRA, I. C. ; PAGE, C. D. ; RAMAKRISHNAN, R. ; SHAVLIK, J. ; COSTA, V. M. M. S. . Learning a New View of a Database: With an Application in Mammography. In: Lise Getoor; Ben Taskar. (Org.). Introduction to Statistical Relational Learning. Cambridge, MA, USA: MIT Press, 2007, v. , p. -.
MOONEY, R. J. ; MELVILLE, P. ; LAPOON, R. T. ; SHAVLIK, J. ; DUTRA, I. C. ; PAGE, C. D. ; COSTA, V. M. M. S. . Relational Data Mining with Inductive Logic Programming for Link Discovery. In: Hillol Kargupta; Anupam Joshi; Krishnamoorthy Sivakumar; Yelena Yesha. (Org.). Data Mining Next Generation Challenges and Future Directions. Cambridge, MA, USA: AAAI Press/MIT Press, 2004, v. , p. 239-254.
COSTA, V. M. M. S. . Parallelism and Implementation Technology for Logic Programming Languages. In: Allen Kent; James G. Williams. (Org.). Encyclopedia of Computer Science and Technology. New York: Marcel Dekker, 2000, v. 42, p. 197-237.
FONSECA, N. ; DUTRA, I. C. ; COSTA, V. M. M. S. . VisAll: A new tool to visualise parallel execution of Logic Programs. In: Inês de Castro Dutra; Manuel Carro; Vítor Manuel de Morais Santos Costa; Gopal Gupta; Enrico Pontelli; Fernando Silva. (Org.). Parallelism and Implementation of Logic and Constraint Logic Programming. 1ed.Commack, NY: Nova Science Publishers, Inc., 1999, v. , p. 1-20.
LOPES, R. ; COSTA, V. M. M. S. . The YAIL: An Intermediate Language for Native Compilation of Prolog Programs. In: Inês de Castro Dutra; Manuel Carro; Vítor Santos Costa; Gopal Gupta; Enrico Pontelli; Fernando Silva. (Org.). Parallelism and Implementation of Logic and Constraint Logic Programming. 1ed.Commack, NY: Nova Science Publishers, Inc., 1999, v. 1, p. 313-328.
LOPES, R. ; COSTA, V. M. M. S. . The BEAM: Towards a first EAM Implementation. In: Inês de Castro Dutra; Manuel Carro; Vítor Santos Costa; Gopal Gupta; Enrico Pontelli; Fernando Silva. (Org.). Parallelism and Implementation of Logic and Constraint Logic Programming. 1ed.Commack, NY: Nova Science Publishers, Inc., 1999, v. 1, p. 87-106.
COSTA, V. M. M. S. . Um sistema capaz de executar programs prolog em paralelo. In: IBM Portugal. (Org.). Prémio Científico IBM de 1990 a 1996. Lisboa, Portugal: IBM Portugal, 1997, v. 1, p. 95-115.
PONTELLI, E. ; COSTA, V. M. M. S. . PADL '00: Workshop on Practical Aspects of Declarative Languages. SIGplan notices, p. 16 - 17, 01 abr. 2000.
DAVIS, J. ; ONG, I. ; STRUYF, J. ; BURNSIDE, B. ; PAGE, C. D. ; COSTA, V. M. M. S. . Change of Representation for Statistical Relational Learning. In: Proceedings of the 20th International Joint Conference on Artificial Intelligence, 2007, Hyderabad. Proceedings of the 20th International Joint Conference on Artificial Intelligence, 2007. p. 2719-2726.
COSTA, V. M. M. S. . Prolog Performance on Larger Datasets. In: PADL 2007, 2007, Nice. Practical Aspects of Declarative Languages, 9th International Symposium, 2007. v. 4354. p. 185-199.
DAVIS, J. ; COSTA, V. M. M. S. ; Soumya Ray ; PAGE, C. D. . An Integrated Approach to Feature Invention and Model Construction for Drug Activity Prediction. In: International Conference on Machine Learning 2007, 2007, Corvallis, OR, USA. Proceedings of the ICML 2007. New York, NY, USA: On-Demand Publications, 2007.
COSTA, V. M. M. S. ; Kostis Sagonas ; LOPES, R. . Demand-Driven Indexing of Prolog Clauses. In: 23rd International Conference on Logic Programming, 2007, Porto, Portugal. Proceedings of ICLP 2007, 2007. v. 4670. p. 395-409.
FAUSTINO, A. ; COSTA, V. M. M. S. . Design, Implementation, and Evaluation of an Dynamic Compilation Framework for the YAP System. In: 23rd International Conference on Logic Programming, 2007, Porto, Portugal. Proceedings of ICLP 2007, 2007. v. 4670. p. 410-424.
PAES, A. ; ZAVERUCHA, G. ; COSTA, V. M. M. S. . Revisando Teorias Lógicas de Primeira-ordem a partir de Exemplos usando Busca Local Estocástica. In: ENIA VI Encontro Nacional de Inteligência Artificial, 2007, Rio de Janeiro, RJ. Anais do ENIA 2007, 2007.
REVOREDO, K. ; PAES, A. ; ZAVERUCHA, G. ; COSTA, V. M. M. S. . Combinando Invenção de Predicados e Revisão de Teorias Probabilísticas de primeira-ordem. In: ENIA VI Encontro Nacional de Inteligência Artificial, 2007, Rio de Janeiro, RJ. Anais do ENIA 2007, 2007.
COSTA, V. M. M. S. . A Look Back and a Look Forward at Parallel Logic Programming. In: Workshop on Declarative Languages for Multicore Architectures, 2006, Charleston. Workshop on Declarative Languages for Multicore Architectures, 2006.
COSTA, V. M. M. S. . CLP(BN): Status and Challenges. In: Black Forest Workshops Joint APrIL/IQ Workshop 2006 Freiburg, Leuven & Friends Workshop (Fluffy) 2006, 2006, Titisee. Black Forest Workshops Joint APrIL/IQ Workshop 2006 Freiburg, Leuven & Friends Workshop (Fluffy) 2006, 2006.
FAUSTINO, A. ; COSTA, V. M. M. S. . The Design of the YAP Compiler: An Optimizing Compiler for Logic Programming Languages. In: 10º Simpósio Brasileiro de Linguagem de Programação, 2006, Itatiaia. Anais do 10º Simpósio Brasileiro de Linguagem de Programação, 2006. p. 147-160.
FAUSTINO, A. ; COSTA, V. M. M. S. . Our Experiences with Optimizations in Sun's Java Just-In-Time Compilers. In: 10º Simpósio Brasileiro de Linguagem de Programação, 2006, Itatiaia. Anais do 10º Simpósio Brasileiro de Linguagem de Programação, 2006. p. 133-146.
PAES, A. ; REVOREDO, K. ; ZAVERUCHA, G. ; COSTA, V. M. M. S. . PFORTE: Revising Probabilistic FOL Theories. In: IBERAMIA-SBIA 2006, 2nd International Joint Conference, 10th Ibero-American Conference on AI, 18th Brazilian AI Symposium, 2006, Ribeirão Preto. IBERAMIA-SBIA 2006, 2nd International Joint Conference, 10th Ibero-American Conference on AI, 18th Brazilian AI Symposium,, 2006. v. 4140. p. 441-450.
ONG, I. ; Scott E Topper ; PAGE, C. D. ; COSTA, V. M. M. S. . Inferring Regulatory Networks from Time Series Expression Data and Relational Data via Inductive Logic Programming. In: 16th International Conference on Inductive Logic Programming (ILP 2006), 2006, Santiago de Compostela. Proceedings of the 16th International Conference on Inductive Logic Programming, 2006.
LOPES, R. ; COSTA, V. M. M. S. . Improving Memory Usage in the BEAM. In: ractical Aspects of Declarative Languages, 7th International Symposium, PADL 2005, 2005, Long Beach, CA. ractical Aspects of Declarative Languages, 7th International Symposium, PADL 2005. Berlin: Springer-Verlag, 2005. v. 3350. p. 143-157.
DAVIS, J. ; DUTRA, I. C. ; PAGE, C. D. ; COSTA, V. M. M. S. . Establishing Identity Equivalence in Multi-Relational Domains. In: 2005 International Conference on Intelligence Analysis, 2005, McLean, VA, USA. 2005 International Conference on Intelligence Analysis Proceedings, 2005.
BURNSIDE, B. ; DAVIS, J. ; COSTA, V. M. M. S. ; DUTRA, I. C. ; KAHN, C. ; PAGE, C. D. . Knowledge Discovery from Structured Mammography Reports Using Inductive Logic Programming. In: American Medical Informatics Association Annual Symposium 2005, 2005, Washington DC, USA. American Medical Informatics Association Annual Symposium 2005, 2005.
DAVIS, J. ; BURNSIDE, B. ; DUTRA, I. C. ; PAGE, C. D. ; RAMAKRISHNAN, R. ; COSTA, V. M. M. S. ; SHAVLIK, J. . View Learning for Statistical Relational Learning: With an Application to Mammography. In: Nineteenth International Joint Conference on Artificial Intelligenc, 2005, EDINBURGH, SCOTLAND. Proceedings of IJCAI, 2005.
BRAVO, H. C. ; PAGE, C. D. ; RAMAKRISHNAN, R. ; SHAVLIK, J. ; COSTA, V. M. M. S. . A Framework for Set-Oriented Computation in Inductive Logic Programming and its Application in Generalizing Inverse Entailment. In: 15th International Conference on Inductive Logic Programming, 2005, Bonn, Gerany. Proceeding of 15th ILP, 2005. v. 3625. p. 69-86.
PAES, A. ; REVOREDO, K. ; ZAVERUCHA, G. ; COSTA, V. M. M. S. . Probabilistic First-Order Theory Revision from Examples. In: 15th International Conference on Inductive Logic Programming, 2005, Bonn. Proceeding of 15th ILP, 2005.
PAES, A. ; REVOREDO, K. ; ZAVERUCHA, G. ; COSTA, V. M. M. S. . Revisão de Teorias Probabilísticas de Primeira-Ordem. In: V Encontro Nacional de Inteligencia Artificial, 2005, Sao Leopoldo RS. Anais do V ENIA, 2005.
FAUSTINO, A. ; COSTA, V. M. M. S. . An Experimental Evaluation of JAVA JIT Technology. In: IX SIMPOSIO BRASILEIRO DE LINGUAGENS DE PROGRAMACAO, 2005, Recife PE. Anais do IX SBLP, 2005. p. 202-214.
LIGEIRO, R. ; FRANCA, F. ; COSTA, V. M. M. S. . Execution Context Migration with ZOS. In: IV Simpósio de Desenvolvimento e Manutenção de Software da Marinha, 2005, RIo de Janeiro. Anais do IV SDMS, 2005.
SANCHES, J. A. L. ; VARGAS, P. K. ; DUTRA, I. C. ; COSTA, V. M. M. S. ; GEYER, C. F. R. . ReGS: user-level Reliability in a Grid Environment. In: IEEE International Symposium on Cluster Computing and the Grid, 2005, Cardiff. Proceedings of the 2005 IEEE International Symposium on Cluster Computing and the Grid, 2005.
ROCHA, R. ; SILVA, F. ; COSTA, V. M. M. S. . Dynamic Mixed-Strategy Evaluation of Tabled Logic Program. In: Twenty First International Conference on Logic Programming, 2005, Sitges. Proceedings of Twenty First International Conference on Logic Programming, 2005. v. 3668. p. 250-264.
FONSECA, N. ; SILVA, F. ; COSTA, V. M. M. S. ; Rui Camacho . A pipelined data-parallel algorithm for ILP. In: The 2005 IEEE International Conference on Cluster Computing, 2005, Burlington, MA. Proceeding of the 2005 IEEE International Conference on Cluster Computing, 2005.
PAES, A. ; REVOREDO, K. ; ZAVERUCHA, G. ; COSTA, V. M. M. S. . Comparação De Funções De Avaliação Em Revisão De Teorias Probabilísticas De Primeira-ordem. In: VII Congresso Brasileiro de Redes Neurais, 2005, Natal RN. Anais do VII Congresso Brasileiro de Redes Neurais, 2005. p. 932-941.
DAVIS, J. ; BURNSIDE, B. ; DUTRA, I. C. ; PAGE, C. D. ; COSTA, V. M. M. S. . An Integrated Approach to Learning Bayesian Networks of Rules. In: 16th European Conference on Machine Learning (ECML), 2005, Porto. Machine Learning: ECML 2005, 2005. v. 3720. p. 84-95.
ROCHA, R. ; SILVA, F. ; COSTA, V. M. M. S. . Concurrent Table Accesses in Parallel Tabled Logic Programs. In: Euro-Par 2004 Parallel Processing, 10th International Euro-Par Conference, 2004, Pisa. Euro-Par 2004 Parallel Processing, 10th International Euro-Par Conference, 2004. v. 3149. p. 662-670.
ROCHA, R. ; SILVA, F. ; COSTA, V. M. M. S. . Speculative Computations in Or-Parallel Tabled Logic Programs. In: Logic Programming, 20th International Conference, ICLP 2004, 2004, Saint Malo. Logic Programming, 20th International Conference, ICLP 2004, 2004. v. 3132. p. 254-268.
FONSECA, N. ; COSTA, V. M. M. S. ; SILVA, F. ; Rui Camacho . On Avoiding Redundancy in Inductive Logic Programming. In: Inductive Logic Programming, 14th International Conference, ILP 2004, 2004, Porto. Inductive Logic Programming, 14th International Conference, ILP 2004, 2004. v. 3194. p. 132-146.
LOPES, R. ; COSTA, V. M. M. S. ; SILVA, F. . Pruning in the Extended Andorra Model. In: Practical Aspects of Declarative Languages, 6th International Symposium, PADL 2004, 2004, Dallas, TX. Practical Aspects of Declarative Languages, 6th International Symposium, PADL 2004, 2004. v. 3057. p. 120-134.
DAVIS, J. ; COSTA, V. M. M. S. ; ONG, I. ; PAGE, C. D. ; DUTRA, I. C. . Using Bayesian Classifiers to Combine Rules. In: 3rd Workshop on Multi-Relational Data Mining, 2004, Seattle, WA. 3rd Workshop on Multi-Relational Data Mining, 2004.
COSTA, V. M. M. S. ; PAGE, C. D. ; QAZI, M. ; CUSSENS, J. . CLPBN: Constraint Logic Programming for Probabilistic Knowledge. In: Nineteenth Conference on Uncertainty in Artificial Intelligence, 2003, Acapulco. UAI 2003. San Francisco: Morgan Kaufmann, 2003. p. 517-524.
ROCHA, R. ; SILVA, F. ; COSTA, V. M. M. S. . A Tabling Engine Designed to Support Mixed-Strategy Evaluation. In: Colloquium on Implementation of Constraint and LOgic Programming Systems, 2003, Mumbai. Proceedings of CICLOPS2003, 2003. p. 33-44.
DUTRA, I. C. ; PAGE, C. D. ; COSTA, V. M. M. S. ; SHAVLIK, J. ; WADDELL, M. . Toward Automatic Management of Embarrassingly Parallel Applications. In: Euro-Par 2003. Parallel Processing, 9th International Euro-Par Conference, 2003, Klagenfurt. Euro-Par 2003. Parallel Processing, 9th International Euro-Par Conference. v. 2790. p. 509-516.
LOPES, R. ; COSTA, V. M. M. S. ; SILVA, F. . On Deterministic Computations in the Extended Andorra Model. In: Logic Programming, 19th International Conference, ICLP 2003, 2003, Mumbai. Logic Programming, 19th International Conference, ICLP 2003, 2003. v. 2916. p. 407-421.
TREVISAN, T. ; COSTA, V. M. M. S. ; WHATELY, L. ; Claudio Amorim . Distributed Shared Memory in Kernel Mode. In: 14th Symposium on Computer Architecture and High Performance Computing (SBAC-PAD 2002),, 2002, Vitoria, ES, Brasil. 14th Symposium on Computer Architecture and High Performance Computing (SBAC-PAD 2002),. Los Alamitos, CA: IEEE Press, 2002. p. 159-168.
ROCHA, R. ; SILVA, F. ; COSTA, V. M. M. S. . Achieving Scalability in Parallel Tabled Logic Programs. In: 16th International Parallel and Distributed Processing Symposium (IPPDPS02), 2002, Fort Lauderdale, FL, USA. Proceedings of the 16th International Parallel and Distributed Processing Symposium (IPPDPS02). Los Alamitos, CA, USA: IEEE Computer Society Press, 2002. p. 26.
MOONEY, R. J. ; MELVILLE, P. ; LAPOON, R. T. ; SHAVLIK, J. ; COSTA, V. M. M. S. . Relational Data Mining with Inductive Logic Programming for Link Discovery. In: National Science Foundation Workshop on Next Generation Data Mining, 2002, Baltimore, MA. Proceedings of NGDM02, 2002.
CASTRO, L. F. ; COSTA, V. M. M. S. ; LOPES, R. . On the Cache Performance of Prolog Systems. In: Colloquium on Implementation of Constraint and LOgic Programming Systems , 2002, Copenhagen. Proceedings of CICLOPS'2002. Leuven, Belgica: KULeuven, 2002. p. 74-85.
CANOLA, S. T. ; COSTA, V. M. M. S. ; DUTRA, I. C. . O Problema do Alinhamento da Unidade de Coerência em Sistemas de Memória Compartilhada. In: Workcomp, Workshop em Computacao, 2002, Sao Jose dos Campos. Workcomp, Workshop em Computacao, 2002.
DUTRA, I. C. ; PAGE, C. D. ; COSTA, V. M. M. S. ; SHAVLIK, J. . An Empirical Evaluation of Bagging in Inductive Logic Programming. In: Inductive Logic Programming, 12th International Conference, ILP 2002, 2002, Sydney. Inductive Logic Programming, 12th International Conference, ILP 2002, 2002. v. 2583. p. 84-100.
LOBOSCO, M. ; COSTA, V. M. M. S. ; Claudio Amorim . Performance Evaluation of Fast Ethernet, Giganet, and Myrinet on a Cluster. In: Computational Science - ICCS 2002, International Conference, 2002, Amsterdam. Computational Science - ICCS 2002, International Conference, 2002. v. 2329. p. 296-305.
LOPES, R. ; CASTRO, L. F. ; COSTA, V. M. M. S. . From simulation to practice: cache performance study of a Prolog system. In: Proceedings of The Workshop on Memory Systems Performance (MSP 2002), 2002, Berlin. Proceedings of The Workshop on Memory Systems Performance (MSP 2002), 2002. p. 56-64.
LOBOSCO, M. ; FAUSTINO, A. ; COSTA, V. M. M. S. ; Claudio Amorim . TCP-IP versus VIA on Network of Workstations. In: 13 Symposium on Computer Architecture and High Performance Computing, 2001, Pirenopolis. Proceedings of SBAC-PAD, 2001. p. 140-147.
ROCHA, R. ; SILVA, F. ; COSTA, V. M. M. S. . On a Tabling Engine That Can Exploit Or-Parallelism.. In: Logic Programming, 17th International Conference, ICLP 2001, 2001, Paphos. Logic Programming, 17th International Conference, ICLP 2001, 2001. p. 43-58.
CASTRO, L. F. ; COSTA, V. M. M. S. . Understanding Memory Management in Prolog Systems. In: Logic Programming, 17th International Conference, ICLP 2001, 2001, Paphos. Logic Programming, 17th International Conference, ICLP 2001, 2001. v. 2237. p. 11-26.
LOPES, R. ; COSTA, V. M. M. S. ; SILVA, F. . A Novel Implementation of the Extended Andorra Model. In: Practical Aspects of Declarative Languages, Third International Symposium, PADL 2001, 2001, Las Vegas, NV. Practical Aspects of Declarative Languages, Third International Symposium, PADL 2001, 2001. v. 1990. p. 199-213.
DUTRA, I. C. ; COSTA, V. M. M. S. ; BIANCHINI, R. . The Impact of Cache Coherence Protocols on Parallel Logic Programming Systems. In: Computational Logic 2000, 2000, London. Proceedings of CL2000, LNAI 1861. Berlin: Springer Verlag, 2000. v. 1861. p. 1285-1299.
COSTA, V. M. M. S. ; SRINIVASAN, A. ; Rui Camacho . A note on two simple transformations for improving the efficiency of an ILP system. In: Inductive Logic Programming 2000, 2000, London. Inductive Logic Programming 10th International Conf, LNAI 1866. London: Springer Verlag, 2000. v. 1866. p. 225-242.
LOPES, R. ; COSTA, V. M. M. S. . A Performance Analysis of the BEAM Memory Manager. In: CL2000 Frst Workshop on Memory Management in Logic Programs, 2000, London. Proceedings of the First Workshop on Memory Management in Logic Programming. Heverlee, Belgium: Department of Computer Science, Katholieke Universiteit Leuven, 2000. v. 294. p. 1-17.
LOPES, R. ; SILVA, F. ; COSTA, V. M. M. S. ; ABREU, S. . The RAINBOW: Towards a Parallel BEAM. In: Workshop on Parallelism and Implementation Technology for (Constraint) Logic Programs, 2000, London. CL2000 Workshop on Parallelism and Implementation Technology for (Constraint) Logic Programs. London, UK: Imperial College, 2000. p. 38-54.
ROCHA, R. ; SILVA, F. ; COSTA, V. M. M. S. . YapTab: A Tabling Engine Designed to Support Parallelism. In: 2nd Worskshop on Tabulation in Parsing and Deduction, TAPD'2000, 2000, Vigo. Proceedings of the 2nd Conference on Tabulation in Parsi=ng and Deduction, TAPD'2000. Vigo: Universidad de Vigo, 2000. p. 77-87.
COSTA, V. M. M. S. ; ROCHA, R. ; SILVA, F. . Novel Models for Or-Parallel Logic Programs: A Performance Analysis. In: EuroPar2000, 2000, Munique. Proceedings of EuroPar2000, LNCS 1900. Berlin: Springer Verlag, 2000. v. 1900. p. 744-753.
COSTA, V. M. M. S. . Optimising bytecode emulation for prolog. In: Principles and Practice of Declarative Programming, 1999, Paris. Proceedings of PPDP'99. Berlin: Springer-Verlag, 1999. v. 1702. p. 261-277.
ROCHA, R. ; SILVA, F. ; COSTA, V. M. M. S. . YapOr: an Or-Parallel Prolog System based on Environment Copying. In: 9th Portuguese Conference on Artificial Intelligence, 1999, Evora. Proceedings of EPPIA'99: The 9th Portuguese Conference on Artificial Intelligence. Berlin: Springer-Verlag, 1999. v. 1695. p. 178-192.
LOPES, R. ; COSTA, V. M. M. S. . The BEAM: a first EAM Implementation. In: APPIA-GULP-PRODE'99 1999 Joint Conference on Declarative Programming, 1999, L'Aquila. Proceedings of AGP99: The 1999 Joint Conference on Declarative Programming, 1999. p. 425-439.
CASTRO, L. F. ; COSTA, V. M. M. S. ; GEYER, C. F. R. ; SILVA, F. ; VARGAS, P. K. ; CORREIA, M. E. . DAOS - Scalable And-0r Parallelism. In: Proceedings of EuroPar99, 1999, Toulouse. Proceedings of EuroPar99. Toulouse: Springer-Verlag, 1999. v. 1685. p. 899-908.
COSTA, V. M. M. S. . Cowl: Copy-on-write for logic programs. In: IPPS/SPDP'99 13 International Parallel Processing Symposium and 10th Symposium on Parallel and Distributed Processing, 1999, San Juan. Proceedings of the IPPS/SPDP99. Los Alamitos: IEEE Computer Society Press, 1999. p. 720-727.
SILVA, M. G. ; DUTRA, I. C. ; COSTA, V. M. M. S. ; BIANCHINI, R. . The Influence of Computer Architectural Parameters on Parallel Logic Programming Systems. In: Workshop on Practical Aspects of Declarative Languages (PADL99),, 1999, San Antonio, TX. Proceedings of the Workshop on Practical Aspects of Declarative Languages (PADL99),. Berlin: Springer-Verlag, 1999. v. 1551. p. 122-136.
ROCHA, R. ; SILVA, F. ; COSTA, V. M. M. S. . Or-Parallelism within Tabling. In: Workshop on Practical Aspects of Declarative Languages (PADL99), 1999, San Antonio, TX. Proceedings of the Workshop on Practical Aspects of Declarative Languages (PADL99). Berlin: Springer-Verlag, 1999. v. 1551. p. 137-151.
CORREIA, M. E. ; COSTA, V. M. M. S. . IAP for Dummies: The YAP Design. In: Workshop on Parallelism and Implementation Technology for (Coinstraint) Logic Programming, 1999, Las Cruces. Parallelism and Implementation Technology for (Coinstraint) Logic Programming, 1999. p. 97-109.
COSTA, V. M. M. S. ; BIANCHINI, R. . Optimising Parallel Logic Programming Systems for Scalable Machines. In: Proceedings of Europar 1998, 1998, Southampton. Proceedings of Europar 1998. Berlin: Springer-Verlag, 1998. v. 1470. p. 831-841.
FONSECA, N. ; DUTRA, I. C. ; COSTA, V. M. M. S. . VisAll: An Universal Tool to Visualise Parallel Execution of Logic Programs. In: Joint International Conference and Symposium on Logic Programming, 1998, Manchester. Joint International Conference and Symposium on Logic Programming. Boston, MA: MIT Press, 1998. p. 100-114.
SHEN, K. ; COSTA, V. M. M. S. ; KING, A. . A New Metric for Controlling Granularity for Parallel Execution. In: Joint International Conference and Symposium on Logic Programming, 1998, Manchester, Inglaterra. Joint International Conference and Symposium on Logic Programming. Boston, MA: MIT Press, 1998. p. 85-99.
COSTA, V. M. M. S. ; DUTRA, I. C. ; BIANCHINI, R. . Parallel Logic Programming Systems on Scalable Multiprocessors. In: 2nd International Symposium on Parallel Symbolic Computation, 1997, Maui, HA. Proceedings of the 2nd International Symposium on Parallel Symbolic Computation. New York, NY: ACM Press, 1997. p. 58-67.
CORREIA, M. E. ; SILVA, F. ; COSTA, V. M. M. S. . The SBA: Exploiting orthogonality in OR-AND Parallel Systems. In: International Logic Programming Symposium, 1997, Port Jefferson, NY. Proceedings of the 1997 International Logic Programming Symposium. Boston, MA: MIT Press, 1997. p. 117-131.
CORREIA, M. E. ; SILVA, F. ; COSTA, V. M. M. S. . Performance of Sparse Binding Arrays for Or-Parallelism. In: VIII Brazilian Symposium on Computer Architecture and High Performance Processing - SBAC-PAD, 1996, Recife. VIII Brazilian Symposium on Computer Architecture and High Performance Processing - SBAC-PAD, 1996.
PONTELLI, E. ; GUPTA, G. ; HERMENEGILDO, M. ; COSTA, V. M. M. S. . ACE: And/Or-parallel Copying-based Execution of Logic Programs. In: International Conference on Logic Programming, 1994, Santa Margherita. International Conference on Logic Programming. Boston, US: MIT Press, 1994. p. 93-109.
YANG, R. ; BEAUMONT, T. ; DUTRA, I. C. ; COSTA, V. M. M. S. ; WARREN, D. H. D. . Performance of the Compiler-based Andorra-I System. In: Tenth International Conference on Logic Programming, 1993, Budapest. Proceedings of the Tenth International Conference on Logic Programming. Boston, MA: MIT Press, 1993. p. 150-166.
GUPTA, G. ; COSTA, V. M. M. S. . A Systematic Approach to Exploiting Parallelism in Prolog. In: 26th Hawaii Int'l Conf on System Sciences, 1993, Maui, HA. 26th Hawaii Int'l Conf on System Sciences. Los Alamitos, CA: IEEE Computer Society Press, 1993. v. 1. p. 417-427.
GUPTA, G. ; COSTA, V. M. M. S. . And-Or Parallelism in Full Prolog with Paged Binding Arrays. In: PARLE'92, 1992, Paris. Proceedings of PARLE'92. Berlin: Springer-Verlag, 1992. v. 605. p. 617-632.
GUPTA, G. ; COSTA, V. M. M. S. . Complete and Efficient Methods for Supporting Side-Effects and Cuts in And-Or Parallel Prolog. In: PDP'92, 1992, Arlington, TX. Proceedings of PDP'92. Los Alamitos: IEEE Computer Society Press, 1992. p. 288-295.
COSTA, V. M. M. S. ; YANG, R. ; WARREN, D. H. D. . Andorra-I: A Parallel Prolog System that Transparently Exploits both And- and Or-Parallelism. . In: Third ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming PPOPP, 1991, Williamsburg, VA. Proceedings of PPOPP'91. NY: ACM Press, 1991. p. 443-456.
COSTA, V. M. M. S. ; YANG, R. ; WARREN, D. H. D. . The Andorra-I Preprocessor: Supporting full Prolog on the Basic Andorra model. In: Eighth International Conference on Logic Programming, 1991, Paris. Proceedings of the Eighth International Conference on Logic Programming. Boston, MA: MIT Press, 1991. p. 825-839.
COSTA, V. M. M. S. ; YANG, R. ; WARREN, D. H. D. . The Andorra-I Engine: A parallel implementation of the Basic Andorra model. In: Eighth International Conference on Logic Programming, 1991, Paris. Proceedings of the Eighth International Conference on Logic Programming. Boston, MA: MIT Press, 1991. p. 825-839.
GUPTA, G. ; COSTA, V. M. M. S. ; YANG, R. ; HERMENEGILDO, M. . IDIOM: Integrating Dependent and-, Independent and-, Or-parallelism. In: International Logic Programming Symposium, 1991, San Diego, CA. Proceedings of the International Logic Programming Symposium. Boston, MA: MIT Press, 1991. p. 152-166.
ONG, I. ; DUTRA, I. C. ; PAGE, C. D. ; COSTA, V. M. M. S. . Mode Directed Path Finding. In: 16th European Conference on Machine Learning, 2005, Porto. Proceedings of 16th ECML, 2005. v. 3720. p. 673-681.
ROCHA, R. ; FONSECA, N. ; COSTA, V. M. M. S. . On Applying Tabling to Inductive Logic Programming. In: 16th European Conference on Machine Learning (ECML), 2005, Porto. Machine Learning: ECML 2005, 2005. v. 3720. p. 707-714.
LOPES, R. ; COSTA, V. M. M. S. ; SILVA, F. . On the BEAM Implementation. In: 11th Protuguese Conference on Artificial Intelligence, EPIA 2003, 2003, Beja. 11th Protuguese Conference on Artificial Intelligence, EPIA 2003, 2003. v. 2902. p. 131-135.
FONSECA, N. ; COSTA, V. M. M. S. ; SILVA, F. ; Rui Camacho . Experimental Evaluation of a Caching Technique for ILP. In: 11th Protuguese Conference on Artificial Intelligence, EPIA 2003, 2003, Beja. 11th Protuguese Conference on Artificial Intelligence, EPIA 2003, 2003. v. 2902. p. 151-155.
Rui Camacho ; FONSECA, N. ; ROCHA, R. ; COSTA, V. M. M. S. . ILP :- Just Trie it. In: International Conference on Inductive Logic Programming 2007, 2007, Corvallis, OR, USA. Work-in-Progress Proceedings of the 2007 International Conference on Inductive Logic Programming, 2007.
FAUSTINO, A. ; COSTA, V. M. M. S. . The Design and Implementation of the YAP Compiler: An Optimizing Compiler for Logic Programming Languages. In: Logic Programming, 22nd International Conference, ICLP 2006 Doctoral Consortium, 2006, Seattle. Logic Programming, 22nd International Conference, ICLP 2006,, 2006. v. 4079. p. 461-462.
LIGEIRO, R. ; FRANCA, F. ; COSTA, V. M. M. S. . Zos: The Same Machine, Just a Different Machine.. In: ACM SIGPLAN/SIGBED 2005 Conference on Languages, Compilers, and Tools for Embedded Systems, 2005, Chicago, IL. Poster Session of LCTES05, 2005.
DAVIS, J. ; BURNSIDE, B. ; PAGE, C. D. ; DUTRA, I. C. ; COSTA, V. M. M. S. . Learning Bayesian Networks of Rules with SAYU. In: MRDM 2005, 4th Workshop on Multi-Relational Data Mining, 2005, Chicago. Proceedings of MRDM05, 2005.
PAES, A. ; REVOREDO, K. ; ZAVERUCHA, G. ; COSTA, V. M. M. S. . Further Results of Probabilistic First-Order Revision of Theories from Examples. In: MRDM 2005, 4th Workshop on Multi-Relational Data Mining, 2005, Chicago. Proceedings of MRDM05, 2005.
ONG, I. ; PAGE, C. D. ; DUTRA, I. C. ; COSTA, V. M. M. S. . Hyperpaths: Extending PathFinding to Moded Languages. In: MRDM 2005, 4th Workshop on Multi-Relational Data Mining, 2005, Chicago. Proceedings of MRDM05, 2005.
ROCHA, R. ; LOPES, R. ; SILVA, F. ; COSTA, V. M. M. S. . IMPACT: Innovative Models for Prolog with Advanced Control and Tabling.. In: ICLP 2005 Twenty First International Conference on Logic Programming, 2005, Sitges. Proceedings of ICLP2005, 2005. v. 3668. p. 416-417.
BERNARDES, J. ; ZAVERUCHA, G. ; DAVILA, A. ; COSTA, V. M. M. S. . GIIBT - Graphical Interface for the Integration of Bioinformatics Tools.. In: nternational Conference on Bioinformatics and Computational Biology, 2004, Angra dos Reis, RJ. International Conference on Bioinformatics and Computational Biology Abstracts, 2004.
COSTA, V. M. M. S. . Performance Issues in Prolog Applications. In: 11th Protuguese Conference on Artificial Intelligence, EPIA 2003, 2003, Beja. 11th Protuguese Conference on Artificial Intelligence, EPIA 2003, 2003. v. 2902. p. 8-8.
COSTA, V. M. M. S. ; PAGE, C. D. ; CUSSENS, J. . CLPBN in School: ILP and Bayesian Networks. In: Work In Progress (WIP) Session of The Conference on Inductive Logic Programming 2003, 2002, Sydney. Proceedings of WIP/ILP 2002, 2002.
COSTA, V. M. M. S. ; DUTRA, I. C. ; BINACHINI, R. . Proceedings of the 5th EUROMICRO Workshop on Parallel and Distributed Processing. In: 5th EUROMICRO Workshop on Parallel and Distributed Processing, 1997, Londres. Proceedings of the 5th EUROMICRO Workshop on Parallel and Distributed Processing, 1997. p. 376-381.
GUPTA, G. ; COSTA, V. M. M. S. ; PONTELLI, E. . Shared Paged Binding Array: A Universal Datastructure for Parallel Logic Programming. In: Twelveth International Conference on Logic Programming, 1995, Tóquio. Proceedings of the Twelveth International Conference on Logic Programming. Boston, MA: MIT Press, 1995. p. 824.
CORREIA, M. E. ; SILVA, F. ; COSTA, V. M. M. S. . Aurora vs. Muse; A Performance Study of Two Or-Parallel Prolog Systems. Computing Systems In Engineering , Holanda, v. 6, n.4/5, p. 345-349, 1995.
BERNARDES, J. ; DAVILA, A. ; COSTA, V. M. M. S. ; ZAVERUCHA, G. . Improving Model Construction of Profile HMMs for Remote Homology Detection Through Structural Alignment. BMC Bioinformatics , 2007.
COSTA, V. M. M. S. . Inductive Logic Programming and its Applications 2004 (Tutorial).
COSTA, V. M. M. S. . High Performance Logic Programming Systems 2000 (Tutorial).
COSTA, V. M. M. S. ; DAMAS, L. M. M. ; AZEVEDO, R. ; REIS, R. . YAP User's Guide and Reference Manual 1999 (Manual).
COSTA, V. M. M. S. . Compile-Time Analysis for the Parallel Execution of Logic Programs in Andorra-I 1993 (Tese de Doutorado).

Outras produções

COSTA, V. M. M. S. ; DAMAS, L. M. M. . YAP: Yet Another Prolog System. 1999.

Prêmios

2010

melhor artigo no 1st Workshop on Applications for Multi and Many Core Architectures, WAMMCA PC.

2008

Best Oral Presentation Award na 24th International Conference on Logic Programming, International Conference on Logic Programming.

2007

Melhor artigo no Encontro Nacional de Inteligência Artificial 2007, ENIA.

2005

Best Technical Paper Award at ICIA 2005, MITRE.

1992

Prémio IBM, IBM Portugal.

Histórico profissional

Endereço profissional

Faculdade de Ciências da Universidade do Porto, Departamento de Ciência de Computadores. , Rua do Campo Alegre, 1021/1055, 04169-007 - 41Porto, - Portugal, Telefone: (351) 2204095, Fax: (351) 35122040, URL da Homepage:

Experiência profissional

2007 - Atual

Faculdade de Ciências da Universidade do Porto

Vínculo: Servidor Público, Enquadramento Funcional: Professor Auxiliar, Carga horária: 40, Regime: Dedicação exclusiva.

1999 - 2007

Universidade Federal do Rio de Janeiro

Vínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

03/1999
Ensino, Engenharia de Sistemas e Computação, Nível: Pós-Graduação,Disciplinas ministradas, Inteligência Artificial, Programação Concorrente, Sistemas Operacionais, Tópicos Especiais em Arquitetura, Tópicos Especiais em Inteligência Artificial

1984 - 1999

Universidade do Porto

Vínculo: Servidor Público, Enquadramento Funcional: Professor, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

Ensino, Ciência de Computadores, Nível: Graduação,Disciplinas ministradas, Aplicações de Redes, Sistemas de Operação, Complementos de Sistemas de Operação, Bases de Dados, Linguagens de Programação, Introdução aos Computadores, Inteligência Artificial, Programação Não Numérica
Ensino, Engenharia Electrotécnica, Nível: Graduação,Disciplinas ministradas, Analise Numerica, Probabilidades e Estatistica, Analise Matematica II