Martin Henz

43 papers A* 2A 3B 7C 4Misc 1Journal 7Unranked 15
YearRankTypeTitle / Venue / Authors
2024 J jnl
Beyond SICP - Design and Implementation of a Notional Machine for Scheme.
CoRR
Kyriel Abad, Martin Henz
2023 — conf
'Early X or Late X' Questions for Discussing Curricular Practices in CS1 and CS2.
SIGCSE (2)
Martin Henz
2023 — conf
Community-driven Course and Tool Development for CS1.
SIGCSE (1)
Boyd Anderson, Martin Henz, Kok-Lim Low
2023 — ed.
Proceedings of the 15th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages, VMIL 2023, Cascais, Portugal, 23 October 2023
VMIL@SPLASH
Andrea Rosà, Martin Henz
2023 — conf
Source Academy: A Web-based Environment for Learning Programming with SICP.
SIGCSE (2)
Martin Henz
2023 — conf
Visualizing Environments of Modern Scripting Languages.
CSEDU (1)
Kaian Cai, Martin Henz, Kok-Lim Low, Xing Yu Ng, Jing Ren Soh, Kyn-Han Tang, Kar Wi Toh
2022 — ed.
Proceedings of the 2022 ACM SIGPLAN International Symposium on SPLASH-E, SPLASH-E 2022, Auckland, New Zealand, 5 December 2022
SPLASH-E
Martin Henz, Benjamin S. Lerner
2021 — conf
A stepper for a functional JavaScript sublanguage.
SPLASH-E
Martin Henz, Thomas Tan, Zachary Chua, Peter Jung, Yee-Jian Tan, Xinyi Zhang, Jingjing Zhao
2021 — conf
Ruggedizing CS1 robotics: tools and approaches for online teaching.
SPLASH-E
Boyd Anderson, Martin Henz, Hao-Wei Tee
2021 — conf
Shrinking JavaScript for CS1.
SPLASH-E
Boyd Anderson, Martin Henz, Kok-Lim Low, Daryl Tan
2021 — conf
Teachable moments in functional audio processing.
SPLASH-E
Martin Henz, Shang-Hui Koh, Samyukta Sounderraman
2020 — conf
SICP JS: Ketchup on Caviar?
Scheme@ICFP
Martin Henz, Tobias Wrigstad
2016 B conf
User-Defined Difficulty Levels for Automated Question Generation.
ICTAI
Rahul Singhal, Shubham Goyal, Martin Henz
2015 A conf
A Framework for Automated Generation of Questions Based on First-Order Logic.
AIED
Rahul Singhal, Martin Henz, Shubham Goyal
2014 — conf
Automated Generation of Geometry Questions for High School Mathematics.
CSEDU (2)
Rahul Singhal, Martin Henz, Kevin McGee
2014 — conf
Automated Generation of High School Geometric Questions Involving Implicit Construction.
CSEDU (1)
Rahul Singhal, Martin Henz, Kevin McGee
2014 B conf
Automated Generation of Region Based Geometric Questions.
ICTAI
Rahul Singhal, Martin Henz
2014 — conf
Geometry Question Generator: Question and Solution Generation, Validation and User Evaluation.
CSEDU (Selected Papers)
Rahul Singhal, Martin Henz
2011 B conf
Teaching Experience: Logic and Formal Methods with Coq.
CPP
Martin Henz, Aquinas Hobor
2009 — ch.
SudokuSat-A Tool for Analyzing Difficult Sudoku Puzzles.
Tools and Applications with Artificial Intelligence
Martin Henz, Hoang-Minh Truong
2007 — conf
M
ICTAI (1)
Wee-Chong Oon, Martin Henz
2007 A* conf
M2ICAL Analyses HC-Gammon.
AAAI
Wee-Chong Oon, Martin Henz
2007 C conf
Towards a Framework for Observing Artificial Life Forms.
ALIFE
Martin Henz, Janardan Misra
2004 J jnl
Global constraints for round robin tournament scheduling.
Eur. J. Oper. Res.
Martin Henz, Tobias Müller, Sven Thiel
2004 — —
Objects in Oz.
Martin Henz
2004 J jnl
Solving Hierarchical Constraints over Finite Domains with Local Search.
Ann. Math. Artif. Intell.
Martin Henz, Roland H. C. Yap, Yun Fong Lim, Lua Seet Chong, J. Paul Walser, Shi Xiao Ping
2003 B conf
Hardware Implementations of Real-Time Reconfigurable WSAT Variants.
FPL
Roland H. C. Yap, Stella Z. Q. Wang, Martin Henz
2003 J jnl
Logic programming in the context of multiparadigm programming: the Oz experience.
Theory Pract. Log. Program.
Peter Van Roy, Per Brand, Denys Duchier, Seif Haridi, Martin Henz, Christian Schulte
2002 C conf
A Software Engineering Approach to Constraint Programming Systems.
APSEC
Ka Boon Ng, Chiu Wo Choi, Martin Henz
2002 B conf
Implementing CSAT Local Search on FPGAs.
FPL
Martin Henz, Edgar Tan, Roland H. C. Yap
2002 J jnl
Logic programming in the context of multiparadigm programming: the Oz experience
CoRR
Peter Van Roy, Per Brand, Denys Duchier, Seif Haridi, Martin Henz, Christian Schulte
2001 A conf
Components for State Restoration in Tree Search.
CP
Chiu Wo Choi, Martin Henz, Ka Boon Ng
2001 A conf
One Flip per Clock Cycle.
CP
Martin Henz, Edgar Tan, Roland H. C. Yap
2001 J jnl
Scheduling a Major College Basketball Conference - Revisited.
Oper. Res.
Martin Henz
2000 C conf
A Toolkit for Constraint-Based Inference Engines.
PADL
Tee Yong Chew, Martin Henz, Ka Boon Ng
2000 — conf
Solving Hierarchical Constraints over Finite Domains.
AI&M
Martin Henz, Yun Fong Lim, Lua Seet Chong, Shi Xiao Ping, J. Paul Walser, Roland H. C. Yap
1999 B conf
Constraint-based Round Robin Tournament Planning.
ICLP
Martin Henz
1999 — conf
Figaro: Yet Another Constraint Programming Library.
Parallelism and Implementation Technology for (Constraint) Logic Programming@ICLP
Martin Henz, Tobias Müller, Ka Boon Ng
1996 B conf
COMPOzE: Intention-based Music Composition through Constraint Programming.
ICTAI
Martin Henz, Stefan Lauer, Detlev Zimmermann
1996 J jnl
Constraint-Based Timetabling a Case Study.
Appl. Artif. Intell.
Martin Henz
1995 C conf
Using Oz for College Timetabling.
PATAT
Martin Henz, Jörg Würtz
1993 Misc conf
Object-Oriented Concurrent Constraint Programming in Oz.
KI
Gert Smolka, Martin Henz, Jörg Würtz
1993 A* conf
Oz - A Programming Language for Multi-Agent Systems.
IJCAI
Martin Henz, Gert Smolka, Jörg Würtz