The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Vaughan R. Pratt: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Donald E. Knuth, James H. Morris Jr., Vaughan R. Pratt
    Fast Pattern Matching in Strings. [Citation Graph (14, 0)][DBLP]
    SIAM J. Comput., 1977, v:6, n:2, pp:323-350 [Journal]
  2. Vaughan R. Pratt
    Semantical Considerations on Floyd-Hoare Logic [Citation Graph (4, 0)][DBLP]
    FOCS, 1976, pp:109-121 [Conf]
  3. Manuel Blum, Robert W. Floyd, Vaughan R. Pratt, Ronald L. Rivest, Robert Endre Tarjan
    Time Bounds for Selection. [Citation Graph (4, 0)][DBLP]
    J. Comput. Syst. Sci., 1973, v:7, n:4, pp:448-461 [Journal]
  4. Vaughan R. Pratt
    Action Logic and Pure Induction. [Citation Graph (2, 0)][DBLP]
    JELIA, 1990, pp:97-120 [Conf]
  5. Vaughan R. Pratt
    Top Down Operator Precedence. [Citation Graph (1, 0)][DBLP]
    POPL, 1973, pp:41-51 [Conf]
  6. Vaughan R. Pratt
    A Practical Decision Method for Propositional Dynamic Logic: Preliminary Report [Citation Graph (1, 0)][DBLP]
    STOC, 1978, pp:326-337 [Conf]
  7. Vaughan R. Pratt, Michael O. Rabin, Larry J. Stockmeyer
    A Characterization of the Power of Vector Machines [Citation Graph (1, 0)][DBLP]
    STOC, 1974, pp:122-134 [Conf]
  8. Vaughan R. Pratt, Jerzy Tiuryn
    Satisfiability of Inequalities in a Poset. [Citation Graph (1, 0)][DBLP]
    Fundam. Inform., 1996, v:28, n:1-2, pp:165-182 [Journal]
  9. Vaughan R. Pratt
    A Near-Optimal Method for Reasoning about Action. [Citation Graph (1, 0)][DBLP]
    J. Comput. Syst. Sci., 1980, v:20, n:2, pp:231-254 [Journal]
  10. Vaughan R. Pratt
    Two-way Channel with Disconnect. [Citation Graph (0, 0)][DBLP]
    The Analysis of Concurrent Systems, 1983, pp:110-111 [Conf]
  11. Vaughan R. Pratt
    Dynamic algebras as a well-behaved fragment of relation algebras. [Citation Graph (0, 0)][DBLP]
    Algebraic Logic and Universal Algebra in Computer Science, 1988, pp:77-110 [Conf]
  12. Vaughan R. Pratt
    Event Spaces and their Linear Logic. [Citation Graph (0, 0)][DBLP]
    AMAST, 1991, pp:3-25 [Conf]
  13. Vaughan R. Pratt
    Standards and Performance Issues in the Workstation Market. [Citation Graph (0, 0)][DBLP]
    COMPCON, 1984, pp:142-147 [Conf]
  14. Vaughan R. Pratt
    Event-State Duality: The Enriched Case. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2002, pp:41-56 [Conf]
  15. Vaughan R. Pratt
    The Pomset Model of Parallel Processes: Unifying the Temporal and the Spatial. [Citation Graph (0, 0)][DBLP]
    Seminar on Concurrency, 1984, pp:180-196 [Conf]
  16. Vaughan R. Pratt
    The Duality of TIme and Information. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1992, pp:237-253 [Conf]
  17. Ross Casley, Roger F. Crew, José Meseguer, Vaughan R. Pratt
    Temporal Structures. [Citation Graph (0, 0)][DBLP]
    Category Theory and Computer Science, 1989, pp:21-51 [Conf]
  18. Vineet Gupta, Vaughan R. Pratt
    Gages Accept Concurrent Behavior [Citation Graph (0, 0)][DBLP]
    FOCS, 1993, pp:62-71 [Conf]
  19. Ronald L. Rivest, Vaughan R. Pratt
    The Mutual Exclusion Problem for Unreliable Processes: Preliminary Report [Citation Graph (0, 0)][DBLP]
    FOCS, 1976, pp:1-8 [Conf]
  20. Vaughan R. Pratt
    The Effect of Basis on Size of Boolean Expressions [Citation Graph (0, 0)][DBLP]
    FOCS, 1975, pp:119-121 [Conf]
  21. Vaughan R. Pratt
    Models of Program Logics [Citation Graph (0, 0)][DBLP]
    FOCS, 1979, pp:115-122 [Conf]
  22. Vaughan R. Pratt
    A Decidable mu-Calculus: Preliminary Report [Citation Graph (0, 0)][DBLP]
    FOCS, 1981, pp:421-427 [Conf]
  23. Vaughan R. Pratt, Foong Frances Yao
    On Lower Bounds for Computing the i-th Largest Element [Citation Graph (0, 0)][DBLP]
    FOCS, 1973, pp:70-81 [Conf]
  24. Steven D. Litvintchouk, Vaughan R. Pratt
    A Proof-Checker for Dynamic Logic. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1977, pp:552-558 [Conf]
  25. Vaughan R. Pratt
    A Linguistics Oriented Programming Language. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1973, pp:372-382 [Conf]
  26. Greg DeFouw, Vaughan R. Pratt
    The Matchbox: A Small Wearable Platform. [Citation Graph (0, 0)][DBLP]
    ISWC, 1999, pp:172-175 [Conf]
  27. Vaughan R. Pratt
    Arithmetic + Logic + Geometry = Concurrency. [Citation Graph (0, 0)][DBLP]
    LATIN, 1992, pp:430-447 [Conf]
  28. Harish Devarajan, Dominic J. D. Hughes, Gordon D. Plotkin, Vaughan R. Pratt
    Full Completeness of the Multiplicative Linear Logic of Chu Spaces. [Citation Graph (0, 0)][DBLP]
    LICS, 1999, pp:234-242 [Conf]
  29. Haim Gaifman, Vaughan R. Pratt
    Partial Order Models of Concurrency and the Computation of Functions [Citation Graph (0, 0)][DBLP]
    LICS, 1987, pp:72-85 [Conf]
  30. Vaughan R. Pratt
    Origins of the Calculus of Binary Relations [Citation Graph (0, 0)][DBLP]
    LICS, 1992, pp:248-254 [Conf]
  31. Vaughan R. Pratt
    The Stone Gamut: A Coordinatization of Mathematics [Citation Graph (0, 0)][DBLP]
    LICS, 1995, pp:444-454 [Conf]
  32. Vaughan R. Pratt
    Using Graphs to Understand PDL. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1981, pp:387-396 [Conf]
  33. Vaughan R. Pratt
    Some Constructions for Order-Theoretic Models of Concurrency. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1985, pp:269-283 [Conf]
  34. Vaughan R. Pratt
    Axioms or Algorithms. [Citation Graph (0, 0)][DBLP]
    MFCS, 1979, pp:160-169 [Conf]
  35. Vaughan R. Pratt
    The Second Calculus of Binary Relations. [Citation Graph (0, 0)][DBLP]
    MFCS, 1993, pp:142-155 [Conf]
  36. David Harel, Vaughan R. Pratt
    Nondeterminism in Logics of Programs. [Citation Graph (0, 0)][DBLP]
    POPL, 1978, pp:203-213 [Conf]
  37. Vaughan R. Pratt
    The Competence/Performance Dichotomy in Programming. [Citation Graph (0, 0)][DBLP]
    POPL, 1977, pp:194-200 [Conf]
  38. Vaughan R. Pratt
    Process Logic. [Citation Graph (0, 0)][DBLP]
    POPL, 1979, pp:93-100 [Conf]
  39. Vaughan R. Pratt
    On Specifying Verifiers. [Citation Graph (0, 0)][DBLP]
    POPL, 1980, pp:106-116 [Conf]
  40. Vaughan R. Pratt
    Program Logic Without Binding is Decidable. [Citation Graph (0, 0)][DBLP]
    POPL, 1981, pp:159-163 [Conf]
  41. Vaughan R. Pratt
    On the Composition of Processes. [Citation Graph (0, 0)][DBLP]
    POPL, 1982, pp:213-223 [Conf]
  42. Vaughan R. Pratt
    Five Paradigm Shifts in Language Design and their Realization in Viron, a Dataflow Programming Environment. [Citation Graph (0, 0)][DBLP]
    POPL, 1983, pp:1-9 [Conf]
  43. Vaughan R. Pratt
    Modeling Concurrency with Geometry. [Citation Graph (0, 0)][DBLP]
    POPL, 1991, pp:311-322 [Conf]
  44. Charles A. Bigelow, Philippe Coueignoux, John Hobby, Peter Karow, Vaughan R. Pratt, Luis Trabb-Pardo, John E. Warnock
    Font formats (panel session). [Citation Graph (0, 0)][DBLP]
    SIGGRAPH, 1985, pp:325- [Conf]
  45. Sheue-Ling Lien, Michael Shantz, Vaughan R. Pratt
    Adaptive forward differencing for rendering curves and surfaces. [Citation Graph (0, 0)][DBLP]
    SIGGRAPH, 1987, pp:111-118 [Conf]
  46. Vaughan R. Pratt
    Techniques for conic splines. [Citation Graph (0, 0)][DBLP]
    SIGGRAPH, 1985, pp:151-160 [Conf]
  47. Vaughan R. Pratt
    Direct least-squares fitting of algebraic surfaces. [Citation Graph (0, 0)][DBLP]
    SIGGRAPH, 1987, pp:145-152 [Conf]
  48. Vaughan R. Pratt
    Software Geography: Physical and Economic Aspects. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 2001, pp:336-346 [Conf]
  49. Manuel Blum, Robert W. Floyd, Vaughan R. Pratt, Ronald L. Rivest, Robert Endre Tarjan
    Linear Time Bounds for Median Computations [Citation Graph (0, 0)][DBLP]
    STOC, 1972, pp:119-124 [Conf]
  50. David Harel, Albert R. Meyer, Vaughan R. Pratt
    Computability and Completeness in Logics of Programs (Preliminary Report) [Citation Graph (0, 0)][DBLP]
    STOC, 1977, pp:261-268 [Conf]
  51. Vaughan R. Pratt
    Computing Permutations with Double-Ended Queues, Parallel Stacks and Parallel Queues [Citation Graph (0, 0)][DBLP]
    STOC, 1973, pp:268-277 [Conf]
  52. Vaughan R. Pratt
    The Power of Negative Thinking in Multiplying Boolean Matrices [Citation Graph (0, 0)][DBLP]
    STOC, 1974, pp:80-83 [Conf]
  53. Vaughan R. Pratt
    Dynamic Algebras and the Nature of Induction [Citation Graph (0, 0)][DBLP]
    STOC, 1980, pp:22-28 [Conf]
  54. Vaughan R. Pratt
    Anatomy of the Pentium Bug. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, 1995, pp:97-107 [Conf]
  55. Vaughan R. Pratt
    Rational Mechanisms and Natural Mathematics. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, 1995, pp:108-122 [Conf]
  56. Vaughan R. Pratt
    Time and Information in Sequential and Concurrent Computation. [Citation Graph (0, 0)][DBLP]
    Theory and Practice of Parallel Programming, 1994, pp:1-24 [Conf]
  57. Vaughan R. Pratt
    Chu Spaces from the Representational Viewpoint. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1999, v:96, n:1-3, pp:319-333 [Journal]
  58. Vaughan R. Pratt
    Concurrency Concepts - An Ongoing Search. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:54- [Journal]
  59. Dusko Pavlovic, Vaughan R. Pratt
    On coalgebra of real numbers. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:19, n:, pp:- [Journal]
  60. Vaughan R. Pratt
    Comonoids in chu: a large cartesian closed sibling of topological spaces. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:82, n:1, pp:- [Journal]
  61. Vaughan R. Pratt
    Broadening the denotational semantics of linear logic. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1996, v:3, n:, pp:- [Journal]
  62. Vaughan R. Pratt
    Towards full completeness of the linear logic of Chu spaces. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1997, v:6, n:, pp:- [Journal]
  63. Vaughan R. Pratt
    Types as processes, via Chu spaces. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1997, v:7, n:, pp:- [Journal]
  64. Rohit Parikh, Laxmi Parida, Vaughan R. Pratt
    Sock Sorting: An Example of a Vague Algorithm. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2001, v:9, n:5, pp:- [Journal]
  65. Michael Rodeh, Vaughan R. Pratt, Shimon Even
    Linear Algorithm for Data Compression via String Matching. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1981, v:28, n:1, pp:16-24 [Journal]
  66. Vaughan R. Pratt, Larry J. Stockmeyer
    A Characterization of the Power of Vector Machines. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1976, v:12, n:2, pp:198-221 [Journal]
  67. Ross Casley, Roger F. Crew, José Meseguer, Vaughan R. Pratt
    Temporal Structures. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1991, v:1, n:2, pp:179-213 [Journal]
  68. Vaughan R. Pratt
    Higher dimensional automata revisited. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 2000, v:10, n:4, pp:525-548 [Journal]
  69. Vaughan R. Pratt
    Transition And Cancellation In Concurrency And Branching Time. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 2003, v:13, n:4, pp:485-529 [Journal]
  70. Vaughan R. Pratt
    Every Prime has a Succinct Certificate. [Citation Graph (0, 0)][DBLP]
    SIAM J. Comput., 1975, v:4, n:3, pp:214-220 [Journal]
  71. Vaughan R. Pratt
    The Power of Negative Thinking in Multiplying Boolean Matrices. [Citation Graph (0, 0)][DBLP]
    SIAM J. Comput., 1975, v:4, n:3, pp:326-330 [Journal]
  72. Dusko Pavlovic, Vaughan R. Pratt
    The continuum as a final coalgebra. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:280, n:1-2, pp:105-122 [Journal]
  73. Vaughan R. Pratt
    Chu spaces as a semantic bridge between linear logic and mathematics. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:294, n:3, pp:439-471 [Journal]

Search in 0.535secs, Finished in 0.537secs
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