The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Vítor Santos Costa: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Ricardo Lopes, Vítor Santos Costa
    The BEAM: A first EAM Implementation. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1999, pp:425-440 [Conf]
  2. 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. [Citation Graph (0, 0)][DBLP]
    CCGRID, 2005, pp:718-725 [Conf]
  3. Inês de Castro Dutra, Vítor Santos Costa, Ricardo Bianchini
    The Impact of Cache Coherence Protocols on Parallel Logic Programming Systems. [Citation Graph (0, 0)][DBLP]
    Computational Logic, 2000, pp:1285-1299 [Conf]
  4. 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. [Citation Graph (0, 0)][DBLP]
    ECML, 2005, pp:84-95 [Conf]
  5. Irene M. Ong, Inês de Castro Dutra, David Page, Vítor Santos Costa
    Mode Directed Path Finding. [Citation Graph (0, 0)][DBLP]
    ECML, 2005, pp:673-681 [Conf]
  6. Ricardo Rocha, Nuno Fonseca, Vítor Santos Costa
    On Applying Tabling to Inductive Logic Programming. [Citation Graph (0, 0)][DBLP]
    ECML, 2005, pp:707-714 [Conf]
  7. Nuno Fonseca, Vítor Santos Costa, Fernando M. A. Silva, Rui Camacho
    Experimental Evaluation of a Caching Technique for ILP. [Citation Graph (0, 0)][DBLP]
    EPIA, 2003, pp:151-155 [Conf]
  8. Vítor Santos Costa
    Performance Issues in Prolog Applications. [Citation Graph (0, 0)][DBLP]
    EPIA, 2003, pp:8- [Conf]
  9. Ricardo Lopes, Vítor Santos Costa, Fernando M. A. Silva
    On the BEAM Implementation. [Citation Graph (0, 0)][DBLP]
    EPIA, 2003, pp:131-135 [Conf]
  10. Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa
    YapOr: an Or-Parallel Prolog System Based on Environment Copying. [Citation Graph (0, 0)][DBLP]
    EPIA, 1999, pp:178-192 [Conf]
  11. 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. [Citation Graph (0, 0)][DBLP]
    Euro-Par, 1999, pp:899-908 [Conf]
  12. Vítor Santos Costa, Ricardo Bianchini
    Optimising Parallel Logic Programming Systems for Scalable Machines. [Citation Graph (0, 0)][DBLP]
    Euro-Par, 1998, pp:830-841 [Conf]
  13. Vítor Santos Costa, Ricardo Rocha, Fernando M. A. Silva
    Novel Models for Or-Parallel Logic Programs: A Performance Analysis. [Citation Graph (0, 0)][DBLP]
    Euro-Par, 2000, pp:744-753 [Conf]
  14. Inês de Castro Dutra, David Page, Vítor Santos Costa, Jude W. Shavlik, Michael Waddell
    Toward Automatic Management of Embarrassingly Parallel Applications. [Citation Graph (0, 0)][DBLP]
    Euro-Par, 2003, pp:509-516 [Conf]
  15. Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa
    Concurrent Table Accesses in Parallel Tabled Logic Programs. [Citation Graph (0, 0)][DBLP]
    Euro-Par, 2004, pp:662-670 [Conf]
  16. Aline Paes, Kate Revoredo, Gerson Zaverucha, Vítor Santos Costa
    PFORTE: Revising Probabilistic FOL Theories. [Citation Graph (0, 0)][DBLP]
    IBERAMIA-SBIA, 2006, pp:441-450 [Conf]
  17. Marcelo Lobosco, Vítor Santos Costa, Claudio Luis de Amorim
    Performance Evaluation of Fast Ethernet, Giganet, and Myrinet on a Cluster. [Citation Graph (0, 0)][DBLP]
    International Conference on Computational Science (1), 2002, pp:296-305 [Conf]
  18. Luís Fernando Castro, Vítor Santos Costa
    Understanding Memory Management in Prolog Systems. [Citation Graph (0, 0)][DBLP]
    ICLP, 2001, pp:11-26 [Conf]
  19. Vítor Santos Costa, David H. D. Warren, Rong Yang
    The Andorra-I Preprocessor: Supporting Full Prolog on the Basic Andorra Model. [Citation Graph (0, 0)][DBLP]
    ICLP, 1991, pp:443-456 [Conf]
  20. Vítor Santos Costa, David H. D. Warren, Rong Yang
    The Andorra-I Engine: A Parallel Implementation of the Basic Andorra Model. [Citation Graph (0, 0)][DBLP]
    ICLP, 1991, pp:825-839 [Conf]
  21. Nuno Fonseca, Vítor Santos Costa, Inês de Castro Dutra
    VisAll: A Universal Tool to Visualise Parallel Execution of Logic Programs. [Citation Graph (0, 0)][DBLP]
    IJCSLP, 1998, pp:100-114 [Conf]
  22. Gopal Gupta, Vítor Santos Costa, Enrico Pontelli
    Shared Paged Binding Array: A Universal Datastructure for Parallel Logic Programming. [Citation Graph (0, 0)][DBLP]
    ICLP, 1995, pp:824- [Conf]
  23. Gopal Gupta, Manuel V. Hermenegildo, Vítor Santos Costa
    Generalized Stack-copying for And-Or Parallel Execution of Full Prolog. [Citation Graph (0, 0)][DBLP]
    IJCSLP Workshop on Concurrent and Parallel Implementations, 1992, pp:0-0 [Conf]
  24. Gopal Gupta, Manuel V. Hermenegildo, Enrico Pontelli, Vítor Santos Costa
    ACE: And/Or-parallel Copying-based Execution of Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 1994, pp:93-109 [Conf]
  25. Ricardo Lopes, Vítor Santos Costa, Fernando M. A. Silva
    On Deterministic Computations in the Extended Andorra Model. [Citation Graph (0, 0)][DBLP]
    ICLP, 2003, pp:407-421 [Conf]
  26. Ricardo Rocha, Ricardo Lopes, Fernando M. A. Silva, Vítor Santos Costa
    IMPACT: Innovative Models for Prolog with Advanced Control and Tabling. [Citation Graph (0, 0)][DBLP]
    ICLP, 2005, pp:416-417 [Conf]
  27. Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa
    On a Tabling Engine That Can Exploit Or-Parallelism. [Citation Graph (0, 0)][DBLP]
    ICLP, 2001, pp:43-58 [Conf]
  28. Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa
    Speculative Computations in Or-Parallel Tabled Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 2004, pp:254-268 [Conf]
  29. Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa
    Dynamic Mixed-Strategy Evaluation of Tabled Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 2005, pp:250-264 [Conf]
  30. Kish Shen, Vítor Santos Costa, Andy King
    Distance: A New Metric for Controlling Granularity for Parallel Execution. [Citation Graph (0, 0)][DBLP]
    IJCSLP, 1998, pp:85-99 [Conf]
  31. Anderson Faustino da Silva, Vítor Santos Costa
    The Design and Implementation of the YAP Compiler: An Optimizing Compiler for Logic Programming Languages. [Citation Graph (0, 0)][DBLP]
    ICLP, 2006, pp:461-462 [Conf]
  32. 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. [Citation Graph (0, 0)][DBLP]
    ICLP, 1993, pp:150-166 [Conf]
  33. 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. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2005, pp:677-683 [Conf]
  34. Jesse Davis, Irene M. Ong, Jan Struyf, Elizabeth S. Burnside, David Page, Vítor Santos Costa
    Change of Representation for Statistical Relational Learning. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2007, pp:2719-2726 [Conf]
  35. Nuno Fonseca, Vítor Santos Costa, Fernando M. A. Silva, Rui Camacho
    On Avoiding Redundancy in Inductive Logic Programming. [Citation Graph (0, 0)][DBLP]
    ILP, 2004, pp:132-146 [Conf]
  36. 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. [Citation Graph (0, 0)][DBLP]
    ILP, 2005, pp:69-86 [Conf]
  37. Vítor Santos Costa, Ashwin Srinivasan, Rui Camacho
    A Note on Two Simple Transformations for Improving the Efficiency of an ILP System. [Citation Graph (0, 0)][DBLP]
    ILP, 2000, pp:225-242 [Conf]
  38. Inês de Castro Dutra, David Page, Vítor Santos Costa, Jude W. Shavlik
    An Empirical Evaluation of Bagging in Inductive Logic Programming. [Citation Graph (0, 0)][DBLP]
    ILP, 2002, pp:48-65 [Conf]
  39. Aline Paes, Kate Revoredo, Gerson Zaverucha, Vítor Santos Costa
    Probabilistic First-Order Theory Revision from Examples. [Citation Graph (0, 0)][DBLP]
    ILP, 2005, pp:295-311 [Conf]
  40. Vítor Santos Costa
    COWL: Copy-On-Write for Logic Programs. [Citation Graph (0, 0)][DBLP]
    IPPS/SPDP, 1999, pp:720-727 [Conf]
  41. Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa
    Achieving Scalability in Parallel Tabled Logic Programs. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2002, pp:- [Conf]
  42. Ricardo Lopes, Luís Fernando Castro, Vítor Santos Costa
    From simulation to practice: cache performance study of a Prolog system. [Citation Graph (0, 0)][DBLP]
    MSP/ISMM, 2002, pp:56-64 [Conf]
  43. Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa
    Or-Parallelism within Tabling. [Citation Graph (0, 0)][DBLP]
    PADL, 1999, pp:137-151 [Conf]
  44. Ricardo Lopes, Vítor Santos Costa
    Improving Memory Usage in the BEAM. [Citation Graph (0, 0)][DBLP]
    PADL, 2005, pp:143-157 [Conf]
  45. Ricardo Lopes, Vítor Santos Costa, Fernando M. A. Silva
    A Novel Implementation of the Extended Andorra Model. [Citation Graph (0, 0)][DBLP]
    PADL, 2001, pp:199-213 [Conf]
  46. Ricardo Lopes, Vítor Santos Costa, Fernando M. A. Silva
    Pruning in the Extended Andorra Model. [Citation Graph (0, 0)][DBLP]
    PADL, 2004, pp:120-134 [Conf]
  47. 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. [Citation Graph (0, 0)][DBLP]
    PADL, 1999, pp:122-136 [Conf]
  48. Vítor Santos Costa
    Prolog Performance on Larger Datasets. [Citation Graph (0, 0)][DBLP]
    PADL, 2007, pp:185-199 [Conf]
  49. Gopal Gupta, Vítor Santos Costa
    And-Or Parallelism in Full Prolog with Paged Binding Arrays. [Citation Graph (0, 0)][DBLP]
    PARLE, 1992, pp:617-632 [Conf]
  50. Ricardo Lopes, Vítor Santos Costa, Fernando M. A. Silva
    Exploiting parallelism in the extended andorra model. [Citation Graph (0, 0)][DBLP]
    Parallel and Distributed Computing and Networks, 2004, pp:483-489 [Conf]
  51. Vítor Santos Costa
    Optimising Bytecode Emulation for Prolog. [Citation Graph (0, 0)][DBLP]
    PPDP, 1999, pp:261-277 [Conf]
  52. Vítor Santos Costa, David H. D. Warren, Rong Yang
    Andorra-I: A Parallel Prolog System that Transparently Exploits both And- and Or-Parallelism. [Citation Graph (0, 0)][DBLP]
    PPOPP, 1991, pp:83-93 [Conf]
  53. T. Trevisan, Vítor Santos Costa, L. Whately, Claudio Luis de Amorim
    Distributed Shared Memory in Kernel Mode. [Citation Graph (0, 0)][DBLP]
    SBAC-PAD, 2002, pp:159-168 [Conf]
  54. Manuel Eduardo Correia, Fernando M. A. Silva, Vítor Santos Costa
    The SBA: Exploiting Orthogonality in AND-OR Parallel Systems. [Citation Graph (0, 0)][DBLP]
    ILPS, 1997, pp:117-131 [Conf]
  55. Vítor Santos Costa, Manuel Eduardo Correia, Fernando M. A. Silva
    Aurora, Andorra-I and Friends on the Sun. [Citation Graph (0, 0)][DBLP]
    Workshop on Design and Impl. of Parallel Logic Programming Systems, 1994, pp:32-41 [Conf]
  56. Gopal Gupta, Vítor Santos Costa, Rong Yang, Manuel V. Hermenegildo
    IDIOM: Integrating Dependent And-, Independent And-, and Or-parallelism. [Citation Graph (0, 0)][DBLP]
    ISLP, 1991, pp:152-166 [Conf]
  57. Gopal Gupta, Vítor Santos Costa
    Complete and Efficient Methods for Supporting Side-Effects and Cuts in And-Or Parallel Prolog. [Citation Graph (0, 0)][DBLP]
    SPDP, 1992, pp:288-295 [Conf]
  58. Vítor Santos Costa, David Page, Maleeha Qazi, James Cussens
    CLP(BN): Constraint Logic Programming for Probabilistic Knowledge. [Citation Graph (0, 0)][DBLP]
    UAI, 2003, pp:517-524 [Conf]
  59. Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa
    On Applying Or-Parallelism and Tabling to Logic Programs [Citation Graph (0, 0)][DBLP]
    CoRR, 2003, v:0, n:, pp:- [Journal]
  60. Kish Shen, Vítor Santos Costa, Andy King
    Distance: A New Metric for Controlling Granularity for Parallel Execution. [Citation Graph (0, 0)][DBLP]
    Journal of Functional and Logic Programming, 1999, v:1999, n:Special Issue 1, pp:- [Journal]
  61. Gopal Gupta, Vítor Santos Costa
    Cuts and Side-Effects in And-Or Parallel Prolog. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1996, v:27, n:1, pp:45-71 [Journal]
  62. 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. [Citation Graph (0, 0)][DBLP]
    Journal of Machine Learning Research, 2003, v:4, n:, pp:465-491 [Journal]
  63. Vítor Santos Costa, Ricardo Bianchini, Inês de Castro Dutra
    Parallel Logic Programming Systems on Scalable Architectures. [Citation Graph (0, 0)][DBLP]
    J. Parallel Distrib. Comput., 2000, v:60, n:7, pp:835-852 [Journal]
  64. Anderson Faustino da Silva, Vítor Santos Costa
    An Experimental Evaluation of JAVA JIT Technology. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2005, v:11, n:7, pp:1291-1309 [Journal]
  65. Anderson Faustino da Silva, Vítor Santos Costa
    The Design of the YAP Compiler: An Optimizing Compiler for Logic Programming Languages. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2006, v:12, n:7, pp:764-787 [Journal]
  66. Anderson Faustino da Silva, Vítor Santos Costa
    Our Experiences with Optimizations in Sun's Java Just-In-Time Compilers. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2006, v:12, n:7, pp:788-810 [Journal]
  67. Gopal Gupta, Manuel V. Hermenegildo, Vítor Santos Costa
    And-Or Parallel Prolog: A Recomputation Based Approach. [Citation Graph (0, 0)][DBLP]
    New Generation Comput., 1993, v:11, n:3, pp:297-321 [Journal]
  68. Vítor Santos Costa, David H. D. Warren, Rong Yang
    Andorra-I Compilation. [Citation Graph (0, 0)][DBLP]
    New Generation Comput., 1996, v:14, n:1, pp:3-30 [Journal]
  69. Enrico Pontelli, Vítor Santos Costa
    PADL '00: Workshop on Practical Aspects of Declarative Languages. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 2000, v:35, n:3, pp:16-17 [Journal]
  70. Manuel Eduardo Correia, Vítor Santos Costa
    IAP for dummies: The YAP Design. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:30, n:3, pp:- [Journal]
  71. Inês de Castro Dutra, Vítor Santos Costa, Gopal Gupta, Enrico Pontelli, Manuel Carro, Péter Kacsuk
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:30, n:3, pp:- [Journal]
  72. Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa
    On Applying Or-Parallelism and Tabling to Logic Programs. [Citation Graph (0, 0)][DBLP]
    TPLP, 2005, v:5, n:1-2, pp:161-205 [Journal]
  73. Vítor Santos Costa, Konstantinos F. Sagonas, Ricardo Lopes
    Demand-Driven Indexing of Prolog Clauses. [Citation Graph (0, 0)][DBLP]
    ICLP, 2007, pp:395-409 [Conf]
  74. Anderson Faustino da Silva, Vítor Santos Costa
    Design, Implementation, and Evaluation of a Dynamic Compilation Framework for the YAP System. [Citation Graph (0, 0)][DBLP]
    ICLP, 2007, pp:410-424 [Conf]
  75. Jesse Davis, Vítor Santos Costa, Soumya Ray, David Page
    An integrated approach to feature invention and model construction for drug activity prediction. [Citation Graph (0, 0)][DBLP]
    ICML, 2007, pp:217-224 [Conf]
  76. 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. [Citation Graph (0, 0)][DBLP]
    ILP, 2006, pp:366-378 [Conf]
  77. Vítor Santos Costa, Ricardo Bianchini, Inês de Castro Dutra
    Evaluating the impact of coherence protocols on parallel logic programming systems. [Citation Graph (0, 0)][DBLP]
    PDP, 1997, pp:376-381 [Conf]
  78. Juliana S. Bernardes, Alberto M. R. Dávila, Vítor Santos Costa, Gerson Zaverucha
    A study of structural properties on profiles HMMs [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]

  79. Sequential Pattern Mining in Multi-relational Datasets. [Citation Graph (, )][DBLP]


  80. A pipelined data-parallel algorithm for ILP. [Citation Graph (, )][DBLP]


  81. On Just in Time Indexing of Dynamic Predicates in Prolog. [Citation Graph (, )][DBLP]


  82. Towards Typed Prolog. [Citation Graph (, )][DBLP]


  83. The Life of a Logic Programming System. [Citation Graph (, )][DBLP]


  84. On the Efficient Execution of ProbLog Programs. [Citation Graph (, )][DBLP]


  85. User Defined Indexing. [Citation Graph (, )][DBLP]


  86. RUSE-WARMR: Rule Selection for Classifier Induction in Multi-relational Data-Sets. [Citation Graph (, )][DBLP]


  87. CLP(BN): Constraint Logic Programming for Probabilistic Knowledge. [Citation Graph (, )][DBLP]


  88. Revising First-Order Logic Theories from Examples Through Stochastic Local Search. [Citation Graph (, )][DBLP]


  89. ILP : - Just Trie It. [Citation Graph (, )][DBLP]


  90. Chess Revision: Acquiring the Rules of Chess Variants through FOL Theory Revision from Examples. [Citation Graph (, )][DBLP]


  91. Visually Guiding and Controlling the Search While Mining Chemical Structures. [Citation Graph (, )][DBLP]


  92. Partitional Clustering of Protein Sequences - An Inductive Logic Programming Approach. [Citation Graph (, )][DBLP]


  93. On the Implementation of the CLP(BN\mathcal BN) Language. [Citation Graph (, )][DBLP]


  94. k-RNN: k-relational nearest neighbour algorithm. [Citation Graph (, )][DBLP]


  95. Transactional WaveCache: Towards Speculative and Out-of-Order DataFlow Execution of Memory Operations. [Citation Graph (, )][DBLP]


  96. Comparative Study of Classification Algorithms Using Molecular Descriptors in Toxicological DataBases. [Citation Graph (, )][DBLP]


  97. LogCHEM: Interactive Discriminative Mining of Chemical Structure. [Citation Graph (, )][DBLP]


  98. Improving model construction of profile HMMs for remote homology detection through structural alignment. [Citation Graph (, )][DBLP]


  99. Transactional WaveCache: Towards Speculative and Out-of-Order DataFlow Execution of Memory Operations [Citation Graph (, )][DBLP]


  100. On the Implementation of the Probabilistic Logic Programming Language ProbLog [Citation Graph (, )][DBLP]


  101. Threads and Or-Parallelism Unified [Citation Graph (, )][DBLP]


Search in 0.005secs, Finished in 0.611secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002