The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Jeffery I. Zucker: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. Jeffery I. Zucker
    Primitive Recursive Selection Functions over Abstract Algebras. [Citation Graph (0, 0)][DBLP]
    CiE, 2006, pp:595-606 [Conf]
  3. 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]
  4. 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]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
  11. 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]
  12. 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]
  13. 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]
  14. J. W. de Bakker, Jeffery I. Zucker
    Denotational Semantics of Concurrency [Citation Graph (0, 0)][DBLP]
    STOC, 1982, pp:153-158 [Conf]
  15. 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]
  16. J. V. Tucker, Jeffery I. Zucker
    Abstract Computability, Algebraic Specification and Initiality [Citation Graph (0, 0)][DBLP]
    CoRR, 2001, v:0, n:, pp:- [Journal]
  17. 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]
  18. 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]
  19. 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]
  20. 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]
  21. 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]
  22. 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]
  23. 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]
  24. 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]
  25. 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]
  26. 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]
  27. 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]
  28. 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]
  29. 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]
  30. 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]
  31. 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.019secs, Finished in 0.020secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002