|
Search the dblp DataBase
Chyuan Samuel Hsieh:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Chyuan Samuel Hsieh, Elizabeth A. Unger
Manifolds: a very high-level conceptual framework of interprocess synchronization and communication. [Citation Graph (0, 0)][DBLP] ACM Conference on Computer Science, 1987, pp:196-204 [Conf]
- Chyuan Samuel Hsieh, Elizabeth A. Unger
Resource scheduling: specification and proof techniques. [Citation Graph (0, 0)][DBLP] ACM Conference on Computer Science, 1988, pp:429-437 [Conf]
- Chyuan Samuel Hsieh, Elizabeth A. Unger
On the control structure of a program slice. [Citation Graph (0, 0)][DBLP] Journal of Systems and Software, 1996, v:34, n:2, pp:123-126 [Journal]
Search in 0.002secs, Finished in 0.002secs
|