Manifolds: a very high-level conceptual framework of interprocess synchronization and communication. - Chyuan Samuel Hsieh; Elizabeth A. Unger (ACM Conference on Computer Science, 1987)

Resource scheduling: specification and proof techniques. - Chyuan Samuel Hsieh; Elizabeth A. Unger (ACM Conference on Computer Science, 1988)

Decentralized Mutual Exclusion in the Presence of Link Failures. - C. Samuel Hsieh; R. A. Mata (ACM Conference on Computer Science, 1989)

Decentralised Evaluation of Associative and Commutative Functions. - C. Samuel Hsieh (ICDCS, 1989)

Timing Analysis of Cyclic Concurrent Programs. - C. Samuel Hsieh (ICSE, 1989)

Further Comments on Implementation of General Semaphores. - C. Samuel Hsieh (ACM SIGOPS Oper. Syst. Rev., 1989)

Distributed evaluation of commutative and associative functions. - C. Samuel Hsieh (J. Syst. Softw., 1991)

Slice, chunk and dataflow anomaly as DATALOG rules. - C. Samuel Hsieh (J. Syst. Softw., 1991)

Using program dependence graphs for information flow control. - C. Samuel Hsieh; Elizabeth A. Unger; Ramón A. Mata-Toledo (J. Syst. Softw., 1992)

On the control structure of a program slice. - Chyuan Samuel Hsieh; Elizabeth A. Unger (J. Syst. Softw., 1996)

A Fine-Grained Data-Flow Analysis Framework. - C. Samuel Hsieh (Acta Informatica, 1997)