Get started
Author

Jeffery I. Zucker

Observed names: Dr. Jeffery Zucker, J I Zucker, J. I. ZUCKER, J. I. Zucker, J. Zucker, J.I Zucker, J.I. ZUCKER, J.I. Zucker, Jeffery Zucker, Zucker, J. I., Zucker, Jeffery
Institution: McMaster University
Observed institutions: State University of New York, Bar-Ilan University, University of Wisconsin–Parkside, Utrecht University, University at Buffalo, State University of New York, Eindhoven University of Technology, McMaster University
OpenAlex ID: A5079935192
Processes and the denotational semantics of concurrency
1982 · J.W. de Bakker, J.I. Zucker · Information and Control · 276
The correspondence between cut-elimination and normalization
1974 · J. Zucker · Annals of Mathematical Logic · 92
PDF
Computable functions and semicomputable sets on many-sorted algebras
2001 · J. V. Tucker, J. I. Zucker · Oxford University Press eBooks · 88
Tabular Representations in Relational Documents
1997 · Ryszard Janicki, David Lorge Parnas, et al. · Springer eBooks · 84
The correspondence between cut-elimination and normalization II
1974 · J. Zucker · Annals of Mathematical Logic · 84
PDF
Program Correctness over Abstract Data Types, With Error State Semantics
1988 · John V. Tucker, J. I. Zucker · Data Archiving and Networked Services (DANS) · 78
Abstract versus concrete computation on metric partial algebras
2004 · J. V. Tucker, J. I. Zucker · ACM Transactions on Computational Logic · 71
Denotational semantics of concurrency
1982 · J. W. de Bakker, J. I. Zucker · 71
The adequacy problem for inferential logic
1978 · J.I. Zucker, R.S. Tragesser · Journal of Philosophical Logic · 47
Contrasting themes in the semantics of imperative concurrency
1986 · J. W. de Bakker, J. N. Kok, et al. · Lecture notes in computer science · 44
PDF
Computation by ‘While’ programs on topological partial algebras
1999 · J.V. Tucker, J.I. Zucker · Theoretical Computer Science · 35
PDF
The adequacy problem for classical logic
1978 · J.I. Zucker · Journal of Philosophical Logic · 32
Iterated inductive definitions, trees and ordinals
1973 · J. I. Zucker · Lecture notes in mathematics · 29
Transition systems, metric spaces and ready sets in the semantics of uniform concurrency
1988 · J.W. de Bakker, J.-J.Ch. Meyer, et al. · Journal of Computer and System Sciences · 25
Transformations of normal and inverted function tables
1996 · J. I. Zucker · Formal Aspects of Computing · 24
PDF
Computable total functions on metric algebras, universal algebraic specifications and dynamical systems
2004 · J.V. Tucker, J.I. Zucker · The Journal of Logic and Algebraic Programming · 22
Computability of analog networks
2006 · John V. Tucker, Jeffery I. Zucker · Theoretical Computer Science · 21
PDF
Transition systems, infinitary languages and the semantics of uniform concurrency
1985 · J W de Bakker, J J Meyer, et al. · 20
PDF
Tabular representations in relational documents
2001 · Ryszard Janicki, David Lorge Parnas, et al. · 19
Computable Functions on Stream Algebras
1995 · J. V. Tucker, J. I. Zucker · Springer eBooks · 19
Formalization of Classical Mathematics in Automath
1994 · J. Zucker · Studies in logic and the foundations of mathematics · 19
Compactness in semantics for merge and fair merge
1984 · J. W. Bakker, J. I. Zucker · Lecture notes in computer science · 18
PDF
Continuity of operators on continuous and discrete time streams
2011 · J.V. Tucker, J.I. Zucker · Theoretical Computer Science · 14
PDF
Provable computable selection functions on abstract structures
1993 · J.V. Tucker, J.I. Zucker · Cambridge University Press eBooks · 14
Theory of computation over stream algebras, and its applications
1992 · J. V. Tucker, J. I. Zucker · Lecture notes in computer science · 14
Works count: 94
Citation count: 1,472
H-index: 19
I10-index: 33
Year
Topic
Type