Adding Test Generation to the Teaching Machine. ACM Transactions on Computing Education. 2009;9:1-14.
Fully integrating algorithm visualization into a cs2 course: A two-year experience. In: Proceedings of the 12th annual SIGCSE conference on Innovation and technology in computer science education (ITiCSE 2007). Dundee, Scotland: ACM; 2007. p. 296-300.
Strutture di dati e algoritmi. Progettazione, analisi e visualizzazione. Pearson Education Italia; 2006.
NetPrIDE - An Integrated Environment for Developing and Visualizing Computer Network Protocols. In: Proceedings of the 10th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education (ITiCSE 2005). Monte de Caparica, Portugal: ACM Press, New York, NY; 2005. p. 306-10.
The Algorithm Animation Repository. In: Proceedings of the Second International Program Visualization Workshop, HornstrupCentret, Denmark.; 2002. p. 14-6.
Implementing and Visualizing Network Protocols. In: First International Program Visualization Workshop. Porvoo, Finland: University of Joensuu Press; 2001. p. 193-206.
Reversible Execution and Visualization of Programs with LEONARDO. Journal of Visual Languages and Computing. 2000;11:125-50.
JAZ: Java Algorithm visualiZer. A Multi-Platform Collaborative Tool for Teaching and Testing Graph Algorithms. In: In Proceedings of the 6th International Conference in Central Europe on Computer Graphics and Visualization.; 1998. p. 73-80.