公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 |
1991 | Global and local views of state fairness | Howell, Rodney R.; Rosier, Louis E.; Yen, Hsu-Chun | Theoretical Computer Science | 1 | 1 | |
1993 | Normal and sinkless petri nets | Howell, Rodney R.; Rosier, Louis E.; Yen, Hsu-Chun | Journal of Computer and System Sciences | 25 | 20 | |
1989 | Normal and Sinkless Petri Nets. | Howell, Rodney R.; Rosier, Louis E.; HSU-CHUN YEN | Fundamentals of Computation Theory, International Conference FCT'89, Szeged, Hungary, August 21-25, 1989, Proceedings | 8 | 0 | |
1987 | An O(n^(1.5)) Algorithm to Decide Boundedness for Conflict-Free Vector Replacement Systems. | Howell, Rodney R.; Rosier, Louis E.; Yen, Hsu-Chun; HSU-CHUN YEN | Inf. Process. Lett. | 22 | 19 | |
1986 | Some Complexity Bounds for Problems Concerning Finite and 2-Dimensional Vector Addition Systems with States. | Howell, Rodney R.; Rosier, Louis E.; Huynh, Dung T.; Yen, Hsu-Chun; HSU-CHUN YEN | Theor. Comput. Sci. | 25 | 18 | |
1991 | A taxonomy of fairness and temporal logic problems for Petri nets | Howell, Rodney R.; Rosier, Louis E.; Yen, Hsu-Chun | Theoretical Computer Science | 31 | 22 | |
1988 | A Taxonomy of Fairness and Temporal Logic Problems for Petri Nets. | Howell, Rodney R.; Rosier, Louis E.; HSU-CHUN YEN | Mathematical Foundations of Computer Science 1988, MFCS'88, Carlsbad, Czechoslovakia, August 29 - September 2, 1988, Proceedings | 6 | 0 | |