J. I. Zucker

1.4k total citations
35 papers, 519 citations indexed

About

J. I. Zucker is a scholar working on Computational Theory and Mathematics, Artificial Intelligence and Computer Networks and Communications. According to data from OpenAlex, J. I. Zucker has authored 35 papers receiving a total of 519 indexed citations (citations by other indexed papers that have themselves been cited), including 28 papers in Computational Theory and Mathematics, 26 papers in Artificial Intelligence and 3 papers in Computer Networks and Communications. Recurrent topics in J. I. Zucker's work include Computability, Logic, AI Algorithms (19 papers), Logic, programming, and type systems (15 papers) and Logic, Reasoning, and Knowledge (13 papers). J. I. Zucker is often cited by papers focused on Computability, Logic, AI Algorithms (19 papers), Logic, programming, and type systems (15 papers) and Logic, Reasoning, and Knowledge (13 papers). J. I. Zucker collaborates with scholars based in Canada, United Kingdom and Netherlands. J. I. Zucker's co-authors include J. W. de Bakker, John V. Tucker, J.-J.Ch. Meyer, Ernst-Rüdiger Olderog, David Lorge Parnas, Ryszard Janicki, J.J.M.M. Rutten, Nick James, Thomas Strahm and Yuan Wang and has published in prestigious journals such as Applied Mathematics and Computation, Theoretical Computer Science and Journal of Computer and System Sciences.

In The Last Decade

J. I. Zucker

34 papers receiving 437 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name	h						Papers	Cites
J. I. Zucker Canada	12	400	383	67	33	27	35	519
Rick Statman United States	8	218 0.5×	357 0.9×	70 1.0×	13 0.4×	11 0.4×	29	435
Leo Bachmair United States	14	456 1.1×	632 1.7×	84 1.3×	48 1.5×	29 1.1×	33	699
Ferenc Gécseg Hungary	6	411 1.0×	372 1.0×	38 0.6×	33 1.0×	18 0.7×	26	532
Christoph Kreitz United States	10	230 0.6×	216 0.6×	155 2.3×	15 0.5×	47 1.7×	35	425
R. D. Tennent Canada	12	367 0.9×	656 1.7×	146 2.2×	80 2.4×	18 0.7×	37	745
Pierre Lescanne France	13	423 1.1×	558 1.5×	65 1.0×	52 1.6×	15 0.6×	47	606
Kevin J. Compton United States	13	259 0.6×	215 0.6×	46 0.7×	63 1.9×	38 1.4×	33	393
Christopher P. Wadsworth United Kingdom	6	345 0.9×	477 1.2×	53 0.8×	51 1.5×	6 0.2×	8	523
Benjamin Rossman United States	10	250 0.6×	215 0.6×	115 1.7×	47 1.4×	20 0.7×	34	427
Alexandra Silva Netherlands	11	265 0.7×	313 0.8×	86 1.3×	35 1.1×	11 0.4×	68	399

Countries citing papers authored by J. I. Zucker

Since Specialization

Citations

This map shows the geographic impact of J. I. Zucker's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by J. I. Zucker with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites J. I. Zucker more than expected).

Fields of papers citing papers by J. I. Zucker

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by J. I. Zucker. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by J. I. Zucker. The network helps show where J. I. Zucker may publish in the future.

Co-authorship network of co-authors of J. I. Zucker

This figure shows the co-authorship network connecting the top 25 collaborators of J. I. Zucker. A scholar is included among the top collaborators of J. I. Zucker based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with J. I. Zucker. J. I. Zucker is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

Zucker, J. I., et al.. (2014). Models of computation for partial functions on the reals. Journal of Logical and Algebraic Methods in Programming. 84(2). 218–237.

Tucker, John V. & J. I. Zucker. (2014). Computability of Operators on Continuous and Discrete Time Streams. Cronfa (Swansea University). 3(1). 9–44. 1 indexed citations

Xie, Bo, et al.. (2013). Characterizations of semicomputable sets of real numbers. Journal of Logical and Algebraic Methods in Programming. 84(1). 124–154. 1 indexed citations

James, Nick & J. I. Zucker. (2012). A Class of Contracting Stream Operators. The Computer Journal. 56(1). 15–33. 2 indexed citations

Tucker, John V. & J. I. Zucker. (2011). Continuity of operators on continuous and discrete time streams. Theoretical Computer Science. 412(28). 3378–3403. 5 indexed citations

Tucker, John V., et al.. (2009). Unifying computers and dynamical systems using the theory of synchronous concurrent algorithms. Applied Mathematics and Computation. 215(4). 1386–1403. 2 indexed citations

Tucker, John V. & J. I. Zucker. (2006). Computability of analog networks. Theoretical Computer Science. 371(1-2). 115–146. 12 indexed citations

Janicki, Ryszard, David Lorge Parnas, & J. I. Zucker. (2001). Tabular representations in relational documents. Addison-Wesley Longman Publishing Co., Inc. eBooks. 71–87. 10 indexed citations

Tucker, John V. & J. I. Zucker. (1999). Computation by ‘While’ programs on topological partial algebras. Theoretical Computer Science. 219(1-2). 379–420. 20 indexed citations

10.

Tucker, John V. & J. I. Zucker. (1992). Deterministic and nondeterministic computation, and horn programs, on abstract data types. The Journal of Logic Programming. 13(1). 23–55. 2 indexed citations

11.

Rutten, J.J.M.M. & J. I. Zucker. (1992). A Semantic Approach to Fairness. Fundamenta Informaticae. 16(1). 1–38. 3 indexed citations

12.

Bakker, J. W. de, J.-J.Ch. Meyer, Ernst-Rüdiger Olderog, & J. I. Zucker. (1988). Transition systems, metric spaces and ready sets in the semantics of uniform concurrency. Journal of Computer and System Sciences. 36(2). 158–224. 10 indexed citations

13.

Meyer, J.-J.Ch., et al.. (1986). Transition systems, metric spaces and ready sets in the semantics of uniform concurrency. Department of Computer Science [CS]. 1–105. 2 indexed citations

14.

Meyer, J.-J.Ch., et al.. (1985). Transition systems, infinitary languages and the semantics of uniform concurrency. Department of Computer Science [CS]. 1–11. 1 indexed citations

15.

Bakker, J. W. de, J.-J.Ch. Meyer, Ernst-Rüdiger Olderog, & J. I. Zucker. (1985). Transition systems, infinitary languages and the semantics of uniform concurrency. Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands. 252–262. 12 indexed citations

16.

Bakker, J. W. de, J.-J.Ch. Meyer, & J. I. Zucker. (1983). On finite computations in denotational semantics. Theoretical Computer Science. 26(1-2). 53–82. 8 indexed citations

17.

Zucker, J. I., et al.. (1978). The adequacy problem for inferential logic. Journal of Philosophical Logic. 7(1). 21 indexed citations

18.

Zucker, J. I.. (1974). The correspondence between cut-elimination and normalization II. Annals of Mathematical Logic. 7(2-3). 113–155. 44 indexed citations

19.

Zucker, J. I.. (1974). The correspondence between cut-elimination and normalization. Annals of Mathematical Logic. 7(1). 1–112. 39 indexed citations

20.

Zucker, J. I.. (1971). Proof-theoretic studies of systems of iterated inductive definitions and subsystems of analysis. University Microfilms eBooks. 5 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact