dblp.uni-trier.dewww.uni-trier.de

Vaughan R. Pratt Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2003
75EEVaughan R. Pratt: Comonoids in chu: a large cartesian closed sibling of topological spaces. Electr. Notes Theor. Comput. Sci. 82(1): (2003)
74 Vaughan R. Pratt: Transition And Cancellation In Concurrency And Branching Time. Mathematical Structures in Computer Science 13(4): 485-529 (2003)
73 Vaughan R. Pratt: Chu spaces as a semantic bridge between linear logic and mathematics. Theor. Comput. Sci. 294(3): 439-471 (2003)
2002
72EEVaughan R. Pratt: Event-State Duality: The Enriched Case. CONCUR 2002: 41-56
71EEDusko Pavlovic, Vaughan R. Pratt: The continuum as a final coalgebra. Theor. Comput. Sci. 280(1-2): 105-122 (2002)
2001
70EEVaughan R. Pratt: Software Geography: Physical and Economic Aspects. SOFSEM 2001: 336-346
69EERohit Parikh, Laxmi Parida, Vaughan R. Pratt: Sock Sorting: An Example of a Vague Algorithm. Logic Journal of the IGPL 9(5): (2001)
2000
68 Vaughan R. Pratt: Higher dimensional automata revisited. Mathematical Structures in Computer Science 10(4): 525-548 (2000)
1999
67EEGreg DeFouw, Vaughan R. Pratt: The Matchbox: A Small Wearable Platform. ISWC 1999: 172-175
66EEHarish Devarajan, Dominic J. D. Hughes, Gordon D. Plotkin, Vaughan R. Pratt: Full Completeness of the Multiplicative Linear Logic of Chu Spaces. LICS 1999: 234-242
65 Vaughan R. Pratt: Chu Spaces from the Representational Viewpoint. Ann. Pure Appl. Logic 96(1-3): 319-333 (1999)
64EEDusko Pavlovic, Vaughan R. Pratt: On coalgebra of real numbers. Electr. Notes Theor. Comput. Sci. 19: (1999)
1997
63EEVaughan R. Pratt: Towards full completeness of the linear logic of Chu spaces. Electr. Notes Theor. Comput. Sci. 6: (1997)
62EEVaughan R. Pratt: Types as processes, via Chu spaces. Electr. Notes Theor. Comput. Sci. 7: (1997)
1996
61 Vaughan R. Pratt: Concurrency Concepts - An Ongoing Search. ACM Comput. Surv. 28(4es): 54 (1996)
60EEVaughan R. Pratt: Broadening the denotational semantics of linear logic. Electr. Notes Theor. Comput. Sci. 3: (1996)
59 Vaughan R. Pratt, Jerzy Tiuryn: Satisfiability of Inequalities in a Poset. Fundam. Inform. 28(1-2): 165-182 (1996)
1995
58 Vaughan R. Pratt: The Stone Gamut: A Coordinatization of Mathematics LICS 1995: 444-454
57EEVaughan R. Pratt: Rational Mechanisms and Natural Mathematics. TAPSOFT 1995: 108-122
56EEVaughan R. Pratt: Anatomy of the Pentium Bug. TAPSOFT 1995: 97-107
55EEVaughan R. Pratt: Chu Spaces and Their Interpretation as Concurrent Objects. Computer Science Today 1995: 392-405
1994
54 Vaughan R. Pratt: Time and Information in Sequential and Concurrent Computation. Theory and Practice of Parallel Programming 1994: 1-24
1993
53 Vineet Gupta, Vaughan R. Pratt: Gages Accept Concurrent Behavior FOCS 1993: 62-71
52EEVaughan R. Pratt: The Second Calculus of Binary Relations. MFCS 1993: 142-155
1992
51EEVaughan R. Pratt: The Duality of TIme and Information. CONCUR 1992: 237-253
50 Vaughan R. Pratt: Arithmetic + Logic + Geometry = Concurrency. LATIN 1992: 430-447
49 Vaughan R. Pratt: Origins of the Calculus of Binary Relations LICS 1992: 248-254
1991
48 Vaughan R. Pratt: Event Spaces and their Linear Logic. AMAST 1991: 3-25
47 Vaughan R. Pratt: Modeling Concurrency with Geometry. POPL 1991: 311-322
46 Ross Casley, Roger F. Crew, José Meseguer, Vaughan R. Pratt: Temporal Structures. Mathematical Structures in Computer Science 1(2): 179-213 (1991)
1990
45EEVaughan R. Pratt: Action Logic and Pure Induction. JELIA 1990: 97-120
1989
44 Ross Casley, Roger F. Crew, José Meseguer, Vaughan R. Pratt: Temporal Structures. Category Theory and Computer Science 1989: 21-51
1988
43EEVaughan R. Pratt: Dynamic algebras as a well-behaved fragment of relation algebras. Algebraic Logic and Universal Algebra in Computer Science 1988: 77-110
1987
42 Haim Gaifman, Vaughan R. Pratt: Partial Order Models of Concurrency and the Computation of Functions LICS 1987: 72-85
41EESheue-Ling Lien, Michael Shantz, Vaughan R. Pratt: Adaptive forward differencing for rendering curves and surfaces. SIGGRAPH 1987: 111-118
40EEVaughan R. Pratt: Direct least-squares fitting of algebraic surfaces. SIGGRAPH 1987: 145-152
1985
39 Vaughan R. Pratt: Some Constructions for Order-Theoretic Models of Concurrency. Logic of Programs 1985: 269-283
38EEVaughan R. Pratt: Techniques for conic splines. SIGGRAPH 1985: 151-160
37EECharles A. Bigelow, Philippe Coueignoux, John Hobby, Peter Karow, Vaughan R. Pratt, Luis Trabb-Pardo, John E. Warnock: Font formats (panel session). SIGGRAPH 1985: 325
1984
36 Vaughan R. Pratt: Standards and Performance Issues in the Workstation Market. COMPCON 1984: 142-147
35EEVaughan R. Pratt: The Pomset Model of Parallel Processes: Unifying the Temporal and the Spatial. Seminar on Concurrency 1984: 180-196
1983
34 Vaughan R. Pratt: Five Paradigm Shifts in Language Design and their Realization in Viron, a Dataflow Programming Environment. POPL 1983: 1-9
33 Vaughan R. Pratt: Two-way Channel with Disconnect. The Analysis of Concurrent Systems 1983: 110-111
1982
32 Vaughan R. Pratt: On the Composition of Processes. POPL 1982: 213-223
1981
31 Vaughan R. Pratt: A Decidable mu-Calculus: Preliminary Report FOCS 1981: 421-427
30 Vaughan R. Pratt: Using Graphs to Understand PDL. Logic of Programs 1981: 387-396
29 Vaughan R. Pratt: Program Logic Without Binding is Decidable. POPL 1981: 159-163
28EEMichael Rodeh, Vaughan R. Pratt, Shimon Even: Linear Algorithm for Data Compression via String Matching. J. ACM 28(1): 16-24 (1981)
1980
27 Vaughan R. Pratt: On Specifying Verifiers. POPL 1980: 106-116
26 Vaughan R. Pratt: Dynamic Algebras and the Nature of Induction STOC 1980: 22-28
25 Vaughan R. Pratt: A Near-Optimal Method for Reasoning about Action. J. Comput. Syst. Sci. 20(2): 231-254 (1980)
1979
24 Vaughan R. Pratt: Models of Program Logics FOCS 1979: 115-122
23EEVaughan R. Pratt: Axioms or Algorithms. MFCS 1979: 160-169
22EEVaughan R. Pratt: Process Logic. POPL 1979: 93-100
1978
21 David Harel, Vaughan R. Pratt: Nondeterminism in Logics of Programs. POPL 1978: 203-213
20 Vaughan R. Pratt: A Practical Decision Method for Propositional Dynamic Logic: Preliminary Report STOC 1978: 326-337
1977
19 Steven D. Litvintchouk, Vaughan R. Pratt: A Proof-Checker for Dynamic Logic. IJCAI 1977: 552-558
18 Vaughan R. Pratt: The Competence/Performance Dichotomy in Programming. POPL 1977: 194-200
17 David Harel, Albert R. Meyer, Vaughan R. Pratt: Computability and Completeness in Logics of Programs (Preliminary Report) STOC 1977: 261-268
16 Donald E. Knuth, James H. Morris Jr., Vaughan R. Pratt: Fast Pattern Matching in Strings. SIAM J. Comput. 6(2): 323-350 (1977)
1976
15 Ronald L. Rivest, Vaughan R. Pratt: The Mutual Exclusion Problem for Unreliable Processes: Preliminary Report FOCS 1976: 1-8
14 Vaughan R. Pratt: Semantical Considerations on Floyd-Hoare Logic FOCS 1976: 109-121
13 Vaughan R. Pratt, Larry J. Stockmeyer: A Characterization of the Power of Vector Machines. J. Comput. Syst. Sci. 12(2): 198-221 (1976)
1975
12 Vaughan R. Pratt: The Effect of Basis on Size of Boolean Expressions FOCS 1975: 119-121
11 Vaughan R. Pratt: Every Prime has a Succinct Certificate. SIAM J. Comput. 4(3): 214-220 (1975)
10 Vaughan R. Pratt: The Power of Negative Thinking in Multiplying Boolean Matrices. SIAM J. Comput. 4(3): 326-330 (1975)
1974
9 Vaughan R. Pratt, Michael O. Rabin, Larry J. Stockmeyer: A Characterization of the Power of Vector Machines STOC 1974: 122-134
8 Vaughan R. Pratt: The Power of Negative Thinking in Multiplying Boolean Matrices STOC 1974: 80-83
1973
7 Vaughan R. Pratt, Foong Frances Yao: On Lower Bounds for Computing the i-th Largest Element FOCS 1973: 70-81
6 Vaughan R. Pratt: A Linguistics Oriented Programming Language. IJCAI 1973: 372-382
5 Vaughan R. Pratt: Top Down Operator Precedence. POPL 1973: 41-51
4 Vaughan R. Pratt: Computing Permutations with Double-Ended Queues, Parallel Stacks and Parallel Queues STOC 1973: 268-277
3 Manuel Blum, Robert W. Floyd, Vaughan R. Pratt, Ronald L. Rivest, Robert Endre Tarjan: Time Bounds for Selection. J. Comput. Syst. Sci. 7(4): 448-461 (1973)
1972
2 Vaughan R. Pratt: Shellsort and Sorting Networks Garland Publishing, New York 1972
1 Manuel Blum, Robert W. Floyd, Vaughan R. Pratt, Ronald L. Rivest, Robert Endre Tarjan: Linear Time Bounds for Median Computations STOC 1972: 119-124

Coauthor Index

1Charles A. Bigelow [37]
2Manuel Blum [1] [3]
3Ross Casley [44] [46]
4Philippe Coueignoux [37]
5Roger F. Crew [44] [46]
6Greg DeFouw [67]
7Harish Devarajan [66]
8Shimon Even [28]
9Robert W. Floyd [1] [3]
10Haim Gaifman [42]
11Vineet Gupta [53]
12David Harel [17] [21]
13John Hobby [37]
14Dominic J. D. Hughes [66]
15Peter Karow [37]
16Donald E. Knuth [16]
17Sheue-Ling Lien [41]
18Steven D. Litvintchouk [19]
19José Meseguer [44] [46]
20Albert R. Meyer [17]
21James H. Morris Jr. [16]
22Laxmi Parida [69]
23Rohit Parikh [69]
24Dusko Pavlovic [64] [71]
25Gordon D. Plotkin [66]
26Michael O. Rabin [9]
27Ronald L. Rivest [1] [3] [15]
28Michael Rodeh [28]
29Michael Shantz [41]
30Larry J. Stockmeyer [9] [13]
31Robert Endre Tarjan [1] [3]
32Jerzy Tiuryn [59]
33Luis Trabb-Pardo [37]
34John E. Warnock [37]
35F. Frances Yao (Frances F. Yao, Foong Frances Yao) [7]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)