Martin Henz

2009
21	EE	Martin Henz, Hoang-Minh Truong: SudokuSat-A Tool for Analyzing Difficult Sudoku Puzzles. Tools and Applications with Artificial Intelligence 2009: 25-35
2007
20		Wee-Chong Oon, Martin Henz: M2ICAL Analyses HC-Gammon. AAAI 2007: 621-626
19	EE	Wee-Chong Oon, Martin Henz: M2ICAL: A Tool for Analyzing Imperfect Comparison Algorithms. ICTAI (1) 2007: 28-35
2004
18	EE	Martin Henz, Roland H. C. Yap, Lim Yun Fong, 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): 283-302 (2004)
17	EE	Martin Henz, Tobias Müller, Sven Thiel: Global constraints for round robin tournament scheduling. European Journal of Operational Research 153(1): 92-101 (2004)
2003
16	EE	Roland H. C. Yap, Stella Z. Q. Wang, Martin Henz: Hardware Implementations of Real-Time Reconfigurable WSAT Variants. FPL 2003: 488-496
15		Peter Van Roy, Per Brand, Denys Duchier, Seif Haridi, Martin Henz, Christian Schulte: Logic programming in the context of multiparadigm programming: the Oz experience. TPLP 3(6): 715-763 (2003)
2002
14	EE	Ka Boon Ng, Chiu Wo Choi, Martin Henz: A Software Engineering Approach to Constraint Programming Systems. APSEC 2002: 167-175
13	EE	Martin Henz, Edgar Tan, Roland H. C. Yap: Implementing CSAT Local Search on FPGAs. FPL 2002: 1156-1159
12	EE	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
11	EE	Chiu Wo Choi, Martin Henz, Ka Boon Ng: Components for State Restoration in Tree Search. CP 2001: 240-255
10	EE	Martin Henz, Edgar Tan, Roland H. C. Yap: One Flip per Clock Cycle. CP 2001: 509-523
2000
9	EE	Martin Henz, Lim Yun Fong, Lua Seet Chong, Shi Xiao Ping, J. Paul Walser, Roland H. C. Yap: Solving Hierarchical Constraints over Finite Domains. AMAI 2000
8	EE	Tee Yong Chew, Martin Henz, Ka Boon Ng: A Toolkit for Constraint-Based Inference Engines. PADL 2000: 185-199
1999
7		Martin Henz: Constraint-based Round Robin Tournament Planning. ICLP 1999: 545-557
6	EE	Martin Henz, Tobias Müller, Ka Boon Ng: Figaro: Yet Another Constraint Programming Library. Electr. Notes Theor. Comput. Sci. 30(3): (1999)
1996
5		Martin Henz, Stefan Lauer, Detlev Zimmermann: COMPOzE: Intention-based Music Composition through Constraint Programming. ICTAI 1996: 118-121
4	EE	Martin Henz: Constraint-Based Timetabling a Case Study. Applied Artificial Intelligence 10(5): 439-453 (1996)
1995
3		Martin Henz, Jörg Würtz: Using Oz for College Timetabling. PATAT 1995: 162-177
1993
2		Martin Henz, Gert Smolka, Jörg Würtz: Oz - A Programming Language for Multi-Agent Systems. IJCAI 1993: 404-409
1		Gert Smolka, Martin Henz, Jörg Würtz: Object-Oriented Concurrent Constraint Programming in Oz. KI 1993: 44-59

Coauthor Index

1	Per Brand	[12] [15]
2	Tee Yong Chew	[8]
3	Chiu Wo Choi	[11] [14]
4	Lua Seet Chong	[9] [18]
5	Denys Duchier	[12] [15]
6	Lim Yun Fong	[9] [18]
7	Seif Haridi	[12] [15]
8	Stefan Lauer	[5]
9	Tobias Müller	[6] [17]
10	Ka Boon Ng	[6] [8] [11] [14]
11	Wee-Chong Oon	[19] [20]
12	Shi Xiao Ping	[9] [18]
13	Peter Van Roy	[12] [15]
14	Christian Schulte	[12] [15]
15	Gert Smolka	[1] [2]
16	Edgar Tan	[10] [13]
17	Sven Thiel	[17]
18	Hoang-Minh Truong	[21]
19	J. Paul Walser	[9] [18]
20	Stella Z. Q. Wang	[16]
21	Jörg Würtz	[1] [2] [3]
22	Roland H. C. Yap	[9] [10] [13] [16] [18]
23	Detlev Zimmermann	[5]

Colors in the list of coauthors