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

    Your query returned 76 matches in the database.