| 國立臺灣大學 |
1993-01 |
Complexity analysis of propositional concurrent programs using domino tiling
|
Yen, Hsu-Chun; Pak, Namhee |
| 臺大學術典藏 |
1993-01 |
Complexity analysis of propositional concurrent programs using domino tiling
|
Yen, Hsu-Chun; Pak, Namhee; Yen, Hsu-Chun; Pak, Namhee |
| 國立臺灣大學 |
1993 |
超級電腦之研究發展:向量、平行編譯器
|
顏嗣鈞; 郭德盛; Yen, Hsu-Chun; Kuo, Te-Son |
| 國立臺灣大學 |
1993 |
Normal and sinkless petri nets
|
Howell, Rodney R.; Rosier, Louis E.; Yen, Hsu-Chun |
| 臺大學術典藏 |
1993 |
Normal and sinkless petri nets
|
Howell, Rodney R.; Rosier, Louis E.; Yen, Hsu-Chun; Howell, Rodney R.; Rosier, Louis E.; Yen, Hsu-Chun |
| 國立臺灣大學 |
1992-04 |
Applications of conflict-free Petri nets to parallel programs and asynchronous circuits
|
Yen, Hsu-Chun |
| 臺大學術典藏 |
1992-04 |
Applications of conflict-free Petri nets to parallel programs and asynchronous circuits
|
Yen, Hsu-Chun; Yen, Hsu-Chun |
| 國立臺灣大學 |
1992 |
具時間性之Petri Net問題研究
|
顏嗣鈞; Yen, Hsu-Chun |
| 國立臺灣大學 |
1992 |
A unified approach for deciding the existence of certain petri net paths
|
Yen, Hsu-Chun |
| 國立臺灣大學 |
1992 |
A multiparameter analysis of domino tiling with an application to concurrent systems
|
Yen, Hsu-Chun |
| 臺大學術典藏 |
1992 |
A unified approach for deciding the existence of certain petri net paths
|
Yen, Hsu-Chun; Yen, Hsu-Chun |
| 臺大學術典藏 |
1992 |
A multiparameter analysis of domino tiling with an application to concurrent systems
|
Yen, Hsu-Chun; Yen, Hsu-Chun |
| 國立臺灣大學 |
1991 |
Global and local views of state fairness
|
Howell, Rodney R.; Rosier, Louis E.; Yen, Hsu-Chun |
| 國立臺灣大學 |
1991 |
A polynomial time algorithm to decide pairwise concurrency of transitions for 1-bounded conflict-free Petri nets
|
Yen, Hsu-Chun |
| 國立臺灣大學 |
1991 |
A taxonomy of fairness and temporal logic problems for Petri nets
|
Howell, Rodney R.; Rosier, Louis E.; Yen, Hsu-Chun |
| 臺大學術典藏 |
1991 |
Global and local views of state fairness
|
Howell, Rodney R.; Rosier, Louis E.; Yen, Hsu-Chun; Howell, Rodney R.; Rosier, Louis E.; Yen, Hsu-Chun |
| 臺大學術典藏 |
1991 |
A polynomial time algorithm to decide pairwise concurrency of transitions for 1-bounded conflict-free Petri nets
|
Yen, Hsu-Chun; Yen, Hsu-Chun |
| 臺大學術典藏 |
1991 |
A taxonomy of fairness and temporal logic problems for Petri nets
|
Howell, Rodney R.; Rosier, Louis E.; Yen, Hsu-Chun; Howell, Rodney R.; Rosier, Louis E.; Yen, Hsu-Chun |
| 國立臺灣大學 |
1986 |
B-ISDN相關通訊協定之設計及驗證
|
張進福; 顏嗣鈞; Chang, Jin-Fu; Yen, Hsu-Chun |
