Carl P. Pixley

Available identifiers

zbMath Open pixley.carl-pMaRDI QIDQ1226777

List of research outcomes

Publication	Date of Publication	Type
Formal Methods in Computer-Aided Design	2006-10-20	Paper
Constructing efficient formal models from high-level descriptions using symbolic simulation	2006-09-28	Paper
Constraint-Based Verification	2006-04-13	Paper
https://portal.mardi4nfdi.de/entity/Q4427895	2003-09-14	Paper
Model checking: a hardware design perspective	1999-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4037107	1993-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q4037374	1993-05-18	Paper
An incremental garbage collection algorithm for multi-mutator systems	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3968130	1982-01-01	Paper
A unified theorem on continuous selections	1980-01-01	Paper
A note on the dimensions of projections of cells in \(E^ n\)	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4185510	1978-01-01	Paper
Continuously choosing a retraction of a separable metric space onto each of its arcs	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4064727	1975-01-01	Paper
An Example Concerning Continuous Selections on Infinite-Dimensional Spaces	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5674683	1969-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: Carl P. Pixley