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

Rafael del Vado Vírseda

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2009
17EESonia Estévez Martín, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda, Fernando Sáenz-Pérez, Antonio J. Fernández: On the Cooperation of the Constraint Domains H, R and FD in CFLP CoRR abs/0904.2136: (2009)
2008
16EERafael Caballero, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda: Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming. FLOPS 2008: 305-321
15EEClara Segura, Isabel Pita, Rafael del Vado Vírseda, Ana Isabel Saiz, Pablo Soler: Interactive Learning of Data Structures and Algorithmic Schemes. ICCS (1) 2008: 800-809
14EESonia 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: Cooperation of constraint domains in the TOY system. PPDP 2008: 258-268
2007
13EERafael Caballero, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda: Declarative Debugging of Missing Answers in Constraint Functional-Logic Programming. ICLP 2007: 425-427
12EERafael del Vado Vírseda: A Higher-Order Demand-Driven Narrowing Calculus with Definitional Trees. ICTAC 2007: 169-184
11EESonia 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. Electr. Notes Theor. Comput. Sci. 177: 235-252 (2007)
10EESonia 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. Electr. Notes Theor. Comput. Sci. 188: 37-51 (2007)
9EEFrancisco Javier López-Fraguas, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda: A new generic scheme for functional logic programming with constraints. Higher-Order and Symbolic Computation 20(1-2): 73-122 (2007)
8EEAntonio 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. TPLP 7(5): 537-582 (2007)
2006
7EERafael Caballero, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda: Declarative Diagnosis of Wrong Answers in Constraint Functional-Logic Programming. ICLP 2006: 421-422
6EEAntonio 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 CoRR abs/cs/0601071: (2006)
2005
5EERafael del Vado Vírseda: Declarative Constraint Programming with Definitional Trees. FroCos 2005: 184-199
4EESonia Estévez Martín, Rafael del Vado Vírseda: Designing an efficient computation strategy in CFLP(FD) using definitional trees. WCFLP 2005: 23-31
3EEFrancisco Javier López-Fraguas, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda: Constraint Functional Logic Programming Revisited. Electr. Notes Theor. Comput. Sci. 117: 5-50 (2005)
2004
2EEFrancisco Javier López-Fraguas, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda: A lazy narrowing calculus for declarative constraint programming. PPDP 2004: 43-54
2003
1EERafael del Vado Vírseda: A demand-driven narrowing calculus with overlapping definitional trees. PPDP 2003: 253-263

Coauthor Index

1Rafael Caballero [7] [13] [16]
2Antonio J. Fernández (Antonio José Fernández Leiva) [6] [8] [10] [11] [14] [17]
3Maria Teresa Hortalá-González [6] [8] [10] [11] [14] [17]
4Francisco Javier López-Fraguas [2] [3] [9]
5Sonia Estévez Martín [4] [10] [11] [14] [17]
6Isabel Pita [15]
7Mario Rodríguez-Artalejo [2] [3] [7] [9] [10] [11] [13] [14] [16] [17]
8Fernando Sáenz-Pérez [6] [8] [10] [14] [17]
9Ana Isabel Saiz [15]
10Clara Segura [15]
11Pablo Soler [15]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)