Martin Henz

	2011
22		Martin Henz, Aquinas Hobor: Teaching Experience: Logic and Formal Methods with Coq. CPP 2011: 199-215
	2009
21		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		Wee-Chong Oon, Martin Henz: M2ICAL: A Tool for Analyzing Imperfect Comparison Algorithms. ICTAI (1) 2007: 28-35
	2004
18		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		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		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		Ka Boon Ng, Chiu Wo Choi, Martin Henz: A Software Engineering Approach to Constraint Programming Systems. APSEC 2002: 167-175
13		Martin Henz, Edgar Tan, Roland H. C. Yap: Implementing CSAT Local Search on FPGAs. FPL 2002: 1156-1159
12		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		Chiu Wo Choi, Martin Henz, Ka Boon Ng: Components for State Restoration in Tree Search. CP 2001: 240-255
10		Martin Henz, Edgar Tan, Roland H. C. Yap: One Flip per Clock Cycle. CP 2001: 509-523
	2000
9		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		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		Martin Henz, Tobias Müller, Ka Boon Ng: Figaro: Yet Another Constraint Programming Library. Electr. Notes Theor. Comput. Sci. 30(3): 93-105 (1999)
	1996
5		Martin Henz, Stefan Lauer, Detlev Zimmermann: COMPOzE: Intention-based Music Composition through Constraint Programming. ICTAI 1996: 118-121
4		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	Aquinas Hobor	[22]
9	Stefan Lauer	[5]
10	Tobias Müller	[6] [17]
11	Ka Boon Ng	[6] [8] [11] [14]
12	Wee-Chong Oon	[19] [20]
13	Shi Xiao Ping	[9] [18]
14	Peter Van Roy	[12] [15]
15	Christian Schulte	[12] [15]
16	Gert Smolka	[1] [2]
17	Edgar Tan	[10] [13]
18	Sven Thiel	[17]
19	Hoang-Minh Truong	[21]
20	J. Paul Walser	[9] [18]
21	Stella Z. Q. Wang	[16]
22	Jörg Würtz	[1] [2] [3]
23	Roland H. C. Yap	[9] [10] [13] [16] [18]
24	Detlev Zimmermann	[5]

Colors in the list of coauthors

Last update Tue Feb 14 23:09:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page