| 臺大學術典藏 |
2020-06-16T06:40:00Z |
A multiparameter analysis of the boundedness problem for vector addition systems.
|
Rosier, Louis E.;Yen, Hsu-Chun; Rosier, Louis E.; Yen, Hsu-Chun; HSU-CHUN YEN |
| 臺大學術典藏 |
2020-06-16T06:40:00Z |
Boundedness, Empty Channel Detection and Synchronization for Communicating Finite State Machines.
|
Rosier, Louis E.;Yen, Hsu-Chun; Rosier, Louis E.; Yen, Hsu-Chun; HSU-CHUN YEN |
| 臺大學術典藏 |
2020-06-16T06:39:59Z |
Deciding Bisimulation and Trace Equivalences for Systems with Many Identical Processes.
|
Yen, Hsu-Chun;Jian, Shi-Tsuen;Lao, Ta-Pang; Yen, Hsu-Chun; Jian, Shi-Tsuen; Lao, Ta-Pang; HSU-CHUN YEN |
| 臺大學術典藏 |
2020-06-16T06:39:59Z |
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; HSU-CHUN YEN |
| 臺大學術典藏 |
2020-06-16T06:39:58Z |
Communicating Processes, Scheduling, and the Complexity of Nondeterminism.
|
Yen, Hsu-Chun; Yen, Hsu-Chun; HSU-CHUN YEN |
| 臺大學術典藏 |
2020-06-16T06:39:58Z |
Unfolding Some Classes of Orthogonal Polyhedra of Arbitrary Genus.
|
Ho, Kuan-Yi;Chang, Yi-Jun;Yen, Hsu-Chun; Ho, Kuan-Yi; Chang, Yi-Jun; Yen, Hsu-Chun; HSU-CHUN YEN |
| 臺大學術典藏 |
2020-06-16T06:39:57Z |
Characterizing the Valuedness of Two-Way Finite Transducers.
|
Yen, Di-De;Yen, Hsu-Chun; Yen, Di-De; Yen, Hsu-Chun; HSU-CHUN YEN |
| 臺大學術典藏 |
2020-06-16T06:39:57Z |
On Orthogonally Convex Drawings of Plane Graphs - (Extended Abstract).
|
Chang, Yi-Jun;Yen, Hsu-Chun; Chang, Yi-Jun; Yen, Hsu-Chun; HSU-CHUN YEN |
| 臺大學術典藏 |
2020-06-16T06:39:56Z |
Normal and Sinkless Petri Nets.
|
Howell, Rodney R.;Rosier, Louis E.;Yen, Hsu-Chun; Howell, Rodney R.; Rosier, Louis E.; Yen, Hsu-Chun; HSU-CHUN YEN |
| 臺大學術典藏 |
2020-06-16T06:39:56Z |
A Unified Approach for Reasoning about Conflict-Free Petri Nets.
|
Yen, Hsu-Chun;Wang, Bow-Yaw;Yang, Ming-Sheng; Yen, Hsu-Chun; Wang, Bow-Yaw; Yang, Ming-Sheng; HSU-CHUN YEN |
| 臺大學術典藏 |
2020-06-16T06:39:54Z |
Logspace Hierarchies, Polynomial Time and the Complexity of Fairness Problems Concerning omega-Machines.
|
Rosier, Louis E.;Yen, Hsu-Chun; Rosier, Louis E.; Yen, Hsu-Chun; HSU-CHUN YEN |
| 臺大學術典藏 |
2020-06-16T06:39:54Z |
On The Complexity of Deciding Fair Termination of Probabilistic Concurrent Finite-State Programs.
|
Rosier, Louis E.;Yen, Hsu-Chun; Rosier, Louis E.; Yen, Hsu-Chun; HSU-CHUN YEN |
| 臺大學術典藏 |
2020-06-16T06:39:54Z |
On Optimal Parallelization of Sorting Networks.
|
Gannett, Ethan;Kothari, Suresh C.;Yen, Hsu-Chun; Gannett, Ethan; Kothari, Suresh C.; Yen, Hsu-Chun; HSU-CHUN YEN |
| 臺大學術典藏 |
2020-05-04T07:56:45Z |
Floor-Planning via Orderly Spanning Trees.
|
Yen, Hsu-Chun; Lu, Hsueh-I; Liao, Chien-Chih; HSUEH-I LU |
| 臺大學術典藏 |
2020-05-04T07:56:44Z |
Some Applications of Orderly Spanning Trees in Graph Drawing.
|
Chen, Ho-Lin; Liao, Chien-Chih; Lu, Hsueh-I; Yen, Hsu-Chun; HSUEH-I LU |
| 臺大學術典藏 |
2018-09-10T07:08:24Z |
Location-Aware Routing Protocol with Dynamic Adaptation of Request Zone for Mobile Ad Hoc Networks
|
Shih, Tzay-Farn; Yen, Hsu-Chun; HSU-CHUN YEN |
| 臺大學術典藏 |
2018-09-10T07:08:24Z |
Many-to-One Boundary Labeling
|
Lin, Chun-Cheng;Kao, Hao-Jen;Yen, Hsu-Chun; Lin, Chun-Cheng; Kao, Hao-Jen; Yen, Hsu-Chun; HSU-CHUN YEN |
| 臺大學術典藏 |
2018-09-10T06:02:21Z |
On the Computational Power of 1-Deterministic and Sequential P Systems
|
O. Ibarra; S. Woodworth; H. Yen; Z. DangIbarra; Oscar H.; Woodworth, Sara; Yen, Hsu-Chun; Dang, Zhe; HSU-CHUN YEN |
| 臺大學術典藏 |
2018-09-10T05:26:52Z |
On Various Notions of Parallelism in P Systems
|
O. Ibarra, H. Yen; Z. DangIbarra, Oscar H.; Yen, Hsu-Chun; Dang, Zhe; Calude, C. S.; HSU-CHUN YEN |
| 國立交通大學 |
2018-08-21T05:53:03Z |
QoS/QoE Support for H.264/AVC Video Stream in IEEE 802.11ac
|
Chang, Che-Yu; Yen, Hsu-Chun; Lin, Chun-Cheng; Deng, Der-Jiunn |
| 國立交通大學 |
2018-08-21T05:53:02Z |
On Number of Tags Estimation in RFID Systems
|
Deng, Der-Jiunn; Lin, Chun-Cheng; Huang, Tzu-Hsun; Yen, Hsu-Chun |
| 國立交通大學 |
2017-04-21T06:49:28Z |
Designing and Annotating Metro Maps with Loop Lines
|
Wu, Hsiang-Yun; Poon, Sheung-Hung; Takahashi, Shigeo; Arikawa, Masatoshi; Lin, Chun-Cheng; Yen, Hsu-Chun |
| 國立交通大學 |
2017-04-21T06:48:28Z |
A Zone-Based Approach for Placing Annotation Labels on Metro Maps
|
Wu, Hsiang-Yun; Takahashi, Shigeo; Lin, Chun-Cheng; Yen, Hsu-Chun |
| 國立交通大學 |
2014-12-08T15:31:23Z |
Spatially Efficient Design of Annotated Metro Maps
|
Wu, Hsiang-Yun; Takahashi, Shigeo; Hirono, Daichi; Arikawa, Masatoshi; Lin, Chun-Cheng; Yen, Hsu-Chun |
| 國立交通大學 |
2014-12-08T15:26:46Z |
Mental map preserving graph drawing using simulated annealing
|
Lin, Chun-Cheng; Lee, Yi-Yi; Yen, Hsu-Chun |
| 國立交通大學 |
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. |
