Vaughan R. Pratt
According to our database^{1},
Vaughan R. Pratt
authored at least 86 papers
between 1972 and 2020.
Collaborative distances:
Collaborative distances:
Awards
ACM Fellow
ACM Fellow 1997, "An outstanding computer scientist, with unusually diverse, original and deep accomplishments, like showing primes in NP, inventing dynamic logic, helping start SUN, and solidifying concurrency.".
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Homepages:

at id.loc.gov

at andrej.com

at dl.acm.org
On csauthors.net:
Bibliography
2020
Acta Informatica, 2020
Acta Informatica, 2020
2017
Proceedings of the Dynamic Logic. New Trends and Applications, 2017
2012
A combinatorial analysis of the average time for openaddress hash coding insertion
CoRR, 2012
2011
Proceedings of the IEEE Intelligent Vehicles Symposium (IV), 2011
Proceedings of the Distributed Computing and Internet Technology, 2011
2010
Fundam. Informaticae, 2010
2006
J. Field Robotics, 2006
2003
Theor. Comput. Sci., 2003
Math. Struct. Comput. Sci., 2003
Proceedings of the 6th International Workshop on Coalgebraic Methods in Computer Science, 2003
2002
Theor. Comput. Sci., 2002
Proceedings of the CONCUR 2002, 2002
2001
Log. J. IGPL, 2001
Proceedings of the SOFSEM 2001: Theory and Practice of Informatics, 28th Conference on Current Trends in Theory and Practice of Informatics Piestany, Slovak Republic, November 24, 2001
2000
Am. Math. Mon., 2000
Math. Struct. Comput. Sci., 2000
1999
Proceedings of the Coalgebraic Methods in Computer Science, 1999
Ann. Pure Appl. Log., 1999
Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science, 1999
Proceedings of the Third International Symposium on Wearable Computers (ISWC 1999), 1999
1997
Proceedings of the International Workshop on Expressiveness in Concurrency, 1997
Proceedings of the Thirteenth Annual Conference on Mathematical Foundations of Progamming Semantics, 1997
1996
Fundam. Informaticae, 1996
Electron. Notes Theor. Comput. Sci., 1996
ACM Comput. Surv., 1996
Proceedings of the Partial Order Methods in Verification, Proceedings of a DIMACS Workshop, 1996
1995
Proceedings of the TAPSOFT'95: Theory and Practice of Software Development, 1995
Proceedings of the TAPSOFT'95: Theory and Practice of Software Development, 1995
Proceedings of the Proceedings, 1995
Proceedings of the Computer Science Today: Recent Trends and Developments, 1995
1994
Proceedings of the Theory and Practice of Parallel Programming, 1994
1993
Proceedings of the Mathematical Foundations of Computer Science 1993, 1993
Proceedings of the 34th Annual Symposium on Foundations of Computer Science, 1993
1992
Proceedings of the Seventh Annual Symposium on Logic in Computer Science (LICS '92), 1992
Proceedings of the LATIN '92, 1992
Proceedings of the CONCUR '92, 1992
1991
Stud Logica, 1991
Math. Struct. Comput. Sci., 1991
Proceedings of the Conference Record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages, 1991
Event Spaces and their Linear Logic.
Proceedings of the Algebraic Methodology and Software Technology (AMAST '91), 1991
1990
Proceedings of the Logics in AI, European Workshop, 1990
1988
Proceedings of the Algebraic Logic and Universal Algebra in Computer Science, Conference, 1988
1987
Proceedings of the 14th Annual Conference on Computer Graphics and Interactive Techniques, 1987
Proceedings of the 14th Annual Conference on Computer Graphics and Interactive Techniques, 1987
Partial Order Models of Concurrency and the Computation of Functions
Proceedings of the Symposium on Logic in Computer Science (LICS '87), 1987
1986
Int. J. Parallel Program., 1986
1985
Proceedings of the 12th Annual Conference on Computer Graphics and Interactive Techniques, 1985
Proceedings of the 12th Annual Conference on Computer Graphics and Interactive Techniques, 1985
Proceedings of the Logics of Programs, 1985
1984
IEEE Computer Graphics and Applications, 1984
Proceedings of the Seminar on Concurrency, 1984
1983
Five Paradigm Shifts in Language Design and their Realization in Viron, a Dataflow Programming Environment.
Proceedings of the Conference Record of the Tenth Annual ACM Symposium on Principles of Programming Languages, 1983
Proceedings of the Analysis of Concurrent Systems, 1983
1982
Proceedings of the Conference Record of the Ninth Annual ACM Symposium on Principles of Programming Languages, 1982
1981
J. ACM, 1981
Proceedings of the Conference Record of the Eighth Annual ACM Symposium on Principles of Programming Languages, 1981
Proceedings of the Logics of Programs, Workshop, Yorktown Heights, New York, USA, May 1981, 1981
Proceedings of the 22nd Annual Symposium on Foundations of Computer Science, 1981
1980
J. Comput. Syst. Sci., 1980
Proceedings of the 12th Annual ACM Symposium on Theory of Computing, 1980
Proceedings of the Conference Record of the Seventh Annual ACM Symposium on Principles of Programming Languages, 1980
1979
Proceedings of the Conference Record of the Sixth Annual ACM Symposium on Principles of Programming Languages, 1979
Proceedings of the Mathematical Foundations of Computer Science 1979, 1979
Proceedings of the 20th Annual Symposium on Foundations of Computer Science, 1979
1978
Proceedings of the 10th Annual ACM Symposium on Theory of Computing, 1978
Proceedings of the Conference Record of the Fifth Annual ACM Symposium on Principles of Programming Languages, 1978
1977
SIAM J. Comput., 1977
Proceedings of the 9th Annual ACM Symposium on Theory of Computing, 1977
Proceedings of the Conference Record of the Fourth ACM Symposium on Principles of Programming Languages, 1977
Proceedings of the 5th International Joint Conference on Artificial Intelligence. Cambridge, 1977
1976
J. Comput. Syst. Sci., 1976
Proceedings of the 17th Annual Symposium on Foundations of Computer Science, 1976
Proceedings of the 17th Annual Symposium on Foundations of Computer Science, 1976
1975
SIAM J. Comput., 1975
SIAM J. Comput., 1975
Proceedings of the 16th Annual Symposium on Foundations of Computer Science, 1975
1974
Proceedings of the 6th Annual ACM Symposium on Theory of Computing, April 30, 1974
1973
J. Comput. Syst. Sci., 1973
Computing Permutations with DoubleEnded Queues, Parallel Stacks and Parallel Queues
Proceedings of the 5th Annual ACM Symposium on Theory of Computing, April 30, 1973
Proceedings of the Conference Record of the ACM Symposium on Principles of Programming Languages, 1973
Proceedings of the 3rd International Joint Conference on Artificial Intelligence. Standford, 1973
Proceedings of the 14th Annual Symposium on Switching and Automata Theory, 1973
1972
Proceedings of the 4th Annual ACM Symposium on Theory of Computing, 1972
An <i>n log n</i> Algorithm to Distribute <i>n</i> Records Optimally in a Sequential Access File.
Proceedings of a symposium on the Complexity of Computer Computations, 1972
Shellsort and Sorting Networks
Outstanding Dissertations in the Computer Sciences, Garland Publishing, New York, ISBN: 0824044061, 1972