A demand-driven narrowing calculus with overlapping definitional trees. - Rafael del Vado Vírseda (PPDP, 2003)

A lazy narrowing calculus for declarative constraint programming. - Francisco Javier López-Fraguas; Mario Rodríguez-Artalejo; Rafael del Vado Vírseda (PPDP, 2004)

Constraint Functional Logic Programming Revisited. - Francisco Javier López-Fraguas; Mario Rodríguez-Artalejo; Rafael del Vado Vírseda (WRLA, 2004)

Declarative Constraint Programming with Definitional Trees. - Rafael del Vado Vírseda (FroCoS, 2005)

Designing an efficient computation strategy in CFLP(FD) using definitional trees. - Sonia Estévez Martín; Rafael del Vado Vírseda (WCFLP, 2005)

Declarative Diagnosis of Wrong Answers in Constraint Functional-Logic Programming. - Rafael Caballero 001; Mario Rodríguez-Artalejo; Rafael del Vado Vírseda (ICLP, 2006)

A Proposal for the Cooperation of Solvers in Constraint Functional Logic Programming. - Sonia Estévez Martín; Antonio J. Fernández 001; Maria Teresa Hortalá-González; Mario Rodríguez-Artalejo; Fernando Sáenz-Pérez; Rafael del Vado Vírseda (PROLE, 2006)

A Fully Sound Goal Solving Calculus for the Cooperation of Solvers in the CFLP Scheme. - Sonia Estévez Martín; Antonio J. Fernández 001; Maria Teresa Hortalá-González; Mario Rodríguez-Artalejo; Rafael del Vado Vírseda (WFLP, 2006)

Declarative Debugging of Missing Answers in Constraint Functional-Logic Programming. - Rafael Caballero 001; Mario Rodríguez-Artalejo; Rafael del Vado Vírseda (ICLP, 2007)

A Higher-Order Demand-Driven Narrowing Calculus with Definitional Trees. - Rafael del Vado Vírseda (ICTAC, 2007)

A new generic scheme for functional logic programming with constraints. - Francisco Javier López-Fraguas; Mario Rodríguez-Artalejo; Rafael del Vado Vírseda (High. Order Symb. Comput., 2007)

Constraint functional logic programming over finite domains. - Antonio J. Fernández 001; Maria Teresa Hortalá-González; Fernando Sáenz-Pérez; Rafael del Vado Vírseda (Theory Pract. Log. Program., 2007)

Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming. - Rafael Caballero 001; Mario Rodríguez-Artalejo; Rafael del Vado Vírseda (FLOPS, 2008)

Interactive Learning of Data Structures and Algorithmic Schemes. - Clara Segura; Isabel Pita; Rafael del Vado Vírseda; Ana Isabel Saiz; Pablo Soler (ICCS (1), 2008)

Cooperation of constraint domains in the TOY system. - Sonia Estévez Martín; Antonio J. Fernández 001; Maria Teresa Hortalá-González; Mario Rodríguez-Artalejo; Fernando Sáenz-Pérez; Rafael del Vado Vírseda (PPDP, 2008)

An Innovative Educational Environment for the Interactive Learning of Data Structures - From Algebraic Specification to Implementation. - Rafael del Vado Vírseda (CSEDU (2), 2009)

An Intelligent Tutoring System for Interactive Learning of Data Structures. - Rafael del Vado Vírseda; Pablo Fernández; Salvador Muñoz; Antonio Murillo (ICCS (2), 2009)

A higher-order logical framework for the algorithmic debugging and verification of declarative programs. - Rafael del Vado Vírseda (PPDP, 2009)

A Theoretical Framework for the Declarative Debugging of Functional Logic Programs with Lambda Abstractions. - Rafael del Vado Vírseda; Ignacio Castiñeiras (WFLP, 2009)

On the Cooperation of the Constraint Domains H, R and FD in CFLP - 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 001 (CoRR, 2009)

A Logical Framework for Debugging in Declarative Constraint Programming. - Rafael del Vado Vírseda (LSFA, 2009)

On the cooperation of the constraint domains , R, and F in CFLP. - 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 001 (Theory Pract. Log. Program., 2009)

Cooperation of Algebraic Constraint Domains in Higher-Order Functional and Logic Programming. - Rafael del Vado Vírseda (AMAST, 2010)

An Interactive Tool for Data Structure Visualization and Algorithm Animation - Experiences and Results. - Rafael del Vado Vírseda (CSEDU (2), 2010)

