| 2026 | ITiCSE | Teaching Theory of Computation in the STEM K-12 Curricula Through Impossibility and Undecidability Problems. | Rafael del Vado Vrseda |
| 2026 | SIGCSE | Reverse Mathematics for Teaching Theoretical Computer Science. | Rafael del Vado Vrseda |
| 2025 | ITiCSE | An Educational Approach to Introduce Theory of Computation in Social Sciences and Economics Degrees Using Impossibility. | Rafael del Vado Vrseda |
| 2025 | SIGCSE | Introducing Theoretical Computer Science in High School Physics Courses from Impossibility and Undecidability Problems. | Rafael del Vado Vrseda |
| 2024 | SIGCSE | Introducing Theoretical Computer Science Education in Social Sciences and Economics Degrees. | Rafael del Vado Vrseda |
| 2023 | CSEDU | Visualizing Compiler Design Theory from Implementation Through an Interactive Tutoring Tool: Experiences and Results. | Rafael del Vado Vrseda |
| 2023 | SIGCSE | Theoretical Computer Science Education from Impossibility and Undecidability Problems in Physics. | Rafael del Vado Vrseda |
| 2022 | SIGCSE | ITT: An Interactive Tutoring Tool to Improve the Learning and Visualization of Compiler Design Theory From Implementation. | Rafael del Vado Vrseda |
| 2021 | ITiCSE | Learning Compiler Design: From the Implementation to Theory. | Rafael del Vado Vrseda |
| 2021 | SIGCSE | Learning from the Impossible: Introducing Theoretical Computer Science in CS Mathematics Courses. | Rafael del Vado Vrseda |
| 2020 | ITiCSE | Learning Theoretical Computing from the Mathematical Impossibility Results of the CS Curriculum. | Rafael del Vado Vrseda |
| 2020 | ITiCSE | An Interactive Tutoring System for Learning Language Processing and Compiler Design. | Rafael del Vado Vrseda |
| 2019 | SIGCSE | Introducing Theoretical Computer Concepts in Secondary Education. | Rafael del Vado Vrseda |
| 2012 | CSEDU | TVT: A Software Verification Package for the Interactive Learning of Formal Programming Techniques - An Educational Experience. | Rafael del Vado Vrseda, Fernando Prez Morente, Eduardo Berbis Gonzlez |
| 2012 | ICLP | A Concurrent Operational Semantics for Constraint Functional Logic Programming. | Rafael del Vado Vrseda, Fernando Prez Morente, Marcos Miguel Garca Toledo |
| 2011 | CSEDU | An Educational Tool based on Semantic Tableaux for Verification and Debugging of Algorithms - Experiences and Results. | Rafael del Vado Vrseda, Fernando Prez Morente, Sergio Esquembri Martnez |
| 2011 | ITiCSE | An innovative teaching tool based on semantic tableaux for verification and debugging of programs. | Rafael del Vado Vrseda, Fernando Prez Morente |
| 2011 | PPDP | A modular semantics for higher-order declarative programming with constraints. | Rafael del Vado Vrseda, Fernando Prez Morente |
| 2010 | CSEDU | An Interactive Tool for Data Structure Visualization and Algorithm Animation - Experiences and Results. | Rafael del Vado Vrseda |
| 2009 | CSEDU | An Innovative Educational Environment for the Interactive Learning of Data Structures - From Algebraic Specification to Implementation. | Rafael del Vado Vrseda |
| 2009 | ICCS | An Intelligent Tutoring System for Interactive Learning of Data Structures. | Rafael del Vado Vrseda, Pablo Fernndez, Salvador Muoz, Antonio Murillo |
| 2009 | PPDP | A higher-order logical framework for the algorithmic debugging and verification of declarative programs. | Rafael del Vado Vrseda |
| 2008 | FLOPS | Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming. | Rafael Caballero, Mario Rodrguez-Artalejo, Rafael del Vado Vrseda |
| 2008 | ICCS | Interactive Learning of Data Structures and Algorithmic Schemes. | Clara Segura, Isabel Pita, Rafael del Vado Vrseda, Ana Isabel Saiz, Pablo Soler |
| 2008 | PPDP | Cooperation of constraint domains in the | Sonia Estvez Martn, Antonio J. Fernndez, Maria Teresa Hortal-Gonzlez, Mario Rodrguez-Artalejo, Fernando Senz-Prez, Rafael del Vado Vrseda |
| 2007 | ICLP | Declarative Debugging of Missing Answers in Constraint Functional-Logic Programming. | Rafael Caballero, Mario Rodrguez-Artalejo, Rafael del Vado Vrseda |
| 2007 | ICTAC | A Higher-Order Demand-Driven Narrowing Calculus with Definitional Trees. | Rafael del Vado Vrseda |
| 2006 | ICLP | Declarative Diagnosis of Wrong Answers in Constraint Functional-Logic Programming. | Rafael Caballero, Mario Rodrguez-Artalejo, Rafael del Vado Vrseda |
| 2004 | PPDP | A lazy narrowing calculus for declarative constraint programming. | Francisco Javier Lpez-Fraguas, Mario Rodrguez-Artalejo, Rafael del Vado Vrseda |
| 2003 | PPDP | A demand-driven narrowing calculus with overlapping definitional trees. | Rafael del Vado Vrseda |