All Stories

  1. Values and Beliefs Underpinning K-12 Computing Education

    Article • July 2024, ACM (Association for Computing Machinery)

    Professor J. Ángel Velázquez-Iturbide, Miss Jane Waite, Sue Sentance

  2. An Experience in Explicitly Training Pre-Service Early Childhood Teachers in Programming Concepts with ScratchJr

    Article • October 2022, ACM (Association for Computing Machinery)

    Professor J. Ángel Velázquez-Iturbide

  3. An Analysis of the Formal Properties of Bloom's Taxonomy and Its Implications for Computing Education

    Article • November 2021, ACM (Association for Computing Machinery)

    Professor J. Ángel Velázquez-Iturbide

  4. The role of basic mathematics concepts in programming teaching and learning

    Article • October 2019, ACM (Association for Computing Machinery)

    Professor Francisco J García-Peñalvo, Professor J. Ángel Velázquez-Iturbide

  5. Personality traits and the intention to continue to use the Smart Learning Technologies

    Article • October 2019, ACM (Association for Computing Machinery)

    Professor J. Ángel Velázquez-Iturbide

  6. A Systematic Review of the Use of Bloom's Taxonomy in Computer Science Education

    Article • February 2018, ACM (Association for Computing Machinery)

    Professor J. Ángel Velázquez-Iturbide

  7. How to use the SRec visualization system in programming and algorithm courses

    Article • ACM Inroads, August 2016, ACM (Association for Computing Machinery)

    Professor J. Ángel Velázquez-Iturbide

  8. Modeling the Collaborative Instructional Framework for LMSs Using Educational Modeling Languages

    Article • IEEE Revista Iberoamericana de Tecnologias del Aprendizaje, May 2015, Institute of Electrical & Electronics Engineers (IEEE)

    Professor J. Ángel Velázquez-Iturbide

  9. Programming tool, educational usability

    Article • Computer Applications in Engineering Education, April 2015, Wiley

    Professor J. Ángel Velázquez-Iturbide

  10. Difficulties, attitudes and misconceptions on experimenting with optimization algorithms

    Article • November 2014, Institute of Electrical & Electronics Engineers (IEEE)

    Professor J. Ángel Velázquez-Iturbide

  11. Relationship between learning styles, motivation and educational efficiency in students of computer science

    Article • November 2014, Institute of Electrical & Electronics Engineers (IEEE)

    Professor J. Ángel Velázquez-Iturbide

  12. Serious games for motivating into programming

    Article • October 2014, Institute of Electrical & Electronics Engineers (IEEE)

    Professor J. Ángel Velázquez-Iturbide

  13. Merlin-know, an interactive virtual teacher for improving learning in Moodle

    Article • October 2014, Institute of Electrical & Electronics Engineers (IEEE)

    Professor J. Ángel Velázquez-Iturbide

  14. Replication in Ecuador of a multinational study on performance of programming students

    Article • October 2014, Institute of Electrical & Electronics Engineers (IEEE)

    Professor J. Ángel Velázquez-Iturbide

  15. Design and analysis of an adaptive lens that mimics the performance of the crystalline lens in the human eye

    Article • September 2014, SPIE

    Professor J. Ángel Velázquez-Iturbide

  16. Evaluation of a Didactic Method for the Active Learning of Greedy Algorithms

    Article • IEEE Transactions on Education, May 2014, Institute of Electrical & Electronics Engineers (IEEE)

    Professor J. Ángel Velázquez-Iturbide

  17. An Analysis of Printed Illustrations of Three Algorithm Design Techniques

    Article • IEEE Revista Iberoamericana de Tecnologias del Aprendizaje, May 2014, Institute of Electrical & Electronics Engineers (IEEE)

    Professor J. Ángel Velázquez-Iturbide

  18. An evaluation of students’ motivation in computer-supported collaborative learning of programming concepts

    Article • Computers in Human Behavior, February 2014, Elsevier

    Professor J. Ángel Velázquez-Iturbide, Dr Carlos-María Alcover

  19. Student perception and usage of an automated programming assessment tool

    Article • Computers in Human Behavior, February 2014, Elsevier

    Professor J. Ángel Velázquez-Iturbide

  20. Game programming for improving learning experience

    Article • January 2014, ACM (Association for Computing Machinery)

    Professor J. Ángel Velázquez-Iturbide

  21. An Experimental Method for the Active Learning of Greedy Algorithms

    Article • Digital Threats Research and Practice, November 2013, ACM (Association for Computing Machinery)

    Professor J. Ángel Velázquez-Iturbide

  22. Toward the effective use of educational program animations: The roles of student's engagement and topic complexity

    Article • Computers & Education, September 2013, Elsevier

    Professor J. Ángel Velázquez-Iturbide

  23. Using Textbook Illustrations to Extract Design Principles for Algorithm Visualizations

    Article • June 2013, Springer Science + Business Media

    Professor J. Ángel Velázquez-Iturbide

  24. GreedEx: A Visualization Tool for Experimentation and Discovery Learning of Greedy Algorithms

    Article • IEEE Transactions on Learning Technologies, April 2013, Institute of Electrical & Electronics Engineers (IEEE)

    Professor J. Ángel Velázquez-Iturbide

  25. Improving Students Learning Programming Skills with ProGames – Programming through Games System

    Article • January 2013, Springer Science + Business Media

    Professor J. Ángel Velázquez-Iturbide

  26. A Long-Term Evaluation of Educational Animations of Functional Programs

    Article • July 2012, Institute of Electrical & Electronics Engineers (IEEE)

    Professor J. Ángel Velázquez-Iturbide

  27. Observations as a Method to Evaluate a Computer-Based Approach to Learning Algorithms

    Article • July 2012, Institute of Electrical & Electronics Engineers (IEEE)

    Professor J. Ángel Velázquez-Iturbide

  28. Refinement of an experimental approach tocomputer-based, active learning of greedy algorithms

    Article • January 2012, ACM (Association for Computing Machinery)

    Professor J. Ángel Velázquez-Iturbide

  29. Evaluation of a collaborative instructional framework for programming learning

    Article • January 2012, ACM (Association for Computing Machinery)

    Professor J. Ángel Velázquez-Iturbide

  30. Comparing the effectiveness of different educational uses of program animations

    Article • January 2012, ACM (Association for Computing Machinery)

    Professor J. Ángel Velázquez-Iturbide

  31. Experimentation with optimization problems in algorithm courses

    Article • April 2011, Institute of Electrical & Electronics Engineers (IEEE)

    Professor J. Ángel Velázquez-Iturbide

  32. The design and coding of greedy algorithms revisited

    Article • January 2011, ACM (Association for Computing Machinery)

    Professor J. Ángel Velázquez-Iturbide

  33. Improving compilers education through symbol tables animations

    Article • January 2011, ACM (Association for Computing Machinery)

    Professor J. Ángel Velázquez-Iturbide

  34. Merlin-Mo, an interactions analysis system for Moodle

    Article • January 2011, ACM (Association for Computing Machinery)

    Professor J. Ángel Velázquez-Iturbide

  35. A first step mapping IMS learning design and Merlin-Mo

    Article • January 2011, ACM (Association for Computing Machinery)

    Professor J. Ángel Velázquez-Iturbide

  36. A problem solving teaching guide based on a procedure intertwined with a teaching model

    Article • January 2011, ACM (Association for Computing Machinery)

    Professor J. Ángel Velázquez-Iturbide

  37. Multiple Usability Evaluations of a Program Animation Tool

    Article • July 2010, Institute of Electrical & Electronics Engineers (IEEE)

    Professor J. Ángel Velázquez-Iturbide

  38. From the Discovery of Students Access Patterns in E-learning Including Web 2.0 Resources to the Prediction and Enhancement of Students Outcome

    Article • April 2010, IntechOpen

    Professor J. Ángel Velázquez-Iturbide

  39. InfoVis Interaction Techniques in Animation of Recursive Programs

    Article • Algorithms, February 2010, MDPI AG

    Professor J. Ángel Velázquez-Iturbide

  40. Educational visualizations of syntax error recovery

    Article • January 2010, Institute of Electrical & Electronics Engineers (IEEE)

    Professor J. Ángel Velázquez-Iturbide

  41. Student-centered design of a parser visualization tool

    Article • January 2010, ACM (Association for Computing Machinery)

    Professor J. Ángel Velázquez-Iturbide

  42. Improving the Analysis of Students' Participation & Collaboration in Moodle Forums

    Article • October 2009, IntechOpen

    Professor J. Ángel Velázquez-Iturbide

  43. Tail recursion by using function generalization

    Article • ACM SIGCSE Bulletin, August 2009, ACM (Association for Computing Machinery)

    Professor J. Ángel Velázquez-Iturbide

  44. VAST

    Article • ACM SIGCSE Bulletin, August 2009, ACM (Association for Computing Machinery)

    Professor J. Ángel Velázquez-Iturbide

  45. Interactive visualization of recursion with SRec

    Article • ACM SIGCSE Bulletin, August 2009, ACM (Association for Computing Machinery)

    Professor J. Ángel Velázquez-Iturbide

  46. Active learning of greedy algorithms by means of interactive experimentation

    Article • ACM SIGCSE Bulletin, July 2009, ACM (Association for Computing Machinery)

    Professor J. Ángel Velázquez-Iturbide

  47. Active learning of greedy algorithms by means of interactive experimentation

    Article • July 2009, ACM (Association for Computing Machinery)

    Professor J. Ángel Velázquez-Iturbide

  48. VAST

    Article • July 2009, ACM (Association for Computing Machinery)

    Professor J. Ángel Velázquez-Iturbide

  49. Tail recursion by using function generalization

    Article • July 2009, ACM (Association for Computing Machinery)

    Professor J. Ángel Velázquez-Iturbide

  50. Editorial

    Article • Digital Threats Research and Practice, June 2009, ACM (Association for Computing Machinery)

    Professor J. Ángel Velázquez-Iturbide

  51. A Survey of Successful Evaluations of Program Visualization and Algorithm Animation Systems

    Article • Digital Threats Research and Practice, June 2009, ACM (Association for Computing Machinery)

    Professor J. Ángel Velázquez-Iturbide

  52. Software Advances in Education Computing

    Article • International Journal of Emerging Technologies in Learning (iJET), March 2009, International Association of Online Engineering (IAOE)

    Professor J. Ángel Velázquez-Iturbide, Professor Francisco J García-Peñalvo

  53. Preface

    Article • Electronic Notes in Theoretical Computer Science, January 2009, Elsevier

    Professor J. Ángel Velázquez-Iturbide

  54. A Design of Automatic Visualizations for Divide-and-Conquer Algorithms

    Article • Electronic Notes in Theoretical Computer Science, January 2009, Elsevier

    Professor J. Ángel Velázquez-Iturbide

  55. Pedagogical Effectiveness of Engagement Levels – A Survey of Successful Experiences

    Article • Electronic Notes in Theoretical Computer Science, January 2009, Elsevier

    Professor J. Ángel Velázquez-Iturbide

  56. Enhancing learning management systems to better support computer science education

    Article • ACM SIGCSE Bulletin, November 2008, ACM (Association for Computing Machinery)

    Professor J. Ángel Velázquez-Iturbide, Professor Mike Joy

  57. SRec

    Article • ACM SIGCSE Bulletin, August 2008, ACM (Association for Computing Machinery)

    Professor J. Ángel Velázquez-Iturbide

  58. How to Improve Assessment of Learning and Performance through Interactive Visualization

    Article • January 2008, Institute of Electrical & Electronics Engineers (IEEE)

    Professor J. Ángel Velázquez-Iturbide

  59. An approach to effortless construction of program animations

    Article • Computers & Education, January 2008, Elsevier

    Professor J. Ángel Velázquez-Iturbide

  60. SRec

    Article • January 2008, ACM (Association for Computing Machinery)

    Professor J. Ángel Velázquez-Iturbide

  61. VAST

    Article • January 2008, ACM (Association for Computing Machinery)

    Professor J. Ángel Velázquez-Iturbide

  62. Testing-Based Automatic Grading: A Proposal from Bloom's Taxonomy

    Article • January 2008, Institute of Electrical & Electronics Engineers (IEEE)

    Professor J. Ángel Velázquez-Iturbide

  63. A Comparative Study on the Analysis of Students Interactions in e-Learning

    Article • January 2008, Institute of Electrical & Electronics Engineers (IEEE)

    Professor J. Ángel Velázquez-Iturbide

  64. Assessing the Usability of a Cookies-Based Access Monitoring Tool for a CMS

    Article • July 2007, Institute of Electrical & Electronics Engineers (IEEE)

    Professor J. Ángel Velázquez-Iturbide

  65. An Evaluation of the Effortless Approach to Build Algorithm Animations with WinHIPE

    Article • Electronic Notes in Theoretical Computer Science, July 2007, Elsevier

    Professor J. Ángel Velázquez-Iturbide

  66. WinHIPE

    Article • ACM SIGPLAN Notices, March 2007, ACM (Association for Computing Machinery)

    Professor J. Ángel Velázquez-Iturbide

  67. Merging interactive visualizations with hypertextbooks and course management

    Article • ACM SIGCSE Bulletin, December 2006, ACM (Association for Computing Machinery)

    Professor J. Ángel Velázquez-Iturbide

  68. Principled design of logical fisheye views of functional expressions

    Article • ACM SIGPLAN Notices, August 2006, ACM (Association for Computing Machinery)

    Professor J. Ángel Velázquez-Iturbide

  69. Visualizing the symbol table

    Article • ACM SIGCSE Bulletin, June 2006, ACM (Association for Computing Machinery)

    Professor J. Ángel Velázquez-Iturbide

  70. Visualizing the symbol table

    Article • January 2006, ACM (Association for Computing Machinery)

    Professor J. Ángel Velázquez-Iturbide

  71. Merging interactive visualizations with hypertextbooks and course management

    Article • January 2006, ACM (Association for Computing Machinery)

    Professor J. Ángel Velázquez-Iturbide

  72. A programming languages course for freshmen

    Article • ACM SIGCSE Bulletin, September 2005, ACM (Association for Computing Machinery)

    Professor J. Ángel Velázquez-Iturbide

  73. Reusable collections of web-based program animations

    Article • ACM SIGCSE Bulletin, September 2005, ACM (Association for Computing Machinery)

    Professor J. Ángel Velázquez-Iturbide

  74. SOTA

    Article • ACM SIGCSE Bulletin, September 2005, ACM (Association for Computing Machinery)

    Professor J. Ángel Velázquez-Iturbide

  75. Program Execution and Visualization on the Web

    Article • January 2005, IGI Global

    Professor J. Ángel Velázquez-Iturbide

  76. A programming languages course for freshmen

    Article • January 2005, ACM (Association for Computing Machinery)

    Professor J. Ángel Velázquez-Iturbide

  77. Effortless Construction and Management of Program Animations on the Web

    Article • January 2005, Springer Science + Business Media

    Professor J. Ángel Velázquez-Iturbide

  78. SOTA

    Article • January 2005, ACM (Association for Computing Machinery)

    Professor J. Ángel Velázquez-Iturbide

  79. Reusable collections of web-based program animations

    Article • January 2005, ACM (Association for Computing Machinery)

    Professor J. Ángel Velázquez-Iturbide

  80. An Approach to the Use and Automatic Generation of Web-Based Learning Materials

    Article • January 2004, Springer Science + Business Media

    Professor J. Ángel Velázquez-Iturbide

  81. Exploring the role of visualization and engagement in computer science education

    Article • ACM SIGCSE Bulletin, June 2003, ACM (Association for Computing Machinery)

    Professor J. Ángel Velázquez-Iturbide

  82. A Ubiquitous Computing Environment for Language Learning

    Article • January 2002, Springer Science + Business Media

    Professor J. Ángel Velázquez-Iturbide

  83. Exploring the role of visualization and engagement in computer science education

    Article • January 2002, ACM (Association for Computing Machinery)

    Professor J. Ángel Velázquez-Iturbide

  84. A first problem for the algorithms course (poster session)

    Article • ACM SIGCSE Bulletin, September 2001, ACM (Association for Computing Machinery)

    Professor J. Ángel Velázquez-Iturbide

  85. Local versus comprehensive assignments

    Article • ACM SIGCSE Bulletin, December 2000, ACM (Association for Computing Machinery)

    Professor J. Ángel Velázquez-Iturbide

  86. Recursion in gradual steps (is recursion really that difficult?)

    Article • ACM SIGCSE Bulletin, March 2000, ACM (Association for Computing Machinery)

    Professor J. Ángel Velázquez-Iturbide

  87. Recursion in gradual steps (is recursion really that difficult?)

    Article • January 2000, ACM (Association for Computing Machinery)

    Professor J. Ángel Velázquez-Iturbide

  88. Towards Truly Educational Programming Environments

    Article • January 2000, Springer Science + Business Media

    Professor J. Ángel Velázquez-Iturbide

  89. Calculating encoding and decoding functions for prefix codes

    Article • ACM SIGPLAN Notices, April 1999, ACM (Association for Computing Machinery)

    Professor J. Ángel Velázquez-Iturbide

  90. Synthesis of functions by transformations and constraints (poster)

    Article • ACM SIGPLAN Notices, August 1997, ACM (Association for Computing Machinery)

    Professor J. Ángel Velázquez-Iturbide

  91. The locker metaphor to teach dynamic memory

    Article • ACM SIGCSE Bulletin, March 1997, ACM (Association for Computing Machinery)

    Professor J. Ángel Velázquez-Iturbide

  92. Synthesis of functions by transformations and constraints (poster)

    Article • January 1997, ACM (Association for Computing Machinery)

    Professor J. Ángel Velázquez-Iturbide

  93. The locker metaphor to teach dynamic memory

    Article • January 1997, ACM (Association for Computing Machinery)

    Professor J. Ángel Velázquez-Iturbide

  94. An inexpensive programming toolset for algorithm development

    Article • ACM SIGCSE Bulletin, June 1996, ACM (Association for Computing Machinery)

    Professor J. Ángel Velázquez-Iturbide

  95. HIPE

    Article • ACM SIGCSE Bulletin, June 1996, ACM (Association for Computing Machinery)

    Professor J. Ángel Velázquez-Iturbide

  96. Graphical visualization of the evaluation of functional programs

    Article • ACM SIGCSE Bulletin, June 1996, ACM (Association for Computing Machinery)

    Professor J. Ángel Velázquez-Iturbide

  97. HIPE

    Article • ACM SIGCUE Outlook, January 1996, ACM (Association for Computing Machinery)

    Professor J. Ángel Velázquez-Iturbide

  98. HIPE

    Article • January 1996, ACM (Association for Computing Machinery)

    Professor J. Ángel Velázquez-Iturbide

  99. Graphical visualization of the evaluation of functional programs

    Article • ACM SIGCUE Outlook, January 1996, ACM (Association for Computing Machinery)

    Professor J. Ángel Velázquez-Iturbide

  100. Graphical visualization of the evaluation of functional programs

    Article • January 1996, ACM (Association for Computing Machinery)

    Professor J. Ángel Velázquez-Iturbide

  101. An inexpensive programming toolset for algorithm development

    Article • January 1996, ACM (Association for Computing Machinery)

    Professor J. Ángel Velázquez-Iturbide

  102. A methodology for monitor development in concurrent programs

    Article • ACM SIGCSE Bulletin, September 1994, ACM (Association for Computing Machinery)

    Professor J. Ángel Velázquez-Iturbide

  103. Improving Functional Programming Environments for Education

    Article • January 1994, Springer Science + Business Media

    Professor J. Ángel Velázquez-Iturbide

  104. Fun, rigour and pragmatism in functional programming

    Article • ACM SIGCSE Bulletin, September 1991, ACM (Association for Computing Machinery)

    Professor J. Ángel Velázquez-Iturbide

  105. Formalization of the control stack

    Article • ACM SIGPLAN Notices, March 1989, ACM (Association for Computing Machinery)

    Professor J. Ángel Velázquez-Iturbide

  106. Experiences in Usability Evaluation of Educational Programming Tools

    Article • IGI Global

    Professor J. Ángel Velázquez-Iturbide

  107. Interactive Learning of Recursion

    Article • IGI Global

    Professor J. Ángel Velázquez-Iturbide

  108. An Educative Application Based on Bloom’s Taxonomy for the Learning of Inheritance in Oriented-Object Programming

    Article • Springer Science + Business Media

    Professor J. Ángel Velázquez-Iturbide

  109. Experiences in Usability Evaluation of Educational Programming Tools

    Article • IGI Global

    Professor J. Ángel Velázquez-Iturbide

  110. Web-Based Algorithm and Program Visualization for Education

    Article • IGI Global

    Professor J. Ángel Velázquez-Iturbide

  111. Model for an Interaction Assessment Strategy in Hybrid Learning Including Web 2.0 Resources

    Article • IGI Global

    Professor J. Ángel Velázquez-Iturbide

  112. A Review of Teaching and Learning through Practice of Optimization Algorithms

    Article • IGI Global

    Professor J. Ángel Velázquez-Iturbide

  113. An Instructor’s Guide to Design Web-Based Algorithm Animations

    Article • Springer Science + Business Media

    Professor J. Ángel Velázquez-Iturbide

  114. A Framework for the Automatic Generation of Algorithm Animations Based on Design Techniques

    Article • Springer Science + Business Media

    Professor J. Ángel Velázquez-Iturbide

  115. Exercita

    Article • Springer Science + Business Media

    Professor J. Ángel Velázquez-Iturbide

  116. Program Execution and Visualization on the Web

    Article • IGI Global

    Professor J. Ángel Velázquez-Iturbide