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] |