| 2017 | TABLEAUX | Dynamic Logic: A Personal Perspective. | Vaughan R. Pratt |
| 2011 | ICDCIT | Linear Process Algebra. | Vaughan R. Pratt |
| 2002 | CONCUR | Event-State Duality: The Enriched Case. | Vaughan R. Pratt |
| 2001 | SOFSEM | Software Geography: Physical and Economic Aspects. | Vaughan R. Pratt |
| 1999 | ISWC | The Matchbox: A Small Wearable Platform. | Greg DeFouw, Vaughan R. Pratt |
| 1999 | LICS | Full Completeness of the Multiplicative Linear Logic of Chu Spaces. | Harish Devarajan, Dominic J. D. Hughes, Gordon D. Plotkin, Vaughan R. Pratt |
| 1995 | LICS | The Stone Gamut: A Coordinatization of Mathematics | Vaughan R. Pratt |
| 1993 | FOCS | Gages Accept Concurrent Behavior | Vineet Gupta, Vaughan R. Pratt |
| 1993 | MFCS | The Second Calculus of Binary Relations. | Vaughan R. Pratt |
| 1992 | CONCUR | The Duality of TIme and Information. | Vaughan R. Pratt |
| 1992 | LATIN | Arithmetic + Logic + Geometry = Concurrency. | Vaughan R. Pratt |
| 1992 | LICS | Origins of the Calculus of Binary Relations | Vaughan R. Pratt |
| 1991 | POPL | Modeling Concurrency with Geometry. | Vaughan R. Pratt |
| 1990 | JELIA | Action Logic and Pure Induction. | Vaughan R. Pratt |
| 1987 | LICS | Partial Order Models of Concurrency and the Computation of Functions | Haim Gaifman, Vaughan R. Pratt |
| 1987 | SIGGRAPH | Adaptive forward differencing for rendering curves and surfaces. | Sheue-Ling Lien, Michael Shantz, Vaughan R. Pratt |
| 1987 | SIGGRAPH | Direct least-squares fitting of algebraic surfaces. | Vaughan R. Pratt |
| 1985 | SIGGRAPH | Font formats (panel session). | Charles A. Bigelow, Philippe Coueignoux, John Hobby, Peter Karow, Vaughan R. Pratt, Luis Trabb Pardo, John E. Warnock |
| 1985 | SIGGRAPH | Techniques for conic splines. | Vaughan R. Pratt |
| 1984 | CONCUR | The Pomset Model of Parallel Processes: Unifying the Temporal and the Spatial. | Vaughan R. Pratt |
| 1983 | POPL | Five Paradigm Shifts in Language Design and their Realization in Viron, a Dataflow Programming Environment. | Vaughan R. Pratt |
| 1982 | POPL | On the Composition of Processes. | Vaughan R. Pratt |
| 1981 | FOCS | A Decidable mu-Calculus: Preliminary Report | Vaughan R. Pratt |
| 1981 | POPL | Program Logic Without Binding is Decidable. | Vaughan R. Pratt |
| 1980 | POPL | On Specifying Verifiers. | Vaughan R. Pratt |
| 1980 | STOC | Dynamic Algebras and the Nature of Induction | Vaughan R. Pratt |
| 1979 | FOCS | Models of Program Logics | Vaughan R. Pratt |
| 1979 | MFCS | Axioms or Algorithms. | Vaughan R. Pratt |
| 1979 | POPL | Process Logic. | Vaughan R. Pratt |
| 1978 | POPL | Nondeterminism in Logics of Programs. | David Harel, Vaughan R. Pratt |
| 1978 | STOC | A Practical Decision Method for Propositional Dynamic Logic: Preliminary Report | Vaughan R. Pratt |
| 1977 | IJCAI | A Proof-Checker for Dynamic Logic. | Steven D. Litvintchouk, Vaughan R. Pratt |
| 1977 | POPL | The Competence/Performance Dichotomy in Programming. | Vaughan R. Pratt |
| 1977 | STOC | Computability and Completeness in Logics of Programs (Preliminary Report) | David Harel, Albert R. Meyer, Vaughan R. Pratt |
| 1976 | FOCS | Semantical Considerations on Floyd-Hoare Logic | Vaughan R. Pratt |
| 1976 | FOCS | The Mutual Exclusion Problem for Unreliable Processes: Preliminary Report | Ronald L. Rivest, Vaughan R. Pratt |
| 1975 | FOCS | The Effect of Basis on Size of Boolean Expressions | Vaughan R. Pratt |
| 1974 | STOC | The Power of Negative Thinking in Multiplying Boolean Matrices | Vaughan R. Pratt |
| 1974 | STOC | A Characterization of the Power of Vector Machines | Vaughan R. Pratt, Michael O. Rabin, Larry J. Stockmeyer |
| 1973 | FOCS | On Lower Bounds for Computing the i-th Largest Element | Vaughan R. Pratt, Foong Frances Yao |
| 1973 | IJCAI | A Linguistics Oriented Programming Language. | Vaughan R. Pratt |
| 1973 | POPL | Top Down Operator Precedence. | Vaughan R. Pratt |
| 1973 | STOC | Computing Permutations with Double-Ended Queues, Parallel Stacks and Parallel Queues | Vaughan R. Pratt |
| 1972 | STOC | Linear Time Bounds for Median Computations | Manuel Blum, Robert W. Floyd, Vaughan R. Pratt, Ronald L. Rivest, Robert Endre Tarjan |