Select a publication 
Show 
Title 
Venue 
Rating 
Date 

Conference paper
Vaughan R. Pratt.
A combinatorial analysis of the average time for openaddress hash coding insertion

CoRR 2012, Volume 0 
(0)

2012 

Conference paper
Vaughan R. Pratt.
Comonoids in chu: a large cartesian closed sibling of topological spaces.

Electr. Notes Theor. Comput. Sci. 2003, Volume 82 
(0)

2003 

Conference paper
Vaughan R. Pratt.
Transition And Cancellation In Concurrency And Branching Time.

Mathematical Structures in Computer Science 2003, Volume 13 
(0)

2003 

Conference paper
Vaughan R. Pratt.
Chu spaces as a semantic bridge between linear logic and mathematics.

Theor. Comput. Sci. 2003, Volume 294 
(0)

2003 

Conference paper
Vaughan R. Pratt.
EventState Duality: The Enriched Case.

CONCUR 2002  Concurrency Theory, 13th International Conference, Brno, Czech Republic, August 2023, 2002, Proceedings 2002 
(0)

2002 

Conference paper
Dusko Pavlovic, Vaughan R. Pratt.
The continuum as a final coalgebra.

Theor. Comput. Sci. 2002, Volume 280 
(0)

2002 

Conference paper
Vaughan R. Pratt.
Software Geography: Physical and Economic Aspects.

SOFSEM 2001: Theory and Practice of Informatics, 28th Conference on Current Trends in Theory and Practice of Informatics Piestany, Slovak Republic, November 24  December 1, 2001, Proceedings 2001 
(0)

2001 

Conference paper
Rohit Parikh, Laxmi Parida, Vaughan R. Pratt.
Sock Sorting: An Example of a Vague Algorithm.

Logic Journal of the IGPL 2001, Volume 9 
(0)

2001 

Journal article
Donald E. Knuth, Vaughan R. Pratt, O. P. Lossers.
The Real Numbers, Algebraically: 10689.

The American Mathematical Monthly 2000, Volume 107 
(0)

2000 

Conference paper
Vaughan R. Pratt.
Higher dimensional automata revisited.

Mathematical Structures in Computer Science 2000, Volume 10 
(0)

2000 

Conference paper
Greg DeFouw, Vaughan R. Pratt.
The Matchbox: A Small Wearable Platform.

ISWC 1999 
(0)

1999 

Conference paper
Harish Devarajan, Dominic J. D. Hughes, Gordon D. Plotkin, Vaughan R. Pratt.
Full Completeness of the Multiplicative Linear Logic of Chu Spaces.

LICS 1999 
(0)

1999 

Conference paper
Vaughan R. Pratt.
Chu Spaces from the Representational Viewpoint.

Ann. Pure Appl. Logic 1999, Volume 96 
(0)

1999 

Conference paper
Dusko Pavlovic, Vaughan R. Pratt.
On coalgebra of real numbers.

Electr. Notes Theor. Comput. Sci. 1999, Volume 19 
(0)

1999 

Conference paper
Vaughan R. Pratt.
Towards full completeness of the linear logic of Chu spaces.

Electr. Notes Theor. Comput. Sci. 1997, Volume 6 
(0)

1997 

Conference paper
Vaughan R. Pratt.
Types as processes, via Chu spaces.

Electr. Notes Theor. Comput. Sci. 1997, Volume 7 
(0)

1997 

Conference paper
Gordon D. Plotkin, Vaughan R. Pratt.
Teams can see pomsets.

Partial Order Methods in Verification, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, July 2426, 1996 1996 
(0)

1996 

Conference paper
Vaughan R. Pratt.
Concurrency Concepts  An Ongoing Search.

ACM Comput. Surv. 1996, Volume 28 
(0)

1996 

Conference paper
Vaughan R. Pratt.
Broadening the denotational semantics of linear logic.

Electr. Notes Theor. Comput. Sci. 1996, Volume 3 
(0)

1996 

Conference paper
Vaughan R. Pratt, Jerzy Tiuryn.
Satisfiability of Inequalities in a Poset.

Fundam. Inform. 1996, Volume 28 
(0)

1996 

Book chapter
Vaughan R. Pratt.
Chu Spaces and Their Interpretation as Concurrent Objects.

Computer Science Today: Recent Trends and Developments 1995, Volume 1000 
(0)

1995 

Conference paper
Vaughan R. Pratt.
The Stone Gamut: A Coordinatization of Mathematics

Proceedings, Tenth Annual IEEE Symposium on Logic in Computer Science, San Diego, California, USA, 2629 June 1995 1995 
(0)

1995 

Conference paper
Vaughan R. Pratt.
Anatomy of the Pentium Bug.

TAPSOFT'95: Theory and Practice of Software Development, 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 2226, 1995, Proceedings 1995 
(0)

1995 

Conference paper
Vaughan R. Pratt.
Rational Mechanisms and Natural Mathematics.

TAPSOFT'95: Theory and Practice of Software Development, 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 2226, 1995, Proceedings 1995 
(0)

1995 

Conference paper
Vaughan R. Pratt.
Time and Information in Sequential and Concurrent Computation.

Theory and Practice of Parallel Programming, International Workshop TPPP'94, Sendai, Japan, November 79, 1994, Proceedings 1995 
(0)

1994 

Conference paper
Vineet Gupta, Vaughan R. Pratt.
Gages Accept Concurrent Behavior

34th Annual Symposium on Foundations of Computer Science, Palo Alto, California, USA, 35 November 1993 1993 
(0)

1993 

Conference paper
Vaughan R. Pratt.
The Second Calculus of Binary Relations.

Mathematical Foundations of Computer Science 1993, 18th International Symposium, MFCS'93, Gdansk, Poland, August 30  September 3, 1993, Proceedings 1993 
(0)

1993 

Conference paper
Vaughan R. Pratt.
The Duality of TIme and Information.

CONCUR '92, Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 2427, 1992, Proceedings 1992 
(0)

1992 

Conference paper
Vaughan R. Pratt.
Arithmetic + Logic + Geometry = Concurrency.

LATIN '92, 1st Latin American Symposium on Theoretical Informatics, São Paulo, Brazil, April 610, 1992, Proceedings 1992 
(0)

1992 

Conference paper
Vaughan R. Pratt.
Origins of the Calculus of Binary Relations

Proceedings, Seventh Annual IEEE Symposium on Logic in Computer Science, 2225 June 1992, Santa Cruz, California, USA 1992 
(0)

1992 

Conference paper
Vaughan R. Pratt.
Event Spaces and their Linear Logic.

