Raymond E. Miller

Available identifiers

zbMath Open miller.raymond-eWikidataQ64625069 ScholiaQ64625069MaRDI QIDQ808227

List of research outcomes

Publication	Date of Publication	Type
On formulating simultaneity for studying parallelism and synchronization	2014-03-14	Paper
Stabilization and pseudo-stabilization	1994-01-06	Paper
Specification and analysis of a data transfer protocol using systems of communicating machines	1991-01-01	Paper
Protocol analysis and synthesis by structured partitions	1986-01-01	Paper
Homomorphisms between models of parallel computation	1982-01-01	Paper
On formulating simultaneity for studying parallelism and synchronization	1980-01-01	Paper
On computing distances between leaves in a complete tree	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3908956	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4190122	1979-01-01	Paper
Optimal 2,3-Trees	1979-01-01	Paper
Optimal 2,3-Trees	1979-01-01	Paper
A batching method for coloring planar graphs	1978-01-01	Paper
Synchronization and computing capabilities of linear asynchronous structures	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4195962	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4146242	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4053115	1974-01-01	Paper
A Comparison of Some Theoretical Models of Parallel Computation	1973-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4125823	1972-01-01	Paper
Some Undecidability Results for Parallel Program Schemata	1972-01-01	Paper
Parallel program schemata	1969-01-01	Paper
The Organization of Computations for Uniform Recurrence Equations	1967-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5514078	1966-01-01	Paper
Properties of a Model for Parallel Computations: Determinacy, Termination, Queueing	1966-01-01	Paper
Index Register Allocation	1966-01-01	Paper
A FORTRAN Extension to Facilitate Proposal Preparation	1964-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5723472	1962-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: Raymond E. Miller