Vaughan R. Pratt

91 papers A* 32B 9Misc 2Journal 25Unranked 20

Year	Rank	Type	Title / Venue / Authors
2020	J	`jnl`	My time with Rob. Acta Informatica Vaughan R. Pratt
2020	J	`jnl`	Preface. Acta Informatica Peter Höfner, Carroll Morgan, Vaughan R. Pratt
2017	—	`conf`	Dynamic Logic: A Personal Perspective. DALI@TABLEAUX Vaughan R. Pratt
2012	J	`jnl`	A combinatorial analysis of the average time for open-address hash coding insertion CoRR Vaughan R. Pratt
2011	Misc	`conf`	Linear Process Algebra. ICDCIT Vaughan R. Pratt
2011	B	`conf`	Towards fully autonomous driving: Systems and algorithms. Intelligent Vehicles Symposium Jesse Levinson, Jake Askeland, Jan Becker, Jennifer Dolson, David Held, Sören Kammel, J. Zico Kolter, Dirk Langer, Oliver Pink, Vaughan R. Pratt, Michael Sokolsky, Ganymed Stanek, David Michael Stavens, Alex Teichman, Moritz Werling, Sebastian Thrun
2010	J	`jnl`	Communes via Yoneda, from an Elementary Perspective. Fundam. Informaticae Vaughan R. Pratt
2006	J	`jnl`	Stanley: The robot that won the DARPA Grand Challenge. J. Field Robotics Sebastian Thrun, Michael Montemerlo, Hendrik Dahlkamp, David Stavens, Andrei Aron, James Diebel, Philip W. Fong, John Gale, Morgan Halpenny, Gabriel Hoffmann, Kenny Lau, Celia M. Oakley, Mark Palatucci, Vaughan R. Pratt, Pascal Stang, Sven Strohband, Cedric Dupont, Lars-Erik Jendrossek, Christian Koelen, Charles Markey, Carlo Rummel, Joe van Niekerk, Eric Jensen, Philippe Alessandrini, Gary R. Bradski, Bob Davies, Scott Ettinger, Adrian Kaehler, Ara V. Nefian, Pamela Mahoney
2003	J	`jnl`	Chu spaces as a semantic bridge between linear logic and mathematics. Theor. Comput. Sci. Vaughan R. Pratt
2003	—	`conf`	Comonoids in chu: a large cartesian closed sibling of topological spaces. CMCS Vaughan R. Pratt
2003	J	`jnl`	Transition And Cancellation In Concurrency And Branching Time. Math. Struct. Comput. Sci. Vaughan R. Pratt
2002	B	`conf`	Event-State Duality: The Enriched Case. CONCUR Vaughan R. Pratt
2002	J	`jnl`	The continuum as a final coalgebra. Theor. Comput. Sci. Dusko Pavlovic, Vaughan R. Pratt
2001	J	`jnl`	Sock Sorting: An Example of a Vague Algorithm. Log. J. IGPL Rohit Parikh, Laxmi Parida, Vaughan R. Pratt
2001	B	`conf`	Software Geography: Physical and Economic Aspects. SOFSEM Vaughan R. Pratt
2000	J	`jnl`	Higher dimensional automata revisited. Math. Struct. Comput. Sci. Vaughan R. Pratt
2000	J	`jnl`	The Real Numbers, Algebraically: 10689. Am. Math. Mon. Donald E. Knuth, Vaughan R. Pratt, O. P. Lossers
1999	J	`jnl`	Chu Spaces from the Representational Viewpoint. Ann. Pure Appl. Log. Vaughan R. Pratt
1999	A*	`conf`	Full Completeness of the Multiplicative Linear Logic of Chu Spaces. LICS Harish Devarajan, Dominic J. D. Hughes, Gordon D. Plotkin, Vaughan R. Pratt
1999	—	`conf`	On coalgebra of real numbers. CMCS Dusko Pavlovic, Vaughan R. Pratt
1999	Misc	`conf`	The Matchbox: A Small Wearable Platform. ISWC Greg DeFouw, Vaughan R. Pratt
1997	B	`conf`	Towards full completeness of the linear logic of Chu spaces. MFPS Vaughan R. Pratt
1997	—	`conf`	Types as processes, via Chu spaces. EXPRESS Vaughan R. Pratt
1996	—	`conf`	Broadening the denotational semantics of linear logic. Linear Logic Tokyo Meeting Vaughan R. Pratt
1996	J	`jnl`	Concurrency Concepts - An Ongoing Search. ACM Comput. Surv. Vaughan R. Pratt
1996	—	`ed.`	Partial Order Methods in Verification, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, July 24-26, 1996 Partial Order Methods in Verification Doron A. Peled, Vaughan R. Pratt, Gerard J. Holzmann
1996	J	`jnl`	Satisfiability of Inequalities in a Poset. Fundam. Informaticae Vaughan R. Pratt, Jerzy Tiuryn
1996	—	`conf`	Teams can see pomsets. Partial Order Methods in Verification Gordon D. Plotkin, Vaughan R. Pratt
1995	—	`conf`	Anatomy of the Pentium Bug. TAPSOFT Vaughan R. Pratt
1995	—	`ch.`	Chu Spaces and Their Interpretation as Concurrent Objects. Computer Science Today Vaughan R. Pratt
1995	—	`conf`	Rational Mechanisms and Natural Mathematics. TAPSOFT Vaughan R. Pratt
1995	A*	`conf`	The Stone Gamut: A Coordinatization of Mathematics LICS Vaughan R. Pratt
1994	—	`conf`	Time and Information in Sequential and Concurrent Computation. Theory and Practice of Parallel Programming Vaughan R. Pratt
1993	A*	`conf`	Gages Accept Concurrent Behavior FOCS Vineet Gupta, Vaughan R. Pratt
1993	B	`conf`	The Second Calculus of Binary Relations. MFCS Vaughan R. Pratt
1992	B	`conf`	Arithmetic + Logic + Geometry = Concurrency. LATIN Vaughan R. Pratt
1992	A*	`conf`	Origins of the Calculus of Binary Relations LICS Vaughan R. Pratt
1992	B	`conf`	The Duality of TIme and Information. CONCUR Vaughan R. Pratt
1991	J	`jnl`	Dynamic algebras: Examples, constructions, applications. Stud Logica Vaughan R. Pratt
1991	—	`conf`	Event Spaces and their Linear Logic. AMAST Vaughan R. Pratt
1991	A*	`conf`	Modeling Concurrency with Geometry. POPL Vaughan R. Pratt
1991	J	`jnl`	Temporal Structures. Math. Struct. Comput. Sci. Ross Casley, Roger F. Crew, José Meseguer, Vaughan R. Pratt
1990	B	`conf`	Action Logic and Pure Induction. JELIA Vaughan R. Pratt
1989	—	`conf`	Temporal Structures. Category Theory and Computer Science Ross Casley, Roger F. Crew, José Meseguer, Vaughan R. Pratt
1988	—	`conf`	Dynamic algebras as a well-behaved fragment of relation algebras. Algebraic Logic and Universal Algebra in Computer Science Vaughan R. Pratt
1987	A*	`conf`	Adaptive forward differencing for rendering curves and surfaces. SIGGRAPH Sheue-Ling Lien, Michael Shantz, Vaughan R. Pratt
1987	A*	`conf`	Direct least-squares fitting of algebraic surfaces. SIGGRAPH Vaughan R. Pratt
1987	A*	`conf`	Partial Order Models of Concurrency and the Computation of Functions LICS Haim Gaifman, Vaughan R. Pratt
1986	J	`jnl`	Modeling concurrency with partial orders. Int. J. Parallel Program. Vaughan R. Pratt
1985	A*	`conf`	Font formats (panel session). SIGGRAPH Charles A. Bigelow, Philippe Coueignoux, John Hobby, Peter Karow, Vaughan R. Pratt, Luis Trabb Pardo, John E. Warnock
1985	—	`conf`	Some Constructions for Order-Theoretic Models of Concurrency. Logic of Programs Vaughan R. Pratt
1985	A*	`conf`	Techniques for conic splines. SIGGRAPH Vaughan R. Pratt
1984	—	`conf`	Standards and Performance Issues in the Workstation Market. COMPCON Vaughan R. Pratt
1984	J	`jnl`	Standards and Performance Issues in the Workstation Market. IEEE Computer Graphics and Applications Vaughan R. Pratt
1984	—	`conf`	The Pomset Model of Parallel Processes: Unifying the Temporal and the Spatial. Seminar on Concurrency Vaughan R. Pratt
1983	A*	`conf`	Five Paradigm Shifts in Language Design and their Realization in Viron, a Dataflow Programming Environment. POPL Vaughan R. Pratt
1983	—	`conf`	Two-way Channel with Disconnect. The Analysis of Concurrent Systems Vaughan R. Pratt
1982	A*	`conf`	On the Composition of Processes. POPL Vaughan R. Pratt
1981	A*	`conf`	A Decidable mu-Calculus: Preliminary Report FOCS Vaughan R. Pratt
1981	J	`jnl`	Linear Algorithm for Data Compression via String Matching. J. ACM Michael Rodeh, Vaughan R. Pratt, Shimon Even
1981	A*	`conf`	Program Logic Without Binding is Decidable. POPL Vaughan R. Pratt
1981	—	`conf`	Using Graphs to Understand PDL. Logic of Programs Vaughan R. Pratt
1980	J	`jnl`	A Near-Optimal Method for Reasoning about Action. J. Comput. Syst. Sci. Vaughan R. Pratt
1980	A*	`conf`	Dynamic Algebras and the Nature of Induction STOC Vaughan R. Pratt
1980	A*	`conf`	On Specifying Verifiers. POPL Vaughan R. Pratt
1979	—	`conf`	APL and LISP - should they be combined, and if so how? APL Alan J. Perlis, William H. Burge, Joel Moses, Vaughan R. Pratt
1979	B	`conf`	Axioms or Algorithms. MFCS Vaughan R. Pratt
1979	A*	`conf`	Models of Program Logics FOCS Vaughan R. Pratt
1979	A*	`conf`	Process Logic. POPL Vaughan R. Pratt
1978	A*	`conf`	A Practical Decision Method for Propositional Dynamic Logic: Preliminary Report STOC Vaughan R. Pratt
1978	A*	`conf`	Nondeterminism in Logics of Programs. POPL David Harel, Vaughan R. Pratt
1977	A*	`conf`	A Proof-Checker for Dynamic Logic. IJCAI Steven D. Litvintchouk, Vaughan R. Pratt
1977	A*	`conf`	Computability and Completeness in Logics of Programs (Preliminary Report) STOC David Harel, Albert R. Meyer, Vaughan R. Pratt
1977	J	`jnl`	Fast Pattern Matching in Strings. SIAM J. Comput. Donald E. Knuth, James H. Morris Jr., Vaughan R. Pratt
1977	A*	`conf`	The Competence/Performance Dichotomy in Programming. POPL Vaughan R. Pratt
1976	J	`jnl`	A Characterization of the Power of Vector Machines. J. Comput. Syst. Sci. Vaughan R. Pratt, Larry J. Stockmeyer
1976	A*	`conf`	Semantical Considerations on Floyd-Hoare Logic FOCS Vaughan R. Pratt
1976	A*	`conf`	The Mutual Exclusion Problem for Unreliable Processes: Preliminary Report FOCS Ronald L. Rivest, Vaughan R. Pratt
1975	J	`jnl`	Every Prime has a Succinct Certificate. SIAM J. Comput. Vaughan R. Pratt
1975	A*	`conf`	The Effect of Basis on Size of Boolean Expressions FOCS Vaughan R. Pratt
1975	J	`jnl`	The Power of Negative Thinking in Multiplying Boolean Matrices. SIAM J. Comput. Vaughan R. Pratt
1974	A*	`conf`	A Characterization of the Power of Vector Machines STOC Vaughan R. Pratt, Michael O. Rabin, Larry J. Stockmeyer
1974	A*	`conf`	The Power of Negative Thinking in Multiplying Boolean Matrices STOC Vaughan R. Pratt
1973	A*	`conf`	A Linguistics Oriented Programming Language. IJCAI Vaughan R. Pratt
1973	A*	`conf`	Computing Permutations with Double-Ended Queues, Parallel Stacks and Parallel Queues STOC Vaughan R. Pratt
1973	—	`conf`	On Lower Bounds for Computing the i-th Largest Element SWAT Vaughan R. Pratt, Foong Frances Yao
1973	J	`jnl`	Time Bounds for Selection. J. Comput. Syst. Sci. Manuel Blum, Robert W. Floyd, Vaughan R. Pratt, Ronald L. Rivest, Robert Endre Tarjan
1973	A*	`conf`	Top Down Operator Precedence. POPL Vaughan R. Pratt
1972	—	`conf`	An Complexity of Computer Computations Vaughan R. Pratt
1972	A*	`conf`	Linear Time Bounds for Median Computations STOC Manuel Blum, Robert W. Floyd, Vaughan R. Pratt, Ronald L. Rivest, Robert Endre Tarjan
1972	—	`book`	Shellsort and Sorting Networks Vaughan R. Pratt