Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Rafael del Vado Vírseda
@inproceedings{DBLP:conf/sigcse/Virseda24,
author = {Rafael del Vado V{\'{\i}}rseda},
editor = {Ben Stephenson and
Jeffrey A. Stone and
Lina Battestilli and
Samuel A. Rebelsky and
Libby Shoop},
title = {Introducing Theoretical Computer Science Education in Social Sciences
and Economics Degrees},
booktitle = {Proceedings of the 55th {ACM} Technical Symposium on Computer Science
Education, {SIGCSE} 2024, Volume 2, Portland, OR, USA, March 20-23,
2024},
pages = {1620--1621},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3626253.3635481},
doi = {10.1145/3626253.3635481},
timestamp = {Mon, 01 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigcse/Virseda24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csedu/Virseda23,
author = {Rafael del Vado V{\'{\i}}rseda},
editor = {Jelena Jovanovic and
Irene{-}Angelica Chounta and
James Uhomoibhi and
Bruce M. McLaren},
title = {Visualizing Compiler Design Theory from Implementation Through an
Interactive Tutoring Tool: Experiences and Results},
booktitle = {Proceedings of the 15th International Conference on Computer Supported
Education, {CSEDU} 2023, Volume 2, Prague, Czech Republic, April 21-23,
2023},
pages = {333--340},
publisher = {{SCITEPRESS}},
year = {2023},
url = {https://doi.org/10.5220/0011709800003470},
doi = {10.5220/0011709800003470},
timestamp = {Tue, 06 Jun 2023 10:46:10 +0200},
biburl = {https://dblp.org/rec/conf/csedu/Virseda23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/Virseda23,
author = {Rafael del Vado V{\'{\i}}rseda},
editor = {Maureen Doyle and
Ben Stephenson and
Brian Dorn and
Leen{-}Kiat Soh and
Lina Battestilli},
title = {Theoretical Computer Science Education from Impossibility and Undecidability
Problems in Physics},
booktitle = {Proceedings of the 54th {ACM} Technical Symposium on Computer Science
Education, Volume 1, {SIGCSE} 2023, Toronto, ON, Canada, March 15-18,
2023},
pages = {270--276},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3545945.3569742},
doi = {10.1145/3545945.3569742},
timestamp = {Sat, 11 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigcse/Virseda23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/Virseda21a,
author = {Rafael del Vado V{\'{\i}}rseda},
editor = {Larry Merkle and
Maureen Doyle and
Judithe Sheard and
Leen{-}Kiat Soh and
Brian Dorn},
title = {{ITT:} An Interactive Tutoring Tool to Improve the Learning and Visualization
of Compiler Design Theory From Implementation},
booktitle = {{SIGCSE} 2022: The 53rd {ACM} Technical Symposium on Computer Science
Education, Providence, RI, USA, March 3-5, 2022, Volume 2},
pages = {1074},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3478432.3499140},
doi = {10.1145/3478432.3499140},
timestamp = {Mon, 07 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigcse/Virseda21a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/Virseda21,
author = {Rafael del Vado V{\'{\i}}rseda},
editor = {Carsten Schulte and
Brett A. Becker and
Monica Divitini and
Erik Barendsen},
title = {Learning Compiler Design: From the Implementation to Theory},
booktitle = {ITiCSE '21: Proceedings of the 26th {ACM} Conference on Innovation
and Technology in Computer Science Education V.2, Virtual Event, Germany,
June 26 - July 1, 2021},
pages = {609--610},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3456565.3460041},
doi = {10.1145/3456565.3460041},
timestamp = {Tue, 13 Sep 2022 16:33:17 +0200},
biburl = {https://dblp.org/rec/conf/iticse/Virseda21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/Virseda21,
author = {Rafael del Vado V{\'{\i}}rseda},
editor = {Mark Sherriff and
Laurence D. Merkle and
Pamela A. Cutter and
Alvaro E. Monge and
Judithe Sheard},
title = {Learning from the Impossible: Introducing Theoretical Computer Science
in {CS} Mathematics Courses},
booktitle = {{SIGCSE} '21: The 52nd {ACM} Technical Symposium on Computer Science
Education, Virtual Event, USA, March 13-20, 2021},
pages = {952--958},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3408877.3432475},
doi = {10.1145/3408877.3432475},
timestamp = {Wed, 07 Apr 2021 16:26:26 +0200},
biburl = {https://dblp.org/rec/conf/sigcse/Virseda21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/Virseda20,
author = {Rafael del Vado V{\'{\i}}rseda},
editor = {Michail N. Giannakos and
Guttorm Sindre and
Andrew Luxton{-}Reilly and
Monica Divitini},
title = {Learning Theoretical Computing from the Mathematical Impossibility
Results of the {CS} Curriculum},
booktitle = {Proceedings of the 2020 {ACM} Conference on Innovation and Technology
in Computer Science Education, ITiCSE 2020, Trondheim, Norway, June
15-19, 2020},
pages = {521--522},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3341525.3393986},
doi = {10.1145/3341525.3393986},
timestamp = {Sun, 14 Jun 2020 10:48:50 +0200},
biburl = {https://dblp.org/rec/conf/iticse/Virseda20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/Virseda20a,
author = {Rafael del Vado V{\'{\i}}rseda},
editor = {Michail N. Giannakos and
Guttorm Sindre and
Andrew Luxton{-}Reilly and
Monica Divitini},
title = {An Interactive Tutoring System for Learning Language Processing and
Compiler Design},
booktitle = {Proceedings of the 2020 {ACM} Conference on Innovation and Technology
in Computer Science Education, ITiCSE 2020, Trondheim, Norway, June
15-19, 2020},
pages = {552},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3341525.3393969},
doi = {10.1145/3341525.3393969},
timestamp = {Sun, 14 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iticse/Virseda20a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kolicalling/Virseda20,
author = {Rafael del Vado V{\'{\i}}rseda},
editor = {Nick Falkner and
Otto Sepp{\"{a}}l{\"{a}}},
title = {From the Mathematical Impossibility Results of the High School Curriculum
to Theoretical Computer Science},
booktitle = {Koli Calling '20: 20th Koli Calling International Conference on Computing
Education Research, Koli, Finland, November 19-22, 2020},
pages = {19:1--19:5},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3428029.3428038},
doi = {10.1145/3428029.3428038},
timestamp = {Sat, 21 Oct 2023 10:46:28 +0200},
biburl = {https://dblp.org/rec/conf/kolicalling/Virseda20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/comped/Virseda19,
author = {Rafael del Vado V{\'{\i}}rseda},
editor = {Ming Zhang and
Bo Yang and
Steve Cooper and
Andrew Luxton{-}Reilly},
title = {Computability and Algorithmic Complexity Questions in Secondary Education},
booktitle = {Proceedings of the {ACM} Conference on Global Computing Education,
CompEd 2019, Chengdu,Sichuan, China, May 17-19, 2019},
pages = {51--57},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3300115.3309507},
doi = {10.1145/3300115.3309507},
timestamp = {Sun, 05 May 2019 13:58:12 +0200},
biburl = {https://dblp.org/rec/conf/comped/Virseda19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/Virseda20,
author = {Rafael del Vado V{\'{\i}}rseda},
editor = {Elizabeth K. Hawthorne and
Manuel A. P{\'{e}}rez{-}Qui{\~{n}}ones and
Sarah Heckman and
Jian Zhang},
title = {Introducing Theoretical Computer Concepts in Secondary Education},
booktitle = {Proceedings of the 50th {ACM} Technical Symposium on Computer Science
Education, {SIGCSE} 2019, Minneapolis, MN, USA, February 27 - March
02, 2019},
pages = {1272},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3287324.3293784},
doi = {10.1145/3287324.3293784},
timestamp = {Tue, 05 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigcse/Virseda20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csedu/VirsedaMG12,
author = {Rafael del Vado V{\'{\i}}rseda and
Fernando P{\'{e}}rez Morente and
Eduardo Berbis Gonz{\'{a}}lez},
editor = {Markus Helfert and
Maria Jo{\~{a}}o Martins and
Jos{\'{e}} Cordeiro},
title = {{TVT:} {A} Software Verification Package for the Interactive Learning
of Formal Programming Techniques - An Educational Experience},
booktitle = {{CSEDU} 2012 - Proceedings of the 4th International Conference on
Computer Supported Education, Volume 2, Porto, Portugal, 16-18 April,
2012},
pages = {77--82},
publisher = {SciTePress},
year = {2012},
timestamp = {Tue, 29 May 2012 08:24:37 +0200},
biburl = {https://dblp.org/rec/conf/csedu/VirsedaMG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csee/Virseda12,
author = {Rafael del Vado V{\'{\i}}rseda},
editor = {Daoxu Chen and
Mike Barker and
LiGuo Huang},
title = {A Software Testing Tool for the Verification of Abstract Data Type
Implementations from Formal Algebraic Specifications},
booktitle = {25th {IEEE} Conference on Software Engineering Education and Training,
CSEE{\&}T 2012, Nanjing, China, April 17-19, 2012},
pages = {100--104},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/CSEET.2012.16},
doi = {10.1109/CSEET.2012.16},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csee/Virseda12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/VirsedaMT12,
author = {Rafael del Vado V{\'{\i}}rseda and
Fernando P{\'{e}}rez Morente and
Marcos Miguel Garc{\'{\i}}a Toledo},
editor = {Agostino Dovier and
V{\'{\i}}tor Santos Costa},
title = {A Concurrent Operational Semantics for Constraint Functional Logic
Programming},
booktitle = {Technical Communications of the 28th International Conference on Logic
Programming, {ICLP} 2012, September 4-8, 2012, Budapest, Hungary},
series = {LIPIcs},
volume = {17},
pages = {154--163},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2012},
url = {https://doi.org/10.4230/LIPIcs.ICLP.2012.154},
doi = {10.4230/LIPICS.ICLP.2012.154},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/iclp/VirsedaMT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/procedia/VirsedaM12,
author = {Rafael del Vado V{\'{\i}}rseda and
Fernando P{\'{e}}rez Morente},
editor = {Hesham H. Ali and
Yong Shi and
Deepak Khazanchi and
Michael Lees and
G. Dick van Albada and
Jack J. Dongarra and
Peter M. A. Sloot},
title = {An Innovative Teaching Tool for the Verification of Abstract Data
Type Implementations from Formal Algebraic Specifications},
booktitle = {Proceedings of the International Conference on Computational Science,
{ICCS} 2012, Omaha, Nebraska, USA, 4-6 June, 2012},
series = {Procedia Computer Science},
volume = {9},
pages = {1743--1752},
publisher = {Elsevier},
year = {2012},
url = {https://doi.org/10.1016/j.procs.2012.04.192},
doi = {10.1016/J.PROCS.2012.04.192},
timestamp = {Thu, 08 Jul 2021 16:04:01 +0200},
biburl = {https://dblp.org/rec/journals/procedia/VirsedaM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csedu/VirsedaMM11,
author = {Rafael del Vado V{\'{\i}}rseda and
Fernando P{\'{e}}rez Morente and
Sergio Esquembri Mart{\'{\i}}nez},
editor = {Alexander Verbraeck and
Markus Helfert and
Jos{\'{e}} Cordeiro and
Boris Shishkov},
title = {An Educational Tool based on Semantic Tableaux for Verification and
Debugging of Algorithms - Experiences and Results},
booktitle = {{CSEDU} 2011 - Proceedings of the 3rd International Conference on
Computer Supported Education, Volume 2, Noordwijkerhout, Netherlands,
6-8 May, 2011},
pages = {67--72},
publisher = {SciTePress},
year = {2011},
timestamp = {Fri, 30 Sep 2011 08:32:56 +0200},
biburl = {https://dblp.org/rec/conf/csedu/VirsedaMM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csee/Virseda11,
author = {Rafael del Vado V{\'{\i}}rseda},
editor = {J. Barrie Thompson and
Emily Oh Navarro and
Dan Port},
title = {A learning methodology based on semantic tableaux for software engineering
education},
booktitle = {24th {IEEE-CS} Conference on Software Engineering Education and Training,
CSEE{\&}T 2011, May 22-24, 2011, Waikiki, Honolulu, HI, USA, Proceedings},
pages = {401--405},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/CSEET.2011.5876113},
doi = {10.1109/CSEET.2011.5876113},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csee/Virseda11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/VirsedaM11,
author = {Rafael del Vado V{\'{\i}}rseda and
Fernando P{\'{e}}rez Morente},
editor = {Guido R{\"{o}}{\ss}ling and
Thomas L. Naps and
Christian Spannagel},
title = {An innovative teaching tool based on semantic tableaux for verification
and debugging of programs},
booktitle = {Proceedings of the 16th Annual {SIGCSE} Conference on Innovation and
Technology in Computer Science Education, ITiCSE 2011, Darmstadt,
Germany, June 27-29, 2011},
pages = {352},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1999747.1999866},
doi = {10.1145/1999747.1999866},
timestamp = {Wed, 10 Mar 2021 13:17:16 +0100},
biburl = {https://dblp.org/rec/conf/iticse/VirsedaM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/VirsedaM11,
author = {Rafael del Vado V{\'{\i}}rseda and
Fernando P{\'{e}}rez Morente},
editor = {Peter Schneider{-}Kamp and
Michael Hanus},
title = {A modular semantics for higher-order declarative programming with
constraints},
booktitle = {Proceedings of the 13th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, July 20-22, 2011,
Odense, Denmark},
pages = {41--52},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2003476.2003485},
doi = {10.1145/2003476.2003485},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/VirsedaM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ticttl/VirsedaOBG11,
author = {Rafael del Vado V{\'{\i}}rseda and
Eva Pilar Orna and
Eduardo Berbis and
Sa{\'{u}}l de Le{\'{o}}n Guerrero},
editor = {Patrick Blackburn and
Hans van Ditmarsch and
Mar{\'{\i}}a Manzano and
Fernando Soler{-}Toscano},
title = {A Logic Teaching Tool Based on Tableaux for Verification and Debugging
of Algorithms},
booktitle = {Tools for Teaching Logic - Third International Congress, {TICTTL}
2011, Salamanca, Spain, June 1-4, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6680},
pages = {239--248},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21350-2\_29},
doi = {10.1007/978-3-642-21350-2\_29},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/ticttl/VirsedaOBG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/procedia/VirsedaM11,
author = {Rafael del Vado V{\'{\i}}rseda and
Fernando P{\'{e}}rez Morente},
editor = {Mitsuhisa Sato and
Satoshi Matsuoka and
Peter M. A. Sloot and
G. Dick van Albada and
Jack J. Dongarra},
title = {An Innovative Teaching Tool based on Semantic Tableaux for Verification
and Debugging of Imperative Programs},
booktitle = {Proceedings of the International Conference on Computational Science,
{ICCS} 2011, Nanyang Technological University, Singapore, 1-3 June,
2011},
series = {Procedia Computer Science},
volume = {4},
pages = {1907--1916},
publisher = {Elsevier},
year = {2011},
url = {https://doi.org/10.1016/j.procs.2011.04.208},
doi = {10.1016/J.PROCS.2011.04.208},
timestamp = {Thu, 08 Jul 2021 16:04:01 +0200},
biburl = {https://dblp.org/rec/journals/procedia/VirsedaM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/Virseda10,
author = {Rafael del Vado V{\'{\i}}rseda},
editor = {Michael Johnson and
Dusko Pavlovic},
title = {Cooperation of Algebraic Constraint Domains in Higher-Order Functional
and Logic Programming},
booktitle = {Algebraic Methodology and Software Technology - 13th International
Conference, {AMAST} 2010, Lac-Beauport, QC, Canada, June 23-25, 2010.
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6486},
pages = {180--200},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-17796-5\_11},
doi = {10.1007/978-3-642-17796-5\_11},
timestamp = {Sun, 25 Oct 2020 23:16:25 +0100},
biburl = {https://dblp.org/rec/conf/amast/Virseda10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csedu/Virseda10,
author = {Rafael del Vado V{\'{\i}}rseda},
editor = {Jos{\'{e}} A. Moinhos Cordeiro and
Boris Shishkov and
Alexander Verbraeck and
Markus Helfert},
title = {An Interactive Tool for Data Structure Visualization and Algorithm
Animation - Experiences and Results},
booktitle = {{CSEDU} 2010 - Proceedings of the Second International Conference
on Computer Supported Education, Valencia, Spain, April 7-10, 2010
- Volume 2},
pages = {13--20},
publisher = {{INSTICC} Press},
year = {2010},
timestamp = {Tue, 04 Jan 2011 15:45:20 +0100},
biburl = {https://dblp.org/rec/conf/csedu/Virseda10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fecs/VirsedaPBI10,
author = {Rafael del Vado V{\'{\i}}rseda and
Luis Jimenez Paniagua and
Jose Marcos Barrio and
Ruben Fuentes Iglesias},
editor = {Hamid R. Arabnia and
Victor A. Clincy and
Azita Bahrami and
Ashu M. G. Solo},
title = {From the Algebraic Specification to the Real Implementation: An Educational
Environment for the Interactive Learning of Data Structures and Algorithmic
Schemes},
booktitle = {Proceedings of the 2010 International Conference on Frontiers in Education:
Computer Science {\&} Computer Engineering, {FECS} 2010, July
12-15, 2010, Las Vegas, Nevada, {USA}},
pages = {316--322},
publisher = {{CSREA} Press},
year = {2010},
timestamp = {Mon, 13 Dec 2010 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fecs/VirsedaPBI10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Virseda11,
author = {Rafael del Vado V{\'{\i}}rseda},
editor = {Edward Hermann Haeusler and
Luis Fari{\~{n}}as del Cerro},
title = {A Theoretical Framework for the Higher-Order Cooperation of Numeric
Constraint Domains},
booktitle = {Proceedings of the Fifth Logical and Semantic Frameworks, with Applications
Workshop, {LSFA} 2010, Natal, Brazil, August 31, 2010},
series = {Electronic Notes in Theoretical Computer Science},
volume = {269},
pages = {55--69},
publisher = {Elsevier},
year = {2010},
url = {https://doi.org/10.1016/j.entcs.2011.03.005},
doi = {10.1016/J.ENTCS.2011.03.005},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/Virseda11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/MartinHRVSF09,
author = {Sonia Est{\'{e}}vez Mart{\'{\i}}n and
Maria Teresa Hortal{\'{a}}{-}Gonz{\'{a}}lez and
Mario Rodr{\'{\i}}guez{-}Artalejo and
Rafael del Vado V{\'{\i}}rseda and
Fernando S{\'{a}}enz{-}P{\'{e}}rez and
Antonio J. Fern{\'{a}}ndez},
title = {On the cooperation of the constraint domains , \emph{R}, and \emph{F}
in {CFLP}},
journal = {Theory Pract. Log. Program.},
volume = {9},
number = {4},
pages = {415--527},
year = {2009},
url = {https://doi.org/10.1017/S1471068409003780},
doi = {10.1017/S1471068409003780},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/MartinHRVSF09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csedu/Virseda09,
author = {Rafael del Vado V{\'{\i}}rseda},
editor = {Jos{\'{e}} A. Moinhos Cordeiro and
Boris Shishkov and
Alexander Verbraeck and
Markus Helfert},
title = {An Innovative Educational Environment for the Interactive Learning
of Data Structures - From Algebraic Specification to Implementation},
booktitle = {{CSEDU} 2009 - Proceedings of the First International Conference on
Computer Supported Education, Lisboa, Portugal, March 23-26, 2009
- Volume 2},
pages = {27--32},
publisher = {{INSTICC} Press},
year = {2009},
timestamp = {Mon, 15 Jun 2015 19:00:07 +0200},
biburl = {https://dblp.org/rec/conf/csedu/Virseda09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccS/VirsedaFMM09,
author = {Rafael del Vado V{\'{\i}}rseda and
Pablo Fern{\'{a}}ndez and
Salvador Mu{\~{n}}oz and
Antonio Murillo},
editor = {Gabrielle Allen and
Jaroslaw Nabrzyski and
Edward Seidel and
G. Dick van Albada and
Jack J. Dongarra and
Peter M. A. Sloot},
title = {An Intelligent Tutoring System for Interactive Learning of Data Structures},
booktitle = {Computational Science - {ICCS} 2009, 9th International Conference,
Baton Rouge, LA, USA, May 25-27, 2009, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {5545},
pages = {53--62},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-01973-9\_7},
doi = {10.1007/978-3-642-01973-9\_7},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iccS/VirsedaFMM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/Virseda09,
author = {Rafael del Vado V{\'{\i}}rseda},
editor = {Ant{\'{o}}nio Porto and
Francisco Javier L{\'{o}}pez{-}Fraguas},
title = {A higher-order logical framework for the algorithmic debugging and
verification of declarative programs},
booktitle = {Proceedings of the 11th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, September 7-9,
2009, Coimbra, Portugal},
pages = {49--60},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1599410.1599418},
doi = {10.1145/1599410.1599418},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/Virseda09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wflp/VirsedaC09,
author = {Rafael del Vado V{\'{\i}}rseda and
Ignacio Casti{\~{n}}eiras},
editor = {Santiago Escobar},
title = {A Theoretical Framework for the Declarative Debugging of Functional
Logic Programs with Lambda Abstractions},
booktitle = {Functional and Constraint Logic Programming, 18th International Workshop,
{WFLP} 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5979},
pages = {162--178},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-11999-6\_11},
doi = {10.1007/978-3-642-11999-6\_11},
timestamp = {Tue, 10 Nov 2020 12:25:00 +0100},
biburl = {https://dblp.org/rec/conf/wflp/VirsedaC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Virseda09,
author = {Rafael del Vado V{\'{\i}}rseda},
editor = {Mauricio Ayala{-}Rinc{\'{o}}n and
Fairouz Kamareddine},
title = {A Logical Framework for Debugging in Declarative Constraint Programming},
booktitle = {Proceedings of the Fourth Workshop on Logical and Semantic Frameworks,
with Applications, {LSFA} 2009, Bras{\'{\i}}lia, Brazil, August
28, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {256},
pages = {119--135},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.11.009},
doi = {10.1016/J.ENTCS.2009.11.009},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Virseda09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0904-2136,
author = {Sonia Est{\'{e}}vez Mart{\'{\i}}n and
Maria Teresa Hortal{\'{a}}{-}Gonz{\'{a}}lez and
Mario Rodr{\'{\i}}guez{-}Artalejo and
Rafael del Vado V{\'{\i}}rseda and
Fernando S{\'{a}}enz{-}P{\'{e}}rez and
Antonio J. Fern{\'{a}}ndez},
title = {On the Cooperation of the Constraint Domains H, {R} and {FD} in {CFLP}},
journal = {CoRR},
volume = {abs/0904.2136},
year = {2009},
url = {http://arxiv.org/abs/0904.2136},
eprinttype = {arXiv},
eprint = {0904.2136},
timestamp = {Thu, 18 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0904-2136.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/CaballeroRV08,
author = {Rafael Caballero and
Mario Rodr{\'{\i}}guez{-}Artalejo and
Rafael del Vado V{\'{\i}}rseda},
editor = {Jacques Garrigue and
Manuel V. Hermenegildo},
title = {Declarative Diagnosis of Missing Answers in Constraint Functional-Logic
Programming},
booktitle = {Functional and Logic Programming, 9th International Symposium, {FLOPS}
2008, Ise, Japan, April 14-16, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4989},
pages = {305--321},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78969-7\_22},
doi = {10.1007/978-3-540-78969-7\_22},
timestamp = {Wed, 23 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/CaballeroRV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccS/SeguraPVSS08,
author = {Clara Segura and
Isabel Pita and
Rafael del Vado V{\'{\i}}rseda and
Ana Isabel Saiz and
Pablo Soler},
editor = {Marian Bubak and
G. Dick van Albada and
Jack J. Dongarra and
Peter M. A. Sloot},
title = {Interactive Learning of Data Structures and Algorithmic Schemes},
booktitle = {Computational Science - {ICCS} 2008, 8th International Conference,
Krak{\'{o}}w, Poland, June 23-25, 2008, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {5101},
pages = {800--809},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-69384-0\_85},
doi = {10.1007/978-3-540-69384-0\_85},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iccS/SeguraPVSS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/MartinFHRSV08,
author = {Sonia Est{\'{e}}vez Mart{\'{\i}}n and
Antonio J. Fern{\'{a}}ndez and
Maria Teresa Hortal{\'{a}}{-}Gonz{\'{a}}lez and
Mario Rodr{\'{\i}}guez{-}Artalejo and
Fernando S{\'{a}}enz{-}P{\'{e}}rez and
Rafael del Vado V{\'{\i}}rseda},
editor = {Sergio Antoy and
Elvira Albert},
title = {Cooperation of constraint domains in the \emph{TOY} system},
booktitle = {Proceedings of the 10th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, July 15-17, 2008,
Valencia, Spain},
pages = {258--268},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1389449.1389481},
doi = {10.1145/1389449.1389481},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/MartinFHRSV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/Lopez-FraguasRV07,
author = {Francisco Javier L{\'{o}}pez{-}Fraguas and
Mario Rodr{\'{\i}}guez{-}Artalejo and
Rafael del Vado V{\'{\i}}rseda},
title = {A new generic scheme for functional logic programming with constraints},
journal = {High. Order Symb. Comput.},
volume = {20},
number = {1-2},
pages = {73--122},
year = {2007},
url = {https://doi.org/10.1007/s10990-007-9002-4},
doi = {10.1007/S10990-007-9002-4},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/Lopez-FraguasRV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/FernandezHSV07,
author = {Antonio J. Fern{\'{a}}ndez and
Maria Teresa Hortal{\'{a}}{-}Gonz{\'{a}}lez and
Fernando S{\'{a}}enz{-}P{\'{e}}rez and
Rafael del Vado V{\'{\i}}rseda},
title = {Constraint functional logic programming over finite domains},
journal = {Theory Pract. Log. Program.},
volume = {7},
number = {5},
pages = {537--582},
year = {2007},
url = {https://doi.org/10.1017/S1471068406002924},
doi = {10.1017/S1471068406002924},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/FernandezHSV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/CaballeroRV07,
author = {Rafael Caballero and
Mario Rodr{\'{\i}}guez{-}Artalejo and
Rafael del Vado V{\'{\i}}rseda},
editor = {Ver{\'{o}}nica Dahl and
Ilkka Niemel{\"{a}}},
title = {Declarative Debugging of Missing Answers in Constraint Functional-Logic
Programming},
booktitle = {Logic Programming, 23rd International Conference, {ICLP} 2007, Porto,
Portugal, September 8-13, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4670},
pages = {425--427},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74610-2\_29},
doi = {10.1007/978-3-540-74610-2\_29},
timestamp = {Wed, 23 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/CaballeroRV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/Virseda07,
author = {Rafael del Vado V{\'{\i}}rseda},
editor = {Cliff B. Jones and
Zhiming Liu and
Jim Woodcock},
title = {A Higher-Order Demand-Driven Narrowing Calculus with Definitional
Trees},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2007, 4th International
Colloquium, Macau, China, September 26-28, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4711},
pages = {169--184},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75292-9\_12},
doi = {10.1007/978-3-540-75292-9\_12},
timestamp = {Fri, 17 Feb 2023 09:02:01 +0100},
biburl = {https://dblp.org/rec/conf/ictac/Virseda07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/CaballeroRV06,
author = {Rafael Caballero and
Mario Rodr{\'{\i}}guez{-}Artalejo and
Rafael del Vado V{\'{\i}}rseda},
editor = {Sandro Etalle and
Miroslaw Truszczynski},
title = {Declarative Diagnosis of Wrong Answers in Constraint Functional-Logic
Programming},
booktitle = {Logic Programming, 22nd International Conference, {ICLP} 2006, Seattle,
WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4079},
pages = {421--422},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11799573\_31},
doi = {10.1007/11799573\_31},
timestamp = {Wed, 23 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/CaballeroRV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MartinFHRSV07,
author = {Sonia Est{\'{e}}vez Mart{\'{\i}}n and
Antonio J. Fern{\'{a}}ndez and
Maria Teresa Hortal{\'{a}}{-}Gonz{\'{a}}lez and
Mario Rodr{\'{\i}}guez{-}Artalejo and
Fernando S{\'{a}}enz{-}P{\'{e}}rez and
Rafael del Vado V{\'{\i}}rseda},
editor = {Paqui Lucio and
Fernando Orejas},
title = {A Proposal for the Cooperation of Solvers in Constraint Functional
Logic Programming},
booktitle = {Proceedings of the Sixth Spanish Conference on Programming and Languages,
{PROLE} 2006, Sitges, Barcelona, Spain, October 4-6, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {188},
pages = {37--51},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2007.05.037},
doi = {10.1016/J.ENTCS.2007.05.037},
timestamp = {Tue, 31 Jan 2023 15:25:12 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MartinFHRSV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MartinFHRV07,
author = {Sonia Est{\'{e}}vez Mart{\'{\i}}n and
Antonio J. Fern{\'{a}}ndez and
Maria Teresa Hortal{\'{a}}{-}Gonz{\'{a}}lez and
Mario Rodr{\'{\i}}guez{-}Artalejo and
Rafael del Vado V{\'{\i}}rseda},
editor = {Francisco Javier L{\'{o}}pez{-}Fraguas},
title = {A Fully Sound Goal Solving Calculus for the Cooperation of Solvers
in the {CFLP} Scheme},
booktitle = {Proceedings of the 15th Workshop on Functional and (Constraint) Logic
Programming, {WFLP} 2006, Madrid, Spain, November 16-17, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {177},
pages = {235--252},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2007.01.026},
doi = {10.1016/J.ENTCS.2007.01.026},
timestamp = {Tue, 24 Jan 2023 12:32:48 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MartinFHRV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0601071,
author = {Antonio J. Fern{\'{a}}ndez and
Maria Teresa Hortal{\'{a}}{-}Gonz{\'{a}}lez and
Fernando S{\'{a}}enz{-}P{\'{e}}rez and
Rafael del Vado V{\'{\i}}rseda},
title = {Constraint Functional Logic Programming over Finite Domains},
journal = {CoRR},
volume = {abs/cs/0601071},
year = {2006},
url = {http://arxiv.org/abs/cs/0601071},
eprinttype = {arXiv},
eprint = {cs/0601071},
timestamp = {Thu, 18 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0601071.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/Virseda05,
author = {Rafael del Vado V{\'{\i}}rseda},
editor = {Bernhard Gramlich},
title = {Declarative Constraint Programming with Definitional Trees},
booktitle = {Frontiers of Combining Systems, 5th International Workshop, FroCoS
2005, Vienna, Austria, September 19-21, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3717},
pages = {184--199},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11559306\_10},
doi = {10.1007/11559306\_10},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/frocos/Virseda05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcflp/MartinV05,
author = {Sonia Est{\'{e}}vez Mart{\'{\i}}n and
Rafael del Vado V{\'{\i}}rseda},
editor = {Sergio Antoy and
Michael Hanus},
title = {Designing an efficient computation strategy in \emph{CFLP(FD)} using
definitional trees},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2005 Workshop on Curry and Functional
Logic Programming, Tallinn, Estonia, September 29, 2005},
pages = {23--31},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1085099.1085105},
doi = {10.1145/1085099.1085105},
timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
biburl = {https://dblp.org/rec/conf/wcflp/MartinV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/Lopez-FraguasRV04,
author = {Francisco Javier L{\'{o}}pez{-}Fraguas and
Mario Rodr{\'{\i}}guez{-}Artalejo and
Rafael del Vado V{\'{\i}}rseda},
editor = {Eugenio Moggi and
David Scott Warren},
title = {A lazy narrowing calculus for declarative constraint programming},
booktitle = {Proceedings of the 6th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, 24-26 August 2004,
Verona, Italy},
pages = {43--54},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1013963.1013972},
doi = {10.1145/1013963.1013972},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/Lopez-FraguasRV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Lopez-FraguasRV05,
author = {Francisco Javier L{\'{o}}pez{-}Fraguas and
Mario Rodr{\'{\i}}guez{-}Artalejo and
Rafael del Vado V{\'{\i}}rseda},
editor = {Narciso Mart{\'{\i}}{-}Oliet},
title = {Constraint Functional Logic Programming Revisited},
booktitle = {Proceedings of the Fifth International Workshop on Rewriting Logic
and Its Applications, {WRLA} 2004, Barcelona, Spain, March 27-28,
2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {117},
pages = {5--50},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.06.030},
doi = {10.1016/J.ENTCS.2004.06.030},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Lopez-FraguasRV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/Virseda03,
author = {Rafael del Vado V{\'{\i}}rseda},
title = {A demand-driven narrowing calculus with overlapping definitional trees},
booktitle = {Proceedings of the 5th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, 27-29 August 2003,
Uppsala, Sweden},
pages = {253--263},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/888251.888275},
doi = {10.1145/888251.888275},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/Virseda03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-21 18:11 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
