| 國立臺灣大學 |
2004-03 |
Dependability analysis of a class of probabilistic Petri nets
|
Yen, Hsu-Chun; Yu, Lien-Po |
| 臺大學術典藏 |
2004-03 |
Dependability analysis of a class of probabilistic Petri nets
|
Yen, Hsu-Chun; Yu, Lien-Po; Yen, Hsu-Chun; Yu, Lien-Po |
| 國立臺灣大學 |
2004 |
Reachability solution characterization of parametric real-time systems
|
Wang, Farn; Yen, Hsu-Chun |
| 臺大學術典藏 |
2004 |
Reachability solution characterization of parametric real-time systems
|
Wang, Farn; Yen, Hsu-Chun; Wang, Farn; Yen, Hsu-Chun |
| 國立臺灣大學 |
2003 |
Compact floor-planning via orderly spanning trees
|
Liao, Chien-Chih; Lu, Hsueh-I; Yen, Hsu-Chun |
| 國立臺灣大學 |
2003 |
An ω-automata approach to the representation of bilevel images
|
Lin, Yih-Kai; Yen, Hsu-Chun |
| 臺大學術典藏 |
2003 |
Compact floor-planning via orderly spanning trees
|
Liao, Chien-Chih; Lu, Hsueh-I; Yen, Hsu-Chun; Liao, Chien-Chih; Lu, Hsueh-I; Yen, Hsu-Chun |
| 國立屏東大學 |
2002 |
An Omega-Automata Approach to the Representation of Bi-level Images
|
林義凱;Yen, Hsu-Chun |
| 國立臺灣大學 |
2002 |
Distributed and On-Line Routing on Tori
|
Yeh, Tzuoo-Hawn; Kuo, Cheng-Ming; Lei, Chin-Laung; Yen, Hsu-Chun |
| 國立臺灣大學 |
2002 |
A valuation-based analysis of conflict-free Petri nets
|
Yen, Hsu-Chun |
| 臺大學術典藏 |
2002 |
Distributed and On-Line Routing on Tori
|
Yeh, Tzuoo-Hawn; Kuo, Cheng-Ming; Lei, Chin-Laung; Yen, Hsu-Chun; Yeh, Tzuoo-Hawn; Kuo, Cheng-Ming; Lei, Chin-Laung; Yen, Hsu-Chun |
| 臺大學術典藏 |
2002 |
A valuation-based analysis of conflict-free Petri nets
|
Yen, Hsu-Chun; Yen, Hsu-Chun |
| 國立臺灣大學 |
2001-06 |
Analysis of self-stabilization for infinite-state systems
|
Yen, Hsu-Chun |
| 臺大學術典藏 |
2001-06 |
Analysis of self-stabilization for infinite-state systems
|
Yen, Hsu-Chun; Yen, Hsu-Chun |
| 國立臺灣大學 |
2001 |
The symmetry number problem for trees
|
Chin, Kien-Weh; Yen, Hsu-Chun |
| 臺大學術典藏 |
2001 |
The symmetry number problem for trees
|
Chin, Kien-Weh; Yen, Hsu-Chun; Chin, Kien-Weh; Yen, Hsu-Chun |
| 國立臺灣大學 |
2000 |
An ω-Automata Approach to the Compression of Bi-Level Images
|
LIN, YIH-KAI; YEN, HSU-CHUN |
| 臺大學術典藏 |
2000 |
An ω-Automata Approach to the Compression of Bi-Level Images
|
Lin, Yih-Kai; Yen, Hsu-Chun; LIN, YIH-KAI; YEN, HSU-CHUN |
| 臺大學術典藏 |
2000 |
On Maximum Symmetric Subgraphs.
|
Chen, Ho-Lin; Lu, Hsueh-I; Yen, Hsu-Chun; HSUEH-I LU |
| 國立臺灣大學 |
1997 |
On reachability equivalence for BPP-nets
|
Yen, Hsu-Chun |
| 國立臺灣大學 |
1996 |
On the Regularity of Petri Net Languages
|
Yen, Hsu-Chun |
| 國立臺灣大學 |
1996 |
Deciding bisimulation and trace equivalences for systems with many identical processes
|
Yen, Hsu-Chun; Jian, Shi-Tsuen; Lao, Ta-Pang |
| 國立臺灣大學 |
1996 |
ATM網路組態及資源管理之研究(1/3)
|
顏嗣鈞; Yen, Hsu-Chun |
| 國立臺灣大學 |
1996 |
分散式共用記憶體系統上之平行模擬(2/3)
|
顏嗣鈞; Yen, Hsu-Chun |
| 臺大學術典藏 |
1996 |
ATM網路組態及資源管理之研究(1/3)
|
Yen, Hsu-Chun; 顏嗣鈞; Yen, Hsu-Chun |
| 臺大學術典藏 |
1996 |
On the Regularity of Petri Net Languages
|
Yen, Hsu-Chun; Yen, Hsu-Chun |
| 國立臺灣大學 |
1995-04 |
Design, implementation, and applications of a B-ISDN simulation testbed
|
Chang, Jin-Fu; Chang, Shi-Chung; Tsai, Zsehong; Wu, Jung-Shyr; Yen, Hsu-Chun |
| 臺大學術典藏 |
1995-04 |
Design, implementation, and applications of a B-ISDN simulation testbed
|
Chang, Jin-Fu; Chang, Shi-Chung; Tsai, Zsehong; Wu, Jung-Shyr; Yen, Hsu-Chun; Chang, Jin-Fu; Chang, Shi-Chung; Tsai, Zsehong; Wu, Jung-Shyr; Yen, Hsu-Chun |
| 國立臺灣大學 |
1995 |
A note on fine covers and iterable factors of VAS languages
|
Yen, Hsu-Chun |
| 國立臺灣大學 |
1995 |
B-ISDN相關通訊協定之設計及驗證(3/3)
|
顏嗣鈞; Yen, Hsu-Chun |
| 國立臺灣大學 |
1995 |
分散式共用記憶體系統--架構, 演算法與發展環境
|
郭斯彥; 顏嗣鈞; 賴飛羆; Kuo, Sy-Yen; Yen, Hsu-Chun; Lai, Fei-Pei |
| 臺大學術典藏 |
1995 |
B-ISDN相關通訊協定之設計及驗證(3/3)
|
Yen, Hsu-Chun; 顏嗣鈞; Yen, Hsu-Chun |
| 臺大學術典藏 |
1995 |
A note on fine covers and iterable factors of VAS languages
|
Yen, Hsu-Chun; Yen, Hsu-Chun |
| 國立臺灣大學 |
1994 |
B-ISDN相關通訊協定之設計及驗證(1/3)
|
顏嗣鈞; Yen, Hsu-Chun |
| 臺大學術典藏 |
1994 |
B-ISDN相關通訊協定之設計及驗證(1/3)
|
顏嗣鈞; 顏嗣鈞; Yen, Hsu-Chun |
| 國立臺灣大學 |
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 |
