dblp.uni-trier.dewww.uni-trier.de

Martin Henz Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
21EEMartin 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
19EEWee-Chong Oon, Martin Henz: M2ICAL: A Tool for Analyzing Imperfect Comparison Algorithms. ICTAI (1) 2007: 28-35
2004
18EEMartin 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)
17EEMartin Henz, Tobias Müller, Sven Thiel: Global constraints for round robin tournament scheduling. European Journal of Operational Research 153(1): 92-101 (2004)
2003
16EERoland 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
14EEKa Boon Ng, Chiu Wo Choi, Martin Henz: A Software Engineering Approach to Constraint Programming Systems. APSEC 2002: 167-175
13EEMartin Henz, Edgar Tan, Roland H. C. Yap: Implementing CSAT Local Search on FPGAs. FPL 2002: 1156-1159
12EEPeter 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
11EEChiu Wo Choi, Martin Henz, Ka Boon Ng: Components for State Restoration in Tree Search. CP 2001: 240-255
10EEMartin Henz, Edgar Tan, Roland H. C. Yap: One Flip per Clock Cycle. CP 2001: 509-523
2000
9EEMartin 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
8EETee 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
6EEMartin 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
4EEMartin 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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)