Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

* | 1995 | |
---|---|---|

17 | EE | Chin-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 | ||

12 | EE | E. 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) | |

8 | EE | James 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) | |

4 | EE | Chin-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) | |

2 | EE | Chin-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 |

1 | Robert S. Arnold | [12] |

2 | Jean-Marc Cadiou | [12] |

3 | Shi-Kuo Chang | [10] |

4 | E. F. Codd (Edgar F. Codd) | [12] |

5 | John K. Dixon | [7] |

6 | Andy N. C. Kang | [10] |

7 | Richard C. T. Lee (Richard Chia-Tung Lee) | [1] [5] [7] [8] [9] [10] |

8 | Vincent Y. Lum | [15] |

9 | Nick Roussopoulos | [12] |

10 | Nan C. Shu | [15] |

11 | James R. Slagle | [1] [4] [6] [8] [13] |

12 | F. C. Tung | [15] |

13 | Richard J. Waldinger | [9] |

14 | Adrian Walker | [16] |