Rafael del Vado Vírseda

51 papers A 2B 5C 6Misc 3Journal 5Unranked 30
YearRankTypeTitle / Venue / Authors
2026 — conf
Reverse Mathematics for Teaching Theoretical Computer Science.
SIGCSE (2)
Rafael del Vado Vírseda
2025 — conf
An Educational Approach to Introduce Theory of Computation in Social Sciences and Economics Degrees Using Impossibility.
ITiCSE (1)
Rafael del Vado Vírseda
2025 — conf
Introducing Theoretical Computer Science in High School Physics Courses from Impossibility and Undecidability Problems.
SIGCSE (2)
Rafael del Vado Vírseda
2024 — conf
Introducing Theoretical Computer Science Education in Social Sciences and Economics Degrees.
SIGCSE (2)
Rafael del Vado Vírseda
2023 — conf
Theoretical Computer Science Education from Impossibility and Undecidability Problems in Physics.
SIGCSE (1)
Rafael del Vado Vírseda
2023 — conf
Visualizing Compiler Design Theory from Implementation Through an Interactive Tutoring Tool: Experiences and Results.
CSEDU (2)
Rafael del Vado Vírseda
2022 — conf
ITT: An Interactive Tutoring Tool to Improve the Learning and Visualization of Compiler Design Theory From Implementation.
SIGCSE (2)
Rafael del Vado Vírseda
2021 — conf
Learning Compiler Design: From the Implementation to Theory.
ITiCSE (2)
Rafael del Vado Vírseda
2021 A conf
Learning from the Impossible: Introducing Theoretical Computer Science in CS Mathematics Courses.
SIGCSE
Rafael del Vado Vírseda
2020 B conf
An Interactive Tutoring System for Learning Language Processing and Compiler Design.
ITiCSE
Rafael del Vado Vírseda
2020 — conf
From the Mathematical Impossibility Results of the High School Curriculum to Theoretical Computer Science.
Koli Calling
Rafael del Vado Vírseda
2020 B conf
Learning Theoretical Computing from the Mathematical Impossibility Results of the CS Curriculum.
ITiCSE
Rafael del Vado Vírseda
2019 — conf
Computability and Algorithmic Complexity Questions in Secondary Education.
CompEd
Rafael del Vado Vírseda
2019 A conf
Introducing Theoretical Computer Concepts in Secondary Education.
SIGCSE
Rafael del Vado Vírseda
2012 — conf
A Concurrent Operational Semantics for Constraint Functional Logic Programming.
ICLP (Technical Communications)
Rafael del Vado Vírseda, Fernando Pérez Morente, Marcos Miguel García Toledo
2012 — conf
A Software Testing Tool for the Verification of Abstract Data Type Implementations from Formal Algebraic Specifications.
CSEE&T
Rafael del Vado Vírseda
2012 Misc conf
An Innovative Teaching Tool for the Verification of Abstract Data Type Implementations from Formal Algebraic Specifications.
ICCS
Rafael del Vado Vírseda, Fernando Pérez Morente
2012 — conf
TVT: A Software Verification Package for the Interactive Learning of Formal Programming Techniques - An Educational Experience.
CSEDU (2)
Rafael del Vado Vírseda, Fernando Pérez Morente, Eduardo Berbis González
2011 — conf
A Logic Teaching Tool Based on Tableaux for Verification and Debugging of Algorithms.
TICTTL
Rafael del Vado Vírseda, Eva Pilar Orna, Eduardo Berbis, Saúl de León Guerrero
2011 — conf
A learning methodology based on semantic tableaux for software engineering education.
CSEE&T
Rafael del Vado Vírseda
2011 C conf
A modular semantics for higher-order declarative programming with constraints.
PPDP
Rafael del Vado Vírseda, Fernando Pérez Morente
2011 — conf
An Educational Tool based on Semantic Tableaux for Verification and Debugging of Algorithms - Experiences and Results.
CSEDU (2)
Rafael del Vado Vírseda, Fernando Pérez Morente, Sergio Esquembri Martínez
2011 Misc conf
An Innovative Teaching Tool based on Semantic Tableaux for Verification and Debugging of Imperative Programs.
ICCS
Rafael del Vado Vírseda, Fernando Pérez Morente
2011 B conf
An innovative teaching tool based on semantic tableaux for verification and debugging of programs.
ITiCSE
Rafael del Vado Vírseda, Fernando Pérez Morente
2010 — conf
A Theoretical Framework for the Higher-Order Cooperation of Numeric Constraint Domains.
LSFA
Rafael del Vado Vírseda
2010 — conf
An Interactive Tool for Data Structure Visualization and Algorithm Animation - Experiences and Results.
CSEDU (2)
Rafael del Vado Vírseda
2010 — conf
Cooperation of Algebraic Constraint Domains in Higher-Order Functional and Logic Programming.
AMAST
Rafael del Vado Vírseda
2010 — conf
From the Algebraic Specification to the Real Implementation: An Educational Environment for the Interactive Learning of Data Structures and Algorithmic Schemes.
FECS
Rafael del Vado Vírseda, Luis Jimenez Paniagua, Jose Marcos Barrio, Ruben Fuentes Iglesias
2009 — conf
A Logical Framework for Debugging in Declarative Constraint Programming.
LSFA
Rafael del Vado Vírseda
2009 — conf
A Theoretical Framework for the Declarative Debugging of Functional Logic Programs with Lambda Abstractions.
WFLP
Rafael del Vado Vírseda, Ignacio Castiñeiras
2009 C conf
A higher-order logical framework for the algorithmic debugging and verification of declarative programs.
PPDP
Rafael del Vado Vírseda
2009 — conf
An Innovative Educational Environment for the Interactive Learning of Data Structures - From Algebraic Specification to Implementation.
CSEDU (2)
Rafael del Vado Vírseda
2009 — conf
An Intelligent Tutoring System for Interactive Learning of Data Structures.
ICCS (2)
Rafael del Vado Vírseda, Pablo Fernández, Salvador Muñoz, Antonio Murillo
2009 J jnl
On the Cooperation of the Constraint Domains H, R and FD in CFLP
CoRR
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
2009 J jnl
On the cooperation of the constraint domains ,
Theory Pract. Log. Program.
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
2008 C conf
Cooperation of constraint domains in the
PPDP
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
2008 Misc conf
Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming.
FLOPS
Rafael Caballero, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda
2008 — conf
Interactive Learning of Data Structures and Algorithmic Schemes.
ICCS (1)
Clara Segura, Isabel Pita, Rafael del Vado Vírseda, Ana Isabel Saiz, Pablo Soler
2007 C conf
A Higher-Order Demand-Driven Narrowing Calculus with Definitional Trees.
ICTAC
Rafael del Vado Vírseda
2007 J jnl
A new generic scheme for functional logic programming with constraints.
High. Order Symb. Comput.
Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda
2007 J jnl
Constraint functional logic programming over finite domains.
Theory Pract. Log. Program.
Antonio J. Fernández, Maria Teresa Hortalá-González, Fernando Sáenz-Pérez, Rafael del Vado Vírseda
2007 B conf
Declarative Debugging of Missing Answers in Constraint Functional-Logic Programming.
ICLP
Rafael Caballero, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda
2006 — conf
A Fully Sound Goal Solving Calculus for the Cooperation of Solvers in the CFLP Scheme.
WFLP
Sonia Estévez Martín, Antonio J. Fernández, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda
2006 — conf
A Proposal for the Cooperation of Solvers in Constraint Functional Logic Programming.
PROLE
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
2006 J jnl
Constraint Functional Logic Programming over Finite Domains
CoRR
Antonio J. Fernández, Maria Teresa Hortalá-González, Fernando Sáenz-Pérez, Rafael del Vado Vírseda
2006 B conf
Declarative Diagnosis of Wrong Answers in Constraint Functional-Logic Programming.
ICLP
Rafael Caballero, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda
2005 — conf
Declarative Constraint Programming with Definitional Trees.
FroCoS
Rafael del Vado Vírseda
2005 — conf
Designing an efficient computation strategy in
WCFLP
Sonia Estévez Martín, Rafael del Vado Vírseda
2004 C conf
A lazy narrowing calculus for declarative constraint programming.
PPDP
Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda
2004 — conf
Constraint Functional Logic Programming Revisited.
WRLA
Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda
2003 C conf
A demand-driven narrowing calculus with overlapping definitional trees.
PPDP
Rafael del Vado Vírseda