| 2020 | LFCS | Tracking Computability of GPAC-Generable Functions. | Diogo Poas, Jeffery I. Zucker |
| 2013 | LFCS | Assignment Calculus: A Pure Imperative Language. | Marc Bender, Jeffery I. Zucker |
| 2006 | CiE | Primitive Recursive Selection Functions over Abstract Algebras. | Jeffery I. Zucker |
| 2005 | CiE | A Network Model of Analogue Computation over Metric Algebras. | John V. Tucker, Jeffery I. Zucker |
| 1992 | MFCS | Theory of Computation over Stream Algebras, and its Applications. | John V. Tucker, Jeffery I. Zucker |
| 1991 | LICS | Semantics of Pointers, Referencing and Dereferencing with Intensional Logic | Hing-Kai Hung, Jeffery I. Zucker |
| 1990 | ICALP | Provable Computable Functions on Abstract Data Types. | John V. Tucker, Stanley S. Wainer, Jeffery I. Zucker |
| 1990 | ICCI | Toward a General Theory of Computation and Specification over Abstract Data Types. | John V. Tucker, Jeffery I. Zucker |
| 1989 | ICALP | Horn Programs and Semicomputable Relations on Abstract Structures. | John V. Tucker, Jeffery I. Zucker |
| 1985 | STOC | Transition Systems, Infinitary Languages and the Semantics of Uniform Concurrency | J. W. de Bakker, John-Jules Ch. Meyer, Ernst-Rdiger Olderog, Jeffery I. Zucker |
| 1983 | ICALP | Processes and a Fair Semantics for the Ada Rendez-Vous. | J. W. de Bakker, Jeffery I. Zucker |
| 1982 | STOC | Denotational Semantics of Concurrency | J. W. de Bakker, Jeffery I. Zucker |