Algebraic Methodology and Software Technology (AMAST '91), Proceedings of the Second International Conference on Methodology and Software Technology, Iowa City, USA, 2225 May 1991 1992 
(0)

1991 

Conference paper
Ross Casley, Roger F. Crew, José Meseguer, Vaughan R. Pratt.
Temporal Structures.

Mathematical Structures in Computer Science 1991, Volume 1 
(0)

1991 

Conference paper
Vaughan R. Pratt.
Modeling Concurrency with Geometry.

POPL 1991 
(0)

1991 

Conference paper
Vaughan R. Pratt.
Action Logic and Pure Induction.

Logics in AI, European Workshop, JELIA '90, Amsterdam, The Netherlands, September 1014, 1990, Proceedings 1991 
(0)

1990 

Conference paper
Ross Casley, Roger F. Crew, José Meseguer, Vaughan R. Pratt.
Temporal Structures.

Category Theory and Computer Science, Manchester, UK, September 58, 1989, Proceedings 1989 
(0)

1989 

Conference paper
Vaughan R. Pratt.
Dynamic algebras as a wellbehaved fragment of relation algebras.

Algebraic Logic and Universal Algebra in Computer Science, Conference, Ames, Iowa, USA, June 14, 1988, Proceedings 1990 
(0)

1988 

Conference paper
Haim Gaifman, Vaughan R. Pratt.
Partial Order Models of Concurrency and the Computation of Functions

Proceedings, Symposium on Logic in Computer Science, 2225 June 1987, Ithaca, New York, USA 1987 
(0)

1987 

Conference paper
SheueLing Lien, Michael Shantz, Vaughan R. Pratt.
Adaptive forward differencing for rendering curves and surfaces.

Proceedings of the 14th Annual Conference on Computer Graphics and Interactive Techniques, SIGGRAPH 1987, Anaheim, California, USA, July 2731, 1987 1987 
(0)

1987 

Conference paper
Vaughan R. Pratt.
Direct leastsquares fitting of algebraic surfaces.

Proceedings of the 14th Annual Conference on Computer Graphics and Interactive Techniques, SIGGRAPH 1987, Anaheim, California, USA, July 2731, 1987 1987 
(0)

1987 

Conference paper
Vaughan R. Pratt.
Some Constructions for OrderTheoretic Models of Concurrency.

Logics of Programs, Conference, Brooklyn College, June 1719, 1985, Proceedings 1985 
(0)

1985 

Conference paper
Charles A. Bigelow, Philippe Coueignoux, John Hobby, Peter Karow, Vaughan R. Pratt, Luis TrabbPardo, John E. Warnock.
Font formats (panel session).

Proceedings of the 12th Annual Conference on Computer Graphics and Interactive Techniques, SIGGRAPH 1985, San Francisco, California, USA, July 2226, 1985 1985 
(0)

1985 

Conference paper
Vaughan R. Pratt.
Techniques for conic splines.

Proceedings of the 12th Annual Conference on Computer Graphics and Interactive Techniques, SIGGRAPH 1985, San Francisco, California, USA, July 2226, 1985 1985 
(0)

1985 

Journal article
Vaughan R. Pratt.
Standards and Performance Issues in the Workstation Market.

IEEE Computer Graphics and Applications 1984, Volume 4 
(0)

1984 

Conference paper
Vaughan R. Pratt.
Standards and Performance Issues in the Workstation Market.

COMPCON'84, Digest of Papers, TwentyEighth IEEE Computer Society International Conference, San Francisco, California, USA, February 27  March 1, 1984 1984 
(0)

1984 

Conference paper
Vaughan R. Pratt.
The Pomset Model of Parallel Processes: Unifying the Temporal and the Spatial.

Seminar on Concurrency, CarnegieMellon University, Pittsburg, PA, USA, July 911, 1984 1985 
(0)

1984 

Conference paper
Vaughan R. Pratt.
Twoway Channel with Disconnect.

The Analysis of Concurrent Systems, Cambridge, September 1216, 1983, Proceedings 1985 
(0)

1983 

Conference paper
Vaughan R. Pratt.
Five Paradigm Shifts in Language Design and their Realization in Viron, a Dataflow Programming Environment.

POPL 1983 
(0)

1983 

Conference paper
Vaughan R. Pratt.
On the Composition of Processes.

POPL 1982 
(0)

1982 

Conference paper
Vaughan R. Pratt.
A Decidable muCalculus: Preliminary Report

22nd Annual Symposium on Foundations of Computer Science, Nashville, Tennessee, USA, 2830 October 1981 1981 
(0)

1981 

Conference paper
Vaughan R. Pratt.
Using Graphs to Understand PDL.

Logics of Programs, Workshop, Yorktown Heights, New York, May 1981 1982 
(0)

1981 

Conference paper
Michael Rodeh, Vaughan R. Pratt, Shimon Even.
Linear Algorithm for Data Compression via String Matching.

J. ACM 1981, Volume 28 
(0)

1981 

Conference paper
Vaughan R. Pratt.
Program Logic Without Binding is Decidable.

POPL 1981 
(0)

1981 

Conference paper
Vaughan R. Pratt.
Dynamic Algebras and the Nature of Induction

Proceedings of the 12th Annual ACM Symposium on Theory of Computing, April 2830, 1980, Los Angeles, California, USA 1980 
(0)

1980 

Conference paper
Vaughan R. Pratt.
A NearOptimal Method for Reasoning about Action.

J. Comput. Syst. Sci. 1980, Volume 20 
(0)

1980 

Conference paper
Vaughan R. Pratt.
On Specifying Verifiers.

POPL 1980 
(0)

1980 

Conference paper
Vaughan R. Pratt.
Models of Program Logics

20th Annual Symposium on Foundations of Computer Science, San Juan, Puerto Rico, 2931 October 1979 1979 
(0)

1979 

Conference paper
Vaughan R. Pratt.
Axioms or Algorithms.

Mathematical Foundations of Computer Science 1979, Proceedings, 8th Symposium, Olomouc, Czechoslovakia, September 37, 1979 1979 
(0)

1979 

Conference paper
Vaughan R. Pratt.
Process Logic.

POPL 1979 
(0)

1979 

Conference paper
Vaughan R. Pratt.
A Practical Decision Method for Propositional Dynamic Logic: Preliminary Report

Proceedings of the 10th Annual ACM Symposium on Theory of Computing, May 13, 1978, San Diego, California, USA 1978 
(0)

1978 

Conference paper
David Harel, Vaughan R. Pratt.
Nondeterminism in Logics of Programs.

POPL 1978 
(0)

1978 

Conference paper
Steven D. Litvintchouk, Vaughan R. Pratt.
A ProofChecker for Dynamic Logic.

IJCAI 1977 
(0)

1977 

Conference paper
David Harel, Albert R. Meyer, Vaughan R. Pratt.
Computability and Completeness in Logics of Programs (Preliminary Report)

Proceedings of the 9th Annual ACM Symposium on Theory of Computing, May 46, 1977, Boulder, Colorado, USA 1977 
(0)

1977 

Conference paper
Donald E. Knuth, James H. Morris Jr., Vaughan R. Pratt.
Fast Pattern Matching in Strings.

SIAM J. Comput. 1977, Volume 6 
(0)

1977 

Conference paper
Vaughan R. Pratt.
The Competence/Performance Dichotomy in Programming.

POPL 1977 
(0)

1977 

Conference paper
Ronald L. Rivest, Vaughan R. Pratt.
The Mutual Exclusion Problem for Unreliable Processes: Preliminary Report

17th Annual Symposium on Foundations of Computer Science, Houston, Texas, USA, 2527 October 1976 1976 
(0)

1976 

Conference paper
Vaughan R. Pratt.
Semantical Considerations on FloydHoare Logic

17th Annual Symposium on Foundations of Computer Science, Houston, Texas, USA, 2527 October 1976 1976 
(0)

1976 

Conference paper
Vaughan R. Pratt, Larry J. Stockmeyer.
A Characterization of the Power of Vector Machines.

J. Comput. Syst. Sci. 1976, Volume 12 
(0)

1976 

Conference paper
Vaughan R. Pratt.
The Effect of Basis on Size of Boolean Expressions

16th Annual Symposium on Foundations of Computer Science, Berkeley, California, USA, October 1315, 1975 1975 
(0)

1975 

Conference paper
Vaughan R. Pratt.
Every Prime has a Succinct Certificate.

SIAM J. Comput. 1975, Volume 4 
(0)

1975 

Conference paper
Vaughan R. Pratt.
The Power of Negative Thinking in Multiplying Boolean Matrices.

SIAM J. Comput. 1975, Volume 4 
(0)

1975 

Conference paper
Vaughan R. Pratt.
The Power of Negative Thinking in Multiplying Boolean Matrices

Proceedings of the 6th Annual ACM Symposium on Theory of Computing, April 30  May 2, 1974, Seattle, Washington, USA 1974 
(0)

1974 

Conference paper
Vaughan R. Pratt, Michael O. Rabin, Larry J. Stockmeyer.
A Characterization of the Power of Vector Machines

Proceedings of the 6th Annual ACM Symposium on Theory of Computing, April 30  May 2, 1974, Seattle, Washington, USA 1974 
(0)

1974 

Conference paper
Vaughan R. Pratt, F. Frances Yao.
On Lower Bounds for Computing the ith Largest Element

14th Annual Symposium on Switching and Automata Theory, Iowa City, Iowa, USA, October 1517, 1973 1973 
(0)

1973 

Conference paper
Vaughan R. Pratt.
A Linguistics Oriented Programming Language.

IJCAI 1973 
(0)

1973 

Conference paper
Vaughan R. Pratt.
Computing Permutations with DoubleEnded Queues, Parallel Stacks and Parallel Queues

Proceedings of the 5th Annual ACM Symposium on Theory of Computing, April 30  May 2, 1973, Austin, Texas, USA 1973 
(0)

1973 

Conference paper
Manuel Blum 0001, Robert W. Floyd, Vaughan R. Pratt, Ronald L. Rivest, Robert E. Tarjan.
Time Bounds for Selection.

J. Comput. Syst. Sci. 1973, Volume 7 
(0)

1973 

Conference paper
Vaughan R. Pratt.
Top Down Operator Precedence.

POPL 1973 
(0)

1973 

Conference paper
Vaughan R. Pratt.
An

Proceedings of a symposium on the Complexity of Computer Computations, held March 2022, 1972, at the IBM Thomas J. Watson Research Center, Yorktown Heights, New York. 1972 
(0)

1972 

Conference paper
Manuel Blum 0001, Robert W. Floyd, Vaughan R. Pratt, Ronald L. Rivest, Robert E. Tarjan.
Linear Time Bounds for Median Computations

Proceedings of the 4th Annual ACM Symposium on Theory of Computing, May 13, 1972, Denver, Colorado, USA 1972 
(0)

1972 