Jeffery I. Zucker

Publication Activity (10 Years)

Years Active: 1978-2021
Publications (10 Years): 6

Top Topics

Topological Features

Polynomial Time Approximation

Mining Data Streams

Top Venues

J. Log. Algebraic Methods Program.

Publications

Diogo Poças, Jeffery I. Zucker
Tracking computability of GPAC-generable functions. J. Log. Comput. 31 (1) (2021)
Diogo Poças, Jeffery I. Zucker
Tracking Computability of GPAC-Generable Functions. LFCS (2020)
Mark Armstrong, Jeffery I. Zucker
Notions of semicomputability in topological algebras over the reals. Comput. 8 (1) (2019)
Diogo Poças, Jeffery I. Zucker
Approximability in the GPAC. Log. Methods Comput. Sci. 15 (3) (2019)
Diogo Poças, Jeffery I. Zucker
Analog networks on function data streams. Comput. 7 (4) (2018)
Diogo Poças, Jeffery I. Zucker
Approximability in the GPAC. CoRR (2018)
Ming Quan Fu, Jeffery I. Zucker
Models of computation for partial functions on the reals. J. Log. Algebraic Methods Program. 84 (2) (2015)
Bo Xie, Ming Quan Fu, Jeffery I. Zucker
Characterizations of semicomputable sets of real numbers. J. Log. Algebraic Methods Program. 84 (1) (2015)
John V. Tucker, Jeffery I. Zucker
Computability of Operators on Continuous and Discrete Time Streams. Comput. 3 (1) (2014)
Nick D. James, Jeffery I. Zucker
A Class of Contracting Stream Operators. Comput. J. 56 (1) (2013)
Marc Bender, Jeffery I. Zucker
Assignment Calculus: A Pure Imperative Language. LFCS (2013)
John V. Tucker, Jeffery I. Zucker
Continuity of operators on continuous and discrete time streams. Theor. Comput. Sci. 412 (28) (2011)
B. C. Thompson, John V. Tucker, Jeffery I. Zucker
Unifying computers and dynamical systems using the theory of synchronous concurrent algorithms. Appl. Math. Comput. 215 (4) (2009)
Thomas Strahm, Jeffery I. Zucker
Primitive recursive selection functions for existential assertions over abstract algebras. J. Log. Algebraic Methods Program. 76 (2) (2008)
John V. Tucker, Jeffery I. Zucker
Computability of analog networks. Theor. Comput. Sci. 371 (1-2) (2007)
Wei Jiang, Yuan Wang, Jeffery I. Zucker
Universality and semicomputability for nondeterministic programming languages over abstract algebras. J. Log. Algebraic Methods Program. 71 (1) (2007)
Jeffery I. Zucker
Primitive Recursive Selection Functions over Abstract Algebras. CiE (2006)
Jian Xu, Jeffery I. Zucker
First and Second Order Recursion on Abstract Data Types. Fundam. Informaticae 67 (4) (2005)
John V. Tucker, Jeffery I. Zucker
A Network Model of Analogue Computation over Metric Algebras. CiE (2005)
John V. Tucker, Jeffery I. Zucker
Computable total functions on metric algebras, universal algebraic specifications and dynamical systems. J. Log. Algebraic Methods Program. 62 (1) (2005)
John V. Tucker, Jeffery I. Zucker
Abstract versus concrete computation on metric partial algebras. ACM Trans. Comput. Log. 5 (4) (2004)
John V. Tucker, Jeffery I. Zucker
Abstract computability and algebraic specification. ACM Trans. Comput. Log. 3 (2) (2002)
John V. Tucker, Jeffery I. Zucker
Abstract versus Concrete Computation on Metric Partial Algebras CoRR (2001)
John V. Tucker, Jeffery I. Zucker
Abstract Computability, Algebraic Specification and Initiality CoRR (2001)
John V. Tucker, Jeffery I. Zucker
Computation by 'While' Programs on Topological Partial Algebras. Theor. Comput. Sci. 219 (1-2) (1999)
Jeffery I. Zucker
Transformations of Normal and Inverted Function Tables. Formal Aspects Comput. 8 (6) (1996)
Jeffery I. Zucker
-Calculus and Its Use in Model Checking. Functional Programming, Concurrency, Simulation and Automated Reasoning (1993)
Jeffery I. Zucker
Propositional Temporal Logics and Their Use in Model Checking. Functional Programming, Concurrency, Simulation and Automated Reasoning (1993)
John V. Tucker, Jeffery I. Zucker
Deterministic and Nondeterministic Computation and Horn Programs, on Abstract Data Types. J. Log. Program. 13 (1) (1992)
Jan J. M. M. Rutten, Jeffery I. Zucker
A semantic approach to fairness. Fundam. Informaticae 16 (1) (1992)
John V. Tucker, Jeffery I. Zucker
Theory of Computation over Stream Algebras, and its Applications. MFCS (1992)
Hing-Kai Hung, Jeffery I. Zucker
Semantics of Pointers, Referencing and Dereferencing with Intensional Logic LICS (1991)
John V. Tucker, Jeffery I. Zucker
Examples of Semicomputable Sets of Real and Complex Numbers. Constructivity in Computer Science (1991)
John V. Tucker, Jeffery I. Zucker
Projections of Semicomputable Relations on Abstract Data Tzpes. Int. J. Found. Comput. Sci. 2 (3) (1991)
John V. Tucker, Stanley S. Wainer, Jeffery I. Zucker
Provable Computable Functions on Abstract Data Types. ICALP (1990)
John V. Tucker, Jeffery I. Zucker
Toward a General Theory of Computation and Specification over Abstract Data Types. ICCI (1990)
John V. Tucker, Jeffery I. Zucker
Horn Programs and Semicomputable Relations on Abstract Structures. ICALP (1989)
J. W. de Bakker, John-Jules Ch. Meyer, Ernst-Rüdiger Olderog, Jeffery I. Zucker
Transition Systems, Metric Spaces and Ready Sets in the Semantics of Uniform Concurrency. J. Comput. Syst. Sci. 36 (2) (1988)
J. W. de Bakker, John-Jules Ch. Meyer, Ernst-Rüdiger Olderog, Jeffery I. Zucker
Transition Systems, Infinitary Languages and the Semantics of Uniform Concurrency STOC (1985)
J. W. de Bakker, John-Jules Ch. Meyer, Jeffery I. Zucker
On Infinite Computations in Denotational Semantics. Theor. Comput. Sci. 29 (1984)
J. W. de Bakker, John-Jules Ch. Meyer, Jeffery I. Zucker
On Infinite Computations in Denotational Semantics. Theor. Comput. Sci. 26 (1983)
J. W. de Bakker, Jeffery I. Zucker
Compactness in Semantics for Merge and Fair Merge. Logic of Programs (1983)
J. W. de Bakker, Jeffery I. Zucker
Processes and a Fair Semantics for the Ada Rendez-Vous. ICALP (1983)
J. W. de Bakker, Jeffery I. Zucker
Denotational Semantics of Concurrency STOC (1982)
J. W. de Bakker, Jeffery I. Zucker
Processes and the Denotational Semantics of Concurrency Inf. Control. 54 (1/2) (1982)
Jeffery I. Zucker, Robert S. Tragesser
The adequacy problem for inferential logic. J. Philos. Log. 7 (1) (1978)
Jeffery I. Zucker
The adequacy problem for classical logic. J. Philos. Log. 7 (1) (1978)