RAFAEL DEL
VADO VIRSEDA
Profesor contratado doctor
Publicaciones (45) Publicaciones en las que ha participado algún/a investigador/a
2023
-
Theoretical Computer Science Education from Impossibility and Undecidability Problems in Physics
SIGCSE 2023 - Proceedings of the 54th ACM Technical Symposium on Computer Science Education
2022
-
ITT: An Interactive Tutoring Tool to Improve the Learning and Visualization of Compiler Design Theory From Implementation
SIGCSE 2022 - Proceedings of the 53rd ACM Technical Symposium on Computer Science Education V.2
2021
-
Learning Compiler Design: From the Implementation to Theory
Annual Conference on Innovation and Technology in Computer Science Education, ITiCSE
-
Learning from the Impossible: Introducing Theoretical Computer Science in CS Mathematics Courses
SIGCSE 2021 - Proceedings of the 52nd ACM Technical Symposium on Computer Science Education
2020
-
An Interactive Tutoring System for Learning Language Processing and Compiler Design
Annual Conference on Innovation and Technology in Computer Science Education, ITiCSE
-
From the Mathematical Impossibility Results of the High School Curriculum to Theoretical Computer Science
ACM International Conference Proceeding Series
-
From the Mathematical Impossibility Results of the High School Curriculum to Theoretical Computer Science
PervasiveHealth: Pervasive Computing Technologies for Healthcare
-
From the Mathematical Impossibility Results of the High School Curriculum to Theoretical Computer Science
ACM International Conference Proceeding Series
-
Learning Theoretical Computing from the Mathematical Impossibility Results of the CS Curriculum
Annual Conference on Innovation and Technology in Computer Science Education, ITiCSE
2019
-
Computability and Algorithmic Complexity Questions in Secondary Education
CompEd 2019 - Proceedings of the ACM Conference on Global Computing Education
2012
-
A concurrent operational semantics for constraint functional logic programming
Leibniz International Proceedings in Informatics, LIPIcs
-
A software testing tool for the verification of abstract data type implementations from formal algebraic specifications
Proceedings - 2012 25th IEEE Conference on Software Engineering Education and Training, CSEE and T 2012
-
An innovative teaching tool for the verification of abstract data type implementations from formal algebraic specifications
Procedia Computer Science
-
TVT: A software verification package for the interactive learning of formal programming techniques: An educational experience
CSEDU 2012 - Proceedings of the 4th International Conference on Computer Supported Education
2011
-
A learning methodology based on semantic tableaux for software engineering education
2011 24th IEEE-CS Conference on Software Engineering Education and Training, CSEE and T 2011 - Proceedings
-
A logic teaching tool based on tableaux for verification and debugging of algorithms
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
A modular semantics for higher-order declarative programming with constraints
PPDP'11 - Proceedings of the 2011 Symposium on Principles and Practices of Declarative Programming
-
A theoretical framework for the higher-order cooperation of numeric constraint domains
Electronic Notes in Theoretical Computer Science
-
An educational tool based on semantic tableaux for verification and debugging of algorithms: Experiences and results
CSEDU 2011 - Proceedings of the 3rd International Conference on Computer Supported Education
-
An innovative teaching tool based on semantic tableaux for verification and debugging of imperative programs
Procedia Computer Science