Vítor Santos Costa

Rui Camacho, Rita Ferreira, Natacha Rosa, Vânia Guimarães, Nuno A. Fonseca, Vítor Santos Costa, Miguel de Sousa, Alexandre Magalhães: Predicting the secondary structure of proteins using machine learning algorithms. IJDMB 6(6): 571-584 (2012)

Vítor Santos Costa, Ricardo Rocha, Luís Damas: The YAP Prolog system. TPLP 12(1-2): 5-34 (2012)

Ricardo Lopes, Vítor Santos Costa, Fernando M. A. Silva: A design and implementation of the Extended Andorra Model. TPLP 12(3): 319-360 (2012)

Agostino Dovier, Vítor Santos Costa: Introduction to the 28th international conference on logic programming special issue. TPLP 12(4-5): 421-426 (2012)

David Page, Vítor Santos Costa, Sriraam Natarajan, Aubrey Barnard, Peggy L. Peissig, Michael Caldwell: Identifying Adverse Drug Events by Relational Learning. AAAI 2012

Carlos Abreu Ferreira, João Gama, Vítor Santos Costa, Vladimiro Miranda, Audun Botterud: Predicting Ramp Events with a Stream-Based HMM Framework. Discovery Science 2012: 224-238

Agostino Dovier, Vítor Santos Costa: Introduction to the Technical Communications of the 28th International Conference on Logic Programming Special Issue. ICLP (Technical Communications) 2012

Kendrick Boyd, Jesse Davis, David Page, Vítor Santos Costa: Unachievable Region in Precision-Recall Space and Its Effect on Empirical Evaluation. ICML 2012

Jesse Davis, Vítor Santos Costa, Elizabeth Berg, David Page, Peggy L. Peissig, Michael Caldwell: Demand-Driven Clustering in Relational Domains for Predicting Adverse Drug Events. ICML 2012

Carlos Abreu Ferreira, João Gama, Vítor Santos Costa: Predictive Sequence Miner in ILP Learning. ILP 2012: 130-144

Nuno A. Fonseca, Vítor Santos Costa, Rui Camacho: Conceptual Clustering of Multi-Relational Data. ILP 2012: 145-159

Inês de Castro Dutra, Ricardo Rocha, Vítor Santos Costa, Fernando M. A. Silva, João Santos: Scheduling OR-parallelism in YapOr and ThOr on Multi-Core Machines. IPDPS Workshops 2012: 1581-1590

Houssam Nassif, Vítor Santos Costa, Elizabeth S. Burnside, David Page: Relational Differential Prediction. ECML/PKDD (1) 2012: 617-632

Agostino Dovier, Vítor Santos Costa (Eds.): Technical Communications of the 28th International Conference on Logic Programming, ICLP 2012, September 4-8, 2012, Budapest, Hungary. LIPIcs 17, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2012, isbn 978-3-939897-43-9

Umut A. Acar, Vítor Santos Costa (Eds.): Proceedings of the POPL 2012 Workshop on Declarative Aspects of Multicore Programming, DAMP 2012, Philadelphia, PA, USA, Saturday, January 28, 2012. ACM 2012, isbn 978-1-4503-1117-5

Kendrick Boyd, Vítor Santos Costa, Jesse Davis, David Page: Unachievable Region in Precision-Recall Space and Its Effect on Empirical Evaluation. CoRR abs/1206.4667 (2012)

Agostino Dovier, Vítor Santos Costa: Introduction to the 28th International Conference on Logic Programming Special Issue. CoRR abs/1210.3937 (2012)

Vítor Santos Costa, David Page, Maleeha Qazi, James Cussens: CLP(BN): Constraint Logic Programming for Probabilistic Knowledge. CoRR abs/1212.2519 (2012)

Tiago 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)

Rui 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)

Angelika 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)

Carlos Abreu Ferreira, João Gama, Vítor Santos Costa: Constrained Sequential Pattern Knowledge in Multi-relational Learning. EPIA 2011: 282-296

