dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Vítor Santos Costa Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2012
123Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUmut A. Acar, Vítor Santos Costa: Proceedings of the POPL 2012 Workshop on Declarative Aspects of Multicore Programming, DAMP 2012, Philadelphia, PA, USA, Saturday, January 28, 2012 ACM 2012
2011
122Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarlos Abreu Ferreira, João Gama, Vítor Santos Costa: Constrained Sequential Pattern Knowledge in Multi-relational Learning. EPIA 2011: 282-296
121Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarlos Abreu Ferreira, João Gama, Vítor Santos Costa: Sequential Pattern Knowledge in Multi-Relational Learning. ISCIS 2011: 539-545
120Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRui Camacho, Max Pereira, Vítor Santos Costa, Nuno A. Fonseca, Carlos J. V. Simões, Rui M. M. Brito: Assessing the Effect of 2D Fingerprint Filtering on ILP-Based Structure-Activity Relationships Toxicity Studies in Drug Design. PACBB 2011: 355-363
119Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan Wielemaker, Vítor Santos Costa: On the Portability of Prolog Applications. PADL 2011: 69-83
118Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRicardo Lopes, Vítor Santos Costa, Fernando M. A. Silva: A Design and Implementation of the Extended Andorra Model CoRR abs/1101.6029: (2011)
117Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVítor Santos Costa, Luís Damas, Ricardo Rocha: The YAP Prolog System CoRR abs/1102.3896: (2011)
116Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeandro A. J. Marzulo, Tiago A. O. Alves, Felipe M. G. França, Vítor Santos Costa: Couillard: Parallel Programming via Coarse-Grained Data-Flow Compilation CoRR abs/1109.4925: (2011)
115Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSalvador Abreu, Vítor Santos Costa: Online Proceedings of the 11th CoRR abs/1112.4993: (2011)
114Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiago A. O. Alves, Leandro A. J. Marzulo, Felipe M. G. França, Vítor Santos Costa: Trebuchet: exploring TLP with dataflow virtualisation. IJHPSA 3(2/3): 137-148 (2011)
113Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRui Camacho, Max Pereira, Vítor Santos Costa, Nuno A. Fonseca, Carlos Adriano Gonçalves, Carlos J. V. Simões, Rui M. M. Brito: A Relational Learning Approach to Structure-Activity Relationships in Drug Design Toxicity Studies. J. Integrative Bioinformatics 8(3): (2011)
112Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAngelika Kimmig, Bart Demoen, Luc De Raedt, Vítor Santos Costa, Ricardo Rocha: On the implementation of the probabilistic logic programming language ProbLog. TPLP 11(2-3): 235-262 (2011)
2010
111Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Vaz, Vítor Santos Costa, Michel Ferreira: Fire! Firing Inductive Rules from Economic Geography for Fire Risk Detection. ILP 2010: 238-252
110Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNuno A. Fonseca, Max Pereira, Vítor Santos Costa, Rui Camacho: Interactive Discriminative Mining of Chemical Fragments. ILP 2010: 59-66
109Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRui Camacho, Rita Ferreira, Natacha Rosa, Vânia Guimarães, Nuno A. Fonseca, Vítor Santos Costa, Miguel de Sousa, Alexandre Magalhães: Predicting the Start of Protein alpha-Helices Using Machine Learning Algorithms. IWPACBB 2010: 33-41
108Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVítor Santos Costa: On the Implementation of the CLP(BN\mathcal BN) Language. PADL 2010: 234-248
107Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAngelika Kimmig, Bart Demoen, Luc De Raedt, Vítor Santos Costa, Ricardo Rocha: On the Implementation of the Probabilistic Logic Programming Language ProbLog CoRR abs/1006.4442: (2010)
106Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVítor Santos Costa, Inês de Castro Dutra, Ricardo Rocha: Threads and Or-Parallelism Unified CoRR abs/1007.4438: (2010)
105Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan Wielemaker, Vítor Santos Costa: Portability of Prolog programs: theory and case-studies CoRR abs/1009.3796: (2010)
104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVítor Santos Costa, Inês de Castro Dutra, Ricardo Rocha: Threads and or-parallelism unified. TPLP 10(4-6): 417-432 (2010)
2009
103Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoão Gama, Vítor Santos Costa, Alípio Mário Jorge, Pavel Brazdil: Discovery Science, 12th International Conference, DS 2009, Porto, Portugal, October 3-5, 2009 Springer 2009
102Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMax Pereira, Vítor Santos Costa, Rui Camacho, Nuno A. Fonseca, Carlos J. V. Simões, Rui M. M. Brito: Comparative Study of Classification Algorithms Using Molecular Descriptors in Toxicological DataBases. BSB 2009: 121-132
101Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarlos Abreu Ferreira, João Gama, Vítor Santos Costa: Sequential Pattern Mining in Multi-relational Datasets. CAEPIA 2009: 121-130
100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVítor Santos Costa: On Just in Time Indexing of Dynamic Predicates in Prolog. EPIA 2009: 126-137
99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Vaz, Vítor Santos Costa, Michel Ferreira: User Defined Indexing. ICLP 2009: 372-386
98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephen Muggleton, Aline Paes, Vítor Santos Costa, Gerson Zaverucha: Chess Revision: Acquiring the Rules of Chess Variants through FOL Theory Revision from Examples. ILP 2009: 123-130
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNuno A. Fonseca, Vítor Santos Costa, Rui Camacho, Cristina Vieira, Jorge Vieira: Partitional Clustering of Protein Sequences - An Inductive Logic Programming Approach. IWANN (2) 2009: 1001-1004
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMax Pereira, Vítor Santos Costa, Rui Camacho, Nuno A. Fonseca: Visually Guiding and Controlling the Search While Mining Chemical Structures. IWANN (2) 2009: 1043-1046
95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNuno A. Fonseca, Vítor Santos Costa, Ricardo Rocha, Rui Camacho, Fernando M. A. Silva: Improving the efficiency of inductive logic programming systems. Softw., Pract. Exper. 39(2): 189-219 (2009)
2008
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVítor Santos Costa, Nuno A. Fonseca, Rui Camacho: LogCHEM: Interactive Discriminative Mining of Chemical Structure. BIBM 2008: 421-426
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVítor Santos Costa: The Life of a Logic Programming System. ICLP 2008: 1-6
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAngelika Kimmig, Vítor Santos Costa, Ricardo Rocha, Bart Demoen, Luc De Raedt: On the Efficient Execution of ProbLog Programs. ICLP 2008: 175-189
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTom Schrijvers, Vítor Santos Costa, Jan Wielemaker, Bart Demoen: Towards Typed Prolog. ICLP 2008: 693-697
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarlos Abreu Ferreira, João Gama, Vítor Santos Costa: RUSE-WARMR: Rule Selection for Classifier Induction in Multi-relational Data-Sets. ICTAI (1) 2008: 379-386
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVítor Santos Costa, David Page, James Cussens: CLP(BN): Constraint Logic Programming for Probabilistic Knowledge. Probabilistic Inductive Logic Programming 2008: 156-188
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNuno A. Fonseca, Vítor Santos Costa, Rui Camacho: k-RNN: k-relational nearest neighbour algorithm. SAC 2008: 944-948
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeandro A. J. Marzulo, Felipe Maia Galvão França, Vítor Santos Costa: Transactional WaveCache: Towards Speculative and Out-of-Order DataFlow Execution of Memory Operations. SBAC-PAD 2008: 183-190
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNuno A. Fonseca, Rui Camacho, Ricardo Rocha, Vítor Santos Costa: Compile the Hypothesis Space: Do it Once, Use it Often. Fundam. Inform. 89(1): 45-67 (2008)
2007
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVítor Santos Costa, Konstantinos F. Sagonas, Ricardo Lopes: Demand-Driven Indexing of Prolog Clauses. ICLP 2007: 395-409
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnderson Faustino da Silva, Vítor Santos Costa: Design, Implementation, and Evaluation of a Dynamic Compilation Framework for the YAP System. ICLP 2007: 410-424
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJesse Davis, Vítor Santos Costa, Soumya Ray, David Page: An integrated approach to feature invention and model construction for drug activity prediction. ICML 2007: 217-224
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJesse Davis, Irene M. Ong, Jan Struyf, Elizabeth S. Burnside, David Page, Vítor Santos Costa: Change of Representation for Statistical Relational Learning. IJCAI 2007: 2719-2726
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAline Paes, Gerson Zaverucha, Vítor Santos Costa: Revising First-Order Logic Theories from Examples Through Stochastic Local Search. ILP 2007: 200-210
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRui Camacho, Nuno A. Fonseca, Ricardo Rocha, Vítor Santos Costa: ILP : - Just Trie It. ILP 2007: 78-87
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVítor Santos Costa: Prolog Performance on Larger Datasets. PADL 2007: 185-199
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuliana S. Bernardes, Alberto M. R. Dávila, Vítor Santos Costa, Gerson Zaverucha: Improving model construction of profile HMMs for remote homology detection through structural alignment. BMC Bioinformatics 8: (2007)
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuliana S. Bernardes, Alberto M. R. Dávila, Vítor Santos Costa, Gerson Zaverucha: A study of structural properties on profiles HMMs CoRR abs/0704.2010: (2007)
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeandro A. J. Marzulo, Felipe M. G. França, Vítor Santos Costa: Transactional WaveCache: Towards Speculative and Out-of-Order DataFlow Execution of Memory Operations CoRR abs/0712.1167: (2007)
2006
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAline Paes, Kate Revoredo, Gerson Zaverucha, Vítor Santos Costa: PFORTE: Revising Probabilistic FOL Theories. IBERAMIA-SBIA 2006: 441-450
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnderson Faustino da Silva, Vítor Santos Costa: The Design and Implementation of the YAP Compiler: An Optimizing Compiler for Logic Programming Languages. ICLP 2006: 461-462
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIrene M. Ong, Scott E. Topper, C. David Page Jr., Vítor Santos Costa: Inferring Regulatory Networks from Time Series Expression Data and Relational Data Via Inductive Logic Programming. ILP 2006: 366-378
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnderson Faustino da Silva, Vítor Santos Costa: The Design of the YAP Compiler: An Optimizing Compiler for Logic Programming Languages. J. UCS 12(7): 764-787 (2006)
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnderson Faustino da Silva, Vítor Santos Costa: Our Experiences with Optimizations in Sun's Java Just-In-Time Compilers. J. UCS 12(7): 788-810 (2006)
2005
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJ. A. L. Sanches, Patrícia Kayser Vargas, Inês de Castro Dutra, Vítor Santos Costa, Cláudio F. R. Geyer: ReGS: user-level reliability in a grid environment. CCGRID 2005: 718-725
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNuno A. Fonseca, Fernando M. A. Silva, Vítor Santos Costa, Rui Camacho: A pipelined data-parallel algorithm for ILP. CLUSTER 2005: 1-10
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIrene M. Ong, Inês de Castro Dutra, David Page, Vítor Santos Costa: Mode Directed Path Finding. ECML 2005: 673-681
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRicardo Rocha, Nuno A. Fonseca, Vítor Santos Costa: On Applying Tabling to Inductive Logic Programming. ECML 2005: 707-714
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJesse Davis, Elizabeth S. Burnside, Inês de Castro Dutra, David Page, Vítor Santos Costa: An Integrated Approach to Learning Bayesian Networks of Rules. ECML 2005: 84-95
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRicardo Rocha, Fernando M. A. Silva, Vítor Santos Costa: Dynamic Mixed-Strategy Evaluation of Tabled Logic Programs. ICLP 2005: 250-264
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRicardo Rocha, Ricardo Lopes, Fernando M. A. Silva, Vítor Santos Costa: IMPACT: Innovative Models for Prolog with Advanced Control and Tabling. ICLP 2005: 416-417
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJesse Davis, Elizabeth S. Burnside, Inês de Castro Dutra, David Page, Raghu Ramakrishnan, Vítor Santos Costa, Jude W. Shavlik: View Learning for Statistical Relational Learning: With an Application to Mammography. IJCAI 2005: 677-683
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAline Paes, Kate Revoredo, Gerson Zaverucha, Vítor Santos Costa: Probabilistic First-Order Theory Revision from Examples. ILP 2005: 295-311
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHéctor Corrada Bravo, David Page, Raghu Ramakrishnan, Jude W. Shavlik, Vítor Santos Costa: A Framework for Set-Oriented Computation in Inductive Logic Programming and Its Application in Generalizing Inverse Entailment. ILP 2005: 69-86
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRicardo Lopes, Vítor Santos Costa: Improving Memory Usage in the BEAM. PADL 2005: 143-157
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnderson Faustino da Silva, Vítor Santos Costa: An Experimental Evaluation of JAVA JIT Technology. J. UCS 11(7): 1291-1309 (2005)
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRicardo Rocha, Fernando M. A. Silva, Vítor Santos Costa: On Applying Or-Parallelism and Tabling to Logic Programs. TPLP 5(1-2): 161-205 (2005)
2004
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRicardo Rocha, Fernando M. A. Silva, Vítor Santos Costa: Concurrent Table Accesses in Parallel Tabled Logic Programs. Euro-Par 2004: 662-670
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRicardo Rocha, Fernando M. A. Silva, Vítor Santos Costa: Speculative Computations in Or-Parallel Tabled Logic Programs. ICLP 2004: 254-268
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNuno A. Fonseca, Vítor Santos Costa, Fernando M. A. Silva, Rui Camacho: On Avoiding Redundancy in Inductive Logic Programming. ILP 2004: 132-146
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRicardo Lopes, Vítor Santos Costa, Fernando M. A. Silva: Pruning in the Extended Andorra Model. PADL 2004: 120-134
53no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRicardo Lopes, Vítor Santos Costa, Fernando M. A. Silva: Exploiting parallelism in the extended andorra model. Parallel and Distributed Computing and Networks 2004: 483-489
2003
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRicardo Lopes, Vítor Santos Costa, Fernando M. A. Silva: On the BEAM Implementation. EPIA 2003: 131-135
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNuno A. Fonseca, Vítor Santos Costa, Fernando M. A. Silva, Rui Camacho: Experimental Evaluation of a Caching Technique for ILP. EPIA 2003: 151-155
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVítor Santos Costa: Performance Issues in Prolog Applications. EPIA 2003: 8
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLInês de Castro Dutra, David Page, Vítor Santos Costa, Jude W. Shavlik, Michael Waddell: Toward Automatic Management of Embarrassingly Parallel Applications. Euro-Par 2003: 509-516
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRicardo Lopes, Vítor Santos Costa, Fernando M. A. Silva: On Deterministic Computations in the Extended Andorra Model. ICLP 2003: 407-421
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVítor Santos Costa, David Page, Maleeha Qazi, James Cussens: CLP(BN): Constraint Logic Programming for Probabilistic Knowledge. UAI 2003: 517-524
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRicardo Rocha, Fernando M. A. Silva, Vítor Santos Costa: On Applying Or-Parallelism and Tabling to Logic Programs CoRR cs.LO/0308007: (2003)
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVítor Santos Costa, Ashwin Srinivasan, Rui Camacho, Hendrik Blockeel, Bart Demoen, Gerda Janssens, Jan Struyf, Henk Vandecasteele, Wim Van Laer: Query Transformations for Improving the Efficiency of ILP Systems. Journal of Machine Learning Research 4: 465-491 (2003)
2002
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLInês de Castro Dutra, David Page, Vítor Santos Costa, Jude W. Shavlik: An Empirical Evaluation of Bagging in Inductive Logic Programming. ILP 2002: 48-65
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRicardo Rocha, Fernando M. A. Silva, Vítor Santos Costa: Achieving Scalability in Parallel Tabled Logic Programs. IPDPS 2002
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcelo Lobosco, Vítor Santos Costa, Claudio Luis de Amorim: Performance Evaluation of Fast Ethernet, Giganet, and Myrinet on a Cluster. International Conference on Computational Science (1) 2002: 296-305
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRicardo Lopes, Luís Fernando Castro, Vítor Santos Costa: From simulation to practice: cache performance study of a Prolog system. MSP/ISMM 2002: 56-64
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLT. Trevisan, Vítor Santos Costa, Lauro Whately, Claudio Luis de Amorim: Distributed Shared Memory in Kernel Mode. SBAC-PAD 2002: 159-168
2001
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuís Fernando Castro, Vítor Santos Costa: Understanding Memory Management in Prolog Systems. ICLP 2001: 11-26
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRicardo Rocha, Fernando M. A. Silva, Vítor Santos Costa: On a Tabling Engine That Can Exploit Or-Parallelism. ICLP 2001: 43-58
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRicardo Lopes, Vítor Santos Costa, Fernando M. A. Silva: A Novel Implementation of the Extended Andorra Model. PADL 2001: 199-213
2000
36no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnrico Pontelli, Vítor Santos Costa: Practical Aspects of Declarative Languages, Second International Workshop, PADL 2000, Boston, MA, USA, January 2000, Proceedings Springer 2000
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLInês de Castro Dutra, Vítor Santos Costa, Ricardo Bianchini: The Impact of Cache Coherence Protocols on Parallel Logic Programming Systems. Computational Logic 2000: 1285-1299
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVítor Santos Costa, Ricardo Rocha, Fernando M. A. Silva: Novel Models for Or-Parallel Logic Programs: A Performance Analysis. Euro-Par 2000: 744-753
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVítor Santos Costa, Ashwin Srinivasan, Rui Camacho: A Note on Two Simple Transformations for Improving the Efficiency of an ILP System. ILP 2000: 225-242
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVítor Santos Costa, Ricardo Bianchini, Inês de Castro Dutra: Parallel Logic Programming Systems on Scalable Architectures. J. Parallel Distrib. Comput. 60(7): 835-852 (2000)
31no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnrico Pontelli, Vítor Santos Costa: PADL '00: Workshop on Practical Aspects of Declarative Languages. SIGPLAN Notices 35(3): 16-17 (2000)
1999
30no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRicardo Lopes, Vítor Santos Costa: The BEAM: A first EAM Implementation. APPIA-GULP-PRODE 1999: 425-440
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRicardo Rocha, Fernando M. A. Silva, Vítor Santos Costa: YapOr: an Or-Parallel Prolog System Based on Environment Copying. EPIA 1999: 178-192
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuís Fernando Castro, Vítor Santos Costa, Cláudio F. R. Geyer, Fernando M. A. Silva, Patrícia Kayser Vargas, Manuel Eduardo Correia: DAOS - Scalable And-Or Parallelism. Euro-Par 1999: 899-908
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVítor Santos Costa: COWL: Copy-On-Write for Logic Programs. IPPS/SPDP 1999: 720-727
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcio G. Silva, Inês de Castro Dutra, Ricardo Bianchini, Vítor Santos Costa: The Influence of Architectural Parameters on the Performance of Parallel Logic Programming Systems. PADL 1999: 122-136
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRicardo Rocha, Fernando M. A. Silva, Vítor Santos Costa: Or-Parallelism within Tabling. PADL 1999: 137-151
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVítor Santos Costa: Optimising Bytecode Emulation for Prolog. PPDP 1999: 261-277
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLInês de Castro Dutra, Vítor Santos Costa, Gopal Gupta, Enrico Pontelli, Manuel Carro, Péter Kacsuk: Preface. Electr. Notes Theor. Comput. Sci. 30(3): 1-2 (1999)
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel Eduardo Correia, Vítor Santos Costa: IAP for dummies: The YAP Design. Electr. Notes Theor. Comput. Sci. 30(3): 106-121 (1999)
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKish Shen, Vítor Santos Costa, Andy King: Distance: A New Metric for Controlling Granularity for Parallel Execution. Journal of Functional and Logic Programming 1999(Special Issue 1): (1999)
1998
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVítor Santos Costa, Ricardo Bianchini: Optimising Parallel Logic Programming Systems for Scalable Machines. Euro-Par 1998: 830-841
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNuno A. Fonseca, Vítor Santos Costa, Inês de Castro Dutra: VisAll: A Universal Tool to Visualise Parallel Execution of Logic Programs. IJCSLP 1998: 100-114
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKish Shen, Vítor Santos Costa, Andy King: Distance: A New Metric for Controlling Granularity for Parallel Execution. IJCSLP 1998: 85-99
1997
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel Eduardo Correia, Fernando M. A. Silva, Vítor Santos Costa: The SBA: Exploiting Orthogonality in AND-OR Parallel Systems. ILPS 1997: 117-131
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVítor Santos Costa, Ricardo Bianchini, Inês de Castro Dutra: Evaluating parallel logic programming systems on scalable multiprocessors. PASCO 1997: 58-67
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVítor Santos Costa, Ricardo Bianchini, Inês de Castro Dutra: Evaluating the impact of coherence protocols on parallel logic programming systems. PDP 1997: 376-381
1996
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGopal Gupta, Vítor Santos Costa: Cuts and Side-Effects in And-Or Parallel Prolog. J. Log. Program. 27(1): 45-71 (1996)
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVítor Santos Costa, David H. D. Warren, Rong Yang: Andorra-I Compilation. New Generation Comput. 14(1): 3-30 (1996)
1995
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGopal Gupta, Vítor Santos Costa, Enrico Pontelli: Shared Paged Binding Array: A Universal Datastructure for Parallel Logic Programming. ICLP 1995: 824
1994
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGopal Gupta, Manuel V. Hermenegildo, Enrico Pontelli, Vítor Santos Costa: ACE: And/Or-parallel Copying-based Execution of Logic Programs. ICLP 1994: 93-109
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVítor Santos Costa, Manuel Eduardo Correia, Fernando M. A. Silva: Aurora, Andorra-I and Friends on the Sun. Workshop on Design and Impl. of Parallel Logic Programming Systems 1994: 32-41
1993
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRong Yang, Tony Beaumont, Inês de Castro Dutra, Vítor Santos Costa, David H. D. Warren: Performance of the Compiler-Based Andorra-I System. ICLP 1993: 150-166
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGopal Gupta, Manuel V. Hermenegildo, Vítor Santos Costa: And-Or Parallel Prolog: A Recomputation Based Approach. New Generation Comput. 11(3): 297-321 (1993)
1992
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGopal Gupta, Manuel V. Hermenegildo, Vítor Santos Costa: Generalized Stack-copying for And-Or Parallel Execution of Full Prolog. IJCSLP Workshop on Concurrent and Parallel Implementations 1992: 0-
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGopal Gupta, Vítor Santos Costa: And-Or Parallelism in Full Prolog with Paged Binding Arrays. PARLE 1992: 617-632
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGopal Gupta, Vítor Santos Costa: Complete and Efficient Methods for Supporting Side-Effects and Cuts in And-Or Parallel Prolog. SPDP 1992: 288-295
1991
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVítor Santos Costa, David H. D. Warren, Rong Yang: The Andorra-I Preprocessor: Supporting Full Prolog on the Basic Andorra Model. ICLP 1991: 443-456
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVítor Santos Costa, David H. D. Warren, Rong Yang: The Andorra-I Engine: A Parallel Implementation of the Basic Andorra Model. ICLP 1991: 825-839
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGopal Gupta, Vítor Santos Costa, Rong Yang, Manuel V. Hermenegildo: IDIOM: Integrating Dependent And-, Independent And-, and Or-parallelism. ISLP 1991: 152-166
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVítor Santos Costa, David H. D. Warren, Rong Yang: Andorra-I: A Parallel Prolog System that Transparently Exploits both And- and Or-Parallelism. PPOPP 1991: 83-93

