Issue Date | Title | Author(s) | Source | scopus | WOS | Fulltext/Archive link |
1985 | Boundedness, Empty Channel Detection and Synchronization for Communicating Finite State Machines. | Rosier, Louis E.; HSU-CHUN YEN | STACS 85, 2nd Symposium of Theoretical Aspects of Computer Science, Saarbr?cken, Germany, January 3-5, 1985, Proceedings | | | |
1986 | Boundedness, Empty Channel Detection, and Synchronization for Communicating Finite Automata. | Rosier, Louis E.; HSU-CHUN YEN | Theor. Comput. Sci. | | | |
1991 | Global and local views of state fairness | Howell, Rodney R.; Rosier, Louis E.; Yen, Hsu-Chun | Theoretical Computer Science | 1 | 1 | |
1986 | Logspace Hierarchies, Polynomial Time and the Complexity of Fairness Problems Concerning omega-Machines. | Rosier, Louis E.; HSU-CHUN YEN | STACS 86, 3rd Annual Symposium on Theoretical Aspects of Computer Science, Orsay, France, January 16-18, 1986, Proceedings | | | |
1987 | Logspace Hierarchies, Polynomial Time and the Complexity of Fairness Problems Concerning Omega-Machines. | Rosier, Louis E.; HSU-CHUN YEN | SIAM J. Comput. | | | |
1986 | A Multiparameter Analysis of the Boundedness Problem for Vector Addition Systems. | Rosier, Louis E.; HSU-CHUN YEN | J. Comput. Syst. Sci. | 57 | 51 | |
1985 | A multiparameter analysis of the boundedness problem for vector addition systems. | Rosier, Louis E.; HSU-CHUN YEN | Fundamentals of Computation Theory, FCT '85, Cottbus, GDR, September 9-13, 1985 | 2 | 0 | |
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.; HSU-CHUN YEN | Inf. Process. Lett. | | | |
1988 | On the Complexity of Deciding fair Termination of Probabilistic Concurrent Finite-State Programs. | Rosier, Louis E.; HSU-CHUN YEN | Theor. Comput. Sci. | | | |
1986 | On The Complexity of Deciding Fair Termination of Probabilistic Concurrent Finite-State Programs. | Rosier, Louis E.; HSU-CHUN YEN | Automata, Languages and Programming, 13th International Colloquium, ICALP86, Rennes, France, July 15-19, 1986, Proceedings | | | |
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.; HSU-CHUN YEN | Theor. Comput. Sci. | | | |
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 | |