| 國立交通大學 |
2014-12-08T15:23:36Z |
Travel-Route-Centered Metro Map Layout and Annotation
|
Wu, Hsiang-Yun; Takahashi, Shigeo; Lin, Chun-Cheng; Yen, Hsu-Chun |
| 國立交通大學 |
2014-12-08T15:23:05Z |
One-and-a-Half-Side Boundary Labeling
|
Lin, Chun-Cheng; Poon, Sheung-Hung; Takahashi, Shigeo; Wu, Hsiang-Yun; Yen, Hsu-Chun |
| 國立交通大學 |
2014-12-08T15:22:04Z |
A new force-directed graph drawing method based on edge-edge repulsion
|
Lin, Chun-Cheng; Yen, Hsu-Chun |
| 國立交通大學 |
2014-12-08T15:20:49Z |
Optimized Topological Surgery for Unfolding 3D Meshes
|
Takahashi, Shigeo; Wu, Hsiang-Yun; Saw, Seow Hui; Lin, Chun-Cheng; Yen, Hsu-Chun |
| 國立交通大學 |
2014-12-08T15:08:13Z |
Drawing graphs with nonuniform nodes using potential fields
|
Lin, Chun-Cheng; Yen, Hsu-Chun; Chuang, Jen-Hui |
| 國立臺灣大學 |
2010 |
Reachability Analysis of Augmented Marked Graphs via Integer Linear Programming
|
Chen, Chien-Liang; Chin, Shao-Chi; Yen, Hsu-Chun |
| 國立高雄應用科技大學 |
2009-04 |
Drawing Graphs with Nonuniform Nodes Using Potential Fields
|
Chuang, Jen-Hui;Lin, Chun-Cheng;Yen, Hsu-Chun |
| 國立臺灣大學 |
2009 |
On Minimal Elements of Upward-closed Sets
|
Yen, Hsu-Chun; Chen, Chien-Liang |
| 國立臺灣大學 |
2009 |
Drawing Graphs with Nonuniform Nodes Using Potential Fields
|
Lin, Chun-Cheng; Yen, Hsu-Chun; Chuang, Jen-Hui |
| 國立臺灣大學 |
2009 |
Path Decomposition and Semilinearity of Petri Nets
|
Yen, Hsu-Chun |
| 國立臺灣大學 |
2008 |
Decidability and Complexity Analysis of Forbidden State Problems for Discrete Event Systems
|
Yen, Hsu-Chun |
| 國立臺灣大學 |
2008 |
Many-to-One Boundary Labeling
|
Lin, Chun-Cheng; Kao, Hao-Jen; Yen, Hsu-Chun |
| 國立臺灣大學 |
2008 |
Location-Aware Routing Protocol with Dynamic Adaptation of Request Zone for Mobile Ad Hoc Networks
|
Shih, Tzay-Farn; Yen, Hsu-Chun |
| 國立高雄應用科技大學 |
2007-12 |
On Balloon Drawings of Rooted Trees
|
Lin, Chun-Cheng;Yen, Hsu-Chun |
| 國立臺灣大學 |
2007 |
On Balloon Drawings of Rooted Trees
|
Lin, Chun-Cheng; Yen, Hsu-Chun |
| 臺大學術典藏 |
2007 |
Width-Optimal Visibility Representations of Plane Graphs.
|
HSUEH-I LU; Yen, Hsu-Chun; Lu, Hsueh-I; Fan, Jia-Hao; Lin, Chun-Cheng |
| 國立臺灣大學 |
2006 |
Deterministic catalytic systems are not universal
|
Ibarra, Oscar H.; Yen, Hsu-Chun |
| 國立臺灣大學 |
2006 |
Decidability Analysis of Self-Stabilization for Infinite State Systems
|
Yen, Hsu-Chun; Yu, Lien-Po |
| 國立臺灣大學 |
2006 |
On the Computational Power of 1-Deterministic and Sequential P Systems
|
Ibarra, Oscar H.; Woodworth, Sara; Yen, Hsu-Chun; Dang, Zhe |
| 國立臺灣大學 |
2006 |
Introduction to Petri Net Theory
|
Yen, Hsu-Chun |
| 臺大學術典藏 |
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 |
| 國立臺灣大學 |
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 |
