Concepedia

C. L. Chang

CL

Statistics

Publications

14

Citations

3K

H-Index

13

Active since

1968

Affiliations

National Institutes of Health(Current)

Lockheed Martin (United States)

United States Naval Research Laboratory

IBM (United States)

United States Public Health Service

C. L. Chang is an author at National Institutes of Health specializing in computing, computer science, and formal methods.

Publications per year

1968–1990

14

Publications

14

Fuzzy topological spaces

C. L. Chang · Journal of Mathematical Analysis and Applications · 1968 · 2.3K citations

A report on the Expert Systems Validation Associate (EVA)

C. L. Chang, J.B. Combs, Rolf A. Stachowitz · Expert Systems with Applications · 1990 · 96 citations

Computing, Computer Science, Systems Engineering +10

The Unit Proof and the Input Proof in Theorem Proving

C. L. Chang · Journal of the ACM · 1970 · 88 citations · Full text

Computing, Computer Science, Formal Methods +12

An admissible and optimal algorithm for searching AND/OR graphs

C. L. Chang, James R. Slagle · Artificial Intelligence · 1971 · 87 citations

Computing, Computer Science, Mathematics +13

A Clustering and Data-Reorganizing Algorithm

James R. Slagle, C. L. Chang, Stephen R. Heller · IEEE Transactions on Systems Man and Cybernetics · 1975 · 83 citations

Computing, Computer Science, Algorithms +12

1–5 of 14