|
|
Taiwan Academic Institutional Repository >
Browse by Author
|
"rosier louis e"
Showing items 1-18 of 18 (1 Page(s) Totally)
1
View [10|25|50] records per page
| 臺大學術典藏 |
2020-06-16T06:40:06Z |
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:40:01Z |
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:01Z |
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; Howell, Rodney R.; Rosier, Louis E.; Huynh, Dung T.; Yen, Hsu-Chun; HSU-CHUN YEN |
| 臺大學術典藏 |
2020-06-16T06:40:01Z |
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:40:01Z |
Boundedness, Empty Channel Detection, and Synchronization for Communicating Finite Automata.
|
Rosier, Louis E.;Yen, Hsu-Chun; Rosier, Louis E.; Yen, Hsu-Chun; HSU-CHUN YEN |
| 臺大學術典藏 |
2020-06-16T06:40:01Z |
An O(n^(1.5)) Algorithm to Decide Boundedness for Conflict-Free Vector Replacement Systems.
|
Howell, Rodney R.;Rosier, Louis E.;Yen, Hsu-Chun; Howell, Rodney R.; Rosier, Louis E.; Yen, Hsu-Chun; HSU-CHUN YEN |
| 臺大學術典藏 |
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 |
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: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: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 |
| 國立臺灣大學 |
1993 |
Normal and sinkless petri nets
|
Howell, Rodney R.; Rosier, Louis E.; Yen, Hsu-Chun |
| 臺大學術典藏 |
1993 |
Normal and sinkless petri nets
|
Howell, Rodney R.; Rosier, Louis E.; Yen, Hsu-Chun; Howell, Rodney R.; Rosier, Louis E.; Yen, Hsu-Chun |
| 國立臺灣大學 |
1991 |
Global and local views of state fairness
|
Howell, Rodney R.; Rosier, Louis E.; Yen, Hsu-Chun |
| 國立臺灣大學 |
1991 |
A taxonomy of fairness and temporal logic problems for Petri nets
|
Howell, Rodney R.; Rosier, Louis E.; Yen, Hsu-Chun |
| 臺大學術典藏 |
1991 |
Global and local views of state fairness
|
Howell, Rodney R.; Rosier, Louis E.; Yen, Hsu-Chun; Howell, Rodney R.; Rosier, Louis E.; Yen, Hsu-Chun |
| 臺大學術典藏 |
1991 |
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 |
Showing items 1-18 of 18 (1 Page(s) Totally)
1
View [10|25|50] records per page
|
