Shellsort and Sorting Networks - Vaughan R. Pratt (Garland Publishing, New York, 1972)

An n log n Algorithm to Distribute n Records Optimally in a Sequential Access File. - Vaughan R. Pratt (Complexity of Computer Computations, 1972)

Linear Time Bounds for Median Computations - Manuel Blum 001; Robert W. Floyd; Vaughan R. Pratt; Ronald L. Rivest; Robert Endre Tarjan (STOC, 1972)

On Lower Bounds for Computing the i-th Largest Element - Vaughan R. Pratt; Foong Frances Yao (SWAT, 1973)

A Linguistics Oriented Programming Language. - Vaughan R. Pratt (IJCAI, 1973)

Top Down Operator Precedence. - Vaughan R. Pratt (POPL, 1973)

Computing Permutations with Double-Ended Queues, Parallel Stacks and Parallel Queues - Vaughan R. Pratt (STOC, 1973)

Time Bounds for Selection. - Manuel Blum 001; Robert W. Floyd; Vaughan R. Pratt; Ronald L. Rivest; Robert Endre Tarjan (J. Comput. Syst. Sci., 1973)

A Characterization of the Power of Vector Machines - Vaughan R. Pratt; Michael O. Rabin; Larry J. Stockmeyer (STOC, 1974)

The Effect of Basis on Size of Boolean Expressions - Vaughan R. Pratt (FOCS, 1975)

Every Prime has a Succinct Certificate. - Vaughan R. Pratt (SIAM J. Comput., 1975)

The Power of Negative Thinking in Multiplying Boolean Matrices. - Vaughan R. Pratt (SIAM J. Comput., 1975)

Semantical Considerations on Floyd-Hoare Logic - Vaughan R. Pratt (FOCS, 1976)

The Mutual Exclusion Problem for Unreliable Processes: Preliminary Report - Ronald L. Rivest; Vaughan R. Pratt (FOCS, 1976)

A Characterization of the Power of Vector Machines. - Vaughan R. Pratt; Larry J. Stockmeyer (J. Comput. Syst. Sci., 1976)

A Proof-Checker for Dynamic Logic. - Steven D. Litvintchouk; Vaughan R. Pratt (IJCAI, 1977)

The Competence/Performance Dichotomy in Programming. - Vaughan R. Pratt (POPL, 1977)

Computability and Completeness in Logics of Programs (Preliminary Report) - David Harel; Albert R. Meyer; Vaughan R. Pratt (STOC, 1977)

Fast Pattern Matching in Strings. - Donald E. Knuth; James H. Morris Jr.; Vaughan R. Pratt (SIAM J. Comput., 1977)

Nondeterminism in Logics of Programs. - David Harel; Vaughan R. Pratt (POPL, 1978)

A Practical Decision Method for Propositional Dynamic Logic: Preliminary Report - Vaughan R. Pratt (STOC, 1978)

APL and LISP - should they be combined, and if so how? - Alan J. Perlis; William H. Burge; Joel Moses; Vaughan R. Pratt (APL, 1979)

Models of Program Logics - Vaughan R. Pratt (FOCS, 1979)

Axioms or Algorithms. - Vaughan R. Pratt (MFCS, 1979)

Process Logic. - Vaughan R. Pratt (POPL, 1979)

On Specifying Verifiers. - Vaughan R. Pratt (POPL, 1980)

Dynamic Algebras and the Nature of Induction - Vaughan R. Pratt (STOC, 1980)

A Near-Optimal Method for Reasoning about Action. - Vaughan R. Pratt (J. Comput. Syst. Sci., 1980)

A Decidable mu-Calculus: Preliminary Report - Vaughan R. Pratt (FOCS, 1981)

Using Graphs to Understand PDL. - Vaughan R. Pratt (Logic of Programs, 1981)

Program Logic Without Binding is Decidable. - Vaughan R. Pratt (POPL, 1981)

Linear Algorithm for Data Compression via String Matching. - Michael Rodeh; Vaughan R. Pratt; Shimon Even (J. ACM, 1981)

On the Composition of Processes. - Vaughan R. Pratt (POPL, 1982)

Two-way Channel with Disconnect. - Vaughan R. Pratt (The Analysis of Concurrent Systems, 1983)

Five Paradigm Shifts in Language Design and their Realization in Viron, a Dataflow Programming Environment. - Vaughan R. Pratt (POPL, 1983)

The Pomset Model of Parallel Processes: Unifying the Temporal and the Spatial. - Vaughan R. Pratt (Seminar on Concurrency, 1984)

Standards and Performance Issues in the Workstation Market. - Vaughan R. Pratt (IEEE Computer Graphics and Applications, 1984)

Some Constructions for Order-Theoretic Models of Concurrency. - Vaughan R. Pratt (Logic of Programs, 1985)

Font formats (panel session). - Charles A. Bigelow; Philippe Coueignoux; John Hobby; Peter Karow; Vaughan R. Pratt; Luis Trabb Pardo; John E. Warnock (SIGGRAPH, 1985)

Techniques for conic splines. - Vaughan R. Pratt (SIGGRAPH, 1985)

Modeling concurrency with partial orders. - Vaughan R. Pratt (Int. J. Parallel Program., 1986)

Partial Order Models of Concurrency and the Computation of Functions - Haim Gaifman; Vaughan R. Pratt (LICS, 1987)

Adaptive forward differencing for rendering curves and surfaces. - Sheue-Ling Lien; Michael Shantz; Vaughan R. Pratt (SIGGRAPH, 1987)

Direct least-squares fitting of algebraic surfaces. - Vaughan R. Pratt (SIGGRAPH, 1987)