Carlos Abreu Ferreira, João Gama, Vítor Santos Costa: Sequential Pattern Knowledge in Multi-Relational Learning. ISCIS 2011: 539-545

Rui 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

Jan Wielemaker, Vítor Santos Costa: On the Portability of Prolog Applications. PADL 2011: 69-83

Ricardo Lopes, Vítor Santos Costa, Fernando M. A. Silva: A Design and Implementation of the Extended Andorra Model. CoRR abs/1101.6029 (2011)

Vítor Santos Costa, Luís Damas, Ricardo Rocha: The YAP Prolog System. CoRR abs/1102.3896 (2011)

Leandro 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)

Salvador Abreu, Vítor Santos Costa: Online Proceedings of the 11th . CoRR abs/1112.4993 (2011)

Vítor Santos Costa, Inês de Castro Dutra, Ricardo Rocha: Threads and or-parallelism unified. TPLP 10(4-6): 417-432 (2010)

Nuno A. Fonseca, Max Pereira, Vítor Santos Costa, Rui Camacho: Interactive Discriminative Mining of Chemical Fragments. ILP 2010: 59-66

David Vaz, Vítor Santos Costa, Michel Ferreira: Fire! Firing Inductive Rules from Economic Geography for Fire Risk Detection. ILP 2010: 238-252

Rui 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

Vítor Santos Costa: On the Implementation of the CLP(BN\mathcal BN) Language. PADL 2010: 234-248

Angelika 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)

Vítor Santos Costa, Inês de Castro Dutra, Ricardo Rocha: Threads and Or-Parallelism Unified. CoRR abs/1007.4438 (2010)

Jan Wielemaker, Vítor Santos Costa: Portability of Prolog programs: theory and case-studies. CoRR abs/1009.3796 (2010)

Nuno 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)

Carlos Abreu Ferreira, João Gama, Vítor Santos Costa: Sequential Pattern Mining in Multi-relational Datasets. CAEPIA 2009: 121-130

Vítor Santos Costa: On Just in Time Indexing of Dynamic Predicates in Prolog. EPIA 2009: 126-137

David Vaz, Vítor Santos Costa, Michel Ferreira: User Defined Indexing. ICLP 2009: 372-386

Stephen 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

Nuno 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

Max 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

Max 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

João Gama, Vítor Santos Costa, Alípio Mário Jorge, Pavel Brazdil (Eds.): Discovery Science, 12th International Conference, DS 2009, Porto, Portugal, October 3-5, 2009. Lecture Notes in Computer Science 5808, Springer 2009, isbn 978-3-642-04746-6

Nuno 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)

Vítor Santos Costa, Nuno A. Fonseca, Rui Camacho: LogCHEM: Interactive Discriminative Mining of Chemical Structure. BIBM 2008: 421-426

Vítor Santos Costa: The Life of a Logic Programming System. ICLP 2008: 1-6

Angelika Kimmig, Vítor Santos Costa, Ricardo Rocha, Bart Demoen, Luc De Raedt: On the Efficient Execution of ProbLog Programs. ICLP 2008: 175-189

Tom Schrijvers, Vítor Santos Costa, Jan Wielemaker, Bart Demoen: Towards Typed Prolog. ICLP 2008: 693-697

Carlos 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

Vítor Santos Costa, David Page, James Cussens: CLP(BN): Constraint Logic Programming for Probabilistic Knowledge. Probabilistic Inductive Logic Programming 2008: 156-188

Nuno A. Fonseca, Vítor Santos Costa, Rui Camacho: k-RNN: k-relational nearest neighbour algorithm. SAC 2008: 944-948

Leandro 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

Juliana 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)

Vítor Santos Costa, Konstantinos F. Sagonas, Ricardo Lopes: Demand-Driven Indexing of Prolog Clauses. ICLP 2007: 395-409

Anderson Faustino da Silva, Vítor Santos Costa: Design, Implementation, and Evaluation of a Dynamic Compilation Framework for the YAP System. ICLP 2007: 410-424

Jesse 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

Jesse 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

