Rafael del Vado Vírseda

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 11

Top Topics

Tutoring System

Runtime Environment

Theoretical Computer Science

Top Venues

Publications

Rafael del Vado Vírseda
Introducing Theoretical Computer Science Education in Social Sciences and Economics Degrees. SIGCSE (2) (2024)
Rafael del Vado Vírseda
Visualizing Compiler Design Theory from Implementation Through an Interactive Tutoring Tool: Experiences and Results. CSEDU (2) (2023)
Rafael del Vado Vírseda
Theoretical Computer Science Education from Impossibility and Undecidability Problems in Physics. SIGCSE (1) (2023)
Rafael del Vado Vírseda
ITT: An Interactive Tutoring Tool to Improve the Learning and Visualization of Compiler Design Theory From Implementation. SIGCSE (2) (2022)
Rafael del Vado Vírseda
Learning Compiler Design: From the Implementation to Theory. ITiCSE (Working Group Reports) (2021)
Rafael del Vado Vírseda
Learning from the Impossible: Introducing Theoretical Computer Science in CS Mathematics Courses. SIGCSE (2021)
Rafael del Vado Vírseda
From the Mathematical Impossibility Results of the High School Curriculum to Theoretical Computer Science. Koli Calling (2020)
Rafael del Vado Vírseda
An Interactive Tutoring System for Learning Language Processing and Compiler Design. ITiCSE (2020)
Rafael del Vado Vírseda
Learning Theoretical Computing from the Mathematical Impossibility Results of the CS Curriculum. ITiCSE (2020)
Rafael del Vado Vírseda
Introducing Theoretical Computer Concepts in Secondary Education. SIGCSE (2019)
Rafael del Vado Vírseda
Computability and Algorithmic Complexity Questions in Secondary Education. CompEd (2019)
Rafael del Vado Vírseda, Fernando Pérez Morente, Marcos Miguel García Toledo
A Concurrent Operational Semantics for Constraint Functional Logic Programming. ICLP (Technical Communications) (2012)
Rafael del Vado Vírseda, Fernando Pérez Morente
An Innovative Teaching Tool for the Verification of Abstract Data Type Implementations from Formal Algebraic Specifications. ICCS (2012)
Rafael del Vado Vírseda, Fernando Pérez Morente, Eduardo Berbis González
TVT: A Software Verification Package for the Interactive Learning of Formal Programming Techniques - An Educational Experience. CSEDU (2) (2012)
Rafael del Vado Vírseda
A Software Testing Tool for the Verification of Abstract Data Type Implementations from Formal Algebraic Specifications. CSEE&T (2012)
Rafael del Vado Vírseda
A learning methodology based on semantic tableaux for software engineering education. CSEE&T (2011)
Rafael del Vado Vírseda, Fernando Pérez Morente, Sergio Esquembri Martínez
An Educational Tool based on Semantic Tableaux for Verification and Debugging of Algorithms - Experiences and Results. CSEDU (2) (2011)
Rafael del Vado Vírseda, Fernando Pérez Morente
An innovative teaching tool based on semantic tableaux for verification and debugging of programs. ITiCSE (2011)
Rafael del Vado Vírseda, Eva Pilar Orna, Eduardo Berbis, Saúl de León Guerrero
A Logic Teaching Tool Based on Tableaux for Verification and Debugging of Algorithms. TICTTL (2011)
Rafael del Vado Vírseda, Fernando Pérez Morente
An Innovative Teaching Tool based on Semantic Tableaux for Verification and Debugging of Imperative Programs. ICCS (2011)
Rafael del Vado Vírseda, Fernando Pérez Morente
A modular semantics for higher-order declarative programming with constraints. PPDP (2011)
Rafael del Vado Vírseda
Cooperation of Algebraic Constraint Domains in Higher-Order Functional and Logic Programming. AMAST (2010)
Rafael del Vado Vírseda, Luis Jimenez Paniagua, Jose Marcos Barrio, Ruben Fuentes Iglesias
From the Algebraic Specification to the Real Implementation: An Educational Environment for the Interactive Learning of Data Structures and Algorithmic Schemes. FECS (2010)
Rafael del Vado Vírseda
A Theoretical Framework for the Higher-Order Cooperation of Numeric Constraint Domains. LSFA (2010)
Rafael del Vado Vírseda
An Interactive Tool for Data Structure Visualization and Algorithm Animation - Experiences and Results. CSEDU (2) (2010)
Rafael del Vado Vírseda, Ignacio Castiñeiras
A Theoretical Framework for the Declarative Debugging of Functional Logic Programs with Lambda Abstractions. WFLP (2009)
Rafael del Vado Vírseda, Pablo Fernández, Salvador Muñoz, Antonio Murillo
An Intelligent Tutoring System for Interactive Learning of Data Structures. ICCS (2) (2009)
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 (2009)
Rafael del Vado Vírseda
An Innovative Educational Environment for the Interactive Learning of Data Structures - From Algebraic Specification to Implementation. CSEDU (2) (2009)
Rafael del Vado Vírseda
A Logical Framework for Debugging in Declarative Constraint Programming. LSFA (2009)
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
in CFLP. Theory Pract. Log. Program. 9 (4) (2009)
Rafael del Vado Vírseda
A higher-order logical framework for the algorithmic debugging and verification of declarative programs. PPDP (2009)
Rafael Caballero, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda
Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming. FLOPS (2008)
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
system. PPDP (2008)
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)
Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda
A new generic scheme for functional logic programming with constraints. High. Order Symb. Comput. 20 (1-2) (2007)
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. Electron. Notes Theor. Comput. Sci. 188 (2007)
Rafael del Vado Vírseda
A Higher-Order Demand-Driven Narrowing Calculus with Definitional Trees. ICTAC (2007)
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. Theory Pract. Log. Program. 7 (5) (2007)
Rafael Caballero, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda
Declarative Debugging of Missing Answers in Constraint Functional-Logic Programming. ICLP (2007)
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. Electron. Notes Theor. Comput. Sci. 177 (2007)
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 (2006)
Rafael Caballero, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda
Declarative Diagnosis of Wrong Answers in Constraint Functional-Logic Programming. ICLP (2006)
Sonia Estévez Martín, Rafael del Vado Vírseda
using definitional trees. WCFLP (2005)
Rafael del Vado Vírseda
Declarative Constraint Programming with Definitional Trees. FroCoS (2005)
Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda
Constraint Functional Logic Programming Revisited. WRLA (2004)
Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda
A lazy narrowing calculus for declarative constraint programming. PPDP (2004)
Rafael del Vado Vírseda
A demand-driven narrowing calculus with overlapping definitional trees. PPDP (2003)