Coauthor Index

1Salvador Abreu [115]
2Umut A. Acar [123]
3Tiago A. O. Alves [114] [116]
4Claudio Luis de Amorim [40] [42]
5Tony Beaumont [9]
6Juliana S. Bernardes [77] [78]
7Ricardo Bianchini [15] [16] [20] [26] [32] [35]
8Hendrik Blockeel [45]
9Héctor Corrada Bravo [61]
10Pavel Brazdil [103]
11Rui M. M. Brito [102] [113] [120]
12Elizabeth S. Burnside [63] [66] [82]
13Rui Camacho [33] [45] [51] [55] [69] [80] [86] [88] [94] [95] [96] [97] [102] [109] [110] [113] [120]
14Manuel Carro [23]
15Luís Fernando Castro [28] [39] [41]
16Manuel Eduardo Correia [10] [17] [22] [28]
17James Cussens [47] [89]
18Luís Damas [117]
19Alberto M. R. Dávila [77] [78]
20Jesse Davis [63] [66] [82] [83]
21Bart Demoen [45] [91] [92] [107] [112]
22Inês de Castro Dutra [9] [15] [16] [19] [23] [26] [32] [35] [44] [49] [63] [66] [68] [70] [104] [106]
23Carlos Abreu Ferreira [90] [101] [121] [122]
24Michel Ferreira [99] [111]
25Rita Ferreira [109]
26Nuno A. Fonseca [19] [51] [55] [67] [69] [80] [86] [88] [94] [95] [96] [97] [102] [109] [110] [113] [120]
27Felipe Maia Galvão França (Felipe M. G. França) [76] [87] [114] [116]
28João Gama (Joao Gama) [90] [101] [103] [121] [122]
29Cláudio Fernando Resin Geyer (Cláudio F. R. Geyer) [28] [70]
30Carlos Adriano Gonçalves [113]
31Vânia Guimarães [109]
32Gopal Gupta [2] [5] [6] [7] [8] [11] [12] [14] [23]
33Manuel V. Hermenegildo [2] [7] [8] [11]
34Gerda Janssens [45]
35Alípio Mário Jorge (Alípio Jorge) [103]
36Péter Kacsuk [23]
37Angelika Kimmig [92] [107] [112]
38Andy King [18] [21]
39Wim Van Laer [45]
40Marcelo Lobosco [42]
41Ricardo Lopes [30] [37] [41] [48] [52] [53] [54] [60] [64] [85] [118]
42Alexandre Magalhães [109]
43Leandro A. J. Marzulo [76] [87] [114] [116]
44Stephen Muggleton [98]
45Irene M. Ong [68] [73] [82]
46Aline Paes [62] [75] [81] [98]
47C. David Page Jr. (David Page) [44] [47] [49] [61] [63] [66] [68] [73] [82] [83] [89]
48Max Pereira [96] [102] [110] [113] [120]
49Enrico Pontelli [11] [12] [23] [31] [36]
50Maleeha Qazi [47]
51Luc De Raedt [92] [107] [112]
52Raghu Ramakrishnan [61] [63]
53Soumya Ray [83]
54Kate Revoredo [62] [75]
55Ricardo Rocha (Ricardo Jorge Gomes Lopes da Rocha) [25] [29] [34] [38] [43] [46] [56] [57] [58] [64] [65] [67] [80] [86] [92] [95] [104] [106] [107] [112] [117]
56Natacha Rosa [109]
57Konstantinos F. Sagonas [85]
58J. A. L. Sanches [70]
59Tom Schrijvers [91]
60Jude W. Shavlik [44] [49] [61] [63]
61Kish Shen [18] [21]
62Anderson Faustino da Silva [59] [71] [72] [74] [84]
63Fernando M. A. Silva [10] [17] [25] [28] [29] [34] [37] [38] [43] [46] [48] [51] [52] [53] [54] [55] [56] [57] [58] [64] [65] [69] [95] [118]
64Marcio G. Silva [26]
65Carlos J. V. Simões [102] [113] [120]
66Miguel de Sousa [109]
67Ashwin Srinivasan [33] [45]
68Jan Struyf [45] [82]
69Scott E. Topper [73]
70T. Trevisan [40]
71Henk Vandecasteele [45]
72Patrícia Kayser Vargas [28] [70]
73David Vaz [99] [111]
74Cristina Vieira [97]
75Jorge Vieira [97]
76Michael Waddell [49]
77David H. D. Warren [1] [3] [4] [9] [13]
78Lauro Whately [40]
79Jan Wielemaker [91] [105] [119]
80Rong Yang [1] [2] [3] [4] [9] [13]
81Gerson Zaverucha [62] [75] [77] [78] [81] [98]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page