| Select a publication |
| Show |
Title |
Venue |
Rating |
Date |
|
Conference paper
Vaughan R. Pratt.
A combinatorial analysis of the average time for open-address 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.
Event-State Duality: The Enriched Case.
|
CONCUR 2002 - Concurrency Theory, 13th International Conference, Brno, Czech Republic, August 20-23, 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 |
|
|
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
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, 26-29 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 22-26, 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 22-26, 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 7-9, 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, 3-5 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 24-27, 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 6-10, 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, 22-25 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, 22-25 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 10-14, 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 5-8, 1989, Proceedings 1989 |
(0)
|
1989 |
|
|
Conference paper
Vaughan R. Pratt.
Dynamic algebras as a well-behaved fragment of relation algebras.
|
Algebraic Logic and Universal Algebra in Computer Science, Conference, Ames, Iowa, USA, June 1-4, 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, 22-25 June 1987, Ithaca, New York, USA 1987 |
(0)
|
1987 |
|
|
Conference paper
Sheue-Ling 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 1987 |
(0)
|
1987 |
|
|
Conference paper
Vaughan R. Pratt.
Direct least-squares fitting of algebraic surfaces.
|
Proceedings of the 14th Annual Conference on Computer Graphics and Interactive Techniques, SIGGRAPH 1987 1987 |
(0)
|
1987 |
|
|
Conference paper
Vaughan R. Pratt.
Some Constructions for Order-Theoretic Models of Concurrency.
|
Logics of Programs, Conference, Brooklyn College, June 17-19, 1985, Proceedings 1985 |
(0)
|
1985 |
|
|
Conference paper
Charles A. Bigelow, Philippe Coueignoux, John Hobby, Peter Karow, Vaughan R. Pratt, Luis Trabb-Pardo, John E. Warnock.
Font formats (panel session).
|
Proceedings of the 12th Annual Conference on Computer Graphics and Interactive Techniques, SIGGRAPH 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 1985 |
(0)
|
1985 |
|
|
Conference paper
Vaughan R. Pratt.
Standards and Performance Issues in the Workstation Market.
|
COMPCON'84, Digest of Papers, Twenty-Eighth 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, Carnegie-Mellon University, Pittsburg, PA, USA, July 9-11, 1984 1985 |
(0)
|
1984 |
|
|
Conference paper
Vaughan R. Pratt.
Two-way Channel with Disconnect.
|
The Analysis of Concurrent Systems, Cambridge, September 12-16, 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 mu-Calculus: Preliminary Report
|
22nd Annual Symposium on Foundations of Computer Science, Nashville, Tennessee, USA, 28-30 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 28-30, 1980, Los Angeles, California, USA 1980 |
(0)
|
1980 |
|
|
Conference paper
Vaughan R. Pratt.
A Near-Optimal 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, 29-31 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 3-7, 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 1-3, 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 Proof-Checker 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 4-6, 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, 25-27 October 1976 1976 |
(0)
|
1976 |
|
|
Conference paper
Vaughan R. Pratt.
Semantical Considerations on Floyd-Hoare Logic
|
17th Annual Symposium on Foundations of Computer Science, Houston, Texas, USA, 25-27 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 13-15, 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 i-th Largest Element
|
14th Annual Symposium on Switching and Automata Theory, Iowa City, Iowa, USA, October 15-17, 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 Double-Ended 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, Robert W. Floyd, Vaughan R. Pratt, Ronald L. Rivest, Robert Endre 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 20-22, 1972, at the IBM Thomas J. Watson Research Center, Yorktown Heights, New York. 1972 |
(0)
|
1972 |
|
|
Conference paper
Manuel Blum, Robert W. Floyd, Vaughan R. Pratt, Ronald L. Rivest, Robert Endre Tarjan.
Linear Time Bounds for Median Computations
|
Proceedings of the 4th Annual ACM Symposium on Theory of Computing, May 1-3, 1972, Denver, Colorado, USA 1972 |
(0)
|
1972 |
p/VRPratt