Dynamic algebras as a well-behaved fragment of relation algebras. - Vaughan R. Pratt (Algebraic Logic and Universal Algebra in Computer Science, 1988)

Action Logic and Pure Induction. - Vaughan R. Pratt (JELIA, 1990)

Event Spaces and their Linear Logic. - Vaughan R. Pratt (AMAST, 1991)

Modeling Concurrency with Geometry. - Vaughan R. Pratt (POPL, 1991)

Temporal Structures. - Ross Casley; Roger F. Crew; José Meseguer 001; Vaughan R. Pratt (Math. Struct. Comput. Sci., 1991)

Dynamic algebras: Examples, constructions, applications. - Vaughan R. Pratt (Stud Logica, 1991)

The Duality of TIme and Information. - Vaughan R. Pratt (CONCUR, 1992)

Arithmetic + Logic + Geometry = Concurrency. - Vaughan R. Pratt (LATIN, 1992)

Origins of the Calculus of Binary Relations - Vaughan R. Pratt (LICS, 1992)

Gages Accept Concurrent Behavior - Vineet Gupta 001; Vaughan R. Pratt (FOCS, 1993)

The Second Calculus of Binary Relations. - Vaughan R. Pratt (MFCS, 1993)

Time and Information in Sequential and Concurrent Computation. - Vaughan R. Pratt (Theory and Practice of Parallel Programming, 1994)

Chu Spaces and Their Interpretation as Concurrent Objects. - Vaughan R. Pratt (Computer Science Today, 1995)

The Stone Gamut: A Coordinatization of Mathematics - Vaughan R. Pratt (LICS, 1995)

Anatomy of the Pentium Bug. - Vaughan R. Pratt (TAPSOFT, 1995)

Rational Mechanisms and Natural Mathematics. - Vaughan R. Pratt (TAPSOFT, 1995)

Teams can see pomsets. - Gordon D. Plotkin; Vaughan R. Pratt (Partial Order Methods in Verification, 1996)

Concurrency Concepts - An Ongoing Search. - Vaughan R. Pratt (ACM Comput. Surv., 1996)

Broadening the denotational semantics of linear logic. - Vaughan R. Pratt (Linear Logic Tokyo Meeting, 1996)

Satisfiability of Inequalities in a Poset. - Vaughan R. Pratt; Jerzy Tiuryn (Fundam. Informaticae, 1996)

Towards full completeness of the linear logic of Chu spaces. - Vaughan R. Pratt (MFPS, 1997)

Types as processes, via Chu spaces. - Vaughan R. Pratt (EXPRESS, 1997)

The Matchbox: A Small Wearable Platform. - Greg DeFouw; Vaughan R. Pratt (ISWC, 1999)

Full Completeness of the Multiplicative Linear Logic of Chu Spaces. - Harish Devarajan; Dominic J. D. Hughes; Gordon D. Plotkin; Vaughan R. Pratt (LICS, 1999)

Chu Spaces from the Representational Viewpoint. - Vaughan R. Pratt (Ann. Pure Appl. Log., 1999)

On coalgebra of real numbers. - Dusko Pavlovic; Vaughan R. Pratt (CMCS, 1999)

Higher dimensional automata revisited. - Vaughan R. Pratt (Math. Struct. Comput. Sci., 2000)

The Real Numbers, Algebraically: 10689. - Donald E. Knuth; Vaughan R. Pratt; O. P. Lossers (Am. Math. Mon., 2000)

Software Geography: Physical and Economic Aspects. - Vaughan R. Pratt (SOFSEM, 2001)

Sock Sorting: An Example of a Vague Algorithm. - Rohit Parikh; Laxmi Parida; Vaughan R. Pratt (Log. J. IGPL, 2001)

Event-State Duality: The Enriched Case. - Vaughan R. Pratt (CONCUR, 2002)

The continuum as a final coalgebra. - Dusko Pavlovic; Vaughan R. Pratt (Theor. Comput. Sci., 2002)

Comonoids in chu: a large cartesian closed sibling of topological spaces. - Vaughan R. Pratt (CMCS, 2003)

Transition And Cancellation In Concurrency And Branching Time. - Vaughan R. Pratt (Math. Struct. Comput. Sci., 2003)

Chu spaces as a semantic bridge between linear logic and mathematics. - Vaughan R. Pratt (Theor. Comput. Sci., 2003)

Stanley: The robot that won the DARPA Grand Challenge. - Sebastian Thrun; Michael Montemerlo; Hendrik Dahlkamp; David Stavens; Andrei Aron; James Diebel; Philip W. Fong; John Gale; Morgan Halpenny; Gabriel Hoffmann; Kenny Lau; Celia M. Oakley; et al. (J. Field Robotics, 2006)

Communes via Yoneda, from an Elementary Perspective. - Vaughan R. Pratt (Fundam. Informaticae, 2010)

Linear Process Algebra. - Vaughan R. Pratt (ICDCIT, 2011)

Towards fully autonomous driving: Systems and algorithms. - Jesse Levinson; Jake Askeland; Jan Becker; Jennifer Dolson; David Held; Sören Kammel; J. Zico Kolter; Dirk Langer; Oliver Pink; Vaughan R. Pratt; Michael Sokolsky; Ganymed Stanek; et al. (Intelligent Vehicles Symposium, 2011)

A combinatorial analysis of the average time for open-address hash coding insertion - Vaughan R. Pratt (CoRR, 2012)

Dynamic Logic: A Personal Perspective. - Vaughan R. Pratt (DALI@TABLEAUX, 2017)

Preface. - Peter Höfner; Carroll Morgan; Vaughan R. Pratt (Acta Informatica, 2020)

My time with Rob. - Vaughan R. Pratt (Acta Informatica, 2020)