Oz - A Programming Language for Multi-Agent Systems. - Martin Henz; Gert Smolka; Jörg Würtz (IJCAI, 1993)

Object-Oriented Concurrent Constraint Programming in Oz. - Gert Smolka; Martin Henz; Jörg Würtz (KI, 1993)

Using Oz for College Timetabling. - Martin Henz; Jörg Würtz (PATAT, 1995)

COMPOzE: Intention-based Music Composition through Constraint Programming. - Martin Henz; Stefan Lauer; Detlev Zimmermann (ICTAI, 1996)

Constraint-Based Timetabling a Case Study. - Martin Henz (Appl. Artif. Intell., 1996)

Constraint-based Round Robin Tournament Planning. - Martin Henz (ICLP, 1999)

Figaro: Yet Another Constraint Programming Library. - Martin Henz; Tobias Müller 002; Ka Boon Ng (Parallelism and Implementation Technology for (Constraint) Logic Programming@ICLP, 1999)

Solving Hierarchical Constraints over Finite Domains. - Martin Henz; Yun Fong Lim; Lua Seet Chong; Shi Xiao Ping; J. Paul Walser; Roland H. C. Yap (AI&M, 2000)

A Toolkit for Constraint-Based Inference Engines. - Tee Yong Chew; Martin Henz; Ka Boon Ng (PADL, 2000)

Components for State Restoration in Tree Search. - Chiu Wo Choi; Martin Henz; Ka Boon Ng (CP, 2001)

One Flip per Clock Cycle. - Martin Henz; Edgar Tan; Roland H. C. Yap (CP, 2001)

Scheduling a Major College Basketball Conference - Revisited. - Martin Henz (Oper. Res., 2001)

A Software Engineering Approach to Constraint Programming Systems. - Ka Boon Ng; Chiu Wo Choi; Martin Henz (APSEC, 2002)

Implementing CSAT Local Search on FPGAs. - Martin Henz; Edgar Tan; Roland H. C. Yap (FPL, 2002)

Hardware Implementations of Real-Time Reconfigurable WSAT Variants. - Roland H. C. Yap; Stella Z. Q. Wang; Martin Henz (FPL, 2003)

Logic programming in the context of multiparadigm programming: the Oz experience. - Peter Van Roy; Per Brand; Denys Duchier; Seif Haridi; Martin Henz; Christian Schulte 001 (Theory Pract. Log. Program., 2003)

Solving Hierarchical Constraints over Finite Domains with Local Search. - Martin Henz; Roland H. C. Yap; Yun Fong Lim; Lua Seet Chong; J. Paul Walser; Shi Xiao Ping (Ann. Math. Artif. Intell., 2004)

Global constraints for round robin tournament scheduling. - Martin Henz; Tobias Müller 002; Sven Thiel (Eur. J. Oper. Res., 2004)

Objects in Oz. - Martin Henz (2004)

M2ICAL Analyses HC-Gammon. - Wee-Chong Oon; Martin Henz (AAAI, 2007)

M2ICAL: A Tool for Analyzing Imperfect Comparison Algorithms. - Wee-Chong Oon; Martin Henz (ICTAI (1), 2007)

Towards a Framework for Observing Artificial Life Forms. - Martin Henz; Janardan Misra (ALIFE, 2007)

SudokuSat-A Tool for Analyzing Difficult Sudoku Puzzles. - Martin Henz; Hoang-Minh Truong (Tools and Applications with Artificial Intelligence, 2009)

Teaching Experience: Logic and Formal Methods with Coq. - Martin Henz; Aquinas Hobor (CPP, 2011)

Geometry Question Generator: Question and Solution Generation, Validation and User Evaluation. - Rahul Singhal; Martin Henz (CSEDU (Selected Papers), 2014)

Automated Generation of High School Geometric Questions Involving Implicit Construction. - Rahul Singhal; Martin Henz; Kevin McGee (CSEDU (1), 2014)

Automated Generation of Geometry Questions for High School Mathematics. - Rahul Singhal; Martin Henz; Kevin McGee (CSEDU (2), 2014)

Automated Generation of Region Based Geometric Questions. - Rahul Singhal; Martin Henz (ICTAI, 2014)

A Framework for Automated Generation of Questions Based on First-Order Logic. - Rahul Singhal; Martin Henz; Shubham Goyal (AIED, 2015)

User-Defined Difficulty Levels for Automated Question Generation. - Rahul Singhal; Shubham Goyal; Martin Henz (ICTAI, 2016)

SICP JS: Ketchup on Caviar? - Martin Henz; Tobias Wrigstad (Scheme@ICFP, 2020)

Shrinking JavaScript for CS1. - Boyd Anderson; Martin Henz; Kok-Lim Low; Daryl Tan (SPLASH-E, 2021)

Ruggedizing CS1 robotics: tools and approaches for online teaching. - Boyd Anderson; Martin Henz; Hao-Wei Tee (SPLASH-E, 2021)

Teachable moments in functional audio processing. - Martin Henz; Shang-Hui Koh; Samyukta Sounderraman (SPLASH-E, 2021)

A stepper for a functional JavaScript sublanguage. - Martin Henz; Thomas Tan; Zachary Chua; Peter Jung; Yee-Jian Tan; Xinyi Zhang; Jingjing Zhao (SPLASH-E, 2021)

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 (CSEDU (1), 2023)

Community-driven Course and Tool Development for CS1. - Boyd Anderson; Martin Henz; Kok-Lim Low (SIGCSE (1), 2023)

Source Academy: A Web-based Environment for Learning Programming with SICP. - Martin Henz (SIGCSE (2), 2023)

'Early X or Late X' Questions for Discussing Curricular Practices in CS1 and CS2. - Martin Henz (SIGCSE (2), 2023)

Beyond SICP - Design and Implementation of a Notional Machine for Scheme. - Kyriel Abad; Martin Henz (CoRR, 2024)