Chyuan Samuel Hsieh

According to our database¹, Chyuan Samuel Hsieh authored at least 3 papers between 1987 and 1996.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

1996

On the control structure of a program slice.

[BibT_eX]

[DOI]

J. Syst. Softw., 1996

1988

Resource scheduling: specification and proof techniques.

[BibT_eX]

[DOI]

Proceedings of the Sixteenth ACM Annual Conference on Computer Science, 1988

1987

Manifolds: a very high-level conceptual framework of interprocess synchronization and communication.

[BibT_eX]

[DOI]

Proceedings of the 15th ACM Annual Conference on Computer Science, 1987