Rafael del Vado Vírseda
Orcid: 0000-0002-1942-751X
According to our database1,
Rafael del Vado Vírseda
authored at least 47 papers
between 2003 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
Introducing Theoretical Computer Science Education in Social Sciences and Economics Degrees.
Proceedings of the 55th ACM Technical Symposium on Computer Science Education, 2024
2023
Theoretical Computer Science Education from Impossibility and Undecidability Problems in Physics.
Proceedings of the 54th ACM Technical Symposium on Computer Science Education, Volume 1, 2023
Visualizing Compiler Design Theory from Implementation Through an Interactive Tutoring Tool: Experiences and Results.
Proceedings of the 15th International Conference on Computer Supported Education, 2023
2022
ITT: An Interactive Tutoring Tool to Improve the Learning and Visualization of Compiler Design Theory From Implementation.
Proceedings of the SIGCSE 2022: The 53rd ACM Technical Symposium on Computer Science Education, 2022
2021
Learning from the Impossible: Introducing Theoretical Computer Science in CS Mathematics Courses.
Proceedings of the SIGCSE '21: The 52nd ACM Technical Symposium on Computer Science Education, 2021
Proceedings of the ITiCSE '21: Proceedings of the 26th ACM Conference on Innovation and Technology in Computer Science Education V.2, Virtual Event, Germany, June 26, 2021
2020
From the Mathematical Impossibility Results of the High School Curriculum to Theoretical Computer Science.
Proceedings of the Koli Calling '20: 20th Koli Calling International Conference on Computing Education Research, 2020
Proceedings of the 2020 ACM Conference on Innovation and Technology in Computer Science Education, 2020
Learning Theoretical Computing from the Mathematical Impossibility Results of the CS Curriculum.
Proceedings of the 2020 ACM Conference on Innovation and Technology in Computer Science Education, 2020
2019
Proceedings of the 50th ACM Technical Symposium on Computer Science Education, 2019
Proceedings of the ACM Conference on Global Computing Education, 2019
2012
An Innovative Teaching Tool for the Verification of Abstract Data Type Implementations from Formal Algebraic Specifications.
Proceedings of the International Conference on Computational Science, 2012
Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, 2012
A Software Testing Tool for the Verification of Abstract Data Type Implementations from Formal Algebraic Specifications.
Proceedings of the 25th IEEE Conference on Software Engineering Education and Training, 2012
TVT: A Software Verification Package for the Interactive Learning of Formal Programming Techniques - An Educational Experience.
Proceedings of the CSEDU 2012, 2012
2011
An Innovative Teaching Tool based on Semantic Tableaux for Verification and Debugging of Imperative Programs.
Proceedings of the International Conference on Computational Science, 2011
A Logic Teaching Tool Based on Tableaux for Verification and Debugging of Algorithms.
Proceedings of the Tools for Teaching Logic - Third International Congress, 2011
Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2011
An innovative teaching tool based on semantic tableaux for verification and debugging of programs.
Proceedings of the 16th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2011
A learning methodology based on semantic tableaux for software engineering education.
Proceedings of the 24th IEEE-CS Conference on Software Engineering Education and Training, 2011
An Educational Tool based on Semantic Tableaux for Verification and Debugging of Algorithms - Experiences and Results.
Proceedings of the CSEDU 2011, 2011
2010
A Theoretical Framework for the Higher-Order Cooperation of Numeric Constraint Domains.
Proceedings of the Fifth Logical and Semantic Frameworks, with Applications Workshop, 2010
From the Algebraic Specification to the Real Implementation: An Educational Environment for the Interactive Learning of Data Structures and Algorithmic Schemes.
Proceedings of the 2010 International Conference on Frontiers in Education: Computer Science & Computer Engineering, 2010
An Interactive Tool for Data Structure Visualization and Algorithm Animation - Experiences and Results.
Proceedings of the CSEDU 2010 - Proceedings of the Second International Conference on Computer Supported Education, Valencia, Spain, April 7-10, 2010, 2010
Cooperation of Algebraic Constraint Domains in Higher-Order Functional and Logic Programming.
Proceedings of the Algebraic Methodology and Software Technology, 2010
2009
Theory Pract. Log. Program., 2009
Proceedings of the Fourth Workshop on Logical and Semantic Frameworks, with Applications, 2009
A Theoretical Framework for the Declarative Debugging of Functional Logic Programs with Lambda Abstractions.
Proceedings of the Functional and Constraint Logic Programming, 2009
A higher-order logical framework for the algorithmic debugging and verification of declarative programs.
Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2009
Proceedings of the Computational Science, 2009
An Innovative Educational Environment for the Interactive Learning of Data Structures - From Algebraic Specification to Implementation.
Proceedings of the CSEDU 2009 - Proceedings of the First International Conference on Computer Supported Education, Lisboa, Portugal, March 23-26, 2009, 2009
2008
Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2008
Proceedings of the Computational Science, 2008
Proceedings of the Functional and Logic Programming, 9th International Symposium, 2008
2007
Theory Pract. Log. Program., 2007
High. Order Symb. Comput., 2007
Proceedings of the Theoretical Aspects of Computing, 2007
Proceedings of the Logic Programming, 23rd International Conference, 2007
2006
A Fully Sound Goal Solving Calculus for the Cooperation of Solvers in the CFLP Scheme.
Proceedings of the 15th Workshop on Functional and (Constraint) Logic Programming, 2006
A Proposal for the Cooperation of Solvers in Constraint Functional Logic Programming.
Proceedings of the Sixth Spanish Conference on Programming and Languages, 2006
Proceedings of the Logic Programming, 22nd International Conference, 2006
2005
Designing an efficient computation strategy in <i>CFLP(FD)</i> using definitional trees.
Proceedings of the ACM SIGPLAN 2005 Workshop on Curry and Functional Logic Programming, 2005
Proceedings of the Frontiers of Combining Systems, 5th International Workshop, 2005
2004
Proceedings of the Fifth International Workshop on Rewriting Logic and Its Applications, 2004
Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2004
2003
Proceedings of the 5th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2003