Rui Camacho, Nuno A. Fonseca, Ricardo Rocha, Vítor Santos Costa: ILP : - Just Trie It. ILP 2007: 78-87

Aline Paes, Gerson Zaverucha, Vítor Santos Costa: Revising First-Order Logic Theories from Examples Through Stochastic Local Search. ILP 2007: 200-210

Vítor Santos Costa: Prolog Performance on Larger Datasets. PADL 2007: 185-199

Juliana 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)

Leandro 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)

Anderson 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)

Anderson 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)

Aline Paes, Kate Revoredo, Gerson Zaverucha, Vítor Santos Costa: PFORTE: Revising Probabilistic FOL Theories. IBERAMIA-SBIA 2006: 441-450

Anderson 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

Irene 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

Anderson Faustino da Silva, Vítor Santos Costa: An Experimental Evaluation of JAVA JIT Technology. J. UCS 11(7): 1291-1309 (2005)

Ricardo 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)

J. 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

Nuno A. Fonseca, Fernando M. A. Silva, Vítor Santos Costa, Rui Camacho: A pipelined data-parallel algorithm for ILP. CLUSTER 2005: 1-10

Jesse 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

Irene M. Ong, Inês de Castro Dutra, David Page, Vítor Santos Costa: Mode Directed Path Finding. ECML 2005: 673-681

Ricardo Rocha, Nuno A. Fonseca, Vítor Santos Costa: On Applying Tabling to Inductive Logic Programming. ECML 2005: 707-714

Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa: Dynamic Mixed-Strategy Evaluation of Tabled Logic Programs. ICLP 2005: 250-264

Ricardo 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

Jesse 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

Hé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

Aline Paes, Kate Revoredo, Gerson Zaverucha, Vítor Santos Costa: Probabilistic First-Order Theory Revision from Examples. ILP 2005: 295-311

Ricardo Lopes, Vítor Santos Costa: Improving Memory Usage in the BEAM. PADL 2005: 143-157

Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa: Concurrent Table Accesses in Parallel Tabled Logic Programs. Euro-Par 2004: 662-670

Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa: Speculative Computations in Or-Parallel Tabled Logic Programs. ICLP 2004: 254-268

Nuno A. Fonseca, Vítor Santos Costa, Fernando M. A. Silva, Rui Camacho: On Avoiding Redundancy in Inductive Logic Programming. ILP 2004: 132-146

Ricardo Lopes, Vítor Santos Costa, Fernando M. A. Silva: Pruning in the Extended Andorra Model. PADL 2004: 120-134

Ricardo 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

Ví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)

Vítor Santos Costa: Performance Issues in Prolog Applications. EPIA 2003: 8

Ricardo Lopes, Vítor Santos Costa, Fernando M. A. Silva: On the BEAM Implementation. EPIA 2003: 131-135

Nuno A. Fonseca, Vítor Santos Costa, Fernando M. A. Silva, Rui Camacho: Experimental Evaluation of a Caching Technique for ILP. EPIA 2003: 151-155

Inê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

Ricardo Lopes, Vítor Santos Costa, Fernando M. A. Silva: On Deterministic Computations in the Extended Andorra Model. ICLP 2003: 407-421

Vítor Santos Costa, David Page, Maleeha Qazi, James Cussens: CLP(BN): Constraint Logic Programming for Probabilistic Knowledge. UAI 2003: 517-524

Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa: On Applying Or-Parallelism and Tabling to Logic Programs. CoRR cs.LO/0308007 (2003)

Marcelo 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

Inê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

Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa: Achieving Scalability in Parallel Tabled Logic Programs. IPDPS 2002

Ricardo 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

T. Trevisan, Vítor Santos Costa, Lauro Whately, Claudio Luis de Amorim: Distributed Shared Memory in Kernel Mode. SBAC-PAD 2002: 159-168

Luís Fernando Castro, Vítor Santos Costa: Understanding Memory Management in Prolog Systems. ICLP 2001: 11-26

Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa: On a Tabling Engine That Can Exploit Or-Parallelism. ICLP 2001: 43-58

