The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

J. V. Tucker: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Neal A. Harman, J. V. Tucker
    Algebraic Models and the Correctness of Microprocessors. [Citation Graph (0, 0)][DBLP]
    CHARME, 1993, pp:92-108 [Conf]
  2. 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]
  3. Jan A. Bergstra, Jan Willem Klop, J. V. Tucker
    Process Algebra with Asynchronous Communication Mechanisms. [Citation Graph (0, 0)][DBLP]
    Seminar on Concurrency, 1984, pp:76-95 [Conf]
  4. Karl Meinke, J. V. Tucker
    The Scope and Limits of Synchronous Concurrent Computation. [Citation Graph (0, 0)][DBLP]
    Concurrency, 1988, pp:163-180 [Conf]
  5. 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]
  6. Min Chen, Richard H. Clayton, Arun V. Holden, J. V. Tucker
    Visualising Cardiac Anatomy Using Constructive Volume Geometry. [Citation Graph (0, 0)][DBLP]
    FIMH, 2003, pp:30-38 [Conf]
  7. Jan A. Bergstra, J. V. Tucker
    A Characterisation of Computable Data Types by Means of a Finite Equational Specification Method. [Citation Graph (0, 0)][DBLP]
    ICALP, 1980, pp:76-90 [Conf]
  8. Jan A. Bergstra, J. V. Tucker
    Algebraically Specified Programming Systems and Hoare's Logic. [Citation Graph (0, 0)][DBLP]
    ICALP, 1981, pp:348-362 [Conf]
  9. 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]
  10. 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]
  11. 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]
  12. Jan A. Bergstra, Jan Willem Klop, J. V. Tucker
    Algebraic Tools for System Construction. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1983, pp:34-44 [Conf]
  13. Jan A. Bergstra, J. V. Tucker
    The Refinement of Specifications and the Stabiliy of Hoare's Logic. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1981, pp:24-36 [Conf]
  14. Jan A. Bergstra, Manfred Broy, J. V. Tucker, Martin Wirsing
    On the Power of Algebraic Specifications. [Citation Graph (0, 0)][DBLP]
    MFCS, 1981, pp:193-204 [Conf]
  15. 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]
  16. Jens Blanck, Viggo Stoltenberg-Hansen, J. V. Tucker
    Streams, Stream Transformers and Domain Representations. [Citation Graph (0, 0)][DBLP]
    Prospects for Hardware Foundations, 1998, pp:27-68 [Conf]
  17. M. J. Poole, Arun V. Holden, J. V. Tucker
    Hierarchies of Spatially Extended Systems and Synchronous Concurrent Algorithms. [Citation Graph (0, 0)][DBLP]
    Prospects for Hardware Foundations, 1998, pp:184-235 [Conf]
  18. A. R. Martin, J. V. Tucker
    The Concurrent Assignment Representation of Synchronous Systems. [Citation Graph (0, 0)][DBLP]
    PARLE (2), 1987, pp:369-386 [Conf]
  19. Viggo Stoltenberg-Hansen, J. V. Tucker
    Infinite Systems of Equations over Inverse Limits and Infinite Synchronous Concurrent Algorithms. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1992, pp:531-562 [Conf]
  20. Jan A. Bergstra, J. V. Tucker
    The Axiomatic Semantics of Programs Based on Hoare's Logic. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1984, v:21, n:, pp:293-320 [Journal]
  21. Peter R. J. Asveld, J. V. Tucker
    Complexity Theory and the Operational Structure of Algebraic Programming Systems. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1982, v:17, n:, pp:451-476 [Journal]
  22. Neal A. Harman, J. V. Tucker
    Algebraic Models of Microprocessors: Architecture and Organisation. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1996, v:33, n:5, pp:421-456 [Journal]
  23. Jan A. Bergstra, J. V. Tucker
    A Data Type Variety of Stack Algebras. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1995, v:73, n:1, pp:11-36 [Journal]
  24. Viggo Stoltenberg-Hansen, J. V. Tucker
    Computable and continuous partial homomorphisms on metric partial algebras. [Citation Graph (0, 0)][DBLP]
    Bulletin of Symbolic Logic, 2003, v:9, n:3, pp:299-334 [Journal]
  25. Min Chen, J. V. Tucker
    Constructive Volume Geometry. [Citation Graph (0, 0)][DBLP]
    Comput. Graph. Forum, 2000, v:19, n:4, pp:281-293 [Journal]
  26. 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]
  27. J. V. Tucker, Jeffery I. Zucker
    Abstract Computability, Algebraic Specification and Initiality [Citation Graph (0, 0)][DBLP]
    CoRR, 2001, v:0, n:, pp:- [Journal]
  28. Jan A. Bergstra, J. V. Tucker
    The Completeness of the Algebraic Specification Methods for Computable Data Types [Citation Graph (0, 0)][DBLP]
    Information and Control, 1982, v:54, n:3, pp:186-200 [Journal]
  29. 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]
  30. Jan A. Bergstra, J. V. Tucker
    Two Theorems About the Completeness of Hoare's Logic. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1982, v:15, n:4, pp:143-149 [Journal]
  31. Jan A. Bergstra, J. V. Tucker
    Equational Specifications, Complete Term Rewriting Systems, and Computable and Semicomputable Algebras. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1995, v:42, n:6, pp:1194-1230 [Journal]
  32. Jan A. Bergstra, J. V. Tucker
    The rational numbers as an abstract data type. [Citation Graph (0, 0)][DBLP]
    J. ACM, 2007, v:54, n:2, pp:- [Journal]
  33. Jan A. Bergstra, J. V. Tucker
    Expressiveness and the Completeness of Hoare's Logic. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1982, v:25, n:3, pp:267-284 [Journal]
  34. 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]
  35. 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]
  36. Viggo Stoltenberg-Hansen, J. V. Tucker
    Complete Local Rings as Domains. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1988, v:53, n:2, pp:603-624 [Journal]
  37. J. V. Tucker
    Computability and the Algebra of Fields: Some Affine Constructions. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1980, v:45, n:1, pp:103-120 [Journal]
  38. A. R. Martin, J. V. Tucker
    The concurrent assignment representation of synchronous systems. [Citation Graph (0, 0)][DBLP]
    Parallel Computing, 1989, v:9, n:2, pp:227-256 [Journal]
  39. Jan A. Bergstra, J. V. Tucker
    Top-Down Design and the Algebra of Communicating Processes. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1985, v:5, n:2, pp:171-199 [Journal]
  40. D. Ll. L. Rees, Karen Stephenson, J. V. Tucker
    The algebraic structure of interfaces. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2003, v:49, n:1-3, pp:47-88 [Journal]
  41. Jan A. Bergstra, J. V. Tucker
    Initial and Final Algebra Semantics for Data Type Specifications: Two Characterization Theorems. [Citation Graph (0, 0)][DBLP]
    SIAM J. Comput., 1983, v:12, n:2, pp:366-387 [Journal]
  42. Jan A. Bergstra, J. V. Tucker
    Some Natural Structures which Fail to Possess a Sound and Decidable Hoare-Like Logic for their While-Programs. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1982, v:17, n:, pp:303-315 [Journal]
  43. Jan A. Bergstra, J. V. Tucker
    Hoare's Logic and Peano's Arithmetic. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1983, v:22, n:, pp:265-284 [Journal]
  44. Jan A. Bergstra, J. V. Tucker
    Hoare's Logic for Programming Languages with two Data Types. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1984, v:28, n:, pp:215-221 [Journal]
  45. Jan A. Bergstra, J. V. Tucker
    Algebraic Specifications of Computable and Semicomputable Data Types. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1987, v:50, n:, pp:137-181 [Journal]
  46. Jan A. Bergstra, Jerzy Tiuryn, J. V. Tucker
    Floyds Principle, Correctness Theories and Program Equivalence. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1982, v:17, n:, pp:113-149 [Journal]
  47. Jens Blanck, Viggo Stoltenberg-Hansen, J. V. Tucker
    Domain representations of partial functions, with applications to spatial objects and constructive volume geometry. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:284, n:2, pp:207-240 [Journal]
  48. Viggo Stoltenberg-Hansen, J. V. Tucker
    Algebraic and Fixed Point Equations over Inverse Limits of Algebras. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1991, v:87, n:1, pp:1-24 [Journal]
  49. Viggo Stoltenberg-Hansen, J. V. Tucker
    Concrete Models of Computation for Topological Algebras. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1999, v:219, n:1-2, pp:347-378 [Journal]
  50. 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]
  51. 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]
  52. 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]
  53. Edwin J. Beggs, J. V. Tucker
    Embedding infinitely parallel computation in Newtonian kinematics. [Citation Graph (0, 0)][DBLP]
    Applied Mathematics and Computation, 2006, v:178, n:1, pp:25-43 [Journal]

  54. Programming Experimental Procedures for Newtonian Kinematic Machines. [Citation Graph (, )][DBLP]


Search in 0.239secs, Finished in 0.242secs
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