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

Helmut Simonis Vis

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

*2009
32EEHelmut Simonis: A Hybrid Constraint Model for the Routing and Wavelength Assignment Problem. CP 2009: 104-118
31EEHelmut Simonis: Progress on the Progressive Party Problem. CPAIOR 2009: 328-329
2008
30EEHelmut Simonis, Barry O'Sullivan: Search Strategies for Rectangle Packing. CP 2008: 52-66
2007
29EEHelmut Simonis: Models for Global Constraint Applications. Constraints 12(1): 63-92 (2007)
2006
28EEHelmut Simonis: Constraint Based Resilience Analysis. CP 2006: 16-28
2005
27EEQuanshi Xia, Helmut Simonis: Primary/Secondary Path Generation Problem: Reformulation, Solutions and Comparisons. ICN (1) 2005: 611-619
2004
26EEHelmut Simonis: Challenges for Constraint Programming in Networking. CP 2004: 13-16
2000
25 Helmut Simonis, Abderrahmane Aggoun: Search-Tree Visualisation. Analysis and Visualization Tools for Constraint Programming 2000: 191-208
24 Helmut Simonis, Abderrahmane Aggoun, Nicolas Beldiceanu, Eric Bourreau: Complex Constraint Abstraction: Global Constraint Visualisation. Analysis and Visualization Tools for Constraint Programming 2000: 299-317
23 Helmut Simonis, Trijntje Cornelissens, Veroniek Dumortier, Giovanni Fabris, F. Nanni, Adriano Tirabosco: Using Constraint Visualisation Tools. Analysis and Visualization Tools for Constraint Programming 2000: 321-356
22EEHelmut Simonis, Philippe Charlier, Philip Kay: Constraint Handling in an Integrated Transportation Problem. IEEE Intelligent Systems 15(1): 26-32 (2000)
1999
21EEHelmut Simonis: Building Industrial Applications with Constraint Programming. CCL 1999: 271-309
20 Helmut Simonis, Abderrahmane Aggoun: Search Tree Debugging. JFPLC 1999: 265-280
19EEMark Wallace, Yves Caseau, Eric Jacquet-Lagreze, Helmut Simonis, Gilles Pesant: Preface: Volume 1. Electronic Notes in Discrete Mathematics 1: 85-86 (1999)
1995
18 Helmut Simonis: Application Development with the CHIP System. CDB 1995: 1-21
17 Helmut Simonis, Trijntje Cornelissens: Modelling Producer/Consumer Constraints. CP 1995: 449-462
16 Helmut Simonis: The CHIP System and Its Applications. CP 1995: 643-646
15 Helmut Simonis: Applications of Constraint Logic Programming. ICLP 1995: 9-11
14 Helmut Simonis: Application Development with the CHIP System. WLP 1995: 11-27
1994
13 Helmut Simonis: Applications of Constraint Logic Programming. CCL 1994: 152-153
1992
12 Pascal Van Hentenryck, Helmut Simonis, Mehmet Dincbas: Constraint Satisfaction Using Constraint Logic Programming. Artif. Intell. 58(1-3): 113-159 (1992)
1991
11 Helmut Simonis, Mehmet Dincbas: Propositional Calculus Problems in CHIP. WCLP 1991: 269-285
1990
10EEHelmut Simonis, Mehmet Dincbas: Propositional Calculus Problems in CHIP. ALP 1990: 189-203
9 Mehmet Dincbas, Helmut Simonis, Pascal Van Hentenryck: Solving Large Combinatorial Problems in Logic Programming. J. Log. Program. 8(1): 75-93 (1990)
1989
8 Helmut Simonis: Test Generation using the Constraint Logic Programming Language CHIP. ICLP 1989: 101-112
1988
7EEMehmet Dincbas, Pascal Van Hentenryck, Helmut Simonis, Abderrahmane Aggoun, Alexander Herold: The CHIP System: Constraint Handling In Prolog. CADE 1988: 774-775
6 Mehmet Dincbas, Helmut Simonis, Pascal Van Hentenryck: Solving the Car-Sequencing Problem in Constraint Logic Programming. ECAI 1988: 290-295
5 Mehmet Dincbas, Pascal Van Hentenryck, Helmut Simonis, Abderrahmane Aggoun, Thomas Graf, Françoise Berthier: The Constraint Logic Programming Language CHIP. FGCS 1988: 693-702
4 Mehmet Dincbas, Helmut Simonis, Pascal Van Hentenryck: Solving a Cutting-Stock Problem in Constraint Logic Programming. ICLP/SLP 1988: 42-58
3EEMehmet Dincbas, Pascal Van Hentenryck, Helmut Simonis, Abderrahmane Aggoun, Thomas Graf: Applications of CHIP to Industrial and Engineering Problems. IEA/AIE (Vol. 2) 1988: 885-892
1987
2 Helmut Simonis, Mehmet Dincbas: Using Logic Programming for Fault Diagnosis in Digital Circuits. GWAI 1987: 139-148
1 Wolfram Büttner, Helmut Simonis: Embedding Boolean Expressions into Logic Programming. J. Symb. Comput. 4(2): 191-205 (1987)

Coauthor Index

1Abderrahmane Aggoun [3] [5] [7] [20] [24] [25]
2Nicolas Beldiceanu [24]
3Françoise Berthier [5]
4Eric Bourreau [24]
5Wolfram Büttner [1]
6Yves Caseau [19]
7Philippe Charlier [22]
8Trijntje Cornelissens [17] [23]
9Mehmet Dincbas [2] [3] [4] [5] [6] [7] [9] [10] [11] [12]
10Veroniek Dumortier [23]
11Giovanni Fabris [23]
12Thomas Graf [3] [5]
13Pascal Van Hentenryck [3] [4] [5] [6] [7] [9] [12]
14Alexander Herold [7]
15Eric Jacquet-Lagreze [19]
16Philip Kay [22]
17F. Nanni [23]
18Barry O'Sullivan [30]
19Gilles Pesant [19]
20Adriano Tirabosco [23]
21Mark Wallace [19]
22Quanshi Xia [27]

Colors in the list of coauthors

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