Search the dblp DataBase
Jeffery I. Zucker :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
J. V. Tucker , Jeffery I. Zucker A Network Model of Analogue Computation over Metric Algebras. [Citation Graph (0, 0)][DBLP ] CiE, 2005, pp:515-529 [Conf ] Jeffery I. Zucker Primitive Recursive Selection Functions over Abstract Algebras. [Citation Graph (0, 0)][DBLP ] CiE, 2006, pp:595-606 [Conf ] J. V. Tucker , Jeffery I. Zucker Examples of Semicomputable Sets of Real and Complex Numbers. [Citation Graph (0, 0)][DBLP ] Constructivity in Computer Science, 1991, pp:179-198 [Conf ] J. W. de Bakker , Jeffery I. Zucker Processes and a Fair Semantics for the Ada Rendez-Vous. [Citation Graph (0, 0)][DBLP ] ICALP, 1983, pp:52-66 [Conf ] J. V. Tucker , S. S. Wainer , Jeffery I. Zucker Provable Computable Functions on Abstract Data Types. [Citation Graph (0, 0)][DBLP ] ICALP, 1990, pp:660-673 [Conf ] J. V. Tucker , Jeffery I. Zucker Horn Programs and Semicomputable Relations on Abstract Structures. [Citation Graph (0, 0)][DBLP ] ICALP, 1989, pp:745-760 [Conf ] J. V. Tucker , Jeffery I. Zucker Toward a General Theory of Computation and Specification over Abstract Data Types. [Citation Graph (0, 0)][DBLP ] ICCI, 1990, pp:129-133 [Conf ] Hing-Kai Hung , Jeffery I. Zucker Semantics of Pointers, Referencing and Dereferencing with Intensional Logic [Citation Graph (0, 0)][DBLP ] LICS, 1991, pp:127-136 [Conf ] J. W. de Bakker , Jeffery I. Zucker Compactness in Semantics for Merge and Fair Merge. [Citation Graph (0, 0)][DBLP ] Logic of Programs, 1983, pp:18-33 [Conf ] Jeffery I. Zucker Propositional Temporal Logics and Their Use in Model Checking. [Citation Graph (0, 0)][DBLP ] Functional Programming, Concurrency, Simulation and Automated Reasoning, 1993, pp:108-116 [Conf ] Jeffery I. Zucker The Propositional mu -Calculus and Its Use in Model Checking. [Citation Graph (0, 0)][DBLP ] Functional Programming, Concurrency, Simulation and Automated Reasoning, 1993, pp:117-128 [Conf ] J. V. Tucker , Jeffery I. Zucker Theory of Computation over Stream Algebras, and its Applications. [Citation Graph (0, 0)][DBLP ] MFCS, 1992, pp:62-80 [Conf ] J. W. de Bakker , John-Jules Ch. Meyer , Ernst-Rüdiger Olderog , Jeffery I. Zucker Transition Systems, Infinitary Languages and the Semantics of Uniform Concurrency [Citation Graph (0, 0)][DBLP ] STOC, 1985, pp:252-262 [Conf ] J. W. de Bakker , Jeffery I. Zucker Denotational Semantics of Concurrency [Citation Graph (0, 0)][DBLP ] STOC, 1982, pp:153-158 [Conf ] J. V. Tucker , Jeffery I. Zucker Abstract versus Concrete Computation on Metric Partial Algebras [Citation Graph (0, 0)][DBLP ] CoRR, 2001, v:0, n:, pp:- [Journal ] J. V. Tucker , Jeffery I. Zucker Abstract Computability, Algebraic Specification and Initiality [Citation Graph (0, 0)][DBLP ] CoRR, 2001, v:0, n:, pp:- [Journal ] Jeffery I. Zucker Transformations of Normal and Inverted Function Tables. [Citation Graph (0, 0)][DBLP ] Formal Asp. Comput., 1996, v:8, n:6, pp:679-705 [Journal ] Jian Xu , Jeffery I. Zucker First and Second Order Recursion on Abstract Data Types. [Citation Graph (0, 0)][DBLP ] Fundam. Inform., 2005, v:67, n:4, pp:377-419 [Journal ] Jan J. M. M. Rutten , Jeffery I. Zucker A semantic approach to fairness. [Citation Graph (0, 0)][DBLP ] Fundam. Inform., 1992, v:16, n:1, pp:1-38 [Journal ] J. W. de Bakker , Jeffery I. Zucker Processes and the Denotational Semantics of Concurrency [Citation Graph (0, 0)][DBLP ] Information and Control, 1982, v:54, n:1/2, pp:70-120 [Journal ] J. V. Tucker , Jeffery I. Zucker Projections of Semicomputable Relations on Abstract Data Tzpes. [Citation Graph (0, 0)][DBLP ] Int. J. Found. Comput. Sci., 1991, v:2, n:3, pp:267-296 [Journal ] J. W. de Bakker , John-Jules Ch. Meyer , Ernst-Rüdiger Olderog , Jeffery I. Zucker Transition Systems, Metric Spaces and Ready Sets in the Semantics of Uniform Concurrency. [Citation Graph (0, 0)][DBLP ] J. Comput. Syst. Sci., 1988, v:36, n:2, pp:158-224 [Journal ] J. V. Tucker , Jeffery I. Zucker Computable total functions on metric algebras, universal algebraic specifications and dynamical systems. [Citation Graph (0, 0)][DBLP ] J. Log. Algebr. Program., 2005, v:62, n:1, pp:71-108 [Journal ] J. V. Tucker , Jeffery I. Zucker Deterministic and Nondeterministic Computation and Horn Programs, on Abstract Data Types. [Citation Graph (0, 0)][DBLP ] J. Log. Program., 1992, v:13, n:1, pp:23-55 [Journal ] J. W. de Bakker , John-Jules Ch. Meyer , Jeffery I. Zucker On Infinite Computations in Denotational Semantics. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1983, v:26, n:, pp:53-82 [Journal ] J. W. de Bakker , John-Jules Ch. Meyer , Jeffery I. Zucker On Infinite Computations in Denotational Semantics. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1984, v:29, n:, pp:229-230 [Journal ] J. V. Tucker , Jeffery I. Zucker Computation by `While' Programs on Topological Partial Algebras. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1999, v:219, n:1-2, pp:379-420 [Journal ] John V. Tucker , Jeffery I. Zucker Computability of analog networks. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2007, v:371, n:1-2, pp:115-146 [Journal ] J. V. Tucker , Jeffery I. Zucker Abstract computability and algebraic specification. [Citation Graph (0, 0)][DBLP ] ACM Trans. Comput. Log., 2002, v:3, n:2, pp:279-333 [Journal ] J. V. Tucker , Jeffery I. Zucker Abstract versus concrete computation on metric partial algebras. [Citation Graph (0, 0)][DBLP ] ACM Trans. Comput. Log., 2004, v:5, n:4, pp:611-668 [Journal ] Wei Jiang , Yuan Wang , Jeffery I. Zucker Universality and semicomputability for nondeterministic programming languages over abstract algebras. [Citation Graph (0, 0)][DBLP ] J. Log. Algebr. Program., 2007, v:71, n:1, pp:44-78 [Journal ] Search in 0.004secs, Finished in 0.005secs