All Stories

  1. Proceedings of the 31st ACM Conference on Innovation and Technology in Computer Science Education V. 1

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

    Professor J. Ángel Velázquez-Iturbide

  2. Proceedings of the 31st ACM Conference on Innovation and Technology in Computer Science Education V. 2

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

    Professor J. Ángel Velázquez-Iturbide

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

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

  5. Reflections on Teaching Algorithm Courses

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

    Professor J. Ángel Velázquez-Iturbide

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

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

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

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

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

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

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

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

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

  15. Programming tool, educational usability

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

    Professor J. Ángel Velázquez-Iturbide

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

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

    Professor J. Ángel Velázquez-Iturbide

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

  18. Serious games for motivating into programming

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

    Professor J. Ángel Velázquez-Iturbide

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

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

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

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

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

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

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

    Article • Computers in Human Behavior, February 2014, Elsevier

    Professor J. Ángel Velázquez-Iturbide

  26. Game programming for improving learning experience

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

    Professor J. Ángel Velázquez-Iturbide

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

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

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

    Article • June 2013, Springer Science + Business Media

    Professor J. Ángel Velázquez-Iturbide

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

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

    Article • January 2013, Springer Science + Business Media

    Professor J. Ángel Velázquez-Iturbide

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

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

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

  35. Evaluation of a collaborative instructional framework for programming learning

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

    Professor J. Ángel Velázquez-Iturbide

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

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

    Professor J. Ángel Velázquez-Iturbide

  37. Experimentation with optimization problems in algorithm courses

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

    Professor J. Ángel Velázquez-Iturbide

  38. The design and coding of greedy algorithms revisited

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

    Professor J. Ángel Velázquez-Iturbide

  39. Improving compilers education through symbol tables animations

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

    Professor J. Ángel Velázquez-Iturbide

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

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

    Professor J. Ángel Velázquez-Iturbide

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

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

    Professor J. Ángel Velázquez-Iturbide

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

  43. Multiple Usability Evaluations of a Program Animation Tool

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

    Professor J. Ángel Velázquez-Iturbide

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

  45. InfoVis Interaction Techniques in Animation of Recursive Programs

    Article • Algorithms, February 2010, MDPI AG

    Professor J. Ángel Velázquez-Iturbide

  46. Educational visualizations of syntax error recovery

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

    Professor J. Ángel Velázquez-Iturbide

  47. Student-centered design of a parser visualization tool

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

    Professor J. Ángel Velázquez-Iturbide

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

    Article • October 2009, IntechOpen

    Professor J. Ángel Velázquez-Iturbide

  49. Tail recursion by using function generalization

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

    Professor J. Ángel Velázquez-Iturbide

  50. VAST

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

    Professor J. Ángel Velázquez-Iturbide

  51. Interactive visualization of recursion with SRec

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

    Professor J. Ángel Velázquez-Iturbide

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

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

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

    Professor J. Ángel Velázquez-Iturbide

  54. VAST

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

    Professor J. Ángel Velázquez-Iturbide

  55. Tail recursion by using function generalization

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

    Professor J. Ángel Velázquez-Iturbide

  56. Editorial

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

    Professor J. Ángel Velázquez-Iturbide

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

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

  59. Preface

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

    Professor J. Ángel Velázquez-Iturbide

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

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

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

  63. SRec

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

    Professor J. Ángel Velázquez-Iturbide

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

  65. An approach to effortless construction of program animations

    Article • Computers & Education, January 2008, Elsevier

    Professor J. Ángel Velázquez-Iturbide

  66. SRec

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

    Professor J. Ángel Velázquez-Iturbide

  67. VAST

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

    Professor J. Ángel Velázquez-Iturbide

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

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

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

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

  72. WinHIPE

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

    Professor J. Ángel Velázquez-Iturbide

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

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

  75. Visualizing the symbol table

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

    Professor J. Ángel Velázquez-Iturbide

  76. Visualizing the symbol table

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

    Professor J. Ángel Velázquez-Iturbide

  77. Merging interactive visualizations with hypertextbooks and course management

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

    Professor J. Ángel Velázquez-Iturbide

  78. A programming languages course for freshmen

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

    Professor J. Ángel Velázquez-Iturbide

  79. Reusable collections of web-based program animations

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

    Professor J. Ángel Velázquez-Iturbide

  80. SOTA

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

    Professor J. Ángel Velázquez-Iturbide

  81. Program Execution and Visualization on the Web

    Article • January 2005, IGI Global

    Professor J. Ángel Velázquez-Iturbide

  82. A programming languages course for freshmen

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

    Professor J. Ángel Velázquez-Iturbide

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

    Article • January 2005, Springer Science + Business Media

    Professor J. Ángel Velázquez-Iturbide

  84. SOTA

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

    Professor J. Ángel Velázquez-Iturbide

  85. Reusable collections of web-based program animations

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

    Professor J. Ángel Velázquez-Iturbide

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

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

  88. A Ubiquitous Computing Environment for Language Learning

    Article • January 2002, Springer Science + Business Media

    Professor J. Ángel Velázquez-Iturbide

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

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

  91. Local versus comprehensive assignments

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

    Professor J. Ángel Velázquez-Iturbide

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

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

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

    Professor J. Ángel Velázquez-Iturbide

  94. Towards Truly Educational Programming Environments

    Article • January 2000, Springer Science + Business Media

    Professor J. Ángel Velázquez-Iturbide

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

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

  97. The locker metaphor to teach dynamic memory

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

    Professor J. Ángel Velázquez-Iturbide

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

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

    Professor J. Ángel Velázquez-Iturbide

  99. The locker metaphor to teach dynamic memory

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

    Professor J. Ángel Velázquez-Iturbide

  100. An inexpensive programming toolset for algorithm development

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

    Professor J. Ángel Velázquez-Iturbide

  101. HIPE

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

    Professor J. Ángel Velázquez-Iturbide

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

  103. HIPE

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

    Professor J. Ángel Velázquez-Iturbide

  104. HIPE

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

    Professor J. Ángel Velázquez-Iturbide

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

  106. Graphical visualization of the evaluation of functional programs

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

    Professor J. Ángel Velázquez-Iturbide

  107. An inexpensive programming toolset for algorithm development

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

    Professor J. Ángel Velázquez-Iturbide

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

  109. Improving Functional Programming Environments for Education

    Article • January 1994, Springer Science + Business Media

    Professor J. Ángel Velázquez-Iturbide

  110. Fun, rigour and pragmatism in functional programming

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

    Professor J. Ángel Velázquez-Iturbide

  111. Formalization of the control stack

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

    Professor J. Ángel Velázquez-Iturbide

  112. Experiences in Usability Evaluation of Educational Programming Tools

    Article • IGI Global

    Professor J. Ángel Velázquez-Iturbide

  113. Interactive Learning of Recursion

    Article • IGI Global

    Professor J. Ángel Velázquez-Iturbide

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

  115. Experiences in Usability Evaluation of Educational Programming Tools

    Article • IGI Global

    Professor J. Ángel Velázquez-Iturbide

  116. Web-Based Algorithm and Program Visualization for Education

    Article • IGI Global

    Professor J. Ángel Velázquez-Iturbide

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

    Article • IGI Global

    Professor J. Ángel Velázquez-Iturbide

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

    Article • IGI Global

    Professor J. Ángel Velázquez-Iturbide

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

    Article • Springer Science + Business Media

    Professor J. Ángel Velázquez-Iturbide

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

    Article • Springer Science + Business Media

    Professor J. Ángel Velázquez-Iturbide

  121. Exercita

    Article • Springer Science + Business Media

    Professor J. Ángel Velázquez-Iturbide

  122. Program Execution and Visualization on the Web

    Article • IGI Global

    Professor J. Ángel Velázquez-Iturbide