Concepedia

J. I. Zucker

JI

18

Publications

869

Citations

14

H-Index

1974

Active since

Affiliations

McMaster University(Current)

Swansea University

Vrije Universiteit Amsterdam

University of Wales

Christian-Albrechts-Universität zu Kiel

J. I. Zucker is an author at McMaster University specializing in engineering, automated reasoning, and computer science.

Top concepts

EngineeringComputer ScienceAutomated ReasoningFormal MethodsFormal VerificationLinguisticsLanguageSemanticsMathematical ProgrammingParallel Computing

Publications per year

1974–2014

18

Publications

18

Processes and the denotational semantics of concurrency

J. W. de Bakker, J. I. Zucker · Information and Control · 1982 · 277 citations

Engineering, Automated Reasoning, Denotational Semantics +9

The correspondence between cut-elimination and normalization

J. I. Zucker · Annals of Mathematical Logic · 1974 · 91 citations

Mathematical Programming, Text Normalization, Data Normalization +2

The correspondence between cut-elimination and normalization II

J. I. Zucker · Annals of Mathematical Logic · 1974 · 85 citations

Mathematical Programming, Text Normalization, Data Normalization +2

Denotational semantics of concurrency

J. W. de Bakker, J. I. Zucker · 1982 · 71 citations

Engineering, Concurrent System, Semantics +21

Abstract versus concrete computation on metric partial algebras

John V. Tucker, J. I. Zucker · ACM Transactions on Computational Logic · 2004 · 70 citations

Metric Algebras, Abstract Machine, Abstract Algebra +14

Rows per page

1–5 of 18