From the Algebraic Specification to the Real Implementation: An Educational Environment for the Interactive Learning of Data Structures and Algorithmic Schemes. - Rafael del Vado Vírseda; Luis Jimenez Paniagua; Jose Marcos Barrio; Ruben Fuentes Iglesias (FECS, 2010)

A Theoretical Framework for the Higher-Order Cooperation of Numeric Constraint Domains. - Rafael del Vado Vírseda (LSFA, 2010)

An Educational Tool based on Semantic Tableaux for Verification and Debugging of Algorithms - Experiences and Results. - Rafael del Vado Vírseda; Fernando Pérez Morente; Sergio Esquembri Martínez (CSEDU (2), 2011)

A learning methodology based on semantic tableaux for software engineering education. - Rafael del Vado Vírseda (CSEE&T, 2011)

An innovative teaching tool based on semantic tableaux for verification and debugging of programs. - Rafael del Vado Vírseda; Fernando Pérez Morente (ITiCSE, 2011)

A modular semantics for higher-order declarative programming with constraints. - Rafael del Vado Vírseda; Fernando Pérez Morente (PPDP, 2011)

A Logic Teaching Tool Based on Tableaux for Verification and Debugging of Algorithms. - Rafael del Vado Vírseda; Eva Pilar Orna; Eduardo Berbis; Saúl de León Guerrero (TICTTL, 2011)

An Innovative Teaching Tool based on Semantic Tableaux for Verification and Debugging of Imperative Programs. - Rafael del Vado Vírseda; Fernando Pérez Morente (ICCS, 2011)

TVT: A Software Verification Package for the Interactive Learning of Formal Programming Techniques - An Educational Experience. - Rafael del Vado Vírseda; Fernando Pérez Morente; Eduardo Berbis González (CSEDU (2), 2012)

A Software Testing Tool for the Verification of Abstract Data Type Implementations from Formal Algebraic Specifications. - Rafael del Vado Vírseda (CSEE&T, 2012)

A Concurrent Operational Semantics for Constraint Functional Logic Programming. - Rafael del Vado Vírseda; Fernando Pérez Morente; Marcos Miguel García Toledo (ICLP (Technical Communications), 2012)

An Innovative Teaching Tool for the Verification of Abstract Data Type Implementations from Formal Algebraic Specifications. - Rafael del Vado Vírseda; Fernando Pérez Morente (ICCS, 2012)

Computability and Algorithmic Complexity Questions in Secondary Education. - Rafael del Vado Vírseda (CompEd, 2019)

Introducing Theoretical Computer Concepts in Secondary Education. - Rafael del Vado Vírseda (SIGCSE, 2019)

Learning Theoretical Computing from the Mathematical Impossibility Results of the CS Curriculum. - Rafael del Vado Vírseda (ITiCSE, 2020)

An Interactive Tutoring System for Learning Language Processing and Compiler Design. - Rafael del Vado Vírseda (ITiCSE, 2020)

From the Mathematical Impossibility Results of the High School Curriculum to Theoretical Computer Science. - Rafael del Vado Vírseda (Koli Calling, 2020)

Learning Compiler Design: From the Implementation to Theory. - Rafael del Vado Vírseda (ITiCSE (2), 2021)

Learning from the Impossible: Introducing Theoretical Computer Science in CS Mathematics Courses. - Rafael del Vado Vírseda (SIGCSE, 2021)

ITT: An Interactive Tutoring Tool to Improve the Learning and Visualization of Compiler Design Theory From Implementation. - Rafael del Vado Vírseda (SIGCSE (2), 2022)

Visualizing Compiler Design Theory from Implementation Through an Interactive Tutoring Tool: Experiences and Results. - Rafael del Vado Vírseda (CSEDU (2), 2023)

Theoretical Computer Science Education from Impossibility and Undecidability Problems in Physics. - Rafael del Vado Vírseda (SIGCSE (1), 2023)

Introducing Theoretical Computer Science Education in Social Sciences and Economics Degrees. - Rafael del Vado Vírseda (SIGCSE (2), 2024)

An Educational Approach to Introduce Theory of Computation in Social Sciences and Economics Degrees Using Impossibility. - Rafael del Vado Vírseda (ITiCSE (1), 2025)

Introducing Theoretical Computer Science in High School Physics Courses from Impossibility and Undecidability Problems. - Rafael del Vado Vírseda (SIGCSE (2), 2025)