| 臺大學術典藏 |
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 |
