Martin Henz

ORCID

Publication Activity (10 Years)

Years Active: 1993-2023
Publications (10 Years): 11

Top Venues

Saarland University (PHD)

Education History

Saarland University

PHD

Publications

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

Martin Henz.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Martin Henz