Rafael del Vado V́ırseda

Author Info

Name	Affiliation	Papers
RAFAEL DEL VADO V́IRSEDA	Univ Complutense Madrid, Dept Sistemas Informat & Computac, E-28040 Madrid, Spain	31
Collaborators	Citations	PageRank
37	97	13.26
Referers	Referees	References
78	274	386

Search Limit

100274

Publications (31 rows)

Collaborators (37 rows)

Referers (78 rows)

Referees (100 rows)

Title	Citations	PageRank	Year
Introducing Theoretical Computer Concepts in Secondary Education	0	0.34	2020
A Concurrent Operational Semantics for Constraint Functional Logic Programming.	0	0.34	2012
An Innovative Teaching Tool For The Verification Of Abstract Data Type Implementations From Formal Algebraic Specifications	0	0.34	2012
TVT: A Software Verification Package for the Interactive Learning of Formal Programming Techniques - An Educational Experience.	0	0.34	2012
An innovative teaching tool based on semantic tableaux for verification and debugging of programs	0	0.34	2011
An Innovative Teaching Tool Based On Semantic Tableaux For Verification And Debugging Of Imperative Programs	0	0.34	2011
A modular semantics for higher-order declarative programming with constraints	0	0.34	2011
A Theoretical Framework for the Higher-Order Cooperation of Numeric Constraint Domains	1	0.35	2011
An Educational Tool based on Semantic Tableaux for Verification and Debugging of Algorithms - Experiences and Results.	0	0.34	2011
A logic teaching tool based on tableaux for verification and debugging of algorithms	0	0.34	2011
A visualization tool for tutoring the interactive learning of data structures and algorithmic schemes	1	0.38	2010
Cooperation of algebraic constraint domains in higher-order functional and logic programming	1	0.35	2010
From the Algebraic Specification to the Real Implementation: An Educational Environment for the Interactive Learning of Data Structures and Algorithmic Schemes	0	0.34	2010
An Interactive Tool For Data Structure Visualization And Algorithm Animation Experiences And Results	0	0.34	2010
An Intelligent Tutoring System for Interactive Learning of Data Structures	0	0.34	2009
On the cooperation of the constraint domains , R, and F in CFLP.	0	0.34	2009
A Logical Framework for Debugging in Declarative Constraint Programming	0	0.34	2009
A theoretical framework for the declarative debugging of functional logic programs with lambda abstractions	1	0.35	2009
A higher-order logical framework for the algorithmic debugging and verification of declarative programs	4	0.45	2009
On the Cooperation of the Constraint Domains H, R and FD in CFLP	1	0.34	2009
Cooperation of constraint domains in the TOY system	0	0.34	2008
Interactive Learning of Data Structures and Algorithmic Schemes	2	0.49	2008
A new generic scheme for functional logic programming with constraints	15	0.76	2007
A higher-order demand-driven narrowing calculus with definitional trees	5	0.47	2007
Constraint functional logic programming over finite domains	14	0.77	2006
Declarative diagnosis of wrong answers in constraint functional-logic programming	4	0.41	2006
Designing an efficient computation strategy in CFLP(FD) using definitional trees	2	0.37	2005
Declarative constraint programming with definitional trees	11	0.64	2005
Constraint Functional Logic Programming Revisited	7	0.65	2005
A lazy narrowing calculus for declarative constraint programming	14	0.75	2004
A demand-driven narrowing calculus with overlapping definitional trees	14	0.66	2003