Ricardo Lopes, Vítor Santos Costa, Fernando M. A. Silva: A Novel Implementation of the Extended Andorra Model. PADL 2001: 199-213

Ví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)

Enrico Pontelli, Vítor Santos Costa: PADL '00: Workshop on Practical Aspects of Declarative Languages. SIGPLAN Notices 35(3): 16-17 (2000)

Inê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

Vítor Santos Costa, Ricardo Rocha, Fernando M. A. Silva: Novel Models for Or-Parallel Logic Programs: A Performance Analysis. Euro-Par 2000: 744-753

Ví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

Enrico Pontelli, Vítor Santos Costa (Eds.): Practical Aspects of Declarative Languages, Second International Workshop, PADL 2000, Boston, MA, USA, January 2000, Proceedings. Lecture Notes in Computer Science 1753, Springer 2000, isbn 3-540-66992-2

Kish 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)

Inê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)

Manuel Eduardo Correia, Vítor Santos Costa: IAP for dummies: The YAP Design. Electr. Notes Theor. Comput. Sci. 30(3): 106-121 (1999)

Ricardo Lopes, Vítor Santos Costa: The BEAM: A first EAM Implementation. APPIA-GULP-PRODE 1999: 425-440

Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa: YapOr: an Or-Parallel Prolog System Based on Environment Copying. EPIA 1999: 178-192

Luí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

Vítor Santos Costa: COWL: Copy-On-Write for Logic Programs. IPPS/SPDP 1999: 720-727

Marcio 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

Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa: Or-Parallelism within Tabling. PADL 1999: 137-151

Vítor Santos Costa: Optimising Bytecode Emulation for Prolog. PPDP 1999: 261-277

Vítor Santos Costa, Ricardo Bianchini: Optimising Parallel Logic Programming Systems for Scalable Machines. Euro-Par 1998: 830-841

Kish Shen, Vítor Santos Costa, Andy King: Distance: A New Metric for Controlling Granularity for Parallel Execution. IJCSLP 1998: 85-99

Nuno 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

Vítor Santos Costa, Ricardo Bianchini, Inês de Castro Dutra: Evaluating parallel logic programming systems on scalable multiprocessors. PASCO 1997: 58-67

Ví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

Manuel Eduardo Correia, Fernando M. A. Silva, Vítor Santos Costa: The SBA: Exploiting Orthogonality in AND-OR Parallel Systems. ILPS 1997: 117-131

Gopal Gupta, Vítor Santos Costa: Cuts and Side-Effects in And-Or Parallel Prolog. J. Log. Program. 27(1): 45-71 (1996)

Vítor Santos Costa, David H. D. Warren, Rong Yang: Andorra-I Compilation. New Generation Comput. 14(1): 3-30 (1996)

Gopal Gupta, Vítor Santos Costa, Enrico Pontelli: Shared Paged Binding Array: A Universal Datastructure for Parallel Logic Programming. ICLP 1995: 824

Gopal Gupta, Manuel V. Hermenegildo, Enrico Pontelli, Vítor Santos Costa: ACE: And/Or-parallel Copying-based Execution of Logic Programs. ICLP 1994: 93-109

Ví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

Gopal Gupta, Manuel V. Hermenegildo, Vítor Santos Costa: And-Or Parallel Prolog: A Recomputation Based Approach. New Generation Comput. 11(3): 297-321 (1993)

Rong 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

Gopal 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-

Gopal Gupta, Vítor Santos Costa: And-Or Parallelism in Full Prolog with Paged Binding Arrays. PARLE 1992: 617-632

Gopal Gupta, Vítor Santos Costa: Complete and Efficient Methods for Supporting Side-Effects and Cuts in And-Or Parallel Prolog. SPDP 1992: 288-295

Ví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

Ví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

Ví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

Gopal Gupta, Vítor Santos Costa, Rong Yang, Manuel V. Hermenegildo: IDIOM: Integrating Dependent And-, Independent And-, and Or-parallelism. ISLP 1991: 152-166