publications.bib

@BOOK{PADL00, vscpubtype = {book}, editor = {Enrico Pontelli and Santos Costa, V\'{\i}tor }, title = {Practical Aspects of Declarative Languages}, publisher = {Springer Verlag}, series = {Lecture Notes in Computer Science}, url = {http://www.springer.com/east/home/generic/search/results?SGWID=5-40109-22-2031912-0}, number = 1753, year = {2000} }
@BOOK{nova,
  vscpubtype = {book},
  editor = {In\^es C. Dutra and Manuel Carro and Gopal Gupta and Enrico Pontelli and Santos Costa, V\'{\i}tor and Fernando Silva (eds.)},
  title = {{Parallelism and Implementation of (Constraint) Logic Programming}},
  isbn = {ISBN 1-56072-673-3},
  year = {1999},
  publisher = {Nova Science}
}
@ARTICLE{juliana:hmmersam,
  vscpubtype = {journal},
  author = {Juliana S Bernardes and Alberto MR Davila and Santos Costa, V\'{\i}tor and Gerson Zaverucha },
  title = {{Improving Model Construction of Profile HMMs for Remote
Homology Detection Through Structural Alignment}},
  journal = {{BMC Bioinformatics}},
  year = {2007},
  url = {http://www.biomedcentral.com/1471-2105/8/435/abstract},
  optvolume = {8},
  optnumber = {437},
  optpages = {--},
  optmonth = {November}
}
@ARTICLE{DBLP:journals/jucs/SilvaC06a,
  vscpubtype = {journal},
  author = {Anderson Faustino da Silva and
                Santos Costa, V\'{\i}tor},
  title = {Our Experiences with Optimizations in Sun's Java Just-In-Time Compilers},
  journal = {J. UCS},
  volume = {12},
  number = {7},
  year = {2006},
  pages = {788-810},
  ee = {http://www.jucs.org/jucs_12_7/our_experiences_with_optimizations},
  pdf = {papers/jucs_12_07_0788_0810_costa.pdf},
  optisi = {ISI:000240768000003},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@ARTICLE{DBLP:journals/jucs/SilvaC06,
  vscpubtype = {journal},
  author = {Anderson Faustino da Silva and
                Santos Costa, V\'{\i}tor},
  title = {The Design of the YAP Compiler: An Optimizing Compiler for
               Logic Programming Languages.},
  journal = {J. UCS},
  volume = {12},
  number = {7},
  year = {2006},
  pages = {764-787},
  ee = {http://www.jucs.org/jucs_12_7/the_design_of_the},
  pdf = {jucs_12_07_0764_0787_dasilva.pdf},
  optisi = {ISI:000240768000002},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@ARTICLE{DBLP:journals/jucs/SilvaC05,
  vscpubtype = {journal},
  author = {Anderson Faustino da Silva and
                Santos Costa, V\'{\i}tor},
  title = {An Experimental Evaluation of JAVA JIT Technology.},
  journal = {J. UCS},
  volume = {11},
  number = {7},
  year = {2005},
  pages = {1291-1309},
  ee = {http://www.jucs.org/jucs_11_7/an_experimental_evaluation_of},
  pdf = {papers/jucs_faustino_2005.pdf},
  optisi = {ISI:000232351300011},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@ARTICLE{optyap-journal,
  vscpubtype = {journal},
  author = {Ricardo Rocha and Fernando Silva and  Santos Costa, V\'{\i}tor},
  title = {{On Applying Or-Parallelism and Tabling to Logic Programs}},
  journal = {Theory and Practice of Logic Programming Systems},
  volume = {5},
  number = {1-2},
  year = {2005},
  optisi = {ISI:000227408400006; cites: 2},
  url = {http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=274292},
  pdf = {papers/0308007-1.pdf.pdf},
  pages = {161-205}
}
@ARTICLE{aleph-optimrev,
  vscpubtype = {journal},
  author = {Santos Costa, V\'{\i}tor and Srinivasan, Ashwin and Camacho, Rui and Hendrik Blockeel and Bart Demoen and Gerda Janssens and Jan Struyf and Henk Vandecasteele and Van Laer, Wim},
  title = {{Query Transformations for Improving the Efficiency of ILP Systems}},
  journal = {Journal of Machine Learning Research},
  year = 2003,
  volume = 4,
  month = {August},
  url = {http://jmlr.csail.mit.edu/papers/v4/costa03a.html},
  optisi = {ISI:000221345700004; cites: 1},
  pages = {465--491}
}
@ARTICLE{SimOptJPDC,
  vscpubtype = {journal},
  author = {Santos Costa, V\'{\i}tor and Bianchini, Ricardo and Dutra, In\^es C.},
  title = {{Parallel Logic Programming Systems
on Scalable Architectures}},
  journal = {Journal of Parallel and Distributed Computing},
  year = {2000},
  month = {July},
  volume = {60},
  number = {7},
  pages = {835-852},
  ps = {papers/jpdc00a.ps.gz},
  optisi = {ISI:000088124600003; cites: 1},
  url = {http://www.sciencedirect.com/science?_ob=ArticleURL&_udi=B6WKJ-45F4YJC-18&_user=2460038&_rdoc=1&_fmt=&_orig=search&_sort=d&view=c&_acct=C000057398&_version=1&_urlVersion=0&_userid=2460038&md5=8c3a74956a93b7871e159d0cee63f7cf}
}
@ARTICLE{GranJFLP,
  vscpubtype = {journal},
  author = {Shen, Kish and Santos Costa, V\'{\i}tor and King, Andy},
  title = {{Distance: a New Metric for Controlling Granularity for Parallel Execution}},
  year = {1999},
  month = {April},
  journal = {Journal of Functional and Logic Programming},
  volume = {1999},
  number = {Special Issue 1},
  url = {http://www.cs.tu-berlin.de/journal/jflp/articles/1999/S99-01/S99-01.html},
  pdf = {papers/JFLP-A99-05.pdf.gz},
  publisher = {MIT Press}
}
@ARTICLE{AIComp,
  vscpubtype = {journal},
  author = {Santos Costa, V\'{\i}tor and David H. D. Warren and Rong Yang},
  title = {{Andorra-I Compilation}},
  year = {1996},
  journal = {New Generation Computing},
  publisher = {Ohmsha and Springer-Verlag},
  volume = {14},
  number = {1},
  pdf = {papers/andorra-i-compilation.pdf},
  optisi = {ISI:A1996TN99200002; cites: 3},
  pages = {3--30}
}
@ARTICLE{JLPSidef,
  vscpubtype = {journal},
  author = {Gupta, Gopal and Santos Costa, V\'{\i}tor},
  title = {{Cuts and Side-Effects in And-Or Parallel Prolog}},
  year = {1996},
  month = {April},
  journal = {Journal of Logic Programming},
  volume = {27},
  pages = {45--71},
  url = {http://www.sciencedirect.com/science?_ob=ArticleURL&_udi=B6V0J-3VSNKC2-2&_user=2460038&_rdoc=1&_fmt=&_orig=search&_sort=d&view=c&_acct=C000057398&_version=1&_urlVersion=0&_userid=2460038&md5=386ec22d606c2ba63e779a04ea46dc6b},
  pdf = {papers/gupta96cuts.pdf},
  optisi = {ISI:A1996UB75200003; cites: 11},
  umber = {1}
}
@ARTICLE{avmuse:journal,
  vscpubtype = {journal},
  author = {Manuel Eduardo Correia and Silva, Fernando and Santos Costa,
		  V\'{\i}tor},
  title = {{Aurora vs. Muse; A Portability Study of Two
		  Or-Parallel Prolog Systems}},
  year = {1995},
  journal = {Computing Systems in Engineering},
  volume = {6},
  number = {4/5},
  pages = {345-349},
  url = {http://www.sciencedirect.com/science?_ob=ArticleURL&_udi=B75C5-49V61VF-K&_user=2460038&_rdoc=1&_fmt=&_orig=search&_sort=d&view=c&_acct=C000057398&_version=1&_urlVersion=0&_userid=2460038&md5=933c53795495c961f18cea1c071271bf},
  pdf = {papers/sdarticle-2.pdf},
  optisi = {ISI:A1995TM95100008; cites: 1},
  publisher = {Pergamon Press}
}
@ARTICLE{ARCH,
  vscpubtype = {journal},
  author = {Bahgat, Reem and Santos Costa, V\'{\i}tor and Yang, Rong},
  title = {{ARCH: A Parallel Execution Model that Minimises the
  Search Space of Logic Programs}},
  journal = {The Egyptian Computer Journal},
  year = {1995},
  volume = {23},
  number = {2}
}
@ARTICLE{FGCS,
  vscpubtype = {journal},
  author = {Gupta, Gopal and Santos Costa, V\'{\i}tor},
  title = {Optimal Implementation of And-Or Parallel {P}rolog},
  year = {1994},
  journal = {Future Generation Computer Systems},
  number = {10},
  pages = {71--92},
  pdf = {papers/optimal-implementation-of-and.pdf},
  optisi = {ISI:A1994QD75200007; cites: 3},
  volume = {14}
}
@ARTICLE{ngc-recomp,
  vscpubtype = {journal},
  author = {Gupta, Gopal and Manuel V. Hermenegildo and Santos Costa, V\'{\i}tor},
  title = {{A}nd-{O}r {P}arallel {P}rolog: {A}
                  {R}ecomputation based {A}pproach},
  year = {1993},
  pages = {770--782},
  number = {3,4},
  volume = {11},
  pdf = {papers/gupta93or.pdf},
  optisi = {ISI:A1993LP15700005; cites: 5},
  journal = {New Generation Computing}
}
@INBOOK{vsc07:clpbn,
  vscpubtype = {chapter},
  author = {Santos Costa, V\'{\i}tor and Page, C. David and
                  Cussens, James\ },
  opteditor = {Luc de Raedt and Paolo Frasconi and Kristian Kersting and Steph\
en Muggleton},
  title = {Probabilistic Inductive Logic Programming},
  chapter = {{CLP($\cal{BN}$): Constraint Logic Programming for Probabilisti\
c Knowledge}},
  publisher = {Springer-Verlag},
  pdf = {papers/clpbn_book.pdf},
  year = 2007,
  address = {},
  optisbn = {--},
  optpages = {},
  optannote = {},
  note = {(to appear)}
}
@INBOOK{ilp-intro,
  vscpubtype = {chapter},
  author = {Stasinos Konstantopoulos and Rui Camacho and Nuno Fonseca and Santos Costa, V\'{\i}tor},
  chapter = {Induction as a Search Procedure},
  title = {Artificial Intelligence for Advanced Problem Solving Techniques},
  publisher = {Idea Group Inc.},
  opteditor = {Dimitris Vrakas and Ioannis Vlahavas},
  pdf = {papers/clpbn_book.pdf},
  year = {(to appear)}
}
@INBOOK{srl-bookchapter,
  vscpubtype = {chapter},
  author = {Davis, Jesse and Page, David and Burnside, Elisabeth and
                  Dutra, In{\^es} and Ramakrishnan, Raghu and Shavlik,
                  Jude and Santos Costa, V\'{\i}tor},
  chapter = {Learning a New View of a Database: With an Application in
                  Mammography},
  title = {{Introduction to Statistical Relational Learning}},
  opteditor = {Taskar, Ben and Getoor, Lise},
  html = {http://mitpress.mit.edu/catalog/item/default.asp?ttype=2&tid=11331},
  publisher = {MIT Press},
  optpages = {477--498},
  year = {2007}
}
@INBOOK{eeld-bookchapter,
  vscpubtype = {chapter},
  author = {Mooney, Raymond J. and Melville, Prem and Tang, Rupert Lapoon and Shavlik,
                  Jude and Dutra, Inês and Page, David and Santos Costa, V\'{\i}tor},
  chapter = {Relational Data Mining with Inductive Logic Programming for
                  Link Discovery},
  title = {{Data Mining: Next Generation Challenges and Future Directions}},
  html = {http://www.aaai.org/Press/Books/kargupta2.php},
  opteditor = {Kargupta, H. and Joshi, A. and Sivakumar, K. and Yesha, Y.},
  publisher = {AAAI Press},
  pages = {239--254},
  year = 2004
}
@INBOOK{vsc-survey,
  vscpubtype = {chapter},
  author = {Santos Costa, V\'{\i}tor},
  chapter = {{Parallelism and Implementation Technology for Logic Programming Languages}},
  title = {Encyclopedia of Computer Science and Technology},
  publisher = {Marcel Dekker Inc},
  pdf = {papers/survey.pdf},
  year = {2000},
  pages = {197--237},
  volume = {42}
}
@INBOOK{VisAll97-nova,
  author = {{N. Fonseca and In\^es C. Dutra and Santos Costa, V\'{\i}tor}},
  title = {{Parallelism and Implementation of Logic and
         Constraint Logic Programming}},
  chapter = {{VisAll: A new tool to visualise parallel execution
                        of Logic Programs}},
  publisher = {Nova Science, Inc.},
  pdf = {papers/survey.pdf},
  pages = {1--20},
  year = {1999},
  opteditor = {In\^es C. Dutra and V. S. Costa and Manuel Carro and
                  Enrico Pontelli and Gopal Gupta and Fernando Silva}
}
@INBOOK{rslvsc96-nova,
  vscpubtype = {chapter},
  author = {Ricardo Lopes and Santos Costa, V\'{\i}tor},
  chapter = {{The BEAM: Towards a first EAM Implementation}},
  title = {{Parallelism and Implementation of Logic and Constraint Logic Programming}},
  year = 1999,
  publisher = {Nova Science, Inc.},
  pages = {87--106},
  opteditor = {In\^es C. Dutra and Manuel Carro and Gopal Gupta and Enrico Pontelli and Santos Costa, V\'{\i}tor and Fernando Silva}
}
@INBOOK{rslvsc97-nova,
  vscpubtype = {chapter},
  author = {Ricardo Lopes and Santos Costa, V\'{\i}tor},
  chapter = {{The YAIL: An Intermediate Language for Native
		  Compilation of Prolog Programs}},
  title = {{Parallelism and Implementation of Logic and Constraint Logic Programming}},
  year = 1999,
  pages = {313--328},
  publisher = {Nova Science, Inc.},
  opteditor = {In\^es C. Dutra and Manuel Carro and Gopal Gupta and Enrico Pontelli and Santos Costa, V\'{\i}tor and Fernando Silva}
}
@INCOLLECTION{Premio_IBM,
  vscpubtype = {chapter},
  author = {Santos Costa, V\'{\i}tor},
  title = {Um Sistema capaz de Executar Programs Prolog em Paralelo},
  booktitle = {Pr\'emio Cient\'{\i}fico IBM, de 1990 a 1996},
  month = {December},
  year = {1997},
  pages = {95--115},
  publisher = {IBM Portugal}
}
@INPROCEEDINGS{nuno08:sac,
  vscpubtype = {conference},
  author = {Nuno A. Fonseca and Rui Camacho and Santos Costa, V\'{i}tor and Ricardo Rocha},
  title = {{k-RNN: k-Relational Nearest Neighbour Algorithm}},
  booktitle = {Proceedings of 2008 ACM Symposium on Applied Computing ({SAC 2008})},
  publisher = {ACM},
  month = {March},
  year = 2008,
  note = {(in press)}
}
@INPROCEEDINGS{jit-index,
  vscpubtype = {conference},
  author = {Santos Costa, V\'{\i}tor  and
               Kostis Sagonas and
               Ricardo Lopes},
  title = {Demand-Driven Indexing of Prolog Clauses},
  year = {2007},
  pages = {305--409},
  editor = {Veronica Dahl and Ilkka Niemel\"a},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {4670},
  booktitle = {Proceedings of the 23rd International Conference on Logic Programming}
}
@INPROCEEDINGS{jit-comp,
  vscpubtype = {conference},
  author = {Silva, Anderson Faustino da and  Santos Costa, V\'{\i}tor},
  title = {Design, Implementation, and Evaluation of an Dynamic Compilation Framework for the YAP System},
  year = {2007},
  pages = {},
  editor = {Veronica Dahl and Ilkka Niemel\"a},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {4670},
  booktitle = {Proceedings of the 23rd International Conference on Logic Programming}
}
@INPROCEEDINGS{mir-sayu,
  vscpubtype = {conference},
  author = {Jesse Davis and
                Santos Costa, V\'{\i}tor and
               Soumya Ray and
               David Page },
  title = {An Integrated Approach to Feature Invention and Model Construction for Drug Activity Prediction},
  year = {2007},
  pages = {217--224},
  editor = {Zoubin Ghahramani},
  booktitle = {Proceedings of the 24th International Conference on Machine Learning}
}
@INPROCEEDINGS{ong-ilp06,
  vscpubtype = {conference},
  author = {Irene M. Ong and
               Scott E. Topper and
               David Page and
                Santos Costa, V\'{\i}tor},
  title = {Inferring Regulatory Networks from Time Series Expression Data and
  Relational Data via Inductive Logic Programming},
  booktitle = {Inductive Logic Programming, 16th International Conference,
               ILP 2006, A Coru\~na, Espa\~na, Proceedings},
  year = {2007},
  pages = {},
  publisher = {Springer},
  series = {Lecture Notes in Artificial Intelligence}
}
@INPROCEEDINGS{DBLP:conf/ijcai/DavisOSBPC07,
  vscpubtype = {conference},
  author = {Jesse Davis and
               Irene M. Ong and
               Jan Struyf and
               Elizabeth S. Burnside and
               David Page and
                Santos Costa, V\'{\i}tor},
  title = {Change of Representation for Statistical Relational Learning.},
  year = {2007},
  pages = {2719-2726},
  ee = {http://www.ijcai.org/papers07/Papers/IJCAI07-437.pdf},
  pdf = {papers/IJCAI07-437.pdf},
  editor = {Manuela M. Veloso},
  booktitle = {IJCAI 2007, Proceedings of the 20th International Joint
               Conference on Artificial Intelligence, Hyderabad, India,
               January 6-12, 2007},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@INPROCEEDINGS{DBLP:conf/padl/Costa07,
  vscpubtype = {conference},
  author = { Santos Costa, V\'{\i}tor},
  title = {Prolog Performance on Larger Datasets.},
  year = {2007},
  pages = {185-199},
  ee = {http://dx.doi.org/10.1007/978-3-540-69611-7_12},
  editor = {Michael Hanus},
  booktitle = {Practical Aspects of Declarative Languages, 9th International
               Symposium, PADL 2007, Nice, France, January 14-15, 2007.},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {4354},
  isbn = {978-3-540-69608-7},
  optisi = {ISIP:000244551700012},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@INPROCEEDINGS{DBLP:conf/iberamia/PaesRZC06,
  vscpubtype = {conference},
  author = {Aline Paes and
               Kate Revoredo and
               Gerson Zaverucha and
                Santos Costa, V\'{\i}tor},
  title = {{PFORTE: Revising Probabilistic FOL Theories}},
  year = {2006},
  pages = {441-450},
  ee = {http://dx.doi.org/10.1007/11874850_48},
  editor = {Jaime Sim{\~a}o Sichman and
               Helder Coelho and
               Solange Oliveira Rezende},
  booktitle = {Advances in Artificial Intelligence - IBERAMIA-SBIA 2006,
               2nd International Joint Conference, 10th Ibero-American
               Conference on AI, 18th Brazilian AI Symposium, Ribeir{\~a}o
               Preto, Brazil, October 23-27, 2006, Proceedings},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {4140},
  isbn = {3-540-45462-4},
  optisi = {ISI:000242128100048},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@INPROCEEDINGS{nuno05:cluster,
  vscpubtype = {conference},
  author = {Nuno A. Fonseca and Fernando Silva and Santos Costa, V\'{\i}tor  and Rui Camacho},
  title = {A pipelined data-parallel algorithm for {ILP}},
  booktitle = {Proceedings of 2005 {IEEE} International Conference on Cluster Computing},
  publisher = {{IEEE}},
  month = {September},
  address = {Boston, Massachusetts, USA},
  year = {2005},
  optisi = {ISIP:000245714600026},
  url = {http://www.ncc.up.pt/~nf/papers/cluster05.pdf}
}
@INPROCEEDINGS{amia05,
  vscpubtype = {conference},
  author = {Jesse Davis and
               Elizabeth S. Burnside and
               In{\^e}s de Castro Dutra and
               David Page and
                Santos Costa, V\'{\i}tor},
  title = {Knowledge Discovery from Structured Mammography Reports Using Inductive Logic Programming},
  booktitle = {American Medical Informatics Association 2005 Annual Symposium},
  conflocation = {Washington DC, USA},
  pages = {86--100},
  optisi = {PMID:16779009},
  year = {2005}
}
@INPROCEEDINGS{DBLP:conf/ecml/DavisBDPC05,
  vscpubtype = {conference},
  author = {Jesse Davis and
               Elizabeth S. Burnside and
               In{\^e}s de Castro Dutra and
               David Page and
                Santos Costa, V\'{\i}tor},
  title = {An Integrated Approach to Learning Bayesian Networks of
               Rules},
  pages = {84-95},
  editor = {Jo{\~a}o Gama and
               Rui Camacho and
               Pavel Brazdil and
               Al\'{\i}pio Jorge and
               Lu\'{\i}s Torgo},
  booktitle = {Machine Learning: ECML 2005, 16th European Conference on
               Machine Learning, Porto, Portugal, October 3-7, 2005, Proceedings},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {3720},
  year = {2005},
  isbn = {3-540-29243-8},
  optisi = {ISI:000233235200013; cites: 1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@INPROCEEDINGS{DBLP:conf/ecml/RochaFC05,
  vscpubtype = {conference},
  author = {Ricardo Rocha and
               Nuno Fonseca and
                Santos Costa, V\'{\i}tor},
  title = {On Applying Tabling to Inductive Logic Programming},
  pages = {707-714},
  editor = {Jo{\~a}o Gama and
               Rui Camacho and
               Pavel Brazdil and
               Al\'{\i}pio Jorge and
               Lu\'{\i}s Torgo},
  booktitle = {Machine Learning: ECML 2005, 16th European Conference on
               Machine Learning, Porto, Portugal, October 3-7, 2005, Proceedings},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {3720},
  year = {2005},
  isbn = {3-540-29243-8},
  optisi = {ISI:000233235200072; cites: 2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@INPROCEEDINGS{DBLP:conf/ecml/OngDPC05,
  vscpubtype = {conference},
  author = {Irene M. Ong and
               In{\^e}s de Castro Dutra and
               David Page and
                Santos Costa, V\'{\i}tor},
  title = {Mode Directed Path Finding},
  pages = {673-681},
  editor = {Jo{\~a}o Gama and
               Rui Camacho and
               Pavel Brazdil and
               Al\'{\i}pio Jorge and
               Lu\'{\i}s Torgo},
  booktitle = {Machine Learning: ECML 2005, 16th European Conference on
               Machine Learning, Porto, Portugal, October 3-7, 2005, Proceedings},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {3720},
  year = {2005},
  isbn = {3-540-29243-8},
  optisi = {ISI:000233235200013},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@INPROCEEDINGS{DBLP:conf/iclp/RochaSC05,
  vscpubtype = {conference},
  author = {Ricardo Rocha and
               Fernando M. A. Silva and
                Santos Costa, V\'{\i}tor},
  title = {Dynamic Mixed-Strategy Evaluation of Tabled Logic Programs.},
  year = {2005},
  pages = {250-264},
  ee = {http://dx.doi.org/10.1007/11562931_20},
  editor = {Maurizio Gabbrielli and
               Gopal Gupta},
  booktitle = {Logic Programming, 21st International Conference, ICLP 2005,
               Sitges, Spain, October 2-5, 2005, Proceedings},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {3668},
  isbn = {3-540-29208-X},
  optisi = {ISI:000233274000020},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@INPROCEEDINGS{DBLP:conf/ijcai/DavisBDPRCS05,
  vscpubtype = {conference},
  author = {Jesse Davis and
               Elizabeth S. Burnside and
               In{\^e}s Dutra and
               David Page and
               Raghu Ramakrishnan and
                Santos Costa, V\'{\i}tor and
               Jude W. Shavlik},
  title = {View Learning for Statistical Relational Learning: With
               an Application to Mammography.},
  pages = {677-683},
  editor = {Leslie Pack Kaelbling and
               Alessandro Saffiotti},
  booktitle = {IJCAI-05, Proceedings of the Nineteenth International Joint
               Conference on Artificial Intelligence, Edinburgh, Scotland,
               UK, July 30-August 5, 2005},
  publisher = {Professional Book Center},
  isbn = {0938075934},
  year = {2005},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@INPROCEEDINGS{DBLP:conf/ilp/PaesRZC05,
  vscpubtype = {conference},
  author = {Aline Paes and
               Kate Revoredo and
               Gerson Zaverucha and
                Santos Costa, V\'{\i}tor},
  title = {Probabilistic First-Order Theory Revision from Examples.},
  year = {2005},
  pages = {295-311},
  ee = {http://dx.doi.org/10.1007/11536314_18},
  editor = {Stefan Kramer and
               Bernhard Pfahringer},
  booktitle = {Inductive Logic Programming, 15th International Conference,
               ILP 2005, Bonn, Germany, August 10-13, 2005, Proceedings},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {3625},
  isbn = {3-540-28177-0},
  optisi = {ISI:000233222900018; cites: 1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@INPROCEEDINGS{DBLP:conf/ilp/BravoPRSC05,
  vscpubtype = {conference},
  author = {H{\'e}ctor Corrada Bravo and
               David Page and
               Raghu Ramakrishnan and
               Jude W. Shavlik and
                Santos Costa, V\'{\i}tor},
  title = {A Framework for Set-Oriented Computation in Inductive Logic
               Programming and Its Application in Generalizing Inverse
               Entailment.},
  year = {2005},
  pages = {69-86},
  ee = {http://dx.doi.org/10.1007/11536314_5},
  editor = {Stefan Kramer and
               Bernhard Pfahringer},
  booktitle = {Inductive Logic Programming, 15th International Conference,
               ILP 2005, Bonn, Germany, August 10-13, 2005, Proceedings},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {3625},
  isbn = {3-540-28177-0},
  optisi = {ISI:000233222900005},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@INPROCEEDINGS{icia05,
  vscpubtype = {conference},
  author = {Davis, Jesse and Dutra, In\^es and Page, David and Santos Costa, V\'{\i}tor},
  title = {Establishing Identity Equivalence in Multi-Relational Domains},
  booktitle = {{Proceedings of the 2005 International Conference on Intelligence Analysis}},
  year = {2005}
}
@INPROCEEDINGS{DBLP:conf/ccgrid/SanchesVDCG05,
  vscpubtype = {conference},
  author = {J. A. L. Sanches and
               Patr\'{\i}cia Kayser Vargas and
               In{\^e}s de Castro Dutra and
                Santos Costa, V\'{\i}tor and
               Cl{\'a}udio F. R. Geyer},
  title = {ReGS: user-level reliability in a grid environment},
  pages = {718-725},
  booktitle = {5th International Symposium on Cluster Computing and the
               Grid (CCGrid 2005), 9-12 May, 2005, Cardiff, UK},
  publisher = {IEEE Computer Society},
  year = {2005},
  optisi = {ISIP:000231526600090},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@INPROCEEDINGS{DBLP:conf/padl/LopesC05,
  vscpubtype = {conference},
  author = {Ricardo Lopes and
               V\'{\i}tor Santos Costa},
  title = {Improving Memory Usage in the BEAM.},
  year = {2005},
  pages = {143-157},
  ee = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=3350{\&}spage=143},
  editor = {Manuel V. Hermenegildo and
               Daniel Cabeza},
  booktitle = {Practical Aspects of Declarative Languages, 7th International
               Symposium, PADL 2005, Long Beach, CA, USA, January 10-11,
               2005, Proceedings},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {3350},
  isbn = {3-540-24362-3},
  optisi = {ISI:000228100000012},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@INPROCEEDINGS{DBLP:conf/iclp/RochaSC04,
  vscpubtype = {conference},
  author = {Ricardo Rocha and
               Fernando M. A. Silva and
               V\'{\i}tor Santos Costa},
  title = {Speculative Computations in Or-Parallel Tabled Logic Programs.},
  year = {2004},
  pages = {254-268},
  editor = {Bart Demoen and
               Vladimir Lifschitz},
  booktitle = {Logic Programming, 20th International Conference, ICLP 2004,
               Saint-Malo, France, September 6-10, 2004, Proceedings},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {3132},
  isbn = {3-540-22671-0},
  optisi = {ISI:000224065200018},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@INPROCEEDINGS{DBLP:conf/europar/RochaSC04,
  vscpubtype = {conference},
  author = {Ricardo Rocha and
               Fernando M. A. Silva and
               V\'{\i}tor Santos Costa},
  title = {Concurrent Table Accesses in Parallel Tabled Logic Programs.},
  pages = {662-670},
  editor = {Marco Danelutto and
               Marco Vanneschi and
               Domenico Laforenza},
  booktitle = {Euro-Par 2004 Parallel Processing, 10th International Euro-Par
               Conference, Pisa, Italy, August 31-September 3, 2004, Proceedings},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {3149},
  year = {2004},
  isbn = {3-540-22924-8},
  optisi = {ISI:000223792500087},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@INPROCEEDINGS{DBLP:conf/ilp/FonsecaCSC04,
  vscpubtype = {conference},
  author = {Nuno Fonseca and
               V\'{\i}tor Santos Costa and
               Fernando M. A. Silva and
               Rui Camacho},
  title = {On Avoiding Redundancy in Inductive Logic Programming.},
  pages = {132-146},
  editor = {Rui Camacho and
               Ross D. King and
               Ashwin Srinivasan},
  booktitle = {Inductive Logic Programming, 14th International Conference,
               ILP 2004, Porto, Portugal, September 6-8, 2004, Proceedings},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {3194},
  year = {2004},
  isbn = {3-540-22941-8},
  optisi = {ISI:000223999400013},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@INPROCEEDINGS{BEAM-PADL04,
  vscpubtype = {conference},
  author = {Ricardo Lopes and V\'{\i}tor Santos Costa and Fernando Silva},
  title = {Pruning in the Extended Andorra Model},
  booktitle = {Practical Aspects of Declarative Languages, 6th International Symposium},
  journal = {Lecture Notes in Computer Science},
  volume = {3057},
  pages = {120--134},
  month = {June},
  year = {2004},
  coden = {},
  issn = {0302-9743},
  address = {Dallas, Texas},
  optisi = {ISI:000222564900009; cites: 1},
  bibdate = {}
}
@INPROCEEDINGS{BEAM-ICLP03,
  vscpubtype = {conference},
  author = {Ricardo Lopes and V\'{\i}tor Santos Costa and Fernando Silva},
  title = {On Deterministic Computations in the Extended Andorra Model},
  booktitle = {ICLP03},
  journal = {Lecture Notes in Computer Science},
  volume = {2916},
  pages = {120--134},
  month = {December},
  year = {2003},
  coden = {},
  issn = {0302-9743},
  address = {Mumbai, India},
  optisi = {ISI:000188243600028; cites: 2},
  bibdate = {}
}
@INPROCEEDINGS{nf-badyap,
  vscpubtype = {conference},
  author = {Fonseca, Nuno and Santos Costa, V\'{\i}tor and Silva, Fernando and Camacho, Rui},
  title = {{Experimental Evaluation of a Caching Technique for ILP}},
  booktitle = {{Portuguese Conference on Artificial Intelligence (EPIA)}},
  pages = {151--155},
  address = {Beja, Portugal},
  month = {December},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {2902},
  year = {2003},
  optisi = {ISI:000187551600014},
  isbn = {3-540-20589-6}
}
@INPROCEEDINGS{BEAM-EPIA03,
  vscpubtype = {conference},
  author = {Ricardo Lopes and Santos Costa, V\'{\i}tor and Fernando Silva},
  title = {{On The BEAM Implementation}},
  booktitle = {{Portuguese Conference on Artificial Intelligence (EPIA)}},
  pages = {131--135},
  address = {Beja, Portugal},
  month = {December},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {2902},
  year = {2003},
  optisi = {ISI:000187551600012},
  isbn = {3-540-20589-6}
}
@INPROCEEDINGS{dutra-condor03,
  vscpubtype = {conference},
  title = {Towards Automatic Management of Embarassingly Parallel Applications},
  pages = {509--516},
  author = {Dutra, In\^es C. and David Page and Santos Costa, V\'{\i}tor
  and Jude W. Shavlik and Michael Waddell},
  booktitle = {Proceedings of Europar 2003},
  series = {Lecture Notes in Computer Science},
  volume = {2790},
  isbn = {3-540-40788-X},
  publisher = {Springer Verlag},
  month = {August},
  year = {2003},
  optisi = {ISI:000186049800066},
  address = {Klagenfurt, Austria}
}
@INPROCEEDINGS{clpbn,
  vscpubtype = {conference},
  author = {Santos Costa, V\'{\i}tor and Page, David and Qazi, Maleeha and Cussens, James},
  title = {{CLP($\cal{BN}$): Constraint Logic Programming for Probabilistic Knowledge}},
  year = 2003,
  pages = {517--524},
  month = {August},
  booktitle = {Proceedings of the 19th Conference on Uncertainty in Artificial Intelligence (UAI03)},
  address = {Acapulco, Mexico}
}
@INPROCEEDINGS{thobias-dsm,
  vscpubtype = {conference},
  author = {Thobias Trevisan and V\'{\i}tor Santos Costa and Lauro Whately and Cl\'audio Amorim},
  title = {{Distributed Shared Memory in Kernel Mode}},
  booktitle = {{14th  Symposium on Computer Architecture and High Performance Computing (SBAC-PAD 2002)}},
  publisher = {IEEE Computer Society},
  pages = {159--168},
  month = {October},
  isbn = {0-7695-1772-2},
  year = 2002,
  optisi = {ISIP:000179346100020},
  address = {Vit\'oria, ES, Brasil}
}
@INPROCEEDINGS{ilp02,
  vscpubtype = {conference},
  author = {In\^es de Castro Dutra and David Page and V\'{\i}tor Santos Costa and Jude W. Shavlik},
  title = {{An Empirical Evaluation of Bagging in Inductive Logic Programming}},
  year = 2002,
  booktitle = {Inductive Logic Programming, 12th International Conference},
  pages = {48--65},
  publisher = {{Springer Verlag}},
  series = {{Lecture Notes in Computer Science}},
  volume = {2583},
  optisi = {ISI:000182547800004; cites: 1},
  address = {Sydney, Australia}
}
@INPROCEEDINGS{rvlMSP02,
  vscpubtype = {conference},
  author = {Ricardo Lopes and Lu\'{\i}s Fernando Castro and Santos Costa, V\'{\i}tor},
  title = {{From Simulation to Practice: Cache Performance Study of a Prolog System}},
  booktitle = {{ACM SIGPLAN Workshop on Memory System Performance, Berlin, Germany}},
  year = 2002,
  month = {June},
  optisi = {ISI:000181813500007; cites: 1},
  note = {SIGPLAN Notices vol 38(2), February 2003, pages 56--64}
}
@INPROCEEDINGS{rocha_ippdps02,
  vscpubtype = {conference},
  author = {Ricardo Rocha and Fernando Silva and Santos Costa, V\'{\i}tor},
  title = {{Achieving Scalability in Parallel Tabled Logic Programs}},
  booktitle = {{Proceedings of the 16th International Parallel and Distributed Processing Symposium (IPPDPS02), Fort Lauderdale, Florida, USA}},
  month = {April},
  year = {2002},
  page = {0016},
  isbn = {0-7695-1573-8}
}
@INPROCEEDINGS{Lobosco-ICCS02,
  vscpubtype = {conference},
  author = {Marcelo Lobosco and V\'{\i}tor Santos Costa and Claudio Luis de Amorim},
  title = {{Performance Evaluation of Fast Ethernet, Giganet, and Myrinet on a Cluster}},
  booktitle = {Proceedings of the International Conference on Computer Science, ICCS, 2002, Amsterdam, Netherlands},
  year = {2002},
  optpages = {296--305},
  optpublisher = {Springer-Verlag, LNCS 2329},
  optmonth = {April},
  optisi = {ISI:000181350500029; cites: 1},
  isbn = {3-540-43591-3}
}
@INPROCEEDINGS{gc-iclp01,
  vscpubtype = {conference},
  author = {Lu\'{\i}s Fernando Castro and Santos Costa, V\'{\i}tor},
  title = {{Understanding Memory Management in Prolog Systems}},
  year = 2001,
  month = {November},
  booktitle = {Proceedings of Logic Programming, 17th International Conference, ICLP 2001},
  pages = {11--26},
  volume = 2237,
  isbn = {3-540-42935-2},
  series = {Lecture Notes in Computer Science},
  address = {Paphos, Cyprus}
}
@INPROCEEDINGS{rocha_iclp01,
  vscpubtype = {conference},
  author = {Ricardo Rocha and Fernando Silva and Santos Costa, V\'{\i}tor},
  title = {{On A Tabling Engine That Can Exploit Or-Parallelism}},
  booktitle = {{Proceedings of Logic Programming, 17th International Conference, ICLP 2001}},
  month = {November},
  year = {2001},
  pages = {43--58},
  volume = 2237,
  isbn = {3-540-42935-2},
  series = {Lecture Notes in Computer Science},
  address = {Paphos, Cyprus}
}
@INPROCEEDINGS{MPI-SBAC,
  vscpubtype = {conference},
  author = {Marcelo Lobosco and Silva, Anderson Faustino da and Santos Costa, V\'{\i}tor and Amorim, Claudio},
  title = {{TCP-IP versus VIA on Network of Workstations}},
  booktitle = {{13 Symposium on Computer Architecture and High Performance Computing, SBAC-PAD}},
  month = {{September}},
  year = {{2001}},
  pages = {140--147}
}
@INPROCEEDINGS{rslvscfds_padl01,
  vscpubtype = {conference},
  author = {Ricardo Lopes and V\'{\i}tor Santos Costa and Fernando Silva},
  title = {A Novel Implementation of the Extended Andorra Model},
  booktitle = {{Proceedings of PADL01: The 2001 Conference on the Practical Aspects of Declarative Languages}},
  journal = {Lecture Notes in Computer Science},
  volume = {1990},
  pages = {199-213},
  year = {2001},
  coden = {},
  issn = {0302-9743},
  address = {Las Vegas, NV, USA},
  bibdate = {},
  acknowledgement = ACK-NHFB,
  keywords = {declarative languages; logic programming; PADL}
}
@INPROCEEDINGS{3m-2000,
  vscpubtype = {conference},
  author = {Santos Costa, V\'{\i}tor and Rocha, Ricardo and Silva, Fernando},
  title = {{Novel Models for Or-Parallel Logic Programs: A Performance Analysis}},
  year = 2000,
  month = {September},
  pages = {744--753},
  booktitle = {Proceedings of EuroPar2000, LNCS 1900},
  optisi = {ISI:000189042500102},
  pages = {744--753}
}
@INPROCEEDINGS{sim-cl2000,
  vscpubtype = {conference},
  author = {Dutra, In\^es C. and Santos Costa, V\'{\i}tor and Bianchini, Ricardo},
  title = {{The Impact of Cache Coherence Protocols on Parallel Logic
Programming Systems}},
  year = 2000,
  month = {July},
  booktitle = {Proceedings of CL'2000, LNAI 1861},
  optisi = {ISI:000165607800086},
  pages = {1285--1299}
}
@INPROCEEDINGS{aleph-optim2000,
  vscpubtype = {conference},
  author = {Santos Costa, V\'{\i}tor and Srinivasan, Ashwin and Camacho, Rui},
  title = {{A note on two simple transformations for improving
the efficiency of an ILP system}},
  year = 2000,
  month = {July},
  booktitle = {Proceedings of ILP'2000, LNAI 1866},
  pages = {225--242}
}
@INPROCEEDINGS{yap-optim,
  vscpubtype = {conference},
  author = {Santos Costa, V\'{\i}tor},
  title = {Optimising Bytecode Emulation for Prolog},
  booktitle = {LNCS 1702, Proceedings of PPDP'99},
  publisher = {Springer-Verlag},
  month = {September},
  pages = {261--267},
  optisi = {ISI:000088219000016; cites: 12},
  year = {1999}
}
@INPROCEEDINGS{YapOr,
  vscpubtype = {conference},
  author = {Ricardo Rocha and Fernando Silva and Santos Costa, V\'{\i}tor},
  title = {{YapOr: an Or-Parallel Prolog System based on Environment Copying}},
  booktitle = {{LNAI 1695, Proceedings of EPPIA'99: The 9th Portuguese Conference on Artificial Intelligence}},
  year = {1999},
  pages = {178--192},
  publisher = {Springer-Verlag LNAI Series},
  month = {September}
}
@INPROCEEDINGS{AI-ORCAsbac99,
  vscpubtype = {conference},
  author = {{In\^es C. Dutra and Santos Costa, V\'{\i}tor and J. L. V. Barbosa and
                  C. F. R. Geyer}},
  title = {{Using Compile-Time Granularity Information to Support
	           Dynamic Work Distribution in Parallel Logic Programming
                  Systems}},
  booktitle = {{11 Symposium on Computer Architecture and High Performance Computing, SBAC-PAD}},
  pages = {248--254},
  month = {{October}},
  year = {{1999}}
}
@INPROCEEDINGS{daos,
  vscpubtype = {conference},
  author = {Lu\'{\i}s Fernando Castro and Santos Costa, V\'{\i}tor and Cl\'audio F.R. Geyer and Fernando Silva and Patr\'{\i}cia Kayser Vargas and Manuel E. Correia},
  title = {{LNCS 1685, DAOS -- Scalable And-0r Parallelism}},
  booktitle = {Proceedings of EuroPar99},
  publisher = {Springer-Verlag},
  month = {September},
  pages = {899--908},
  optisi = {ISI:000165172300114},
  year = {1999}
}
@INPROCEEDINGS{cowl,
  vscpubtype = {conference},
  author = {Santos Costa, V\'{\i}tor},
  title = {COWL: Copy-On-Write for Logic Programs},
  booktitle = {Proceedings of the IPPS/SPDP99},
  publisher = {IEEE Computer Press},
  pages = {720--727},
  month = {May},
  optisi = {ISIP:000079971800109},
  year = {1999}
}
@INPROCEEDINGS{padl99mgs,
  vscpubtype = {conference},
  author = {Silva, M\'arcio G. and In\^es C. Dutra and Ricardo
Bianchini and Santos Costa, V\'{\i}tor},
  title = {{LThe Influence of Computer Architectural
Parameters on Parallel Logic Programming Systems}},
  booktitle = {{Workshop on Practical Aspects of Declarative
                  Languages (PADL99), LNCS1551}},
  year = {1999},
  month = {January},
  publisher = {Springer-Verlag},
  pages = {122--136},
  optisi = {ISI:000085483600009; cites: 1},
  note = {{Also available as Technical Report ES/477-98, COPPE Systems
           Engineering, Sep/98}}
}
@ARTICLE{Rocha:1999:PWT,
  vscpubtype = {conference},
  author = {Ricardo Rocha and Fernando Silva and Santos Costa, V\'{\i}tor},
  title = {Or-Parallelism within Tabling},
  journal = {Lecture Notes in Computer Science},
  volume = {1551},
  pages = {137--151},
  year = {1999},
  code = {LNCSD9},
  issn = {0302-9743},
  bibdate = {Tue Sep 14 06:09:05 MDT 1999},
  acknowledgement = ACK-NHFB,
  optisi = {ISI:000085483600010; cites: 2},
  keywords = {declarative languages; logic programming; PADL}
}
@INPROCEEDINGS{SimOpt98,
  vscpubtype = {conference},
  author = {Santos Costa, V\'{\i}tor and Bianchini, Ricardo},
  title = {{Optimising Parallel Logic Programming Systems
for Scalable Machines}},
  booktitle = {LNCS 1470, Proceedings of Europar 1998, Southampton, UK},
  year = {1998},
  publisher = {Springer-Verlag},
  pages = {831--841},
  optisi = {ISI:000082482800103},
  optmonth = {September}
}
@INPROCEEDINGS{VisAll98,
  vscpubtype = {conference},
  author = {Fonseca, Nuno and Dutra, In\^es C. and Santos Costa, V\'{\i}tor},
  title = {{VisAll: An Universal Tool to Visualise Parallel Execution of
Logic Programs}},
  booktitle = {Joint International Conference and Symposium on Logic Programming},
  address = {Manchester, UK},
  month = {June},
  year = {1998},
  publisher = {MIT Press},
  optisi = {ISIP:000075211400009},
  pages = {100--114}
}
@INPROCEEDINGS{Gran98,
  vscpubtype = {conference},
  author = {Shen, Kish and Santos Costa, V\'{\i}tor and King, Andy},
  title = {{Distance: A New Metric for Controlling Granularity for Parallel Execution}},
  booktitle = {Joint International Conference and Symposium on Logic Programming},
  address = {Manchester, UK},
  month = {June},
  year = {1998},
  publisher = {MIT Press},
  optisi = {ISIP:000075211400008},
  pages = {85--99}
}
@INPROCEEDINGS{pasco97,
  vscpubtype = {conference},
  author = {Santos Costa, V\'{\i}tor and Bianchini, Ricardo and Dutra, Inês C.},
  title = {{Parallel Logic Programming
                  Systems on Scalable Multiprocessors}},
  booktitle = {Proceedings of the 2nd International Symposium
                  on Parallel Symbolic Computation, PASCO'97},
  year = {1997},
  month = {July},
  pages = {58--67}
}
@INPROCEEDINGS{sba_and_or,
  vscpubtype = {conference},
  author = {Manuel Eduardo Correia and Fernando Silva and  Santos Costa, V\'{\i}tor},
  title = {{The SBA: Exploiting orthogonality in OR-AND Parallel Systems.}},
  booktitle = {Logic Programming, Proceedings of the 1997 International Symposium},
  year = {1997},
  month = {October},
  publisher = {MIT Press},
  pages = {117--131},
  optisi = {ISIP:A1997BK01F00016},
  note = {Also published as Technical
     Report DCC-97-3, DCC - FC \& LIACC, Universidade do Porto, April, 1997}
}
@INPROCEEDINGS{euromicro97,
  vscpubtype = {conference},
  author = {Santos Costa, V\'{\i}tor and Bianchini, Ricardo and Dutra, In\^es C.},
  title = {Evaluating the Impact of Coherence Protocols on
                  Parallel Logic Programming Systems},
  pages = {376--381},
  year = {1997},
  booktitle = {{Proceedings of the 5th EUROMICRO Workshop on Parallel and
                          Distributed Processing}},
  note = {{Also available as technical report ES-389/96,
                  COPPE/Systems Engineering, May, 1996.}}
}
@INPROCEEDINGS{SBA,
  vscpubtype = {conference},
  author = {Santos Costa, V\'{\i}tor and Manuel Eduardo Correia  and
                  Fernando Silva},
  title = {{Performance of Sparse Binding Arrays for Or-Parallelism}},
  booktitle = {Proceedings of the VIII Brazilian Symposium on
                  Computer Architecture and High Performance
                  Processing -- SBAC-PAD},
  year = {1996},
  month = {August}
}
@INPROCEEDINGS{ace,
  vscpubtype = {conference},
  author = {Gupta, Gopal and Manuel V. Hermenegildo and Enrico Pontelli and  Santos Costa, V\'{\i}tor},
  title = {{ACE: And/Or-parallel Copying-based Execution of Logic Programs}},
  year = {1994},
  booktitle = {Proc. ICLP'94},
  publisher = {MIT Press},
  optisi = {ISIP:A1994BB17T00010},
  pages = {93-109}
}
@INPROCEEDINGS{iclp93-perf,
  vscpubtype = {conference},
  author = {Yang, Rong and Beaumont, Anthony and Dutra, Inês C. and Santos Costa, V\'{\i}tor and Warren, David H. D.},
  title = {{Performance of the Compiler-based Andorra-I System}},
  booktitle = {Logic Programming, Proceedings of the Tenth International Conference on Logic Programming},
  publisher = {MIT Press},
  pages = {150--166},
  month = {June},
  optisi = {ISIP:A1993BA61N00010},
  year = {1993}
}
@INPROCEEDINGS{hics,
  vscpubtype = {conference},
  author = {Gupta, Gopal and Santos Costa, V\'{\i}tor},
  title = {{A} {S}ystematic {A}pproach to {E}xploiting {P}arallelism in {P}rolog},
  booktitle = {26th {H}awaii {I}nt'l {C}onf on {S}ystem {S}ciences},
  pages = {417-427},
  year = {1993}
}
@INPROCEEDINGS{PBA92,
  vscpubtype = {conference},
  author = {Gupta, Gopal and Santos Costa, V\'{\i}tor},
  title = {{And-Or Parallelism in Full Prolog with Paged Binding Arrays}},
  booktitle = {LNCS 605, PARLE'92 Parallel Architectures and Languages Europe},
  pages = {617--632},
  publisher = {Springer-Verlag},
  month = {June},
  optisi = {ISI:A1992LF68500039; cites: 3},
  year = {1992}
}
@INPROCEEDINGS{se92,
  vscpubtype = {conference},
  author = {Gupta, Gopal and Santos Costa, V\'{\i}tor},
  title = {{Complete and Efficient Methods for Supporting Side-Effects and Cuts in And-Or Parallel Prolog}},
  month = {November},
  year = {1992},
  booktitle = {PDP '92},
  publisher = {IEEE},
  pages = {288--295}
}
@INPROCEEDINGS{idiom91,
  vscpubtype = {conference},
  author = {Gupta, Gopal and Santos Costa, V\'{\i}tor and Yang, Rong and Hermenegildo, Manuel V.},
  title = {{IDIOM: Integrating Dependent and-, Independent and-, Or-parallelism}},
  booktitle = {{Logic Programming: Proceedings of the International Logic Programming Symposium}},
  publisher = {MIT Press},
  month = {October},
  year = {1991},
  optisi = {ISIP:A1991BV25B00010},
  pages = {152--166}
}
@INPROCEEDINGS{iclp91p,
  vscpubtype = {conference},
  author = {Santos Costa, V\'{\i}tor and Warren, David H. D. and Yang, Rong},
  title = {{The Andorra-I Preprocessor: Supporting full Prolog on the Basic
Andorra model}},
  booktitle = {Logic Programming, Proceedings of the Eigth International Conference},
  publisher = {MIT Press},
  pages = {443--456},
  month = {June},
  optisi = {ISIP:A1991BV25A00029},
  year = {1991}
}
@INPROCEEDINGS{iclp91e,
  vscpubtype = {conference},
  author = {Santos Costa, V\'{\i}tor and Warren, David H. D. and Yang, Rong},
  title = {{The Andorra-I Engine: A parallel implementation of the Basic
Andorra model}},
  booktitle = {Logic Programming, Proceedings of the Eigth International Conference},
  publisher = {MIT Press},
  pages = {825--839},
  month = {June},
  optisi = {ISIP:A1991BV25A00053},
  year = {1991}
}
@INPROCEEDINGS{ppopp,
  vscpubtype = {conference},
  author = {Santos Costa, V\'{\i}tor and Warren, David H. D. and Yang, Rong},
  title = {{Andorra-I: A Parallel Prolog System that Transparently Exploits both And- and Or-Parallelism}},
  booktitle = {{Third ACM SIGPLAN Symposium on Principles \& Practice of Parallel Programming PPOPP}},
  publisher = {ACM press},
  pages = {83--93},
  month = {April},
  year = {1991},
  optisi = {ISI:A1991FP75700010; cites: 4},
  note = {SIGPLAN Notices vol 26(7), July 1991}
}
@INPROCEEDINGS{enia-inven,
  vscpubtype = {conference},
  author = {Kate Revoredo and Aline Paes and Gerson Zaverucha and Santos Costa, V\'{\i}tor},
  title = {Combinando Inven\c{c}\~ao de Predicados e Revis\~ao de Teorias Probabil+isticas de primeira-ordem},
  booktitle = {VI Encontro Nacional de Intelig\^encia Artificial (ENIA-07)},
  pages = {},
  year = 2007
}
@INPROCEEDINGS{enia-estoc,
  vscpubtype = {conference},
  author = {Aline Paes and Gerson Zaverucha and Santos Costa, V\'{\i}tor},
  title = {Revisando Teorias L\'ogicas de Primeira-ordem a partir de Exemplos usando Busca Local Estoc\'astica},
  booktitle = {VI Encontro Nacional de Intelig\^encia Artificial (ENIA-07)},
  pages = {},
  year = 2007
}
@INPROCEEDINGS{pa05b,
  vscpubtype = {conference},
  author = {Aline Paes and Kate Revoredo and Gerson Zaverucha and Santos Costa, V\'{\i}tor},
  title = {Revis\~ao de Teorias Probabil\'{\i}sticas de Primeira-ordem},
  booktitle = {V Encontro Nacional de Intelig\^encia Artificial (ENIA-05)},
  pages = {742--751},
  year = 2005
}
@INPROCEEDINGS{pa05c,
  vscpubtype = {conference},
  author = {Aline Paes and Kate Revoredo and Gerson Zaverucha and Santos Costa, V\'{\i}tor},
  title = {Compara\c{c}\~ao de Fun\c{c}\~oes de Avalia\c{c}\~ao em Revis\~ao de Teorias Probabil\'{\i}sticas de Primeira-ordem},
  booktitle = {VII Congresso Brasileiro de Redes Neurais (CBRN-05)},
  pages = {932--941},
  year = 2005
}
@INPROCEEDINGS{Rocha-00b,
  vscpubtype = {conference},
  author = {Ricardo Rocha and F. Silva and V. Santos Costa},
  title = {{A Tabling Engine for the Yap Prolog System}},
  booktitle = {Proceedings of the APPIA-GULP-PRODE Joint Conference on Declarative Programming},
  month = {December},
  year = {2000},
  address = {La Habana, Cuba}
}
@INPROCEEDINGS{rslvsc_agp00,
  vscpubtype = {conference},
  author = {Ricardo Lopes and Santos Costa, V\'{\i}tor},
  title = {{A Performance Analysis of the BEAM Memory Manager}},
  booktitle = {{Proceedings of APPIA-GULP-PRODE  Joint Conference on 
Declarative Programming}},
  month = {December},
  year = {2000},
  address = {La Habana, Cuba}
}
@INPROCEEDINGS{rslvsc99,
  vscpubtype = {conference},
  author = {Ricardo Lopes and Santos Costa, V\'{\i}tor},
  title = {{The BEAM: a first EAM Implementation}},
  booktitle = {{Proceedings of AGP99: The 1999 Joint Conference on Declarative Programming}},
  month = {September},
  pages = {425--439},
  year = {1999}
}
@INPROCEEDINGS{damp08,
  vscpubtype = {wkshp},
  author = {Santos Costa, V\'{\i}tor },
  title = {{On Making Parallel Logic Programming Boring}},
  booktitle = {{Proceedings of DAMP2008: Workshop on Declarative Aspects of Multicore Programming}},
  year = 2008,
  editor = {Manuel Hermenegildo},
  month = {January},
  address = {San Francisco, CA, USA}
}
@INPROCEEDINGS{mrdm07,
  vscpubtype = {wkshp},
  author = {Nuno A. Fonseca and Ricardo Rocha and Rui Camacho and Santos Costa, V\'{\i}tor },
  title = {{ILP: Compute Once, Reuse Often}},
  booktitle = {{Proceedings of the 6th Workshop on Multi-Relational Data Mining (MRDM 2007)}},
  year = 2007,
  pages = {34--45},
  editor = {Donato Malerba and Annalisa Appice and Michelangelo Ceci},
  month = {September},
  address = {Warsaw, Poland}
}
@INPROCEEDINGS{exo07,
  vscpubtype = {wkshp},
  author = {Bart Demoen and Phuong-Lan Nguyen and Santos Costa, V\'{\i}tor and Zoltan Somogyi},
  title = {{Dealing with large predicates: exo-compilation in the WAM and in Mercury}},
  booktitle = {{Proceedings of the Seventh Colloquium on the Implementation of Constraint and Logic Programming (CICLOPS 2007)}},
  pages = {117--131},
  editor = {Salvador Abreu and Santos Costa, V\'{\i}tor},
  month = {September},
  year = {2007},
  address = {Porto, Portugal}
}
@INPROCEEDINGS{nuno07:ilp,
  vscpubtype = {wkshp},
  author = {Rui Camacho and Nuno A. Fonseca and Vitor Santos Costa and R. Rocha},
  title = {{ILP :- Just Trie It}},
  booktitle = {Work-in-Progress Proceedings of the 2007 International  Conference on Inductive Logic Programming},
  year = 2007
}
@INPROCEEDINGS{pathways-short,
  vscpubtype = {wkshp},
  author = {Irene Ong and David Page and Santos Costa, V\'{\i}tor},
  title = {Inferring Regulatory Networks from Time Series Expression Data and Relational Data via Inductive Logic Programming},
  year = {2006},
  pages = {},
  editor = {Stephen Muggleton and Ramon Otero},
  booktitle = {In-Area Short Papers for 2006 International Conference on Inductive Logic Programming}
}
@INPROCEEDINGS{kate-ilp06,
  vscpubtype = {wkshp},
  author = {Kate Revoredo and Aline Paes and Gerson Zaverucha and V\'{\i}tor Santos Costa},
  title = {Combining Predicate Invention and Revision of Probabilistic FOL Theories},
  year = {2006},
  pages = {176--178},
  editor = {Stephen Muggleton and Ramon Otero},
  booktitle = {In-Area Short Papers for 2006 International Conference on Inductive Logic Programming}
}
@INPROCEEDINGS{multicores-ws,
  vscpubtype = {wkshp},
  author = {Santos Costa, V\'{\i}tor},
  title = {{A Look Back and a Look Forward at Parallel Logic Programming}},
  booktitle = {Declarative Programming Languages for Multicore Architectures},
  month = {January},
  year = {2006}
}
@INPROCEEDINGS{DBLP:conf/iclp/SilvaC06,
  vscpubtype = {wkshp},
  author = {Anderson Faustino da Silva and
               V\'{\i}tor Santos Costa},
  title = {The Design and Implementation of the YAP Compiler: An Optimizing
               Compiler for Logic Programming Languages.},
  year = {2006},
  pages = {461-462},
  ee = {http://dx.doi.org/10.1007/11799573_49},
  editor = {Sandro Etalle and
               Miroslaw Truszczynski},
  booktitle = {Logic Programming, 22nd International Conference, ICLP 2006,
               Seattle, WA, USA, August 17-20, 2006, Proceedings},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {4079},
  isbn = {3-540-36635-0},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  optisi = {ISI:000240061200047},
  note = {Presented at the Doctoral Symposium}
}
@INPROCEEDINGS{revision-mrdm05,
  vscpubtype = {wkshp},
  author = {Aline Paes and Kate Revoredo and Gerson Zaverucha and Vitor Santos Costa},
  title = {Further results of probabilistic first-order revision of theories from examples},
  booktitle = {MRDM '05: Proceedings of the 4th international workshop on Multi-relational mining},
  year = {2005},
  isbn = {1-59593-212-7},
  pages = {59--59},
  location = {Chicago, Illinois},
  doi = {http://doi.acm.org/10.1145/1090193.1090203},
  publisher = {ACM Press},
  address = {New York, NY, USA}
}
@INPROCEEDINGS{hyper-mrdm05,
  vscpubtype = {wkshp},
  author = {Irene M. Ong and David Page and In\^{e}s Dutra and V\'{\i}tor Santos Costa},
  title = {Hyperpaths: extending pathfinding to moded languages},
  booktitle = {MRDM '05: Proceedings of the 4th international workshop on Multi-relational mining},
  year = {2005},
  isbn = {1-59593-212-7},
  pages = {57--57},
  location = {Chicago, Illinois},
  doi = {http://doi.acm.org/10.1145/1090193.1090202},
  publisher = {ACM Press},
  address = {New York, NY, USA}
}
@INPROCEEDINGS{sayu-mrdm05,
  vscpubtype = {wkshp},
  author = {Jesse Davis and Elizabeth Burnside and David Page and In\^{e}s Dutra and V\'{\i}tor Santos Costa},
  title = {Learning Bayesian networks of rules with SAYU},
  booktitle = {MRDM '05: Proceedings of the 4th international workshop on Multi-relational mining},
  year = {2005},
  isbn = {1-59593-212-7},
  pages = {13--13},
  location = {Chicago, Illinois},
  doi = {http://doi.acm.org/10.1145/1090193.1090196},
  publisher = {ACM Press},
  address = {New York, NY, USA}
}
@INPROCEEDINGS{DBLP:conf/iclp/RochaLSC05,
  vscpubtype = {wkshp},
  author = {Ricardo Rocha and
               Ricardo Lopes and
               Fernando M. A. Silva and
               V\'{\i}tor Santos Costa},
  title = {IMPACT: Innovative Models for Prolog with Advanced Control
               and Tabling.},
  year = {2005},
  pages = {416-417},
  ee = {http://dx.doi.org/10.1007/11562931_36},
  editor = {Maurizio Gabbrielli and
               Gopal Gupta},
  booktitle = {Logic Programming, 21st International Conference, ICLP 2005,
               Sitges, Spain, October 2-5, 2005, Proceedings},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {3668},
  isbn = {3-540-29208-X},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  optisi = {ISI:000233274000036; cites: 1},
  note = {(presented as poster)}
}
@INPROCEEDINGS{zos05,
  vscpubtype = {wkshp},
  author = {Roberto Ligeiro and Felipe Fran\c{c}a and Santos Costa, V\'{\i}tor},
  title = {{Zos: The Same Machine, Just a Different Machine}},
  booktitle = {Poster Session of LCTES, ACM SIGPLAN/SIGBED 2005 Conference on Languages, Compilers, and Tools for Embedded Systems},
  address = {Chicago, USA},
  month = {August},
  year = {2005}
}
@INPROCEEDINGS{mrdm04,
  vscpubtype = {wkshp},
  author = {Davis, Jesse and Santos Costa, V\'{\i}tor and Ong, Irene M. and Page, David and In\^es C. Dutra},
  title = {{Using Bayesian Classifiers to Combine Rules}},
  booktitle = {3rd Workshop on Multi-Relational Data Mining},
  address = {Seattle, USA},
  month = {August},
  year = {2004}
}
@INPROCEEDINGS{rsl_pdcn04,
  vscpubtype = {wkshp},
  author = {Ricardo Lopes and V\'{\i}tor Santos Costa and
Fernando Silva},
  title = {Exploiting Parallelism in the Extended
Andorra Model},
  editor = {MH Hamza},
  booktitle = {Proceedings of the IASTED International
Conference on Parallel and Distributed Computing and Networks (PDCN
2004)},
  publisher = {ACTA Press},
  pages = {483--489},
  month = {February},
  isbn = {0-88986-369-5},
  optisi = {ISIP:000228483300080},
  year = 2004
}
@INPROCEEDINGS{tab-mixstrats,
  vscpubtype = {wkshp},
  author = {Ricardo Rocha and Fernando Silva and V\'{\i}tor Santos Costa},
  title = {{A Tabling Engine Designed to Support Mixed-Strategy Evaluation}},
  booktitle = {{CICLOPS 2003: Colloquium on Implementation of Constraint and LOgic
Programming Systems}},
  address = {Mumbai, India},
  year = 2003,
  month = {December}
}
@INPROCEEDINGS{nsf02,
  vscpubtype = {wkshp},
  author = {Mooney, R.J. and Melville, P. and Tang, L.R. and Shavlik,
                  J. and Dutra, I. and Page, D. and Santos Costa, V\'{\i}tor},
  title = {Relational Data Mining with Inductive Logic Programming for
                  Link Discovery},
  booktitle = {Proceedings of the National Science Foundation Workshop
                  on Next Generation Data Mining, Baltimore, MD},
  month = {November},
  year = 2002
}
@INPROCEEDINGS{clpbn-ilp02,
  vscpubtype = {wkshp},
  author = {Santos Costa, V\'{\i}tor and Page, David and Cussens, James},
  title = {{CLP($\cal{BN}$) in School: ILP and Bayesian Networks}},
  year = 2002,
  month = {July},
  booktitle = {Work In Progress (WIP) Session of ILP02},
  address = {Sydney, Australia}
}
@INPROCEEDINGS{lvrCICLOPS02,
  vscpubtype = {wkshp},
  author = {Lu\'{\i}s Fernando Castro and Santos Costa,  V\'{\i}tor and Ricardo Lopes},
  title = {{On the Cache Performance of Prolog Systems}},
  booktitle = {{CICLOPS 2002: Colloquium on Implementation of Constraint and LOgic
Programming Systems, Copenhagen, Denmark}},
  year = 2002,
  month = {July}
}
@INPROCEEDINGS{mcc-ciclops,
  vscpubtype = {wkshp},
  author = {Manuel Eduardo Correia and Santos Costa,  V\'{\i}tor},
  title = {{Independent And Parallelism Revisited}},
  booktitle = {CICLOPS 2001: Colloquium on Implementation of Constraint and LOgic 	        Programming Systems},
  year = {2001}
}
@INPROCEEDINGS{Rocha-2000,
  vscpubtype = {wkshp},
  author = {Ricardo Rocha and Fernando Silva and Santos Costa, V\'{\i}tor},
  title = {{YapTab: A Tabling Engine Designed to Support Parallelism}},
  booktitle = {Proceedings of the 2nd Workshop on Tabulation in Parsing and Deduction, TAPD'2000},
  pages = {77--87},
  month = {September},
  year = {2000},
  address = {Vigo, Spain}
}
@INPROCEEDINGS{PBEAM,
  vscpubtype = {wkshp},
  author = {Ricardo Lopes and Fernando Silva and V\'{\i}tor {Santos Costa} and Salvador Abreu},
  title = {{The RAINBOW: Towards a Parallel Beam}},
  booktitle = {{Workshop on Parallelism and Implementation Technology
                  for (Constraint) Logic Languages, CL2000}},
  month = {July},
  year = {2000},
  pages = {38--54}
}
@INPROCEEDINGS{iap99,
  vscpubtype = {wkshp},
  author = {Manuel Eduardo Correia and Santos Costa,  V\'{\i}tor},
  title = {{IAP for Dummies: The YAP Design}},
  booktitle = {ParImp'99: Parallelism and Implementation Technology for (Constraint) Logic Programming},
  year = {1999},
  month = {December},
  publisher = {New Mexico State University},
  pages = {97--109}
}
@INPROCEEDINGS{VisAll97,
  author = {Fonseca, Nuno and Dutra, In\^es C. and Santos Costa, V\'{\i}tor},
  title = {{VisAll: A new Tool to Visualise Parallel Execution of
Logic Programs}},
  booktitle = {International Logic Programming Symposium 97 Workshop on  Parallelism and
Implementation Technology for (Constraint)  Logic Programming Languages},
  address = {Port Jefferson, USA},
  month = {October},
  year = {1997}
}
@INPROCEEDINGS{Gran97,
  author = {Shen, Kish and Santos Costa, V\'{\i}tor and King, Andy},
  title = {{A New Metric for Controlling Granularity for Parallel Execution}},
  booktitle = {International Logic Program Symposium 97 Workshop on  Parallelism and
Implementation Technology for (Constraint)  Logic Programming Languages},
  address = {Port Jefferson, USA},
  month = {October},
  year = {1997}
}
@INPROCEEDINGS{rslvsc97,
  author = {Ricardo Lopes and Santos Costa, V\'{\i}tor},
  title = {{The BEAM: Towards a first EAM Implementation}},
  booktitle = {{ International Logic Programming Symposium 97 Workshop  on Parallelism and
		  Implementation Technology for (Constraint) Logic
		  Programming Languages, Port Jefferson}},
  year = 1997,
  month = {October}
}
@INPROCEEDINGS{Rocha97,
  author = {Ricardo Rocha and Fernando Silva and Santos Costa, V\'{\i}tor},
  title = {{On Applying Or-Parallelism to Tabled Evaluations}},
  booktitle = {Post-ICLP'97 Workshop on
     Tabling in Logic Programming},
  address = {Leuven, Belgium},
  month = {July},
  year = {1997},
  note = {Also published as Technical
     Report DCC-97-2, DCC - FC \& LIACC, Universidade do Porto, April, 1997}
}
@INPROCEEDINGS{rslvsc96,
  vscpubtype = {wkshp},
  author = {Ricardo Lopes and Santos Costa, V\'{\i}tor},
  title = {{The YAIL: An Intermediate Language for Native
		  Compilation of Prolog Programs}},
  booktitle = {{3rd COMPULOG NET Workshop  on Parallelism and
		  Implementation Technology for (Constraint) Logic
		  Programming Languages, Bonn}},
  year = 1996,
  month = {September}
}
@INPROCEEDINGS{CompulogNet95,
  author = {Manuel Eduardo Correia and  Santos Costa, V\'{\i}tor and  Fernando Silva},
  title = {{Using Sparse Binding Arrays for Or-parallelism (Extended Abstract)}},
  booktitle = {3rd COMPULOG NET Workshop  on Parallelism and Implementation Technologies, Madrid,},
  year = {1995},
  optmonth = {September}
}
@INPROCEEDINGS{Shared:ICLP95,
  author = {Gupta, Gopal and Santos Costa, V\'{\i}tor and Enrico Pontelli},
  title = {{Shared Paged Binding Array: A Universal Datastructure for Parallel Logic Programming}},
  remark = {Poster Abstracts},
  booktitle = {Logic Programming, Proceedings of the Twelfth International Conference on Logic Programming},
  year = {1995},
  publisher = {MIT Press},
  pages = {824},
  note = {(poster paper)}
}
@TECHREPORT{oregon,
  vscpubtype = {wkshp},
  author = {Gupta, Gopal and Santos Costa, V\'{\i}tor and Enrico Pontelli},
  title = {{S}hared {P}aged {B}inding {A}rrays: A {U}niversal
		  {D}ata-struct\
ure for
                {P}arallel {L}ogic {P}rogramming},
  year = {1994},
  month = {Mar.},
  type = {Proc. {NSF}/{ICOT} {W}orkshop on {P}arallel {L}ogic {P}rogramming and its {E}nvironments},
  institution = {CIS-94-04, University of Oregon}
}
@TECHREPORT{compilation-oregon,
  author = {Santos Costa, V\'{\i}tor and Dutra, In\^es C. and Yang, Rong},
  title = {{Andorra-I Compilation}},
  year = {1994},
  month = {Mar.},
  type = {Proc. {NSF}/{ICOT} {W}orkshop on {P}arallel {L}ogic {P}rogramming and its {E}nvironments},
  institution = {CIS-94-04, University of Oregon}
}
@INPROCEEDINGS{VscMccFds94a,
  vscpubtype = {wkshp},
  author = {Santos Costa, V\'{\i}tor and Manuel Eduardo Correia  and  Fernando Silva},
  title = {{Aurora and Friends on the Sun (Extended Abstract)}},
  booktitle = {2nd COMPULOG NET Workshop  on Parallelism and Implementation Technologies, Madrid,},
  year = {1994},
  optmonth = {September}
}
@INPROCEEDINGS{VscMccFds94b,
  vscpubtype = {wkshp},
  author = {Santos Costa, V\'{\i}tor and Manuel Eduardo Correia  and  Fernando Silva},
  title = {{Aurora, Andorra-I and Friends on the Sun}},
  booktitle = {Proceedings of the Post-ILPS'94 Workshop on Design and Implementation of Parallel Logic Programming Systems, Ithaca, NY, USA,},
  year = {1994},
  optmonth = {17-18, November}
}
@INPROCEEDINGS{avmuse:sun,
  author = {Manuel Eduardo Correia and Silva, Fernando and Santos Costa,
		  V\'{\i}tor},
  title = {{Aurora vs. Muse; A Performance Study of Two
		  Or-Parallel Prolog Systems}},
  booktitle = {Proceedings of the 1st International Meeting on
		  Vector and Parallel Processing},
  year = {1993}
}
@INPROCEEDINGS{DBLP:conf/iclp/GuptaHC92,
  vscpubtype = {wkshp},
  author = {Gopal Gupta and
               Manuel V. Hermenegildo and
               V\'{\i}tor Santos Costa},
  title = {Generalized Stack-copying for And-Or Parallel Execution
               of Full Prolog},
  booktitle = {IJCSLP Workshop on Concurrent and Parallel Implementations},
  year = {1992},
  pages = {0-},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@ARTICLE{leandro,
  vscpubtype = {other},
  author = {Leandro A. J. Marzulo and  Felipe M. G. França and Santos Costa, V\'{\i}tor},
  title = {Transactional WaveCache: Towards Speculative and Out-of-Order DataFlow Execution of Memory Operations},
  journal = {CoRR},
  volume = {abs/0712.1167},
  year = {2007},
  ee = {http://arxiv.org/abs:0712.1167},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@ARTICLE{DBLP:journals/corr/abs-0704-2010,
  vscpubtype = {other},
  author = {Juliana S. Bernardes and Alberto M. R. D{\'a}vila and
                  Santos Costa, V\'{\i}tor and Gerson Zaverucha},
  title = {A study of structural properties on profiles HMMs},
  journal = {CoRR},
  volume = {abs/0704.2010},
  year = {2007},
  ee = {http://arxiv.org/abs/0704.2010},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@BOOK{CICLOPS2007,
  vscpubtype = {other},
  editor = {Salvador Abreu and Santos Costa, V\'{\i}tor },
  title = {Proceedings of the Seventh Colloquium on the Implementation of Constraint and Logic Programming (CICLOPS 2007)},
  publisher = {Universidade do Porto},
  year = {2007}
}
@INPROCEEDINGS{DBLP:conf/epia/Costa03,
  vscpubtype = {other},
  author = {V\'{\i}tor Santos Costa},
  title = {Performance Issues in Prolog Applications},
  pages = {8},
  editor = {Fernando Moura-Pires and
               Salvador Abreu},
  booktitle = {Progress in Artificial Intelligence, 11th Protuguese Conference
               on Artificial Intelligence, EPIA 2003, Beja, Portugal, December
               4-7, 2003, Proceedings},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {2902},
  year = {2003},
  isbn = {3-540-20589-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@MANUAL{yap,
  vscpubtype = {other},
  title = {{YAP User's Manual}},
  author = {Santos Costa, V\'{\i}tor and Damas, Luis and Reis, Rog\'erio and
		  Azevedo, R\'uben},
  year = 2002,
  note = {\def\HTML{\XURL}{http://www.ncc.up.pt/\~{}vsc/Yap}}
}
@INBOOK{clopn,
  vscpubtype = {other},
  author = {Santos Costa, V\'{\i}tor and In\^es de Castro Dutra and Felipe Fran\c{c}a and Marluce Pereira and Patr\'{i}cia Vargas and Cl\'audio Geyer and Jorge Barbosa and Cristiano Costa and Priscila Lima and F\'atima Dargan and Ant\^onio Branco and Juarez Muylaert Filho and Gopal Gupta and Enrico Pontelli and Manuel Correia and Ricardo Lopes and Ricardo Rocha and Fernando Silva},
  chapter = {{Towards Effective Parallel Logic Programming}},
  title = {Projects Evaluation Workshop ProTeM -- CC 2001 -- International Cooperation NSF/INRIA},
  publisher = {CNPq - Conselho Nacional de Desenvolvimento Cient\'{\i}fico e Tecnol\'ogico},
  year = {2001},
  pages = {243--265}
}
@ARTICLE{JFLP-PD01,
  vscpubtype = {other},
  author = {Pontelli, Enrico and Santos Costa, V\'{\i}tor},
  title = {{Special Issue on  Practical Aspects of Declarative Languages}},
  year = {2001},
  month = {October},
  journal = {Journal of Functional and Logic Programming},
  volume = {2001},
  number = {Special Issue 2},
  publisher = {EAPLS}
}
@ARTICLE{JFLP-Wk99,
  vscpubtype = {other},
  author = {Santos Costa, V\'{\i}tor and Pontelli, Enrico and Gupta, Gopal},
  title = {{Special Issue on  the Workshop on Parallelism and Implementation Technology for (Constraint) Logic Programming Languages}},
  year = {1999},
  month = {April},
  journal = {Journal of Functional and Logic Programming},
  volume = {1999},
  number = {Special Issue 1},
  publisher = {MIT Press}
}
@ARTICLE{DBLP:journals/tcs/DutraCGPCK99,
  vscpubtype = {other},
  author = {In{\^e}s de Castro Dutra and
               V\'{\i}tor Santos Costa and
               Gopal Gupta and
               Enrico Pontelli and
               Manuel Carro and
               P{\'e}ter Kacsuk},
  title = {Preface},
  journal = {Electr. Notes Theor. Comput. Sci.},
  volume = {30},
  number = {3},
  year = {1999},
  ee = {http://www.elsevier.nl/locate/entcs/volume30.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@PHDTHESIS{VSCThesis,
  vscpubtype = {other},
  author = {Santos Costa, V\'{\i}tor},
  year = 1993,
  month = {August},
  title = {{Compile-Time Analysis for the Parallel Execution of
		  Logic Programs in Andorra-I}},
  school = {University of Bristol}
}
@UNPUBLISHED{YDSC91,
  vscpubtype = {other},
  author = {Yang, Rong and Dutra, In\^es C. and Santos Costa, V\'{\i}tor},
  title = {{Design of the Andorra-I System}},
  note = {Internal Report, PEPMA Project},
  year = 1991,
  month = {January}
}
@UNPUBLISHED{Costa89,
  vscpubtype = {other},
  author = {Santos~Costa, V\'{\i}tor},
  title = {Compile-time Analysis for {Andorra-I}},
  note = {PEPMA Project workshop, University of Bristol},
  year = {1990},
  month = {October}
}
@TECHREPORT{costa88,
  vscpubtype = {other},
  author = {Santos Costa, V\'{\i}tor},
  title = {{I}mplementa\c{c}\~ao de {P}rolog},
  institution = {Universidade do Porto},
  type = {Provas de Aptid\~ao Pedag\'ogica e Capacidade Cient\'{\i}fica},
  month = {Dezembro},
  year = 1988
}

This file has been generated by bibtex2html 1.79 and my bibgen.sh script