Vaughan R. Pratt

According to our database, Vaughan R. Pratt authored at least 87 papers between 1972 and 2020.

Collaborative distances:

• Dijkstra number of two.
• Erdős number of three.

2020

My time with Rob.

Vaughan R. Pratt

Acta Informatica, 2020

Preface.

Peter Höfner, Carroll Morgan, Vaughan R. Pratt

Acta Informatica, 2020

2017

Dynamic Logic: A Personal Perspective.

Vaughan R. Pratt

Proceedings of the Dynamic Logic. New Trends and Applications, 2017

2012

A combinatorial analysis of the average time for open-address hash coding insertion

Vaughan R. Pratt

CoRR, 2012

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, David Michael Stavens, Alex Teichman, Moritz Werling, Sebastian Thrun

Proceedings of the IEEE Intelligent Vehicles Symposium (IV), 2011

Linear Process Algebra.

Vaughan R. Pratt

Proceedings of the Distributed Computing and Internet Technology, 2011

2010

Communes via Yoneda, from an Elementary Perspective.

Vaughan R. Pratt

Fundam. Informaticae, 2010

2006

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, 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

J. Field Robotics, 2006

2003

Chu spaces as a semantic bridge between linear logic and mathematics.

Vaughan R. Pratt

Theor. Comput. Sci., 2003

Transition And Cancellation In Concurrency And Branching Time.

Vaughan R. Pratt

Math. Struct. Comput. Sci., 2003

Comonoids in chu: a large cartesian closed sibling of topological spaces.

Vaughan R. Pratt

Proceedings of the 6th International Workshop on Coalgebraic Methods in Computer Science, 2003

2002

The continuum as a final coalgebra.

Dusko Pavlovic, Vaughan R. Pratt

Theor. Comput. Sci., 2002

Event-State Duality: The Enriched Case.

Vaughan R. Pratt

Proceedings of the CONCUR 2002, 2002

2001

Sock Sorting: An Example of a Vague Algorithm.

Rohit Parikh, Laxmi Parida, Vaughan R. Pratt

Log. J. IGPL, 2001

Software Geography: Physical and Economic Aspects.

Vaughan R. Pratt

Proceedings of the SOFSEM 2001: Theory and Practice of Informatics, 28th Conference on Current Trends in Theory and Practice of Informatics Piestany, Slovak Republic, November 24, 2001

2000

The Real Numbers, Algebraically: 10689.

Donald E. Knuth, Vaughan R. Pratt, O. P. Lossers

Am. Math. Mon., 2000

Higher dimensional automata revisited.

Vaughan R. Pratt

Math. Struct. Comput. Sci., 2000

1999

On coalgebra of real numbers.

Dusko Pavlovic, Vaughan R. Pratt

Proceedings of the Coalgebraic Methods in Computer Science, 1999

Chu Spaces from the Representational Viewpoint.

Vaughan R. Pratt

Ann. Pure Appl. Log., 1999

Full Completeness of the Multiplicative Linear Logic of Chu Spaces.

Harish Devarajan, Dominic J. D. Hughes, Gordon D. Plotkin, Vaughan R. Pratt

Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science, 1999

The Matchbox: A Small Wearable Platform.

Greg DeFouw, Vaughan R. Pratt

Proceedings of the Third International Symposium on Wearable Computers (ISWC 1999), 1999

1997

Types as processes, via Chu spaces.

Vaughan R. Pratt

Proceedings of the International Workshop on Expressiveness in Concurrency, 1997

Towards full completeness of the linear logic of Chu spaces.

Vaughan R. Pratt

Proceedings of the Thirteenth Annual Conference on Mathematical Foundations of Progamming Semantics, 1997

1996

Satisfiability of Inequalities in a Poset.

Vaughan R. Pratt, Jerzy Tiuryn

Fundam. Informaticae, 1996

Broadening the denotational semantics of linear logic.

Vaughan R. Pratt

Proceedings of the Linear Logic Tokyo Meeting 1996, Keio University, Mita Campus, Tokyo, Japan, March 29, 1996

Concurrency Concepts - An Ongoing Search.

Vaughan R. Pratt

ACM Comput. Surv., 1996

Teams can see pomsets.

Gordon D. Plotkin, Vaughan R. Pratt

Proceedings of the Partial Order Methods in Verification, Proceedings of a DIMACS Workshop, 1996

1995

Rational Mechanisms and Natural Mathematics.

Vaughan R. Pratt

Proceedings of the TAPSOFT'95: Theory and Practice of Software Development, 1995

Anatomy of the Pentium Bug.

Vaughan R. Pratt

Proceedings of the TAPSOFT'95: Theory and Practice of Software Development, 1995

The Stone Gamut: A Coordinatization of Mathematics

Vaughan R. Pratt

Proceedings of the Proceedings, 1995

Chu Spaces and Their Interpretation as Concurrent Objects.

Vaughan R. Pratt

