Jeffery I. Zucker

50 papers A* 6B 1C 3Misc 2Journal 31Unranked 4

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