Recent results on the complexity of problems related to Petri nets. - Rodney R. Howell; Louis E. Rosier (European Workshop on Applications and Theory of Petri Nets, 1986)

Some Complexity Bounds for Problems Concerning Finite and 2-Dimensional Vector Addition Systems with States. - Rodney R. Howell; Louis E. Rosier; Dung T. Huynh; Hsu-Chun Yen (Theor. Comput. Sci., 1986)

On Questions of Fairness and Temporal Logic for Conflict- Free Petri Nets. - Rodney R. Howell; Louis E. Rosier (European Workshop on Applications and Theory of Petri Nets, 1987)

Completeness Rules for Reachability, Containment, and Equivalence, with Respect to Conflict-Free Vector Replacement Systems. - Rodney R. Howell; Louis E. Rosier (ICALP, 1987)

On the Complexity of Containment, Equivalence and Reachability for Finite and 2-Dimensional Vector Addition Systems with States. - Rodney R. Howell (STACS, 1987)

An O(n^(1.5)) Algorithm to Decide Boundedness for Conflict-Free Vector Replacement Systems. - Rodney R. Howell; Louis E. Rosier; Hsu-Chun Yen (Inf. Process. Lett., 1987)

An Analysis of the Nonemptiness Problem for Classes of Reversal-Bounded Multicounter Machines. - Rodney R. Howell; Louis E. Rosier (J. Comput. Syst. Sci., 1987)

Completeness Results for Conflict-Free Vector Replacement Systems. - Rodney R. Howell; Louis E. Rosier (J. Comput. Syst. Sci., 1988)

System Simulation and the Sensitivity of Self-Stabilization. - Mohamed G. Gouda; Rodney R. Howell; Louis E. Rosier (MFCS, 1989)

Problems Concerning Fairness and Temporal Logic for Conflict-Free Petri Nets. - Rodney R. Howell; Louis E. Rosier (Theor. Comput. Sci., 1989)

On Preemptive Scheduling of Periodic, Real-Time Tasks on One Processor. - Sanjoy K. Baruah; Rodney R. Howell; Louis E. Rosier (MFCS, 1990)

The Instability of Self-Stabilization. - Mohamed G. Gouda; Rodney R. Howell; Louis E. Rosier (Acta Informatica, 1990)

Algorithms and Complexity Concerning the Preemptive Scheduling of Periodic, Real-Time Tasks on One Processor. - Sanjoy K. Baruah; Louis E. Rosier; Rodney R. Howell (Real Time Syst., 1990)

Single-Path Petri Nets. - Rodney R. Howell; Petr Jancar; Louis E. Rosier (MFCS, 1991)

The Complexity of Problems Involving Structurally Bounded and Conservative Petri Nets. - Rodney R. Howell (Inf. Process. Lett., 1991)

Global and Local Views of State Fairness. - Rodney R. Howell; Louis E. Rosier; Hsu-Chun Yen (Theor. Comput. Sci., 1991)

A Taxonomy of Fairness and Temporal Logic Problems for Petri Nets. - Rodney R. Howell; Louis E. Rosier; Hsu-Chun Yen (Theor. Comput. Sci., 1991)

Normal and Sinkless Petri Nets. - Rodney R. Howell; Louis E. Rosier; Hsu-Chun Yen (J. Comput. Syst. Sci., 1993)

Feasibility Problems for Recurring Tasks on one Processor. - Sanjoy K. Baruah; Rodney R. Howell; Louis E. Rosier (Theor. Comput. Sci., 1993)

Completeness Results for Single-Path Petri Nets - Rodney R. Howell; Petr Jancar; Louis E. Rosier (Inf. Comput., 1993)

Bounded Self-Stabilizing Petri Nets. - Ludmila Cherkasova; Rodney R. Howell; Louis E. Rosier (Acta Informatica, 1995)

On Non-Preemptive Scheduling of Recurring Tasks Using Inserted Idle Times - Rodney R. Howell; Muralidhar K. Venkatrao (Inf. Comput., 1995)

Finite-State Self-Stabilizing Protocols in Message-Passing Systems. - Rodney R. Howell; Mikhail Nesterenko; Masaaki Mizuno (J. Parallel Distributed Comput., 2002)

Propagation Delays in Fixed-Priority Scheduling of Periodic Tasks. - Rodney R. Howell; Masaaki Mizuno (ECRTS, 2010)

Computing First-to-First Propagation Delays through Sequences of Fixed-Priority Periodic Tasks. - Rodney R. Howell (ECRTS, 2012)

Algorithms - A Top-Down Approach - Rodney R. Howell (Algorithms, 2023)