Rodney R. Howell

Available identifiers

zbMath Open howell.rodney-rMaRDI QIDQ688712

List of research outcomes

Publication	Date of Publication	Type
Algorithms	2023-03-10	Paper
Finite-state self-stabilizing protocols in message-passing systems	2002-10-16	Paper
Bounded self-stabilizing Petri nets	1995-06-21	Paper
On non-preemptive scheduling of recurring tasks using inserted idle times	1995-05-28	Paper
Completeness results for single-path Petri nets	1994-05-06	Paper
Feasibility problems for recurring tasks on one processor	1993-12-06	Paper
https://portal.mardi4nfdi.de/entity/Q4035241	1993-05-18	Paper
Normal and sinkless Petri nets	1993-05-16	Paper
The complexity of problems involving structurally bounded and conservative Petri nets	1992-06-28	Paper
https://portal.mardi4nfdi.de/entity/Q3974867	1992-06-26	Paper
https://portal.mardi4nfdi.de/entity/Q3975147	1992-06-26	Paper
A taxonomy of fairness and temporal logic problems for Petri nets	1991-01-01	Paper
Global and local views of state fairness	1991-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3361873	1990-01-01	Paper
The instability of self-stabilization	1990-01-01	Paper
Problems concerning fairness and temporal logic for conflict-free Petri nets	1989-01-01	Paper
Completeness results for conflict-free vector replacement systems	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3802633	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3823147	1988-01-01	Paper
An analysis of the nonemptiness problem for classes of reversal-bounded multicounter machines	1987-01-01	Paper
An \(O(n^{1.5})\) algorithm to decide boundedness for conflict-free vector replacement systems	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3776647	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3766869	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3774963	1987-01-01	Paper
Some complexity bounds for problems concerning finite and 2-dimensional vector addition systems with states	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3740236	1986-01-01	Paper

Research outcomes over time

This page was built for person: Rodney R. Howell