Rafael del Vado Vírseda - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 42 from 42

2024

Introducing Theoretical Computer Science Education in Social Sciences and Economics DegreesRafael del Vado Vírseda. sigcse 2024: 1620-1621 [doi]

2023

Visualizing Compiler Design Theory from Implementation Through an Interactive Tutoring Tool: Experiences and ResultsRafael del Vado Vírseda. csedu 2023: 333-340 [doi]

Theoretical Computer Science Education from Impossibility and Undecidability Problems in PhysicsRafael del Vado Vírseda. sigcse 2023: 270-276 [doi]

2022

ITT: An Interactive Tutoring Tool to Improve the Learning and Visualization of Compiler Design Theory From ImplementationRafael del Vado Vírseda. sigcse 2022: 1074 [doi]

2021

Learning from the Impossible: Introducing Theoretical Computer Science in CS Mathematics CoursesRafael del Vado Vírseda. sigcse 2021: 952-958 [doi]

Learning Compiler Design: From the Implementation to TheoryRafael del Vado Vírseda. iticse 2021: 609-610 [doi]

2020

From the Mathematical Impossibility Results of the High School Curriculum to Theoretical Computer ScienceRafael del Vado Vírseda. kolicalling 2020: [doi]

Introducing Theoretical Computer Concepts in Secondary EducationRafael del Vado Vírseda. sigcse 2019: 1272 [doi]

Learning Theoretical Computing from the Mathematical Impossibility Results of the CS CurriculumRafael del Vado Vírseda. iticse 2020: 521-522 [doi]

An Interactive Tutoring System for Learning Language Processing and Compiler DesignRafael del Vado Vírseda. iticse 2020: 552 [doi]

2019

Computability and Algorithmic Complexity Questions in Secondary EducationRafael del Vado Vírseda. comped 2019: 51-57 [doi]

2012

2011

A Logic Teaching Tool Based on Tableaux for Verification and Debugging of AlgorithmsRafael del Vado Vírseda, Eva Pilar Orna, Eduardo Berbis, Saúl de León Guerrero. ticttl 2011: 239-248 [doi]

An innovative teaching tool based on semantic tableaux for verification and debugging of programsRafael del Vado Vírseda, Fernando Pérez Morente. iticse 2011: 352 [doi]

A modular semantics for higher-order declarative programming with constraintsRafael del Vado Vírseda, Fernando Pérez Morente. ppdp 2011: 41-52 [doi]

A learning methodology based on semantic tableaux for software engineering educationRafael del Vado Vírseda. csee 2011: 401-405 [doi]

An Educational Tool based on Semantic Tableaux for Verification and Debugging of Algorithms - Experiences and ResultsRafael del Vado Vírseda, Fernando Pérez Morente, Sergio Esquembri Martínez. csedu 2011: 67-72

An Innovative Teaching Tool based on Semantic Tableaux for Verification and Debugging of Imperative ProgramsRafael del Vado Vírseda, Fernando Pérez Morente. procedia, 4:1907-1916, 2011. [doi]

A Theoretical Framework for the Higher-Order Cooperation of Numeric Constraint DomainsRafael del Vado Vírseda. ENTCS, 269:55-69, 2011. [doi]

2010

From the Algebraic Specification to the Real Implementation: An Educational Environment for the Interactive Learning of Data Structures and Algorithmic SchemesRafael del Vado Vírseda, Luis Jimenez Paniagua, Jose Marcos Barrio, Ruben Fuentes Iglesias. fecs 2010: 316-322

An Interactive Tool for Data Structure Visualization and Algorithm Animation - Experiences and ResultsRafael del Vado Vírseda. csedu 2010: 13-20

Cooperation of Algebraic Constraint Domains in Higher-Order Functional and Logic ProgrammingRafael del Vado Vírseda. amast 2011: 180-200 [doi]

2009

An Intelligent Tutoring System for Interactive Learning of Data StructuresRafael del Vado Vírseda, Pablo Fernández, Salvador Muñoz, Antonio Murillo. iccS 2009: 53-62 [doi]

A Theoretical Framework for the Declarative Debugging of Functional Logic Programs with Lambda AbstractionsRafael del Vado Vírseda, Ignacio Castiñeiras. wflp 2010: 162-178 [doi]

2008

2007

Declarative Debugging of Missing Answers in Constraint Functional-Logic ProgrammingRafael Caballero, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda. ICLP 2007: 425-427 [doi]

A Higher-Order Demand-Driven Narrowing Calculus with Definitional TreesRafael del Vado Vírseda. ictac 2007: 169-184 [doi]

Constraint functional logic programming over finite domainsAntonio J. Fernández, Maria Teresa Hortalá-González, Fernando Sáenz-Pérez, Rafael del Vado Vírseda. tplp, 7(5):537-582, 2007. [doi]

A new generic scheme for functional logic programming with constraintsFrancisco Javier López-Fraguas, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda. lisp, 20(1-2):73-122, 2007. [doi]

A Fully Sound Goal Solving Calculus for the Cooperation of Solvers in the CFLP SchemeSonia Estévez Martín, Antonio J. Fernández, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda. ENTCS, 177:235-252, 2007. [doi]

A Proposal for the Cooperation of Solvers in Constraint Functional Logic ProgrammingSonia 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. ENTCS, 188:37-51, 2007. [doi]

2006

Declarative Diagnosis of Wrong Answers in Constraint Functional-Logic ProgrammingRafael Caballero, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda. ICLP 2006: 421-422 [doi]

2005

Declarative Constraint Programming with Definitional TreesRafael del Vado Vírseda. frocos 2005: 184-199 [doi]

Constraint Functional Logic Programming RevisitedFrancisco Javier López-Fraguas, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda. ENTCS, 117:5-50, 2005. [doi]

Designing an efficient computation strategy in ::::CFLP(FD):::: using definitional treesSonia Estévez Martín, Rafael del Vado Vírseda. wcflp 2005: 23-31 [doi]

2004

A lazy narrowing calculus for declarative constraint programmingFrancisco Javier López-Fraguas, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda. ppdp 2004: 43-54 [doi]

2003

A demand-driven narrowing calculus with overlapping definitional treesRafael del Vado Vírseda. ppdp 2003: 253-263 [doi]

Sign in or sign up to see more results.

runs on WebDSL