![]() |
| 2006 | ||
|---|---|---|
| 4 | EE | Hsu-Chun Yen, Lien-Po Yu: Decidability Analysis of Self-Stabilization for Infinite-State Systems. Fundam. Inform. 70(4): 387-402 (2006) |
| 2005 | ||
| 3 | EE | Hsu-Chun Yen, Lien-Po Yu: Petri Nets with Simple Circuits. IEICE Transactions 88-D(9): 2113-2125 (2005) |
| 2004 | ||
| 2 | EE | Hsu-Chun Yen, Lien-Po Yu: Dependability Analysis of a Class of Probabilistic Petri Nets. PRDC 2004: 373-380 |
| 2003 | ||
| 1 | EE | Hsu-Chun Yen, Lien-Po Yu: Petri Nets with Simple Circuits. COCOON 2003: 149-158 |
| 1 | Hsu-Chun Yen | [1] [2] [3] [4] |