| 2002 |
|---|
| 28 | EE | Rodney R. Howell,
Mikhail Nesterenko,
Masaaki Mizuno:
Finite-State Self-Stabilizing Protocols in Message-Passing Systems.
J. Parallel Distrib. Comput. 62(5): 792-817 (2002) |
| 1999 |
|---|
| 27 | | Rodney R. Howell,
Mikhail Nesterenko,
Masaaki Mizuno:
Finite-state self-stabilizing protocols in message-passing systems.
WSS 1999: 62-69 |
| 1995 |
|---|
| 26 | | Ludmila Cherkasova,
Rodney R. Howell,
Louis E. Rosier:
Bounded Self-Stabilizing Petri Nets
Acta Inf. 32(3): 189-207 (1995) |
| 25 | | Rodney R. Howell,
Muralidhar K. Venkatrao:
On Non-Preemptive Scheduling of Recurring Tasks Using Inserted Idle Times
Inf. Comput. 117(1): 50-62 (1995) |
| 1993 |
|---|
| 24 | | Rodney R. Howell,
Petr Jancar,
Louis E. Rosier:
Completeness Results for Single-Path Petri Nets
Inf. Comput. 106(2): 253-265 (1993) |
| 23 | | Rodney R. Howell,
Louis E. Rosier,
Hsu-Chun Yen:
Normal and Sinkless Petri Nets.
J. Comput. Syst. Sci. 46(1): 1-26 (1993) |
| 22 | | Sanjoy K. Baruah,
Rodney R. Howell,
Louis E. Rosier:
Feasibility Problems for Recurring Tasks on one Processor.
Theor. Comput. Sci. 118(1): 3-20 (1993) |
| 1991 |
|---|
| 21 | | Ludmila Cherkasova,
Rodney R. Howell,
Louis E. Rosier:
Bounded Self-Stabilizing Petri Nets.
Applications and Theory of Petri Nets 1991: 26-50 |
| 20 | | Rodney R. Howell,
Petr Jancar,
Louis E. Rosier:
Single-Path Petri Nets.
MFCS 1991: 202-210 |
| 19 | | Rodney R. Howell:
The Complexity of Problems Involving Structurally Bounded and Conservative Petri Nets.
Inf. Process. Lett. 39(6): 309-315 (1991) |
| 18 | | Rodney R. Howell,
Louis E. Rosier,
Hsu-Chun Yen:
Global and Local Views of State Fairness.
Theor. Comput. Sci. 80(1): 77-104 (1991) |
| 17 | | Rodney R. Howell,
Louis E. Rosier,
Hsu-Chun Yen:
A Taxonomy of Fairness and Temporal Logic Problems for Petri Nets.
Theor. Comput. Sci. 82(2): 341-372 (1991) |
| 1990 |
|---|
| 16 | | Sanjoy K. Baruah,
Rodney R. Howell,
Louis E. Rosier:
On Preemptive Scheduling of Periodic, Real-Time Tasks on One Processor.
MFCS 1990: 173-179 |
| 15 | | Sanjoy K. Baruah,
Louis E. Rosier,
Rodney R. Howell:
Algorithms and Complexity Concerning the Preemptive Scheduling of Periodic, Real-Time Tasks on One Processor.
Real-Time Systems 2(4): 301-324 (1990) |
| 1989 |
|---|
| 14 | | Rodney R. Howell,
Louis E. Rosier,
Hsu-Chun Yen:
Normal and Sinkless Petri Nets.
FCT 1989: 234-243 |
| 13 | | Mohamed G. Gouda,
Rodney R. Howell,
Louis E. Rosier:
System Simulation and the Sensitivity of Self-Stabilization.
MFCS 1989: 249-258 |
| 12 | | Mohamed G. Gouda,
Rodney R. Howell,
Louis E. Rosier:
The Instability of Self-Stabilization.
Acta Inf. 27(8): 697-724 (1989) |
| 11 | | Rodney R. Howell,
Louis E. Rosier:
Problems Concerning Fairness and Temporal Logic for Conflict-Free Petri Nets.
Theor. Comput. Sci. 64(3): 305-329 (1989) |
| 1988 |
|---|
| 10 | | Rodney R. Howell,
Louis E. Rosier,
Hsu-Chun Yen:
A Taxonomy of Fairness and Temporal Logic Problems for Petri Nets.
MFCS 1988: 351-359 |
| 9 | | Rodney R. Howell,
Louis E. Rosier:
Completeness Results for Conflict-Free Vector Replacement Systems.
J. Comput. Syst. Sci. 37(3): 349-366 (1988) |
| 1987 |
|---|
| 8 | | Rodney R. Howell,
Louis E. Rosier:
On Questions of Fairness and Temporal Logic for Conflict- Free Petri Nets.
European Workshop on Applications and Theory of Petri Nets 1987: 200-226 |
| 7 | | Rodney R. Howell,
Louis E. Rosier:
Completeness Rules for Reachability, Containment, and Equivalence, with Respect to Conflict-Free Vector Replacement Systems.
ICALP 1987: 509-520 |
| 6 | | Rodney R. Howell:
On the Complexity of Containment, Equivalence and Reachability for Finite and 2-Dimensional Vector Addition Systems with States.
STACS 1987: 360-370 |
| 5 | | Rodney R. Howell,
Louis E. Rosier,
Hsu-Chun Yen:
An O(n^(1.5)) Algorithm to Decide Boundedness for Conflict-Free Vector Replacement Systems.
Inf. Process. Lett. 25(1): 27-33 (1987) |
| 4 | | Rodney R. Howell,
Louis E. Rosier:
An Analysis of the Nonemptiness Problem for Classes of Reversal-Bounded Multicounter Machines.
J. Comput. Syst. Sci. 34(1): 55-74 (1987) |
| 1986 |
|---|
| 3 | | Rodney R. Howell,
Louis E. Rosier:
Recent results on the complexity of problems related to Petri nets.
European Workshop on Applications and Theory of Petri Nets 1986: 45-72 |
| 2 | | Rodney R. Howell,
Louis E. Rosier:
An Analysis of the Nonemptiness Problem for Classes of Reversal-Bounded Multicounter Machines.
MFCS 1986: 422-430 |
| 1 | | Rodney R. Howell,
Louis E. Rosier,
Dung T. Huynh,
Hsu-Chun Yen:
Some Complexity Bounds for Problems Concerning Finite and 2-Dimensional Vector Addition Systems with States.
Theor. Comput. Sci. 46(3): 107-140 (1986) |
