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

Chin-Liang Chang Vis

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

*1995
17EEChin-Liang Chang: Heuristic Scheduling in a Dynamic Production Environment: A Practical Case. IEA/AIE 1995: 711-719
1984
16 Chin-Liang Chang, Adrian Walker: PROSQL: A Prolog Programming Interface with SQL/DS. Expert Database Workshop 1984: 233-246
1982
15 Nan C. Shu, Vincent Y. Lum, F. C. Tung, Chin-Liang Chang: Specification of Forms Processing and Business Procedures for Office Automation. IEEE Trans. Software Eng. 8(5): 499-512 (1982)
1979
14 Chin-Liang Chang: On Evaluation of Queries Containing Derived Relations in a Relational Data Base. Advances in Data Base Theory 1979: 235-260
13 Chin-Liang Chang, James R. Slagle: Using Rewriting Rules for Connection Graphs to Prove Theorems. Artif. Intell. 12(2): 159-178 (1979)
1978
12EEE. F. Codd, Robert S. Arnold, Jean-Marc Cadiou, Chin-Liang Chang, Nick Roussopoulos: RENDEZVOUS Version 1: An Experimental English Language Query Formulation System for Casual Users of Relational Data Bases. IBM Research Report RJ2144: (1978)
1977
11 Chin-Liang Chang: DEDUCE 2: Further Investigations of Deduction in Relational Data Bases. Logic and Data Bases 1977: 201-236
10 Andy N. C. Kang, Richard C. T. Lee, Chin-Liang Chang, Shi-Kuo Chang: Storage Reduction Through Minimal Spanning Trees and Spanning Forests. IEEE Trans. Computers 26(5): 425-434 (1977)
1974
9 Richard C. T. Lee, Chin-Liang Chang, Richard J. Waldinger: An Improved Program-Synthesizing Algorithm and Its Correctness. Commun. ACM 17(4): 211-217 (1974)
8EEJames R. Slagle, Chin-Liang Chang, Richard C. T. Lee: Experiments with some cluster analysis algorithms. Pattern Recognition 6(3-4): 181-187 (1974)
1973
7 Chin-Liang Chang, Richard C. T. Lee, John K. Dixon: The Specialization of Programs by Theorem Proving. SIAM J. Comput. 2(1): 7-15 (1973)
1971
6 Chin-Liang Chang, James R. Slagle: An Admissible and Optimal Algorithm for Searching AND/OR Graphs. Artif. Intell. 2(2): 117-128 (1971)
5 Richard C. T. Lee, Chin-Liang Chang: Some Properties of Fuzzy Logic Information and Control 19(5): 417-431 (1971)
4EEChin-Liang Chang, James R. Slagle: Completeness of Linear Refutation for Theories with Equality. J. ACM 18(1): 126-136 (1971)
1970
3 Chin-Liang Chang: Renamable Paramodulation for Automatic Theorem Proving with Equality. Artif. Intell. 1(4): 247-256 (1970)
2EEChin-Liang Chang: The Unit Proof and the Input Proof in Theorem Proving. J. ACM 17(4): 698-707 (1970)
1969
1 James R. Slagle, Chin-Liang Chang, Richard C. T. Lee: Completeness Theorems for Semantic Resolution in Consequence-Finding. IJCAI 1969: 281-286

Coauthor Index

1Robert S. Arnold [12]
2Jean-Marc Cadiou [12]
3Shi-Kuo Chang [10]
4E. F. Codd (Edgar F. Codd) [12]
5John K. Dixon [7]
6Andy N. C. Kang [10]
7Richard C. T. Lee (Richard Chia-Tung Lee) [1] [5] [7] [8] [9] [10]
8Vincent Y. Lum [15]
9Nick Roussopoulos [12]
10Nan C. Shu [15]
11James R. Slagle [1] [4] [6] [8] [13]
12F. C. Tung [15]
13Richard J. Waldinger [9]
14Adrian Walker [16]

Colors in the list of coauthors

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