Jeffery Zucker

Available identifiers

zbMath Open zucker.jeffery-iMaRDI QIDQ478398

List of research outcomes

Publication	Date of Publication	Type
Theory of computation over stream algebras, and its applications	2022-08-18	Paper
Tracking computability of GPAC-generable functions	2022-02-08	Paper
Tracking computability of GPAC-generable functions	2020-05-06	Paper
Feferman on Computability	2020-02-05	Paper
https://portal.mardi4nfdi.de/entity/Q5232906	2019-09-13	Paper
Analog networks on function data streams	2019-03-20	Paper
Generalizing Computability Theory to Abstract Algebras	2018-04-18	Paper
Examples of semicomputable sets of real and complex numbers	2017-11-17	Paper
Abstract versus concrete computation on metric partial algebras	2017-07-12	Paper
Abstract computability and algebraic specification	2017-06-13	Paper
Fixed Point Techniques in Analog Systems	2017-02-03	Paper
Assignment Calculus: A Pure Imperative Language	2015-12-11	Paper
Models of computation for partial functions on the reals	2015-02-27	Paper
Characterizations of semicomputable sets of real numbers	2014-12-03	Paper
Computability of Operators on Continuous and Discrete Time Streams	2014-06-19	Paper
Continuity of operators on continuous and discrete time streams	2011-07-07	Paper
Unifying computers and dynamical systems using the theory of synchronous concurrent algorithms	2009-11-13	Paper
Primitive recursive selection functions for existential assertions over abstract algebras	2008-09-01	Paper
Logical Approaches to Computational Barriers	2007-04-30	Paper
Computability of analog networks	2007-03-12	Paper
Universality and semicomputability for nondeterministic programming languages over abstract algebras	2007-02-09	Paper
https://portal.mardi4nfdi.de/entity/Q5477367	2006-07-03	Paper
https://portal.mardi4nfdi.de/entity/Q5475458	2006-06-19	Paper
New Computational Paradigms	2006-01-11	Paper
Computable total functions on metric algebras, universal algebraic specifications and dynamical systems	2005-02-22	Paper
https://portal.mardi4nfdi.de/entity/Q4793033	2003-02-18	Paper
Computation by `While' programs on topological partial algebras	1999-06-21	Paper
https://portal.mardi4nfdi.de/entity/Q4362887	1998-04-03	Paper
Transformations of normal and inverted function tables	1997-02-04	Paper
https://portal.mardi4nfdi.de/entity/Q4842541	1995-08-14	Paper
https://portal.mardi4nfdi.de/entity/Q3138835	1993-11-11	Paper
https://portal.mardi4nfdi.de/entity/Q4039815	1993-06-05	Paper
https://portal.mardi4nfdi.de/entity/Q4038725	1993-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q4016523	1993-01-16	Paper
PROJECTIONS OF SEMICOMPUTABLE RELATIONS ON ABSTRACT DATA TYPES	1992-09-27	Paper
Deterministic and nondeterministic computation, and horn programs, on abstract data types	1992-08-13	Paper
https://portal.mardi4nfdi.de/entity/Q3993676	1992-08-03	Paper
https://portal.mardi4nfdi.de/entity/Q4205083	1989-01-01	Paper
Transition systems, metric spaces and ready sets in the semantics of uniform concurrency	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3745260	1986-01-01	Paper
Corrigendum: On infinite computations in denotational semantics	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3347277	1984-01-01	Paper
On infinite computations in denotational semantics	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3664418	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4746776	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3935454	1982-01-01	Paper
Processes and the denotational semantics of concurrency	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3939204	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3853102	1979-01-01	Paper
The adequacy problem for inferential logic	1978-01-01	Paper
The adequacy problem for classical logic	1978-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: Jeffery Zucker