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
Global and local views of state fairness	1991-01-01	Paper
A taxonomy of fairness and temporal logic problems for Petri nets	1991-01-01	Paper
The instability of self-stabilization	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3361873	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/Q3766869	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3774963	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3776647	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Rodney R. Howell