All Stories

  1. Increasing Motivation of Informatics Vocational Education Students in Angola via Scratch

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

    Professor J. Ángel Velázquez-Iturbide, Leonardo Pedro

  2. Documentation of Programs as a Part of Teacher Development: The Case of ScratchJr

    Article • June 2025, ACM (Association for Computing Machinery)

    Professor J. Ángel Velázquez-Iturbide

  3. Reflections on Teaching Algorithm Courses

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

    Professor J. Ángel Velázquez-Iturbide

  4. What We Talk About When We Talk About K-12 Computing Education

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

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

  5. 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

  6. 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

  7. 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

  8. 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

  9. 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

  10. 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

  11. 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

  12. 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

  13. Programming tool, educational usability

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

    Professor J. Ángel Velázquez-Iturbide

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

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

    Professor J. Ángel Velázquez-Iturbide

  15. 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

  16. Serious games for motivating into programming

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

    Professor J. Ángel Velázquez-Iturbide

  17. 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

  18. 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

  19. 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

  20. 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

  21. 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

  22. 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

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

    Article • Computers in Human Behavior, February 2014, Elsevier

    Professor J. Ángel Velázquez-Iturbide

  24. Game programming for improving learning experience

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

    Professor J. Ángel Velázquez-Iturbide

  25. 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

  26. 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

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

    Article • June 2013, Springer Science + Business Media

    Professor J. Ángel Velázquez-Iturbide

  28. 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

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

    Article • January 2013, Springer Science + Business Media

    Professor J. Ángel Velázquez-Iturbide

  30. 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

  31. 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

  32. 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

  33. Evaluation of a collaborative instructional framework for programming learning

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

    Professor J. Ángel Velázquez-Iturbide

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

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

    Professor J. Ángel Velázquez-Iturbide

  35. Experimentation with optimization problems in algorithm courses

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

    Professor J. Ángel Velázquez-Iturbide

  36. The design and coding of greedy algorithms revisited

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

    Professor J. Ángel Velázquez-Iturbide

  37. Improving compilers education through symbol tables animations

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

    Professor J. Ángel Velázquez-Iturbide

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

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

    Professor J. Ángel Velázquez-Iturbide

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

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

    Professor J. Ángel Velázquez-Iturbide

  40. 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

  41. Multiple Usability Evaluations of a Program Animation Tool

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

    Professor J. Ángel Velázquez-Iturbide

  42. 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

  43. InfoVis Interaction Techniques in Animation of Recursive Programs

    Article • Algorithms, February 2010, MDPI AG

    Professor J. Ángel Velázquez-Iturbide

  44. Educational visualizations of syntax error recovery

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

    Professor J. Ángel Velázquez-Iturbide

  45. Student-centered design of a parser visualization tool

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

    Professor J. Ángel Velázquez-Iturbide

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

    Article • October 2009, IntechOpen

    Professor J. Ángel Velázquez-Iturbide

  47. Tail recursion by using function generalization

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

    Professor J. Ángel Velázquez-Iturbide

  48. VAST

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

    Professor J. Ángel Velázquez-Iturbide

  49. Interactive visualization of recursion with SRec

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

    Professor J. Ángel Velázquez-Iturbide

  50. 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

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

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

    Professor J. Ángel Velázquez-Iturbide

  52. VAST

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

    Professor J. Ángel Velázquez-Iturbide

  53. Tail recursion by using function generalization

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

    Professor J. Ángel Velázquez-Iturbide

  54. Editorial

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

    Professor J. Ángel Velázquez-Iturbide

  55. 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

  56. 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

  57. Preface

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

    Professor J. Ángel Velázquez-Iturbide

  58. 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

  59. 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

  60. 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

  61. SRec

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

    Professor J. Ángel Velázquez-Iturbide

  62. 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

  63. An approach to effortless construction of program animations

    Article • Computers & Education, January 2008, Elsevier

    Professor J. Ángel Velázquez-Iturbide

  64. SRec

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

    Professor J. Ángel Velázquez-Iturbide

  65. VAST

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

    Professor J. Ángel Velázquez-Iturbide

  66. 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

  67. 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

  68. 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

  69. 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

  70. WinHIPE

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

    Professor J. Ángel Velázquez-Iturbide

  71. 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

  72. 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

  73. Visualizing the symbol table

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

    Professor J. Ángel Velázquez-Iturbide

  74. Visualizing the symbol table

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

    Professor J. Ángel Velázquez-Iturbide

  75. Merging interactive visualizations with hypertextbooks and course management

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

    Professor J. Ángel Velázquez-Iturbide

  76. A programming languages course for freshmen

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

    Professor J. Ángel Velázquez-Iturbide

  77. Reusable collections of web-based program animations

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

    Professor J. Ángel Velázquez-Iturbide

  78. SOTA

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

    Professor J. Ángel Velázquez-Iturbide

  79. Program Execution and Visualization on the Web

    Article • January 2005, IGI Global

    Professor J. Ángel Velázquez-Iturbide

  80. A programming languages course for freshmen

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

    Professor J. Ángel Velázquez-Iturbide

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

    Article • January 2005, Springer Science + Business Media

    Professor J. Ángel Velázquez-Iturbide

  82. SOTA

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

    Professor J. Ángel Velázquez-Iturbide

  83. Reusable collections of web-based program animations

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

    Professor J. Ángel Velázquez-Iturbide

  84. 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

  85. 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

  86. A Ubiquitous Computing Environment for Language Learning

    Article • January 2002, Springer Science + Business Media

    Professor J. Ángel Velázquez-Iturbide

  87. 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

  88. 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

  89. Local versus comprehensive assignments

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

    Professor J. Ángel Velázquez-Iturbide

  90. 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

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

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

    Professor J. Ángel Velázquez-Iturbide

  92. Towards Truly Educational Programming Environments

    Article • January 2000, Springer Science + Business Media

    Professor J. Ángel Velázquez-Iturbide

  93. 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

  94. 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

  95. The locker metaphor to teach dynamic memory

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

    Professor J. Ángel Velázquez-Iturbide

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

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

    Professor J. Ángel Velázquez-Iturbide

  97. The locker metaphor to teach dynamic memory

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

    Professor J. Ángel Velázquez-Iturbide

  98. An inexpensive programming toolset for algorithm development

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

    Professor J. Ángel Velázquez-Iturbide

  99. HIPE

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

    Professor J. Ángel Velázquez-Iturbide

  100. 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

  101. HIPE

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

    Professor J. Ángel Velázquez-Iturbide

  102. HIPE

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

    Professor J. Ángel Velázquez-Iturbide

  103. 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

  104. Graphical visualization of the evaluation of functional programs

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

    Professor J. Ángel Velázquez-Iturbide

  105. An inexpensive programming toolset for algorithm development

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

    Professor J. Ángel Velázquez-Iturbide

  106. 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

  107. Improving Functional Programming Environments for Education

    Article • January 1994, Springer Science + Business Media

    Professor J. Ángel Velázquez-Iturbide

  108. Fun, rigour and pragmatism in functional programming

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

    Professor J. Ángel Velázquez-Iturbide

  109. Formalization of the control stack

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

    Professor J. Ángel Velázquez-Iturbide

  110. Experiences in Usability Evaluation of Educational Programming Tools

    Article • IGI Global

    Professor J. Ángel Velázquez-Iturbide

  111. Interactive Learning of Recursion

    Article • IGI Global

    Professor J. Ángel Velázquez-Iturbide

  112. 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

  113. Experiences in Usability Evaluation of Educational Programming Tools

    Article • IGI Global

    Professor J. Ángel Velázquez-Iturbide

  114. Web-Based Algorithm and Program Visualization for Education

    Article • IGI Global

    Professor J. Ángel Velázquez-Iturbide

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

    Article • IGI Global

    Professor J. Ángel Velázquez-Iturbide

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

    Article • IGI Global

    Professor J. Ángel Velázquez-Iturbide

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

    Article • Springer Science + Business Media

    Professor J. Ángel Velázquez-Iturbide

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

    Article • Springer Science + Business Media

    Professor J. Ángel Velázquez-Iturbide

  119. Exercita

    Article • Springer Science + Business Media

    Professor J. Ángel Velázquez-Iturbide

  120. Program Execution and Visualization on the Web

    Article • IGI Global

    Professor J. Ángel Velázquez-Iturbide