Full Name
Henz, M
Variants
Henz, M.
Henz, M.J.
Henz, Martin
 
 
Email
dcsmjh@nus.edu.sg
 

Results 1-20 of 44 (Search time: 0.005 seconds).

Issue DateTitleAuthor(s)
11-Jan-2015A framework for automated generation of questions based on First-Order logicSinghal, R ; Henz, M ; Goyal, S 
21-Jan-2002A software engineering approach to constraint programming systemsNg, KBK; Choi, CW; Henz, M 
320-Oct-2021A Stepper for a Functional JavaScript SublanguageHenz, Martin Joachim ; Tan, Thomas; Chua, Zachary; Jung, Peter; Tan, Yee-Jian; Zhang, Xinyi; Zhao, Jingjing
41-Jan-2000A toolkit for constraint-based inference enginesChew, TY; Henz, M ; Ng, KB
52000An Overview of Finite Domain Constraint ProgrammingHenz, M ; Muller, T 
61-Jan-2014Automated generation of geometry questions for high school mathematicsSinghal, R ; Henz, M ; McGee, K 
71-Jan-2014Automated generation of high school geometric questions involving implicit constructionSinghal, R ; Henz, M ; McGee, K 
812-Dec-2014Automated Generation of Region Based Geometric QuestionsSinghal, R ; Henz, M 
91-Sep-2020Comment on “Flying by the Sun only: The Solarcopter prototype” by Shaheed et al. [Aerosp. Sci. Technol. 45 (2015) 209–214]Goh, CS; Kuan, JR ; Yeo, JH; Herdianto, H; Irwanto, A; Ng, D; Teo, BS ; Henz, M ; Danner, A 
101-Jan-2001Components for state restoration in tree searchChoi, CW; Henz, M ; Ng, KB
111-Jan-2015Converting motorised sailing yachts to carbon-neutral vesselsHenz, M ; Weigl, JD ; Lowell, E ; Yee, EKM
121-Jan-2016DESIGNING IN A UNIVERSITY AND START-UP CONTEXT: AN ANALYSIS ON ENGINEERING CHANGE PROPAGATIONKoh, ECY; Duran-Novoa, RA ; Weigl, JD ; Henz, M 
131-Oct-2014Environmental impact of converted electrical motorcycleHenz, M ; Dieter Weigl, J ; Xuan, PY
141-Dec-2000Figaro: Yet another constraint programming libraryHenz, M ; Miiller, T ; Ka Boon, N
151-Jan-2015Geometry question generator: Question and solution generation, validation and user evaluationSinghal, R ; Henz, M 
16Sep-2000GIFT: A Generic Interface for Reusing Filtering AlgorithmsNg, Ka Boon; Choi, Chui Wo; Henz, Martin ; Muller, Tobias 
171994Glinda: A Meta-circular Interpreter for OzHenz, Martin ; Mehl, Michael
1816-Feb-2004Global constraints for round robin tournament schedulingHenz, M ; Muller, T. ; Thiel, S 
191-Jan-2003Hardware implementations of real-time reconfigurable WSAT variantsYap, RHC ; Wang, SZQ; Henz, MJ 
201-Jan-2002Implementing CSAT local search on FPGAsHenz, M ; Tan, E; Yap, RHC