| 臺大學術典藏 |
2006 |
Deterministic catalytic systems are not universal
|
Ibarra, Oscar H.; Yen, Hsu-Chun; Ibarra, Oscar H.; Yen, Hsu-Chun |
| 國立臺灣大學 |
2005-07 |
A new force-directed graph drawing method based on edge-edge repulsion
|
Lin, Chun-Cheng; Yen, Hsu-Chun |
| 臺大學術典藏 |
2005-07 |
A new force-directed graph drawing method based on edge-edge repulsion
|
Lin, Chun-Cheng; Yen, Hsu-Chun; Lin, Chun-Cheng; Yen, Hsu-Chun |
| 國立臺灣大學 |
2005 |
Quality-of-Service Provisioning System for Multimedia Transmission in IEEE 802.11 Wireless LANs
|
Deng, Der-Jiunn; Yen, Hsu-Chun |
| 國立臺灣大學 |
2005 |
On Various Notions of Parallelism in P Systems
|
Ibarra, Oscar H.; Yen, Hsu-Chun; Dang, Zhe; Calude, C. S. |
| 國立臺灣大學 |
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 |
