| 2023 | CSEDU | Visualizing Environments of Modern Scripting Languages. | Kaian Cai, Martin Henz, Kok-Lim Low, Xing Yu Ng, Jing Ren Soh, Kyn-Han Tang, Kar Wi Toh |
| 2023 | SIGCSE | Community-driven Course and Tool Development for CS1. | Boyd Anderson, Martin Henz, Kok-Lim Low |
| 2023 | SIGCSE | Source Academy: A Web-based Environment for Learning Programming with SICP. | Martin Henz |
| 2023 | SIGCSE | 'Early X or Late X' Questions for Discussing Curricular Practices in CS1 and CS2. | Martin Henz |
| 2021 | OOPSLA | Shrinking JavaScript for CS1. | Boyd Anderson, Martin Henz, Kok-Lim Low, Daryl Tan |
| 2021 | OOPSLA | Ruggedizing CS1 robotics: tools and approaches for online teaching. | Boyd Anderson, Martin Henz, Hao-Wei Tee |
| 2021 | OOPSLA | Teachable moments in functional audio processing. | Martin Henz, Shang-Hui Koh, Samyukta Sounderraman |
| 2021 | OOPSLA | A stepper for a functional JavaScript sublanguage. | Martin Henz, Thomas Tan, Zachary Chua, Peter Jung, Yee-Jian Tan, Xinyi Zhang, Jingjing Zhao |
| 2020 | ICFP | SICP JS: Ketchup on Caviar? | Martin Henz, Tobias Wrigstad |
| 2016 | ICTAI | User-Defined Difficulty Levels for Automated Question Generation. | Rahul Singhal, Shubham Goyal, Martin Henz |
| 2015 | AIED | A Framework for Automated Generation of Questions Based on First-Order Logic. | Rahul Singhal, Martin Henz, Shubham Goyal |
| 2014 | CSEDU | Geometry Question Generator: Question and Solution Generation, Validation and User Evaluation. | Rahul Singhal, Martin Henz |
| 2014 | CSEDU | Automated Generation of High School Geometric Questions Involving Implicit Construction. | Rahul Singhal, Martin Henz, Kevin McGee |
| 2014 | CSEDU | Automated Generation of Geometry Questions for High School Mathematics. | Rahul Singhal, Martin Henz, Kevin McGee |
| 2014 | ICTAI | Automated Generation of Region Based Geometric Questions. | Rahul Singhal, Martin Henz |
| 2011 | CPP | Teaching Experience: Logic and Formal Methods with Coq. | Martin Henz, Aquinas Hobor |
| 2007 | AAAI | M2ICAL Analyses HC-Gammon. | Wee-Chong Oon, Martin Henz |
| 2007 | ICTAI | M | Wee-Chong Oon, Martin Henz |
| 2003 | FPL | Hardware Implementations of Real-Time Reconfigurable WSAT Variants. | Roland H. C. Yap, Stella Z. Q. Wang, Martin Henz |
| 2002 | APSEC | A Software Engineering Approach to Constraint Programming Systems. | Ka Boon Ng, Chiu Wo Choi, Martin Henz |
| 2002 | FPL | Implementing CSAT Local Search on FPGAs. | Martin Henz, Edgar Tan, Roland H. C. Yap |
| 2001 | CP | Components for State Restoration in Tree Search. | Chiu Wo Choi, Martin Henz, Ka Boon Ng |
| 2001 | CP | One Flip per Clock Cycle. | Martin Henz, Edgar Tan, Roland H. C. Yap |
| 2000 | PADL | A Toolkit for Constraint-Based Inference Engines. | Tee Yong Chew, Martin Henz, Ka Boon Ng |
| 1999 | ICLP | Constraint-based Round Robin Tournament Planning. | Martin Henz |
| 1996 | ICTAI | COMPOzE: Intention-based Music Composition through Constraint Programming. | Martin Henz, Stefan Lauer, Detlev Zimmermann |
| 1995 | PATAT | Using Oz for College Timetabling. | Martin Henz, Jrg Wrtz |
| 1993 | IJCAI | Oz - A Programming Language for Multi-Agent Systems. | Martin Henz, Gert Smolka, Jrg Wrtz |
| 1993 | KI | Object-Oriented Concurrent Constraint Programming in Oz. | Gert Smolka, Martin Henz, Jrg Wrtz |