Rosier, L.E.

• Howell, Rodney R.; Jancar, Petr; Rosier, Louis E.:
  Completeness Results for Single-Path Petri Nets. 1993.

• Howell, Rodney R.; Rosier, Louis E.; Yen, Hsu-Chun:
  Global and Local Views of State Fairness. 1991.

• Cherkasova, Ludmila; Howell, Rodney R.; Rosier, Louis E.:
  Bounded Self-Stablilizing Petri Nets. 1991.

• Howell, Rodney R.; Rosier, Louis E.; Yen, Hsu-Chun:
  A Taxonomy of Fairness and Temporal Logic Problems for Petri Nets. 1991.

• Howell, Rodney R.; Jancar, Petr; Rosier, Louis E.:
  Single-Path Petri Nets. 1990.

• Howell, R.R.; Rosier, L.E.:
  Problems Concerning Fairness and Temporal Logic for Conflict-Free Petri Nets. 1989.

• Howell, Rodney R.; Rosier, Louis E.; Yen, Hsu-Chun:
  Normal and Sinkless Petri Nets. 1989.

• Howell, R.R.; Rosier, L.E.:
  Completeness Results for Conflict-free Vector Replacement Systems. 1988.

• Howell, R.R.; Rosier, L.E.:
  On Questions of Fairness and Temporal Logic for Conflict Free Petri Nets. 1988.

• Howell, Rodney R.; Rosier, Louis E.; Yen, Hsu-Chun:
  A Taxonomy of Fairness and Temporal Logic Problems for Petri Nets. 1988.

• Howell, Rodney R.; Rosier, Louis E.; Yen, Hsu-Chun:
  A Taxonomy of Fairness and Temporal Logic Problems for Petri Nets. 1988.

• Howell, R.R.; Huynh, D.T.; Rosier, L.E.; Yen, Hsu-Chun:
  On the Complexity of Containment, Equivalence, and Reachability for Finite and 2-Dimensional Vector Addition Systems with States. 1987.

• Howell, R.R.; Rosier, L.E.:
  Completeness Results for Reachability, Containment, and Equivalence, with Respect to Conflict-free Vector Replacement Systems. 1987.

• Howell, Rodney R.; Rosier, Louis E.:
  Recent Results on the Complexity of Problems Related to Petri Nets. 1987.

• Howell, R.R.; Rosier, L.E.:
  An O(n1.5) Algorithm to Decide Boundedness for Conflict-Free Vector Replacement Systems. 1987.

• Howell, R.R.; Rosier, L.E.; Huynh, D.T.; Yen, Hsu-Chun:
  Some Complexity Bounds for Problems Concerning Finite and 2-Dimensional Vector Addition Systems with States. 1986.

• Rosier, Louis E.; Yen, Hsu-Chun:
  A Multiparameter Analysis of the Boundedness Problem for Vector Addition Systems. 1986.

Back to the Petri Nets Bibliography