Publications
Search

Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: Vaughan R.
    Last name: Pratt
    DBLP: p/VRPratt
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 76 of 76  
    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
    Show item 1 to 76 of 76  

    Your query returned 76 matches in the database.