Proceedings of the Computer Science Today: Recent Trends and Developments, 1995

1994

Time and Information in Sequential and Concurrent Computation.

Vaughan R. Pratt

Proceedings of the Theory and Practice of Parallel Programming, 1994

1993

The Second Calculus of Binary Relations.

Vaughan R. Pratt

Proceedings of the Mathematical Foundations of Computer Science 1993, 1993

Gages Accept Concurrent Behavior

Vineet Gupta, Vaughan R. Pratt

Proceedings of the 34th Annual Symposium on Foundations of Computer Science, 1993

1992

Origins of the Calculus of Binary Relations

Vaughan R. Pratt

Proceedings of the Seventh Annual Symposium on Logic in Computer Science (LICS '92), 1992

Arithmetic + Logic + Geometry = Concurrency.

Vaughan R. Pratt

Proceedings of the LATIN '92, 1992

The Duality of TIme and Information.

Vaughan R. Pratt

Proceedings of the CONCUR '92, 1992

1991

Dynamic algebras: Examples, constructions, applications.

Vaughan R. Pratt

Stud Logica, 1991

Temporal Structures.

Ross Casley, Roger F. Crew, José Meseguer, Vaughan R. Pratt

Math. Struct. Comput. Sci., 1991

Modeling Concurrency with Geometry.

Vaughan R. Pratt

Proceedings of the Conference Record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages, 1991

Event Spaces and their Linear Logic.

Vaughan R. Pratt

Proceedings of the Algebraic Methodology and Software Technology (AMAST '91), 1991

1990

Action Logic and Pure Induction.

Vaughan R. Pratt

Proceedings of the Logics in AI, European Workshop, 1990

1988

Dynamic algebras as a well-behaved fragment of relation algebras.

Vaughan R. Pratt

Proceedings of the Algebraic Logic and Universal Algebra in Computer Science, Conference, 1988

1987

Direct least-squares fitting of algebraic surfaces.

Vaughan R. Pratt

Proceedings of the 14th Annual Conference on Computer Graphics and Interactive Techniques, 1987

Adaptive forward differencing for rendering curves and surfaces.

Sheue-Ling Lien, Michael Shantz, Vaughan R. Pratt

Proceedings of the 14th Annual Conference on Computer Graphics and Interactive Techniques, 1987

Partial Order Models of Concurrency and the Computation of Functions

Haim Gaifman, Vaughan R. Pratt

Proceedings of the Symposium on Logic in Computer Science (LICS '87), 1987

1986

Modeling concurrency with partial orders.

Vaughan R. Pratt

Int. J. Parallel Program., 1986

1985

Techniques for conic splines.

Vaughan R. Pratt

Proceedings of the 12th Annual Conference on Computer Graphics and Interactive Techniques, 1985

Font formats (panel session).

Charles A. Bigelow, Philippe Coueignoux, John Hobby, Peter Karow, Vaughan R. Pratt, Luis Trabb Pardo, John E. Warnock

Proceedings of the 12th Annual Conference on Computer Graphics and Interactive Techniques, 1985

Some Constructions for Order-Theoretic Models of Concurrency.

Vaughan R. Pratt

Proceedings of the Logics of Programs, 1985

1984

Standards and Performance Issues in the Workstation Market.

Vaughan R. Pratt

IEEE Computer Graphics and Applications, 1984

The Pomset Model of Parallel Processes: Unifying the Temporal and the Spatial.

Vaughan R. Pratt

Proceedings of the Seminar on Concurrency, 1984

1983

Five Paradigm Shifts in Language Design and their Realization in Viron, a Dataflow Programming Environment.

Vaughan R. Pratt

Proceedings of the Conference Record of the Tenth Annual ACM Symposium on Principles of Programming Languages, 1983

Two-way Channel with Disconnect.

Vaughan R. Pratt

Proceedings of the Analysis of Concurrent Systems, 1983

1982

On the Composition of Processes.

Vaughan R. Pratt

Proceedings of the Conference Record of the Ninth Annual ACM Symposium on Principles of Programming Languages, 1982

1981

Linear Algorithm for Data Compression via String Matching.

Michael Rodeh, Vaughan R. Pratt, Shimon Even

J. ACM, 1981

Program Logic Without Binding is Decidable.

Vaughan R. Pratt

Proceedings of the Conference Record of the Eighth Annual ACM Symposium on Principles of Programming Languages, 1981

Using Graphs to Understand PDL.

Vaughan R. Pratt

Proceedings of the Logics of Programs, Workshop, Yorktown Heights, New York, USA, May 1981, 1981

A Decidable mu-Calculus: Preliminary Report

Vaughan R. Pratt

Proceedings of the 22nd Annual Symposium on Foundations of Computer Science, 1981

1980

A Near-Optimal Method for Reasoning about Action.

Vaughan R. Pratt

J. Comput. Syst. Sci., 1980

Dynamic Algebras and the Nature of Induction

Vaughan R. Pratt

Proceedings of the 12th Annual ACM Symposium on Theory of Computing, 1980

On Specifying Verifiers.

Vaughan R. Pratt

Proceedings of the Conference Record of the Seventh Annual ACM Symposium on Principles of Programming Languages, 1980

1979

Process Logic.

Vaughan R. Pratt

Proceedings of the Conference Record of the Sixth Annual ACM Symposium on Principles of Programming Languages, 1979

Axioms or Algorithms.

Vaughan R. Pratt

Proceedings of the Mathematical Foundations of Computer Science 1979, 1979

Models of Program Logics

Vaughan R. Pratt

Proceedings of the 20th Annual Symposium on Foundations of Computer Science, 1979

APL and LISP - should they be combined, and if so how?

Alan J. Perlis, William H. Burge, Joel Moses, Vaughan R. Pratt

Proceedings of the international conference on APL, 1979

1978

A Practical Decision Method for Propositional Dynamic Logic: Preliminary Report

Vaughan R. Pratt

Proceedings of the 10th Annual ACM Symposium on Theory of Computing, 1978

Nondeterminism in Logics of Programs.

David Harel, Vaughan R. Pratt

Proceedings of the Conference Record of the Fifth Annual ACM Symposium on Principles of Programming Languages, 1978

1977

Fast Pattern Matching in Strings.

Donald E. Knuth, James H. Morris Jr., Vaughan R. Pratt

SIAM J. Comput., 1977

Computability and Completeness in Logics of Programs (Preliminary Report)

David Harel, Albert R. Meyer, Vaughan R. Pratt

Proceedings of the 9th Annual ACM Symposium on Theory of Computing, 1977

The Competence/Performance Dichotomy in Programming.

Vaughan R. Pratt

Proceedings of the Conference Record of the Fourth ACM Symposium on Principles of Programming Languages, 1977

A Proof-Checker for Dynamic Logic.

Steven D. Litvintchouk, Vaughan R. Pratt

Proceedings of the 5th International Joint Conference on Artificial Intelligence. Cambridge, 1977

1976

A Characterization of the Power of Vector Machines.

Vaughan R. Pratt, Larry J. Stockmeyer

J. Comput. Syst. Sci., 1976

The Mutual Exclusion Problem for Unreliable Processes: Preliminary Report

Ronald L. Rivest, Vaughan R. Pratt

Proceedings of the 17th Annual Symposium on Foundations of Computer Science, 1976

Semantical Considerations on Floyd-Hoare Logic

Vaughan R. Pratt

Proceedings of the 17th Annual Symposium on Foundations of Computer Science, 1976

1975

The Power of Negative Thinking in Multiplying Boolean Matrices.

Vaughan R. Pratt

SIAM J. Comput., 1975

Every Prime has a Succinct Certificate.

Vaughan R. Pratt

SIAM J. Comput., 1975

The Effect of Basis on Size of Boolean Expressions

Vaughan R. Pratt

Proceedings of the 16th Annual Symposium on Foundations of Computer Science, 1975

1974

A Characterization of the Power of Vector Machines

Vaughan R. Pratt, Michael O. Rabin, Larry J. Stockmeyer

Proceedings of the 6th Annual ACM Symposium on Theory of Computing, April 30, 1974

1973

Time Bounds for Selection.

Manuel Blum, Robert W. Floyd, Vaughan R. Pratt, Ronald L. Rivest, Robert Endre Tarjan

J. Comput. Syst. Sci., 1973

Computing Permutations with Double-Ended Queues, Parallel Stacks and Parallel Queues

Vaughan R. Pratt

Proceedings of the 5th Annual ACM Symposium on Theory of Computing, April 30, 1973

Top Down Operator Precedence.

Vaughan R. Pratt

Proceedings of the Conference Record of the ACM Symposium on Principles of Programming Languages, 1973

A Linguistics Oriented Programming Language.

Vaughan R. Pratt

Proceedings of the 3rd International Joint Conference on Artificial Intelligence. Standford, 1973

On Lower Bounds for Computing the i-th Largest Element

Vaughan R. Pratt, Foong Frances Yao

Proceedings of the 14th Annual Symposium on Switching and Automata Theory, 1973

1972

Linear Time Bounds for Median Computations

Manuel Blum, Robert W. Floyd, Vaughan R. Pratt, Ronald L. Rivest, Robert Endre Tarjan

Proceedings of the 4th Annual ACM Symposium on Theory of Computing, 1972

An <i>n log n</i> Algorithm to Distribute <i>n</i> Records Optimally in a Sequential Access File.

Vaughan R. Pratt

Proceedings of a symposium on the Complexity of Computer Computations, 1972

Shellsort and Sorting Networks

Vaughan R. Pratt

Outstanding Dissertations in the Computer Sciences, Garland Publishing, New York, ISBN: 0-8240-4406-1, 1972