Pratt, V.R. *Linear process algebra*,
ICDCIT'11 Proc. 7th Int. Conf. on Distributed
Computing and Internet Technology, 92-111 (Feb. 2011),
Springer-Verlag, Berlin, Heidelberg.

Pratt, V.R. *Communes via Yoneda, from an Elementary Perspective*,
Fundamenta Informaticae 103, 203–218, DOI 10.3233/FI-2010-325,
IOS Press, 2010.

Pratt, V.R., *Factoring Heron*, The College Mathematics Journal,
40:15-16, 2009.

Thrun, S. et al, *Stanley: The Robot that Won the DARPA Grand
Challenge,* Journal of Field Robotics 23(9), 661-692 (2006), Wiley
Periodicals Inc.

Pratt, V.R., *Transition and Cancellation in Concurrency and Branching
Time*, Math. Structures in Comp. Sci., 13:4, 485-529, August 2003.

Pratt, V.R., *Comonoids in chu: A large cartesian closed sibling
of topological spaces*, Proc. Workshop on Coalgebraic Methods in CS
(CMCS'03), Elsevier ENTCS 82:1, 1-12, July 2003.

Pratt, V.R., *Chu spaces as a semantic bridge between linear logic and
mathematics*, Invited paper, special issue on Linear Logic, ed. M. Okada,
TCS 294:3, 439-471, February 2003.

Pratt, V.R., *Event-state duality: the enriched case*, Keynote
paper, Proc. CONCUR'02, Springer-Verlag LNCS 2421, 41-56, Brno, Czech Republic,
August 2002.

Pavlovic, D. and Pratt, V.R., *The Continuum as a Final Coalgebra*,
Invited paper, special issue on Coalgebraic Methods in Computer
Science, TCS 280(1-2):105-122, May 2002.

Pratt, V.R., *Software Geography: Its Physical and Economic Aspects*,
Keynote paper, Proc. SOFSEM'01, Springer-Verlag LNCS 2234, Piestany,
Slovakia, November 2001.

Pratt, V.R., *Orthocurrence as both Interaction and Observation*,
Invited paper, Proc. Workshop on Spatial and Temporal Reasoning (ed.
R. Rodriguez and F. Anger), IJCAI'01, Seattle, August 2001.

Pratt, V.R., *Higher Dimensional Automata Revisited*, Invited paper,
special issue on Higher Dimensional Automata, ed. E. Goubault, MSCS
10:4, 525-548, August 2000.

DeFouw, G. and Pratt, V.R., *The Matchbox PC: A Small Wearable
Platform*, Third International Symposium on Wearable Computing, 172--175,
San Francisco, October 1999.

Devarajan, H., Hughes, D., Plotkin, G.D., and Pratt, V.R., *Full
completeness of the multiplicative linear logic of Chu spaces*,
Proceedings 14th Annual IEEE Symposium on Logic in Computer Science
(LICS'99, Ed. G. Longo), Trento, Italy, July 1999.

Pratt, V.R., **Chu Spaces**, Notes for School on Category Theory and
Applications, University of Coimbra, Portugal, July 13-17, 1999.

Pavlovic, D. and Pratt, V.R., *On Coalgebra of Real Numbers*,
Proceedings Workshop on Coalgebraic Methods in Computer Science
(CMCS'99), Amsterdam, March 1999.

Pratt, V.R., *Chu Spaces from the Representational Viewpoint*,
Invited paper, volume of *Annals of Pure and Applied Logic*
honoring R. Parikh, 96:319-313, 1999.

Pratt, V.R., **Proc. 13th Annual IEEE Symposium on Logic in Computer
Science** (editor), Brunswick, NJ, July, 1998.

Pratt, V.R., *Types as Processes, via Chu spaces*, Invited paper,
Proceedings *EXPRESS'97: Fourth Workshop on Expressiveness in
Concurrency*, Electronic Notes in Theoretical Computer Science,
Santa Margherita, Italy, September 1997,
ENTCS.

Pratt, V.R., *Towards Full Completeness for the Linear Logic of Chu
Spaces*, Proceedings, 13th Annual Conference on Mathematical Foundations
of Programming Semantics, Pittsburgh, March 1997.

Plotkin, G.D. and Pratt, V.R,, *Teams can see pomsets*, Workshop on
Partial Order Methods in Verification (Eds. Peled, Pratt, Holzmann),
Amer. Math. Soc., DIMACS series Vol. 29, 1997.

Peled, D.A, Pratt, V.R., and Holzmann, G.J. (editors), **Partial Order
Methods in Verification**, Amer. Math. Soc., DIMACS series Vol. 29,
1997.

Pratt, V.R., *Broadening the Denotational Semantics of Linear Logic*,
Invited paper, Proceedings *Linear Logic'96*, Tokyo, April 1996.
To appear in J. Theoretical Computer Science.

Pratt, V.R. and J. Tiuryn, *Satisfiability of Inequalities in a Poset*,
Fundamenta Informaticae, 28:1,2 (Nov. 1996), 165-182.

Pratt, V.R. *Chu Spaces and Their Interpretation as Concurrent
Objects,* Invited paper, *Computer Science Today: Recent Trends and
Developments* (ed. J. van Leeuwen), 392-405, Springer-Verlag LNCS 1000
(Commemorative Volume),
1995.

Pratt, V.R., *The Stone Gamut: A Coordinatization of Mathematics*,
Proc. LICS'95, 444-454, San Diego, CA, June 1995.

Pratt, V.R., *Anatomy of the Pentium Bug*, Invited Paper, Proc.
TAPSOFT'95, LNCS 915, 97-107, Aarhus, Denmark, May 1995.

Pratt, V.R., *Rational Mechanics and Natural Mathematics*, Invited
paper, Proc. TAPSOFT'95, LNCS 915, 108-122, Aarhus, Denmark, May 1995.

Coe, T., Mathisen, T., Moler, C., and Pratt, V., *Computational Aspects
of the Pentium Affair*, IEEE J. Computational Sci. and Eng., 2:1, 18-30,
Spring 1995.

Pratt, V.R., *Chu Spaces: Automata with Quantum Aspects*, Proc.
Workshop on Physics and Computation (PhysComp'94), 186-195, Dallas,
Nov. 1994.

Pratt, V.R., *Time and Information in Sequential and Concurrent
Computation*, Proc. Theory and Practice of Parallel Programming
(TPPP'94), 1-24, Sendai, Japan, Nov. 1994.

Gupta, V. and V.R. Pratt, *Gates Accept Concurrent Behavior*, Proc.
of 34th Ann. IEEE Symp. on Foundations of Computer Science, 62-71,
November 1993.

Pratt, V.R., *The Second Calculus of Binary Relations*, Proc. 18th
International Symposium on Mathematical Foundations of Computer
Science, Gdansk, Poland, Springer-Verlag, 142-155, September 1993.

Pratt, V.R., *A Roadmap of Some Two-Dimensional Logics*, Proc.
Workshop on Logic and Information Flow (ed. J. van Eijck and A.
Visser), 149-162, MIT Press, 1993.

Pratt, V.R., *Linear Logic for Generalized Quantum Mechanics*, Proc.
of Workshop on Physics and Computation (PhysComp'92), 166-180, IEEE,
Dallas, Oct, 1992.

Pratt, V.R., *The Duality of Time and Information*, Proc. Conf. on
Concurrency (CONCUR'92), LNCS 630, 237-253, Springer-Verlag,
Stonybrook, NY, August, 1992,

Pratt, V.R., *Origins of the Calculus of Binary Relations*, Proc. IEEE
Symp. on Logic in Computer Science, 248-254, Santa Cruz, CA, June,
1992.

Pratt, V.R., *Arithmetic + Logic + Geometry = Concurrency*, Proc.
Symposium Latin American Theoretical Informatics, LNCS 583, 430-447,
Sao Paulo, Brazil, April 1992.

Pratt, V.R., *Dynamic Algebras: Examples, Constructions, Applications*,
Studia Logica, 50:3/4, 571-605, 1992.

Pratt, V.R., *Event Spaces and Their Linear Logic*, Proc.
Second International Conference on Algebraic Methodology And Software
Technology, 1-23, Iowa City, Iowa, May, 1991.

Avrahami, G. and Pratt, V.R., *Sub-Pixel Edge Detection in Character
Digitization*, Proc. Raster Imaging and Digitization Technology,
Boston, 1991. In Raster Imaging and Digital Typography II, ed. Robert
A. Morris and Jacques Andre, 54-64, Cambridge University Press, 1991

Pratt, V.R., *Modeling Concurrency with Geometry*, Proc. 18th Ann. ACM
Symposium on Principles of Programming Languages, 311-322, January,
1991. Also Report No. STAN-CS-90-1342, CS Dept., Stanford, Nov. 1990.

Pratt, V.R., *Action Logic and Pure Induction*, Invited paper,
Logics in AI: European
Workshop JELIA '90, ed. J. van Eijck, LNCS 478, 97-120,
Springer-Verlag, Amsterdam, NL, Sep, 1990. Also Report No.
STAN-CS-90-1343, CS Dept., Stanford, Nov. 1990.

Pratt, V.R., *Dynamic algebras as a well-behaved fragment of relation
algebras*, Proc. Algebra and Computer Science, ed. Bergman, Maddux,
and Pigozzi, LNCS 425, 77-110, Springer-Verlag, 1990. Also Report No.
STAN-CS-90-1309, CS Dept., Stanford, 1990.

Casley, R.T., Crew, R.F., Meseguer, J., and Pratt, V.R., *Temporal
Structures*, Proc. Category Theory and Computer Science 1989, ed. D.
Pitt et al, LNCS 389, 21-51, Springer-Verlag, 1989. Revised journal
version in Mathematical Structures in Computer Science, Volume 1:2,
179-213, July 1991.

Pratt, V.R., *Enriched Categories and the Floyd-Warshall Connection*,
Proc. First International Conference on Algebraic
Methodology And Software Technology, 177-180, Iowa City, Iowa, May,
1989.

Pratt, V.R., *The future of information technology: A US perspective*,
Workshop on Research Priorities in Communications and Information
Technology, Vol. II, (eds. S.E. Garrett-Jones, B. Lamond, and T.
Thomas), Department of Industry, Technology and Commerce, Australian
Govt. Publishing Service, Canberra, 1988.

Pratt, V.R., *Direct Least Squares Fitting of Algebraic Surfaces*,
Computer Graphics 21, 4, 145-152, (SIGGRAPH 87), July 1987.

Lien, S.-L., Shantz, M., and Pratt, V.R., *Adaptive Forward
Differencing for Rendering Curves and Surfaces*, Computer Graphics 21,
4, 111-118, (SIGGRAPH 87), July 1987.

Gaifman, H., and Pratt, V.R., *Partial Order Models of Concurrency
and the Computation of Functions*, Proc. IEEE Symp. on Logic in Computer
Science, Ithaca, NY, 72-85, June, 1987.

Pratt, V.R., *Modeling Concurrency with Partial Orders*, IJPP, 15:1,
33-71, 1986.

Pratt, V.R., *Some Constructions for Order-Theoretic Models of
Concurrency*, Proc. Conf. on Logics of Programs, 269-283,
Springer-Verlag Lecture Notes in Computer Science LNCS 193, Brooklyn,
1985.

Pratt, V.R., *Techniques for Conic Splines*, Computer Graphics 19,
3, 151-159 (SIGGRAPH 85), July 1985.

Pratt, V.R., *Two-Way Channel with Disconnect*, in section 3.1.3 of
Denvir, T., W. Harwood, M. Jackson, and M. Ray, The Analysis of
Concurrent Systems, 110-111, LNCS 207, Springer-Verlag, 1985.

Pratt, V.R., *The Pomset Model of Parallel Processes: Unifying the
Temporal and the Spatial*, Proc. CMU/SERC Workshop on Analysis of
Concurrency, 180-196, Springer-Verlag Lecture Notes in Computer Science
LNCS 196, Pittsburgh, 1984.

Pratt, V.R., *Standards and Performance Issues in the Workstation
Market*, Computer Graphics and Applications, 4:4, 71-76, April, 1984.

Pratt, V.R., *Five Paradigm Shifts in Programming Language Design
and their Realization in the Programming Language Viron*, Proc. 10th Ann.
ACM Symposium on Principles of Programming Languages, January, 1983.

Pratt, V.R., *On the Composition of Processes*, Proc. 9th Ann.
ACM Symposium on Principles of Programming Languages, January, 1982.

Pratt, V.R., *A Decidable Mu-Calculus*, Proc. 22nd IEEE Conference on
Foundations of Computer Science, 421-427, October, 1981.

Pratt, V.R., *Using Graphs to Understand PDL*, Proc. IBM Conf. on
Logics of Programs, 387-396, LNCS 131, Springer-Verlag, May, 1981.

Rodeh, M., V.R. Pratt, and S. Even, *Linear Algorithm for Data
Compression via String Matching*, JACM, 28:1, 16-24, 1981.

Pratt, V.R., *Program Logic Without Binding is Decidable*, Proc. 8th
Ann. ACM Symposium on Principles of Programming Languages, 159-163,
January, 1981.

Pratt, V.R., *Application of Modal Logic to Programming*, Studia Logica,
34, 2/3, 257-274, 1980.

Pratt, V.R., Six Lectures on Dynamic Logic, Foundations of Computer Science III, Part 2, 53-82, Mathematical Centre Tracts 109, Amsterdam, 1980.

Pratt, V.R., *Dynamic Algebras and the Nature of Induction*, Proc.
12th ACM Symposium on Theory of Computing, 22-28, May 1980.

Pratt, V.R., *A Near-Optimal Method for Reasoning About Actions*,
JCSS, 20:2, 231-254, April, 1980.

Pratt, V.R., *On Specifying Verifiers*, Proc. 7th Ann. ACM Symposium on
Principles of Programming Languages, January, 1980.

Pratt, V.R., *Models of Program Logics*, Proc. 20th IEEE Conference
on Foundations of Computer Science, 115-122, October, 1979.

Pratt, V. R., *Axioms or Algorithms*, Proc. 6th Symposium on
Mathematical Foundations of Computer Science, 160-169, Sept., 1979.

Pratt, V.R., *LISP - A Mathematician's View*, Byte magazine, 162-168,
August, 1979.

Pratt, V.R., **Shellsort and Sorting Networks**, Garland Publishing,
Inc., New York, 1979. (Ph.D. Thesis, Computer Science Dept, Stanford
University, December 1971.)

Pratt, V.R., *Dynamic Logic*, Proc. 6th International Congress on
Logic, Philosophy, and Methodology of Science, August 1979.

Pratt, V.R., *Process Logic*, Proc. 6th Ann. ACM Symp. on
Principles of Programming Languages, Jan. 1979, 93-100.

Pratt, V.R., *LISP*, in Encyclopedia of Computer Sciences and
Technology, 10, (eds. Belzer, J., A. Holzmann and A. Kent), Marcel
Dekker, New York, 1978, 78-116.

Pratt, V.R., *A Practical Decision Method for Propositional Dynamic
Logic*, Proc. 10th Ann. ACM Symp. on Theory of Computing, Calif., May
1978, 326-337.

Harel, D., and V.R. Pratt, *Nondeterminism in Logics of Programs*,
Proc. 5th Annual ACM Symposium on Principles of Programming Languages,
January 1978, 203-213.

Litvintchouk, S.D., and V.R. Pratt, *A Proof Checker for Dynamic
Logic*, 5th International Joint Conference on Artificial Intelligence,
August 1977, 552-558.

Knuth, D.E., J.H. Morris, and V.R. Pratt, *Fast Pattern Matching in
Strings*, SIAM Journal on Computing, 6, 2, 1977, 323-350.

Harel, D., A.R. Meyer, and V.R. Pratt, *Computability and Completeness
in Logics of Programs*, Proc. 9th Annual ACM Symposium on Theory of
Computation, 1977, 261-268.

Pratt, V.R., *The Competence/Performance Dichotomy in Programming*,
Proc. 4th Annual ACM Symposium on Principles of Programming Languages,
1976, 194-200.

Pratt, V.R., *Semantical Considerations on Floyd-Hoare Logic*, Proc.
17th Annual IEEE Symposium on Foundations of Computer Science, 1976,
109-121.

Rivest, R.L., and V.R. Pratt, *The Mutual Exclusion Problem for
Unreliable Processes*, Proc. 17th Annual IEEE Symposium on Foundations
of Computer Science, 1-8, 1976.

Pratt, V.R., and L.J. Stockmeyer, *A Characterization of the Power of
Vector Machines*, JCSS, 12, 2, 1976, 198-221.

Pratt, V.R., *The Effect of Basis on the Size of Boolean
Expressions*, Proc. 16th Annual IEEE Symposium on Foundations of
Computer Science, 1975, 119-121.

Pratt, V.R., *The Power of Negative Thinking in Multiplying Boolean
Matrices*, SIAM Journal on Computing, 4:3, 326-330, 1975.

Pratt, V.R., *LINGOL - A Progress Report*, Proc. 4th
International Joint Conference on Artificial Intelligence,
422-428, Tbilisi, USSR, 1975.

Pratt, V.R., *Every Prime has a Succinct Certificate*, SIAM Journal
on Computing, 4:3, 214-220, 1975.

Pratt, V.R., M.O. Rabin, and L.J. Stockmeyer, *A Characterization of the
Power of Vector Machines*, Proc. 6th Annual ACM
Symposium on Theory of Computation, 122-134, 1974.

Pratt, V.R., *The Power of Negative Thinking in Multiplying Boolean
Matrices*, Proc. 6th Annual ACM Symposium on Theory of Computation,
80-83, 1974.

Blum, M., R. Floyd, V.R. Pratt, R.L. Rivest, and R.E. Tarjan, *Time
Bounds for Selection*, JCSS 7:4, 448-461, 1973.

Pratt, V.R., and F.F. Yao, *On Lower Bounds for Computing the ith
Largest Element*, Proc. 14th Annual IEEE Symposium on Switching
and Automata Theory, 70-81, Oct. 1973.

Pratt, V.R., *Top Down Operator Precedence*, Proc. ACM
Symposium on Principles of Programming Languages, 41-51, Oct. 1973.

Pratt, V.R., *A Least Upper Bound on Conventional Shellsort*, in
Combinatorial Algorithms, (ed. Rustin, R.), 31-38, Algorithmics Press,
N.Y., 1973.

Pratt, V.R., *A Linguistics Oriented Programming Language*, 3rd
International Joint Conference on Artificial Intelligence, 372-382,
1973.

Pratt, V.R., *Computing Permutations with Double-Ended Queues,
Parallel Stacks and Parallel Queues*, Proc. 5th Annual ACM Symposium
on Theory of Computation, 268-277, 1973.

Pratt, V.R., *An n log n Algorithm to Distribute n Records Optimally
in a Sequential Access File*, in Complexity of Computer Computations,
(ed. Miller, R., and J. Thatcher), 111-118, Plenum Press, N.Y., 1972.

Pratt, V.R., **Translation of English into Logical Expressions**, MS
Thesis, Basser Computing Dept, Sydney University, August 1969.