Martin Henz

According to our database, Martin Henz authored at least 39 papers between 1993 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

'Early X or Late X' Questions for Discussing Curricular Practices in CS1 and CS2.

Martin Henz

Proceedings of the 54th ACM Technical Symposium on Computer Science Education, Volume 2, 2023

Source Academy: A Web-based Environment for Learning Programming with SICP.

Martin Henz

Proceedings of the 54th ACM Technical Symposium on Computer Science Education, Volume 2, 2023

Community-driven Course and Tool Development for CS1.

Boyd Anderson, Martin Henz, Kok-Lim Low

Proceedings of the 54th ACM Technical Symposium on Computer Science Education, Volume 1, 2023

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

Proceedings of the 15th International Conference on Computer Supported Education, 2023

2021

A stepper for a functional JavaScript sublanguage.

Martin Henz, Thomas Tan, Zachary Chua, Peter Jung, Yee-Jian Tan, Xinyi Zhang, Jingjing Zhao

Proceedings of the 2021 ACM SIGPLAN International Symposium on SPLASH-E, 2021

Teachable moments in functional audio processing.

Martin Henz, Shang-Hui Koh, Samyukta Sounderraman

Proceedings of the 2021 ACM SIGPLAN International Symposium on SPLASH-E, 2021

Ruggedizing CS1 robotics: tools and approaches for online teaching.

Boyd Anderson, Martin Henz, Hao-Wei Tee

Proceedings of the 2021 ACM SIGPLAN International Symposium on SPLASH-E, 2021

Shrinking JavaScript for CS1.

Boyd Anderson, Martin Henz, Kok-Lim Low, Daryl Tan

Proceedings of the 2021 ACM SIGPLAN International Symposium on SPLASH-E, 2021

2020

SICP JS: Ketchup on Caviar?

Martin Henz, Tobias Wrigstad

Proceedings of the 2020 Scheme and Functional Programming Workshop, 2020

2016

User-Defined Difficulty Levels for Automated Question Generation.

Rahul Singhal, Shubham Goyal, Martin Henz

Proceedings of the 28th IEEE International Conference on Tools with Artificial Intelligence, 2016

2015

A Framework for Automated Generation of Questions Based on First-Order Logic.

Rahul Singhal, Martin Henz, Shubham Goyal

Proceedings of the Artificial Intelligence in Education - 17th International Conference, 2015

2014

Automated Generation of Region Based Geometric Questions.

Rahul Singhal, Martin Henz

Proceedings of the 26th IEEE International Conference on Tools with Artificial Intelligence, 2014

Automated Generation of Geometry Questions for High School Mathematics.

Rahul Singhal, Martin Henz, Kevin McGee

Proceedings of the CSEDU 2014, 2014

Automated Generation of High School Geometric Questions Involving Implicit Construction.

Rahul Singhal, Martin Henz, Kevin McGee

Proceedings of the CSEDU 2014, 2014

Geometry Question Generator: Question and Solution Generation, Validation and User Evaluation.

Rahul Singhal, Martin Henz

Proceedings of the Computer Supported Education - 6th International Conference, 2014

2011

Teaching Experience: Logic and Formal Methods with Coq.

Martin Henz, Aquinas Hobor

Proceedings of the Certified Programs and Proofs - First International Conference, 2011

2009

SudokuSat-A Tool for Analyzing Difficult Sudoku Puzzles.

Martin Henz, Hoang-Minh Truong

Proceedings of the Tools and Applications with Artificial Intelligence, 2009

2007

Towards a Framework for Observing Artificial Life Forms.

Martin Henz, Janardan Misra

Proceedings of the First IEEE Symposium on Artificial Life, 2007

M²ICAL: A Tool for Analyzing Imperfect Comparison Algorithms.

Wee-Chong Oon, Martin Henz

Proceedings of the 19th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2007), 2007

M2ICAL Analyses HC-Gammon.

Wee-Chong Oon, Martin Henz

Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

2004

Objects in Oz.

Martin Henz

PhD thesis, 2004

Global constraints for round robin tournament scheduling.

Martin Henz, Tobias Müller, Sven Thiel

Eur. J. Oper. Res., 2004

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

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

Theory Pract. Log. Program., 2003

Hardware Implementations of Real-Time Reconfigurable WSAT Variants.

Roland H. C. Yap, Stella Z. Q. Wang, Martin Henz

Proceedings of the Field Programmable Logic and Application, 13th International Conference, 2003

2002

Implementing CSAT Local Search on FPGAs.

Martin Henz, Edgar Tan, Roland H. C. Yap

Proceedings of the Field-Programmable Logic and Applications, 2002

A Software Engineering Approach to Constraint Programming Systems.

Ka Boon Ng, Chiu Wo Choi, Martin Henz

Proceedings of the 9th Asia-Pacific Software Engineering Conference (APSEC 2002), 2002

2001

Scheduling a Major College Basketball Conference - Revisited.

Martin Henz

Oper. Res., 2001

One Flip per Clock Cycle.

Martin Henz, Edgar Tan, Roland H. C. Yap

Proceedings of the Principles and Practice of Constraint Programming, 2001

Components for State Restoration in Tree Search.

Chiu Wo Choi, Martin Henz, Ka Boon Ng

Proceedings of the Principles and Practice of Constraint Programming, 2001

2000

A Toolkit for Constraint-Based Inference Engines.

Tee Yong Chew, Martin Henz, Ka Boon Ng

Proceedings of the Practical Aspects of Declarative Languages, 2000

Solving Hierarchical Constraints over Finite Domains.

Martin Henz, Yun Fong Lim, Lua Seet Chong, Shi Xiao Ping, J. Paul Walser, Roland H. C. Yap

Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2000

1999

Figaro: Yet Another Constraint Programming Library.

Martin Henz, Tobias Müller, Ka Boon Ng

Proceedings of the Parallelism and Implementation Technology for (Constraint) Logic Programming, 1999

Constraint-based Round Robin Tournament Planning.

Martin Henz

Proceedings of the Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29, 1999

1996

Constraint-Based Timetabling a Case Study.

Martin Henz

Appl. Artif. Intell., 1996

COMPOzE: Intention-based Music Composition through Constraint Programming.

Martin Henz, Stefan Lauer, Detlev Zimmermann

Proceedings of the Eigth International Conference on Tools with Artificial Intelligence, 1996

1995

Using Oz for College Timetabling.

Martin Henz, Jörg Würtz

Proceedings of the Practice and Theory of Automated Timetabling, First International Conference, Edinburgh, UK, August 29, 1995

1993

Object-Oriented Concurrent Constraint Programming in Oz.

Gert Smolka, Martin Henz, Jörg Würtz

Proceedings of the Grundlagen und Anwendungen der Künstlichen Intelligenz, 1993

Oz - A Programming Language for Multi-Agent Systems.

Martin Henz, Gert Smolka, Jörg Würtz

Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28, 1993