Vaughan Pratt
Professor of Computer Science, Emeritus
Web page: http://boole.stanford.edu/pratt.html
Honors & Awards
-
Fellow, Association for Computing Machinery (1996)
Program Affiliations
-
Symbolic Systems Program
2023-24 Courses
-
Independent Studies (13)
- Advanced Reading and Research
CS 499 (Aut, Win, Spr, Sum) - Advanced Reading and Research
CS 499P (Aut, Win, Spr, Sum) - Curricular Practical Training
CS 390A (Aut, Win, Spr, Sum) - Curricular Practical Training
CS 390B (Aut, Win, Spr, Sum) - Curricular Practical Training
CS 390C (Aut, Win, Spr, Sum) - Independent Project
CS 399 (Aut, Win, Spr, Sum) - Independent Project
CS 399P (Aut, Win, Spr, Sum) - Independent Work
CS 199 (Aut, Win, Spr, Sum) - Independent Work
CS 199P (Aut, Win, Spr, Sum) - Part-time Curricular Practical Training
CS 390D (Aut, Win) - Programming Service Project
CS 192 (Aut, Win, Spr, Sum) - Senior Project
CS 191 (Aut, Win, Spr, Sum) - Writing Intensive Senior Research Project
CS 191W (Aut, Win, Spr)
- Advanced Reading and Research
All Publications
-
Preface
ACTA INFORMATICA
2020
View details for DOI 10.1007/s00236-020-00382-7
View details for Web of Science ID 000531510100011
-
My time with Rob
ACTA INFORMATICA
2020
View details for DOI 10.1007/s00236-020-00380-9
View details for Web of Science ID 000531510100014
-
Towards Fully Autonomous Driving: Systems and Algorithms
IEEE Intelligent Vehicles Symposium (IV)
IEEE. 2011: 163–168
View details for Web of Science ID 000298736200028
-
Linear Process Algebra
5th International Conference on Distributed Computing and Internet Technologies (ICDCIT)
SPRINGER-VERLAG BERLIN. 2011: 92–111
View details for Web of Science ID 000296894400006
-
Communes via Yoneda, from an Elementary Perspective
FUNDAMENTA INFORMATICAE
2010; 103 (1-4): 203-218
View details for DOI 10.3233/FI-2010-325
View details for Web of Science ID 000285459000011
-
Stanley: The robot that won the DARPA Grand Challenge
JOURNAL OF FIELD ROBOTICS
2006; 23 (9): 661-692
View details for DOI 10.1002/rob.20147
View details for Web of Science ID 000246146900004
-
CommonSense: A preprocessing system to identify errors in large transcribed corpora
Conference on Multisensor, Multisource Information Fusion
SPIE-INT SOC OPTICAL ENGINEERING. 2006
View details for DOI 10.1117/12.663836
View details for Web of Science ID 000239225800011
-
Chu spaces as a semantic bridge between linear logic and mathematics
THEORETICAL COMPUTER SCIENCE
2003; 294 (3): 439-471
View details for Web of Science ID 000181016700006
-
The continuum as a final coalgebra
2nd International Workshop on Coalgebraic Methods in Computer Science (CMCS)
ELSEVIER SCIENCE BV. 2002: 105–22
View details for Web of Science ID 000176133300005
-
Chu spaces from the representational viewpoint
ANNALS OF PURE AND APPLIED LOGIC
1999; 96 (1-3): 319-333
View details for Web of Science ID 000079234900017
-
COMPUTATIONAL ASPECTS OF THE PENTIUM AFFAIR
IEEE COMPUTATIONAL SCIENCE & ENGINEERING
1995; 2 (1): 18-30
View details for Web of Science ID A1995RB24900004
-
Chu spaces and their interpretation as concurrent objects
COMPUTER SCIENCE TODAY
1995; 1000: 392-405
View details for Web of Science ID A1995BG18S00024
-
The Stone gamut: A coordinatization of mathematics
10th Annual IEEE Symposium on Logic in Computer Science (LICS 95)
I E E E, COMPUTER SOC PRESS. 1995: 444–454
View details for Web of Science ID A1995BE13E00041
-
GATES ACCEPT CONCURRENT BEHAVIOR
34th Annual Symposium on Foundations of Computer Science (FOCS 93)
I E E E, COMPUTER SOC PRESS. 1993: 62–71
View details for Web of Science ID A1993BZ64D00007
-
ARITHMETIC PLUS LOGIC PLUS GEOMETRY = CONCURRENCY
LECTURE NOTES IN COMPUTER SCIENCE
1992; 583: 430-447
View details for Web of Science ID A1992JX27300036
-
ARITHMETIC PLUS LOGIC PLUS GEOMETRY = CONCURRENCY
1ST LATIN AMERICAN SYMP ON THEORETICAL INFORMATICS ( LATIN 92 )
SPRINGER-VERLAG BERLIN. 1992: 430–447
View details for Web of Science ID A1992BW86H00036
-
THE DUALITY OF TIME AND INFORMATION
3RD INTERNATIONAL CONF ON CONCURRENCY THEORY
SPRINGER-VERLAG BERLIN. 1992: 237–253
View details for Web of Science ID A1992BY27A00018
-
TEMPORAL STRUCTURES
LECTURE NOTES IN COMPUTER SCIENCE
1989; 389: 21-51
View details for Web of Science ID A1989AV19900003
-
MODELING CONCURRENCY WITH PARTIAL ORDERS
INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING
1986; 15 (1): 33-71
View details for Web of Science ID A1986F928500002
-
2-WAY CHANNEL WITH DISCONNECT
LECTURE NOTES IN COMPUTER SCIENCE
1985; 207: 110-111
View details for Web of Science ID A1985AXH9200007
-
2-WAY CHANNEL WITH DISCONNECT
LECTURE NOTES IN COMPUTER SCIENCE
1985; 207: 101-102
View details for Web of Science ID A1985AXH9200005
-
THE POMSET MODEL OF PARALLEL PROCESSES - UNIFYING THE TEMPORAL AND THE SPATIAL
LECTURE NOTES IN COMPUTER SCIENCE
1985; 197: 180-196
View details for Web of Science ID A1985ATV8600009