Rodney R. Howell

发表

On Preemptive Scheduling of Periodic, Real-Time Tasks on One Processor

Louis E. Rosier, Sanjoy K. Baruah, Rodney R. Howell, 1990, MFCS.

Optimal Scheduling and Handling Potential Overload

Rodney R. Howell, 2007 .

On Asymptotic Notation with Multiple Variables

Rodney R. Howell, 2008 .

A Taxonomy of Fairness and Temporal Logic Problems for Petri Nets

Hsu-Chun Yen, Rodney R. Howell, Louis E. Rosier, 1988, Theoretical Computer Science.

Bounded self-stabilizing Petri nets

Ludmila Cherkasova, Louis E. Rosier, Rodney R. Howell, 1995 .

The Boundedness Problem for Conflict-Free Vector Replacement Systems IsPtime-complete

Rodney R. Howell, Louis E. Rosier, Hsu Yen, 1986 .

Completeness Results for Single-Path Petri Nets

Rodney R. Howell, Louis E. Rosier, Petr Jancar, 1993, Inf. Comput..

The Complexity of Problems Involving Structurally Bounded and Conservative Petri Nets

Rodney R. Howell, Rodney R. Howell, 1991, Inf. Process. Lett..

Normal and Sinkless Petri Nets

Hsu-Chun Yen, Rodney R. Howell, Louis E. Rosier, 1989, J. Comput. Syst. Sci..

Completeness Results for Conflict-Free Vector Replacement Systems

Rodney R. Howell, Louis E. Rosier, Rodney R. Howell, 1988, J. Comput. Syst. Sci..

Completeness Rules for Reachability, Containment, and Equivalence, with Respect to Conflict-Free Vector Replacement Systems

Rodney R. Howell, Louis E. Rosier, Rodney R. Howell, 1987, ICALP.

On the Complexity of Containment, Equivalence and Reachability for Finite and 2-Dimensional Vector Addition Systems with States

Rodney R. Howell, Rodney R. Howell, 1987, STACS.

Some Complexity Bounds for Problems Concerning Finite and 2-Dimensional Vector Addition Systems with States

Hsu-Chun Yen, Rodney R. Howell, Louis E. Rosier, 1986, Theor. Comput. Sci..

Recent results on the complexity of problems related to Petri nets

Rodney R. Howell, Louis E. Rosier, Rodney R. Howell, 1986, European Workshop on Applications and Theory of Petri Nets.

The instability of self-stabilization

Mohamed G. Gouda, Rodney R. Howell, Louis E. Rosier, 1990, Acta Informatica.

System Simulation and the Sensitivity of Self-Stabilization

Mohamed G. Gouda, Rodney R. Howell, Louis E. Rosier, 1989, MFCS.

Algorithms and complexity concerning the preemptive scheduling of periodic, real-time tasks on one processor

Sanjoy K. Baruah, Rodney R. Howell, Louis E. Rosier, 1990, Real-Time Systems.

On Non-Preemptive Scheduling of Recurring Tasks Using Inserted Idle Times

Rodney R. Howell, Muralidhar K. Venkatrao, Rodney R. Howell, 1995, Inf. Comput..

Feasibility Problems for Recurring Tasks on one Processor

Sanjoy K. Baruah, Rodney R. Howell, Louis E. Rosier, 1993, Theor. Comput. Sci..

Global and Local Views of State Fairness

Hsu-Chun Yen, Rodney R. Howell, Louis E. Rosier, 1991, Theor. Comput. Sci..

Single-Path Petri Nets

Rodney R. Howell, Louis E. Rosier, Petr Jancar, 1991, MFCS.

An Analysis of the Nonemptiness Problem for Classes of Reversal-Bounded Multicounter Machines

Rodney R. Howell, Louis E. Rosier, Rodney R. Howell, 1985, J. Comput. Syst. Sci..

Problems Concerning Fairness and Temporal Logic for Conflict-Free Petri Nets

Rodney R. Howell, Louis E. Rosier, Rodney R. Howell, 1989, Theor. Comput. Sci..

On Questions of Fairness and Temporal Logic for Conflict- Free Petri Nets

Rodney R. Howell, Louis E. Rosier, Rodney R. Howell, 1988, European Workshop on Applications and Theory of Petri Nets.