Rafael del Vado Vírseda

2009
17	EE	Sonia 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
16	EE	Rafael Caballero, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda: Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming. FLOPS 2008: 305-321
15	EE	Clara 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
14	EE	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: Cooperation of constraint domains in the TOY system. PPDP 2008: 258-268
2007
13	EE	Rafael Caballero, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda: Declarative Debugging of Missing Answers in Constraint Functional-Logic Programming. ICLP 2007: 425-427
12	EE	Rafael del Vado Vírseda: A Higher-Order Demand-Driven Narrowing Calculus with Definitional Trees. ICTAC 2007: 169-184
11	EE	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. Electr. Notes Theor. Comput. Sci. 177: 235-252 (2007)
10	EE	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. Electr. Notes Theor. Comput. Sci. 188: 37-51 (2007)
9	EE	Francisco 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)
8	EE	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. TPLP 7(5): 537-582 (2007)
2006
7	EE	Rafael Caballero, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda: Declarative Diagnosis of Wrong Answers in Constraint Functional-Logic Programming. ICLP 2006: 421-422
6	EE	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 CoRR abs/cs/0601071: (2006)
2005
5	EE	Rafael del Vado Vírseda: Declarative Constraint Programming with Definitional Trees. FroCos 2005: 184-199
4	EE	Sonia Estévez Martín, Rafael del Vado Vírseda: Designing an efficient computation strategy in CFLP(FD) using definitional trees. WCFLP 2005: 23-31
3	EE	Francisco 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
2	EE	Francisco 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
1	EE	Rafael del Vado Vírseda: A demand-driven narrowing calculus with overlapping definitional trees. PPDP 2003: 253-263

Coauthor Index

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

Colors in the list of coauthors