The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Rafael del Vado Vírseda: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Rafael del Vado Vírseda
    Declarative Constraint Programming with Definitional Trees. [Citation Graph (0, 0)][DBLP]
    FroCos, 2005, pp:184-199 [Conf]
  2. Rafael Caballero, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda
    Declarative Diagnosis of Wrong Answers in Constraint Functional-Logic Programming. [Citation Graph (0, 0)][DBLP]
    ICLP, 2006, pp:421-422 [Conf]
  3. Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda
    A lazy narrowing calculus for declarative constraint programming. [Citation Graph (0, 0)][DBLP]
    PPDP, 2004, pp:43-54 [Conf]
  4. Rafael del Vado Vírseda
    A demand-driven narrowing calculus with overlapping definitional trees. [Citation Graph (0, 0)][DBLP]
    PPDP, 2003, pp:253-263 [Conf]
  5. Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda
    Constraint Functional Logic Programming Revisited. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:117, n:, pp:5-50 [Journal]
  6. Sonia Estévez Martín, Antonio J. Fernández, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda
    A Fully Sound Goal Solving Calculus for the Cooperation of Solvers in the CFLP Scheme. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:177, n:, pp:235-252 [Journal]
  7. Rafael Caballero, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda
    Declarative Debugging of Missing Answers in Constraint Functional-Logic Programming. [Citation Graph (0, 0)][DBLP]
    ICLP, 2007, pp:425-427 [Conf]
  8. Rafael del Vado Vírseda
    A Higher-Order Demand-Driven Narrowing Calculus with Definitional Trees. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2007, pp:169-184 [Conf]
  9. Sonia Estévez Martín, Rafael del Vado Vírseda
    Designing an efficient computation strategy in CFLP(FD) using definitional trees. [Citation Graph (0, 0)][DBLP]
    WCFLP, 2005, pp:23-31 [Conf]
  10. Antonio J. Fernández, Maria Teresa Hortalá-González, Fernando Sáenz-Pérez, Rafael del Vado Vírseda
    Constraint Functional Logic Programming over Finite Domains [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]
  11. Sonia Estévez Martín, Antonio J. Fernández, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo, Fernando Sáenz-Pérez, Rafael del Vado Vírseda
    A Proposal for the Cooperation of Solvers in Constraint Functional Logic Programming. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:188, n:, pp:37-51 [Journal]
  12. Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda
    A new generic scheme for functional logic programming with constraints. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 2007, v:20, n:1-2, pp:73-122 [Journal]

  13. Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming. [Citation Graph (, )][DBLP]


  14. Interactive Learning of Data Structures and Algorithmic Schemes. [Citation Graph (, )][DBLP]


  15. An Intelligent Tutoring System for Interactive Learning of Data Structures. [Citation Graph (, )][DBLP]


  16. Cooperation of constraint domains in the TOY system. [Citation Graph (, )][DBLP]


  17. A higher-order logical framework for the algorithmic debugging and verification of declarative programs. [Citation Graph (, )][DBLP]


  18. A visualization tool for tutoring the interactive learning of data structures and algorithmic schemes. [Citation Graph (, )][DBLP]


  19. A Theoretical Framework for the Declarative Debugging of Functional Logic Programs with Lambda Abstractions. [Citation Graph (, )][DBLP]


  20. An Innovative Educational Environment for the Interactive Learning of Data Structures - From Algebraic Specification to Implementation. [Citation Graph (, )][DBLP]


  21. On the Cooperation of the Constraint Domains H, R and FD in CFLP [Citation Graph (, )][DBLP]


  22. A Logical Framework for Debugging in Declarative Constraint Programming. [Citation Graph (, )][DBLP]


Search in 0.015secs, Finished in 0.016secs
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