default search action
Martin Henz
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [c32]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: 146-153 - [c31]Boyd Anderson
, Martin Henz
Community-driven Course and Tool Development for CS1. SIGCSE (1) 2023: 834-840 - [c30]Martin Henz
Source Academy: A Web-based Environment for Learning Programming with SICP. SIGCSE (2) 2023: 1261 - [c29]Martin Henz
'Early X or Late X' Questions for Discussing Curricular Practices in CS1 and CS2. SIGCSE (2) 2023: 1269 - [e2]Andrea Rosà, Martin Henz:
Proceedings of the 15th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages, VMIL 2023, Cascais, Portugal, 23 October 2023. ACM 2023 [contents] - 2022
- [e1]Martin Henz, Benjamin S. Lerner:
Proceedings of the 2022 ACM SIGPLAN International Symposium on SPLASH-E, SPLASH-E 2022, Auckland, New Zealand, 5 December 2022. ACM 2022, ISBN 978-1-4503-9900-5 [contents] - 2021
- [c28]Martin Henz
Teachable moments in functional audio processing. SPLASH-E 2021: 65-70 - [c27]Martin Henz
A stepper for a functional JavaScript sublanguage. SPLASH-E 2021: 71-81 - [c26]Boyd Anderson
Ruggedizing CS1 robotics: tools and approaches for online teaching. SPLASH-E 2021: 82-86 - [c25]Boyd Anderson
Shrinking JavaScript for CS1. SPLASH-E 2021: 87-96 - 2020
- [c24]Martin Henz, Tobias Wrigstad:
SICP JS: Ketchup on Caviar? Scheme@ICFP 2020: 1
2010 – 2019
- 2016
- [c23]Rahul Singhal, Shubham Goyal, Martin Henz
User-Defined Difficulty Levels for Automated Question Generation. ICTAI 2016: 828-835 - 2015
- [c22]Rahul Singhal, Martin Henz
A Framework for Automated Generation of Questions Based on First-Order Logic. AIED 2015: 776-780 - 2014
- [c21]Rahul Singhal, Martin Henz
Automated Generation of Geometry Questions for High School Mathematics. CSEDU (2) 2014: 14-25 - [c20]Rahul Singhal, Martin Henz
Geometry Question Generator: Question and Solution Generation, Validation and User Evaluation. CSEDU (Selected Papers) 2014: 196-210 - [c19]Rahul Singhal, Martin Henz
Automated Generation of High School Geometric Questions Involving Implicit Construction. CSEDU (1) 2014: 467-472 - [c18]Rahul Singhal, Martin Henz
Automated Generation of Region Based Geometric Questions. ICTAI 2014: 838-845 - 2011
- [c17]Martin Henz
Teaching Experience: Logic and Formal Methods with Coq. CPP 2011: 199-215
2000 – 2009
- 2009
- [p1]Martin Henz
SudokuSat-A Tool for Analyzing Difficult Sudoku Puzzles. Tools and Applications with Artificial Intelligence 2009: 25-35 - 2007
- [c16]Wee-Chong Oon, Martin Henz:
M2ICAL Analyses HC-Gammon. AAAI 2007: 621-626 - [c15]Wee-Chong Oon, Martin Henz
M2ICAL: A Tool for Analyzing Imperfect Comparison Algorithms. ICTAI (1) 2007: 28-35 - [c14]Martin Henz
Towards a Framework for Observing Artificial Life Forms. ALIFE 2007: 23-30 - 2004
- [b1]Martin Henz:
Objects in Oz. Saarland University, 2004 - [j5]Martin Henz
Solving Hierarchical Constraints over Finite Domains with Local Search. Ann. Math. Artif. Intell. 40(3-4): 283-302 (2004) - [j4]Martin Henz
Global constraints for round robin tournament scheduling. Eur. J. Oper. Res. 153(1): 92-101 (2004) - 2003
- [j3]Peter Van Roy, Per Brand, Denys Duchier, Seif Haridi, Martin Henz
Logic programming in the context of multiparadigm programming: the Oz experience. Theory Pract. Log. Program. 3(6): 715-763 (2003) - [c13]Roland H. C. Yap, Stella Z. Q. Wang, Martin Henz
Hardware Implementations of Real-Time Reconfigurable WSAT Variants. FPL 2003: 488-496 - 2002
- [c12]Ka Boon Ng, Chiu Wo Choi
A Software Engineering Approach to Constraint Programming Systems. APSEC 2002: 167-175 - [c11]Martin Henz
Implementing CSAT Local Search on FPGAs. FPL 2002: 1156-1159 - [i1]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 cs.PL/0208029 (2002) - 2001
- [j2]Martin Henz
Scheduling a Major College Basketball Conference - Revisited. Oper. Res. 49(1): 163-168 (2001) - [c10]Chiu Wo Choi, Martin Henz
Components for State Restoration in Tree Search. CP 2001: 240-255 - [c9]Martin Henz
One Flip per Clock Cycle. CP 2001: 509-523 - 2000
- [c8]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 - [c7]Tee Yong Chew, Martin Henz
A Toolkit for Constraint-Based Inference Engines. PADL 2000: 185-199
1990 – 1999
- 1999
- [c6]Martin Henz:
Constraint-based Round Robin Tournament Planning. ICLP 1999: 545-557 - [c5]Martin Henz
Figaro: Yet Another Constraint Programming Library. Parallelism and Implementation Technology for (Constraint) Logic Programming@ICLP 1999: 93-105 - 1996
- [j1]Martin Henz
Constraint-Based Timetabling a Case Study. Appl. Artif. Intell. 10(5): 439-453 (1996) - [c4]Martin Henz, Stefan Lauer, Detlev Zimmermann:
COMPOzE: Intention-based Music Composition through Constraint Programming. ICTAI 1996: 118-121 - 1995
- [c3]Martin Henz
Using Oz for College Timetabling. PATAT 1995: 162-177 - 1993
- [c2]Martin Henz, Gert Smolka, Jörg Würtz:
Oz - A Programming Language for Multi-Agent Systems. IJCAI 1993: 404-409 - [c1]Gert Smolka, Martin Henz, Jörg Würtz:
Object-Oriented Concurrent Constraint Programming in Oz. KI 1993: 44-59
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 22:56 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: