The SCEAS System
| |||||||

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

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |