| 國立臺灣大學 |
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 |
