Vaughan R. Pratt

Publication Activity (10 Years)

Years Active: 1972-2020
Publications (10 Years): 3

Top Topics

Workshop On Data Mining

Imperative Programs

Top Venues

Acta Informatica

Publications

Vaughan R. Pratt
My time with Rob. Acta Informatica 57 (3-5) (2020)
Peter Höfner, Carroll Morgan, Vaughan R. Pratt
Preface. Acta Informatica 57 (3-5) (2020)
Vaughan R. Pratt
Dynamic Logic: A Personal Perspective. DALI@TABLEAUX (2017)
Vaughan R. Pratt
A combinatorial analysis of the average time for open-address hash coding insertion CoRR (2012)
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, David Michael Stavens, Alex Teichman, Moritz Werling, Sebastian Thrun
Towards fully autonomous driving: Systems and algorithms. Intelligent Vehicles Symposium (2011)
Vaughan R. Pratt
Linear Process Algebra. ICDCIT (2011)
Vaughan R. Pratt
Communes via Yoneda, from an Elementary Perspective. Fundam. Informaticae 103 (1-4) (2010)
Sebastian Thrun, Michael Montemerlo, Hendrik Dahlkamp, David Stavens, Andrei Aron, James Diebel, Philip Fong, John Gale, Morgan Halpenny, Gabriel Hoffmann, Kenny Lau, Celia M. Oakley, Mark Palatucci, Vaughan R. Pratt, Pascal Stang, Sven Strohband, Cedric Dupont, Lars-Erik Jendrossek, Christian Koelen, Charles Markey, Carlo Rummel, Joe van Niekerk, Eric Jensen, Philippe Alessandrini, Gary R. Bradski, Bob Davies, Scott Ettinger, Adrian Kaehler, Ara V. Nefian, Pamela Mahoney
Stanley: The robot that won the DARPA Grand Challenge. J. Field Robotics 23 (9) (2006)
Vaughan R. Pratt
Comonoids in chu: a large cartesian closed sibling of topological spaces. CMCS (2003)
Vaughan R. Pratt
Chu spaces as a semantic bridge between linear logic and mathematics. Theor. Comput. Sci. 294 (3) (2003)
Vaughan R. Pratt
Transition And Cancellation In Concurrency And Branching Time. Math. Struct. Comput. Sci. 13 (4) (2003)
Dusko Pavlovic, Vaughan R. Pratt
The continuum as a final coalgebra. Theor. Comput. Sci. 280 (1-2) (2002)
Vaughan R. Pratt
Event-State Duality: The Enriched Case. CONCUR (2002)
Rohit Parikh, Laxmi Parida, Vaughan R. Pratt
Sock Sorting: An Example of a Vague Algorithm. Log. J. IGPL 9 (5) (2001)
Vaughan R. Pratt
Software Geography: Physical and Economic Aspects. SOFSEM (2001)
Vaughan R. Pratt
Higher dimensional automata revisited. Math. Struct. Comput. Sci. 10 (4) (2000)
Donald E. Knuth, Vaughan R. Pratt, O. P. Lossers
The Real Numbers, Algebraically: 10689. Am. Math. Mon. 107 (8) (2000)
Harish Devarajan, Dominic J. D. Hughes, Gordon D. Plotkin, Vaughan R. Pratt
Full Completeness of the Multiplicative Linear Logic of Chu Spaces. LICS (1999)
Greg DeFouw, Vaughan R. Pratt
The Matchbox: A Small Wearable Platform. ISWC (1999)
Dusko Pavlovic, Vaughan R. Pratt
On coalgebra of real numbers. CMCS (1999)
Vaughan R. Pratt
Chu Spaces from the Representational Viewpoint. Ann. Pure Appl. Log. 96 (1-3) (1999)
Vaughan R. Pratt
Towards full completeness of the linear logic of Chu spaces. MFPS (1997)
Vaughan R. Pratt
Types as processes, via Chu spaces. EXPRESS (1997)
Vaughan R. Pratt, Jerzy Tiuryn
Satisfiability of Inequalities in a Poset. Fundam. Informaticae 28 (1-2) (1996)
Gordon D. Plotkin, Vaughan R. Pratt
Teams can see pomsets. Partial Order Methods in Verification (1996)
Vaughan R. Pratt
Broadening the denotational semantics of linear logic. Electron. Notes Theor. Comput. Sci. 3 (1996)
Vaughan R. Pratt
Concurrency Concepts - An Ongoing Search. ACM Comput. Surv. 28 (4es) (1996)
Vaughan R. Pratt
The Stone Gamut: A Coordinatization of Mathematics LICS (1995)
Vaughan R. Pratt
Rational Mechanisms and Natural Mathematics. TAPSOFT (1995)
Vaughan R. Pratt
Anatomy of the Pentium Bug. TAPSOFT (1995)
Vaughan R. Pratt
Time and Information in Sequential and Concurrent Computation. Theory and Practice of Parallel Programming (1994)
Vineet Gupta, Vaughan R. Pratt
Gages Accept Concurrent Behavior FOCS (1993)
Vaughan R. Pratt
The Second Calculus of Binary Relations. MFCS (1993)
Vaughan R. Pratt
The Duality of TIme and Information. CONCUR (1992)
Vaughan R. Pratt
Origins of the Calculus of Binary Relations LICS (1992)
Vaughan R. Pratt
Arithmetic + Logic + Geometry = Concurrency. LATIN (1992)
Vaughan R. Pratt
Dynamic algebras: Examples, constructions, applications. Stud Logica 50 (3-4) (1991)
Ross Casley, Roger F. Crew, José Meseguer, Vaughan R. Pratt
Temporal Structures. Math. Struct. Comput. Sci. 1 (2) (1991)
Vaughan R. Pratt
Modeling Concurrency with Geometry. POPL (1991)
Vaughan R. Pratt
Event Spaces and their Linear Logic. AMAST (1991)
Vaughan R. Pratt
Action Logic and Pure Induction. JELIA (1990)
Ross Casley, Roger F. Crew, José Meseguer, Vaughan R. Pratt
Temporal Structures. Category Theory and Computer Science (1989)
Vaughan R. Pratt
Dynamic algebras as a well-behaved fragment of relation algebras. Algebraic Logic and Universal Algebra in Computer Science (1988)
Sheue-Ling Lien, Michael Shantz, Vaughan R. Pratt
Adaptive forward differencing for rendering curves and surfaces. SIGGRAPH (1987)
Haim Gaifman, Vaughan R. Pratt
Partial Order Models of Concurrency and the Computation of Functions LICS (1987)
Vaughan R. Pratt
Direct least-squares fitting of algebraic surfaces. SIGGRAPH (1987)
Vaughan R. Pratt
Modeling concurrency with partial orders. Int. J. Parallel Program. 15 (1) (1986)
Charles A. Bigelow, Philippe Coueignoux, John Hobby, Peter Karow, Vaughan R. Pratt, Luis Trabb Pardo, John E. Warnock
Font formats (panel session). SIGGRAPH (1985)
Vaughan R. Pratt
Techniques for conic splines. SIGGRAPH (1985)
Vaughan R. Pratt
Some Constructions for Order-Theoretic Models of Concurrency. Logic of Programs (1985)
Vaughan R. Pratt
The Pomset Model of Parallel Processes: Unifying the Temporal and the Spatial. Seminar on Concurrency (1984)
Vaughan R. Pratt
Standards and Performance Issues in the Workstation Market. IEEE Computer Graphics and Applications 4 (4) (1984)
Vaughan R. Pratt
Standards and Performance Issues in the Workstation Market. COMPCON (1984)
Vaughan R. Pratt
Five Paradigm Shifts in Language Design and their Realization in Viron, a Dataflow Programming Environment. POPL (1983)
Vaughan R. Pratt
Two-way Channel with Disconnect. The Analysis of Concurrent Systems (1983)
Vaughan R. Pratt
On the Composition of Processes. POPL (1982)
Vaughan R. Pratt
A Decidable mu-Calculus: Preliminary Report FOCS (1981)
Vaughan R. Pratt
Using Graphs to Understand PDL. Logic of Programs (1981)
Michael Rodeh, Vaughan R. Pratt, Shimon Even
Linear Algorithm for Data Compression via String Matching. J. ACM 28 (1) (1981)
Vaughan R. Pratt
Program Logic Without Binding is Decidable. POPL (1981)
Vaughan R. Pratt
Dynamic Algebras and the Nature of Induction STOC (1980)
Vaughan R. Pratt
A Near-Optimal Method for Reasoning about Action. J. Comput. Syst. Sci. 20 (2) (1980)
Vaughan R. Pratt
On Specifying Verifiers. POPL (1980)
Vaughan R. Pratt
Process Logic. POPL (1979)
Alan J. Perlis, William H. Burge, Joel Moses, Vaughan R. Pratt
APL and LISP - should they be combined, and if so how? APL (1979)
Vaughan R. Pratt
Models of Program Logics FOCS (1979)
Vaughan R. Pratt
Axioms or Algorithms. MFCS (1979)
Vaughan R. Pratt
A Practical Decision Method for Propositional Dynamic Logic: Preliminary Report STOC (1978)
David Harel, Vaughan R. Pratt
Nondeterminism in Logics of Programs. POPL (1978)
Steven D. Litvintchouk, Vaughan R. Pratt
A Proof-Checker for Dynamic Logic. IJCAI (1977)
Vaughan R. Pratt
The Competence/Performance Dichotomy in Programming. POPL (1977)
David Harel, Albert R. Meyer, Vaughan R. Pratt
Computability and Completeness in Logics of Programs (Preliminary Report) STOC (1977)
Donald E. Knuth, James H. Morris Jr., Vaughan R. Pratt
Fast Pattern Matching in Strings. SIAM J. Comput. 6 (2) (1977)
Ronald L. Rivest, Vaughan R. Pratt
The Mutual Exclusion Problem for Unreliable Processes: Preliminary Report FOCS (1976)
Vaughan R. Pratt
Semantical Considerations on Floyd-Hoare Logic FOCS (1976)
Vaughan R. Pratt, Larry J. Stockmeyer
A Characterization of the Power of Vector Machines. J. Comput. Syst. Sci. 12 (2) (1976)
Vaughan R. Pratt
Every Prime has a Succinct Certificate. SIAM J. Comput. 4 (3) (1975)
Vaughan R. Pratt
The Power of Negative Thinking in Multiplying Boolean Matrices. SIAM J. Comput. 4 (3) (1975)
Vaughan R. Pratt
The Effect of Basis on Size of Boolean Expressions FOCS (1975)
Vaughan R. Pratt, Michael O. Rabin, Larry J. Stockmeyer
A Characterization of the Power of Vector Machines STOC (1974)
Vaughan R. Pratt
The Power of Negative Thinking in Multiplying Boolean Matrices STOC (1974)
Vaughan R. Pratt
A Linguistics Oriented Programming Language. IJCAI (1973)
Vaughan R. Pratt, Foong Frances Yao
On Lower Bounds for Computing the i-th Largest Element SWAT (1973)
Vaughan R. Pratt
Computing Permutations with Double-Ended Queues, Parallel Stacks and Parallel Queues STOC (1973)
Vaughan R. Pratt
Top Down Operator Precedence. POPL (1973)
Manuel Blum, Robert W. Floyd, Vaughan R. Pratt, Ronald L. Rivest, Robert Endre Tarjan
Time Bounds for Selection. J. Comput. Syst. Sci. 7 (4) (1973)
Vaughan R. Pratt
Records Optimally in a Sequential Access File. Complexity of Computer Computations (1972)
Manuel Blum, Robert W. Floyd, Vaughan R. Pratt, Ronald L. Rivest, Robert Endre Tarjan
Linear Time Bounds for Median Computations STOC (1972)