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

Mehmet Dincbas Vis

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

*1999
31 Hubert Comon, Mehmet Dincbas, Jean-Pierre Jouannaud, Claude Kirchner: A Methodological View of Constraint Solving. Constraints 4(4): 337-361 (1999)
1996
30 Mehmet Dincbas: Constraint Programming. ACM Comput. Surv. 28(4es): 62 (1996)
1995
29 Mehmet Dincbas: Applications et évolutions du langage CHIP. JFPLC 1995: 429
1992
28 Mehmet Dincbas: Constraint Programming - an Alternative to Expert Systems. IEA/AIE 1992: 46-48
27 Pascal Van Hentenryck, Helmut Simonis, Mehmet Dincbas: Constraint Satisfaction Using Constraint Logic Programming. Artif. Intell. 58(1-3): 113-159 (1992)
1991
26 Helmut Simonis, Mehmet Dincbas: Propositional Calculus Problems in CHIP. WCLP 1991: 269-285
1990
25 Serge Bourgault, Mehmet Dincbas: SPLT'90, 8ème Séminaire Programmation en Logique, 16-18 mai 1990, Trégastel, France SPLT 1990
24EEHelmut Simonis, Mehmet Dincbas: Propositional Calculus Problems in CHIP. ALP 1990: 189-203
23 Mehmet Dincbas, Helmut Simonis, Pascal Van Hentenryck: Solving Large Combinatorial Problems in Logic Programming. J. Log. Program. 8(1): 75-93 (1990)
1989
22 Serge Bourgault, Mehmet Dincbas: SPLT'89, 8ème Séminaire Programmation en Logique, 24-26 mai 1989, Trégastel, France SPLT 1989
21 Mehmet Dincbas: Parallelism vs. Efficiency in Logic Programming. IFIP Congress 1989: 965-966
1988
20 Serge Bourgault, Mehmet Dincbas: SPLT'88, 7ème Séminaire Programmation en Logique, 25-27 mai 1988, Trégastel, France SPLT 1988
19EEMehmet Dincbas, Pascal Van Hentenryck, Helmut Simonis, Abderrahmane Aggoun, Alexander Herold: The CHIP System: Constraint Handling In Prolog. CADE 1988: 774-775
18 Mehmet Dincbas, Helmut Simonis, Pascal Van Hentenryck: Solving the Car-Sequencing Problem in Constraint Logic Programming. ECAI 1988: 290-295
17 Mehmet Dincbas, Pascal Van Hentenryck, Helmut Simonis, Abderrahmane Aggoun, Thomas Graf, Françoise Berthier: The Constraint Logic Programming Language CHIP. FGCS 1988: 693-702
16 Mehmet Dincbas, Helmut Simonis, Pascal Van Hentenryck: Solving a Cutting-Stock Problem in Constraint Logic Programming. ICLP/SLP 1988: 42-58
15EEMehmet 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
14 Helmut Simonis, Mehmet Dincbas: Using Logic Programming for Fault Diagnosis in Digital Circuits. GWAI 1987: 139-148
13 Pascal Van Hentenryck, Mehmet Dincbas: Forward Checking in Logic Programming. ICLP 1987: 229-256
12 Mehmet Dincbas, Pascal Van Hentenryck: Extended Unification Algorithms for the Integration of Functional Programming into Logic Programming. J. Log. Program. 4(3): 199-227 (1987)
1986
11 Pascal Van Hentenryck, Mehmet Dincbas: Domains in Logic Programming. AAAI 1986: 759-765
10 Mehmet Dincbas, Pascal Van Hentenryck: Algorithmes d'unification étendue pour l'intégration des langages fonctionnels et logiques. SPLT 1986: 203-232
1985
9 Serge Bourgault, Mehmet Dincbas: SPLT'85, Séminaire Programmation en Logique, 29-31 mai 1985, Trégastel, France SPLT 1985
1984
8 Mehmet Dincbas: SPLT'84, Séminaire Programmation en Logique, 25-27 avril 1984, Plestin-les-Grèves, France SPLT 1984
7 Mehmet Dincbas, Jean-Pierre Le Pape: Metacontrol of Logic Programs in Metalog. FGCS 1984: 361-370
1983
6 Mehmet Dincbas: SPLT'83, Séminaire Programmation en Logique, 22-23 mars 1983, Perros-Guirec, France SPLT 1983
5 Serge Bourgault, Mehmet Dincbas, Didier Feuerstein, Jean-Pierre Le Pape: LISLOG: L'an II. SPLT 1983
4 Mehmet Dincbas, Jean-Pierre Le Pape: Nouvelle implémentation de METALOG. SPLT 1983
1982
3 Mehmet Dincbas, Didier Feuerstein: SPLT'82, Séminaire Programmation en Logique, 4-5 février 1982, Perros-Guirec, France SPLT 1982
2 Serge Bourgault, Mehmet Dincbas, Didier Feuerstein: Programmation en logique en environnement Lisp. SPLT 1982
1980
1 Mehmet Dincbas: A Knowledge-Based Expert System for Automatic Analysis and Synthesis in CAD. IFIP Congress 1980: 705-710

Coauthor Index

1Abderrahmane Aggoun [15] [17] [19]
2Françoise Berthier [17]
3Serge Bourgault [2] [5] [9] [20] [22] [25]
4Hubert Comon-Lundh (Hubert Comon) [31]
5Didier Feuerstein [2] [3] [5]
6Thomas Graf [15] [17]
7Pascal Van Hentenryck [10] [11] [12] [13] [15] [16] [17] [18] [19] [23] [27]
8Alexander Herold [19]
9Jean-Pierre Jouannaud [31]
10Claude Kirchner [31]
11Jean-Pierre Le Pape [4] [5] [7]
12Helmut Simonis [14] [15] [16] [17] [18] [19] [23] [24] [26] [27]

Colors in the list of coauthors

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