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

    Your query returned 76 matches in the database.