Vaughan Pratt
#3,416
Most Influential Person Now
Australian computer scientist
Vaughan Pratt's AcademicInfluence.com Rankings
Vaughan Prattcomputer-science Degrees
Computer Science
#310
World Rank
#323
Historical Rank
Database
#774
World Rank
#812
Historical Rank
Download Badge
Computer Science
Vaughan Pratt's Degrees
- PhD Computer Science Stanford University
Similar Degrees You Can Earn
Why Is Vaughan Pratt Influential?
(Suggest an Edit or Addition)According to Wikipedia, Vaughan Pratt is a Professor Emeritus at Stanford University, who was an early pioneer in the field of computer science. Since 1969, Pratt has made several contributions to foundational areas such as search algorithms, sorting algorithms, and primality testing. More recently, his research has focused on formal modeling of concurrent systems and Chu spaces.
Vaughan Pratt's Published Works
Number of citations in a given year to any of this author's works
Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author
Published Works
- Fast Pattern Matching in Strings (1977) (3069)
- Time Bounds for Selection (1973) (1313)
- Towards fully autonomous driving: Systems and algorithms (2011) (1064)
- SEMANTICAL CONSIDERATIONS ON FLOYD-HOARE LOGIC (1976) (681)
- Direct least-squares fitting of algebraic surfaces (1987) (618)
- Modeling concurrency with partial orders (1986) (354)
- Every Prime has a Succinct Certificate (1975) (321)
- Modeling concurrency with geometry (1991) (242)
- Semantical consideration on floyo-hoare logic (1976) (238)
- Linear Algorithm for Data Compression via String Matching (1981) (232)
- Models of program logics (1979) (229)
- Action Logic and Pure Induction (1990) (198)
- A Near-Optimal Method for Reasoning about Action (1980) (186)
- A characterization of the power of vector machines (1974) (149)
- Computing permutations with double-ended queues, parallel stacks and parallel queues (1973) (120)
- A practical decision method for propositional dynamic logic (Preliminary Report) (1978) (116)
- On the composition of processes (1982) (109)
- Two Easy Theories Whose Combination is Hard (2002) (102)
- Temporal Structures (1989) (100)
- A decidable mu-calculus: Preliminary report (1981) (96)
- Techniques for conic splines (1985) (95)
- Chu Spaces and Their Interpretation as Concurrent Objects (1995) (94)
- Dynamic algebras as a well-behaved fragment of relation algebras (1988) (93)
- Adaptive forward differencing for rendering curves and surfaces (1987) (88)
- Origins of the calculus of binary relations (1992) (86)
- Anatomy of the Pentium Bug (1995) (85)
- Computability and completeness in logics of programs (Preliminary Report) (1977) (84)
- Partial Order Models of Concurrency and the Computation of Functions (1987) (84)
- Process logic: preliminary report (1979) (76)
- Application of modal logic to programming (1980) (72)
- The Stone gamut: a coordinatization of mathematics (1995) (71)
- Nondeterminism in logics of programs (1978) (67)
- Dynamic algebras: Examples, constructions, applications (1991) (67)
- The Pomset Model of Parallel Processes: Unifying the Temporal and the Spatial (1984) (67)
- Cyanide-free Net-caught Fish for the Marine Aquarium Trade (2001) (65)
- Poison and Profits: Cyanide Fishing in the Indo-Pacific (1998) (61)
- Shellsort and Sorting Networks (1972) (58)
- Dynamic algebras and the nature of induction (1980) (57)
- Full completeness of the multiplicative linear logic of Chu spaces (1999) (57)
- Gates accept concurrent behavior (1993) (56)
- The power of negative thinking in multiplying Boolean matrices (1974) (55)
- Higher dimensional automata revisited (2000) (54)
- Linear time bounds for median computations (1972) (52)
- Satisfiability of Inequalities in a Poset (1996) (48)
- Chu Spaces (1999) (47)
- Transition and cancellation in concurrency and branching time (2003) (46)
- Partial Order Methods in Verification (1997) (43)
- On Lower Bounds for Computing the i-th Largest Element (1973) (41)
- Top down operator precedence (1973) (41)
- Event Spaces and their Linear Logic (1991) (40)
- LINGOL: a progress repor (1975) (38)
- The Second Calculus of Binary Relations (1993) (37)
- Chu Spaces from the Representational Viewpoint (1999) (36)
- Chu spaces as a semantic bridge between linear logic and mathematics (2003) (36)
- Computational aspects of the Pentium affair (1995) (36)
- Sub-pixel edge detection in character digitization (1991) (35)
- The Mutual Exclusion Problem for Unreliable Processes: Preliminary Report (1976) (34)
- The Duality of TIme and Information (1992) (34)
- Using Graphs to Understand PDL (1981) (31)
- Some Constructions for Order-Theoretic Models of Concurrency (1985) (25)
- On coalgebra of real numbers (1999) (25)
- Chu spaces: automata with quantum aspects (1994) (25)
- The effect of basis on size of Boolean expressions (1975) (24)
- The continuum as a final coalgebra (2002) (24)
- Thumbcode: A Device-Independent Digital Sign Language (2005) (22)
- An n log n Algorithm to Distribute n Records Optimally in a Sequential Access File (1972) (20)
- Types as processes, via Chu spaces (1999) (18)
- Rational Mechanisms and Natural Mathematics (1995) (18)
- A Linguistics Oriented Programming Language (1973) (18)
- Standards and Performance Issues in the Workstation Market (1984) (16)
- The Competence/Performance Dichotomy in Programming (1977) (14)
- Trends Determined by Cyanide Testing on Marine Aquarium Fish in the Philippines (2008) (13)
- Territorial Use Rights in Fisheries to Manage Areas for Farming Coral Reef Fish and Invertebrates for the Aquarium Trade (2001) (13)
- Towards full completeness of the linear logic of Chu spaces (1997) (13)
- Event-State Duality: The Enriched Case (2002) (13)
- Arithmetic + Logic + Geometry = Concurrency (1992) (13)
- Policy reform and community-based programmes to combat cyanide fishing in Philippines. (1997) (13)
- Teams can see pomsets (1996) (12)
- Age and size structure of the leopard coral grouper, Plectropomus leopardus (Serranidae: Epinephelinae), in the live reef fish trade of the Philippines (2000) (11)
- A Proof-Checker for Dynamic Logic (1977) (11)
- The Matchbox PC: a small wearable platform (1999) (10)
- Implicit Programming and the Logic of Constructible Duality (1997) (10)
- The competence/performance dichotomy in programming preliminary report (1977) (10)
- The mutual exclusion problem for unreliable processes (1976) (10)
- On specifying verifiers (1980) (9)
- Five paradigm shifts in programming language design and their realization in Viron, a dataflow programming environment (1983) (9)
- Workshop on Partial Order Methods in Verification (1996) (8)
- Orthocurrence as both Interaction and Observation (2005) (8)
- Proceedings of the DIMACS workshop on Partial order methods in verification (1997) (8)
- A roadmap of some two-dimensional logics (1994) (8)
- CGOL - an Alternative External Representation For LISP users (1976) (8)
- Two-way Channel with Disconnect (1983) (7)
- Two papers on the selection problem: Time Bounds for Selection [by Manual Blum, Robert W. Floyd, Vaughan Pratt, Ronald L. Rivest, and Robert E. Tarjan] and Expected Time Bounds for Selection [by Robert W. Floyd and Ronald L. Rivest]. (1973) (7)
- Time and Information in Sequential and Concurrent Computation (1994) (7)
- Satissability of Inequalities in a Poset (6)
- Broadening the denotational semantics of linear logic (1996) (6)
- Complementarity and Uncertainty in Rational Mechanics (1994) (6)
- Program logic without binding is decidable (1981) (5)
- Chu spaces: Complementarity and Uncertainty in Rational Mechanics (2004) (5)
- Dynamic Logic: A Personal Perspective (2017) (4)
- Axioms or Algorithms (1979) (4)
- Sock Sorting: An Example of a Vague Algorithm (2001) (4)
- Debate '90: An electronic discussion on true concurrency (1997) (4)
- Teams can see pomsets (preliminary version) (1997) (3)
- Comonoids in chu: a large cartesian closed sibling of topological spaces (2003) (3)
- Aristotle, Boole, and Categories (2017) (2)
- Attributes as dual types : a unification of presheaves and Chu spaces (2005) (2)
- ENRICHED CATEGORIES AND THE FLOYD-WARSHALL CONNECTION (2004) (2)
- Factoring Heron (2009) (2)
- Partial order methods in verification : DIMACS Workshop, July 24-26, 1996, (1997) (1)
- Chu realizes all small concrete categories (2005) (1)
- An Ekman Transport Mechanism for the Atlantic Multidecadal Oscillation (2014) (1)
- Communes via Yoneda, from an Elementary Perspective (2010) (1)
- Algorithms for Program Verification. (1982) (1)
- Parallel Algorithms for the All-Sources Generalized Shortest Paths Problem (1999) (1)
- Preface (2020) (0)
- CommonSense: a preprocessing system to identify errors in large transcribed corpora (2006) (0)
- APL and LISP—should they be combined, and if so how? (1979) (0)
- My time with Rob (2020) (0)
- APL and LISP - should they be combined, and if so how? (1979) (0)
- The Real Numbers, Algebraically: 10689 (2000) (0)
- A combinatorial analysis of the average time for open-address hash coding insertion (2012) (0)
- IF YOU PUT ONE BLOCK ON ANOTHER , CAN YOU THEN PICK UP THE LATTER ? (2007) (0)
- Arehighperformance andadherence tostandards mutually exclusive? Hereishowonecompanymanagedto balance these apparently opposing factors. Standards andPerformance Issues in theWorkstation Market (1984) (0)
- Model Complexity of Global Climate: Could Arrhenius have Foreseen the Hiatus? (2015) (0)
- The Four Essential Aristotelian Syllogisms, via Substitution and Symmetry (2021) (0)
- Workshop on formal verification: (VERkshop) (1980) (0)
- We Annotate Algorithm a with Complexities (1993) (0)
- Second Calculus of Binary Relations as a Concurrent Programming Language. (1997) (0)
- Concurrent ontology and the extensional conception of attribute (2009) (0)
- Subscription Information Order Information Back Issues Logic Journal of the Igpl (0)
- Linear Logic complements Classical Logic (2005) (0)
- amut: A Coordinatization of Mat (1995) (0)
- Font formats (panel session) (1985) (0)
- My time with Rob (2020) (0)
- Software Geography: Physical and Economic Aspects (2001) (0)
- Concurrency concepts: an ongoing search (1996) (0)
- MATH BITE : THE VOLUME OF A CONE, WITHOUT CALCULUS OR SQUARE ROOTS (1998) (0)
- Logics of Programs (1983) (0)
- Arrangement and method for adaptive vorwaertsdifferenzbildung in the generation of curves and surfaces (1988) (0)
- Papers on the Selection Problem Time Bounds for Selection Expected Time Bounds for Selection Time Bounds for Selection By (1998) (0)
- Linear Process Algebra (2011) (0)
- The Yoneda Lemma without category theory : algebra and applications (2009) (0)
- Hillsboro Club Invitational 2015 60s Mixed Doubles (2015) (0)
- Five Paradigm Shifts in Language Design and their Realization in Viron, a Dataflow Programming Environment. (1983) (0)
- CS 353B: Algebraic Logic II Chu Spaces and Linear Logic (2003) (0)
- A Roadmap of Some Two-Dimensional LogicsVaughan PrattDept (1994) (0)
This paper list is powered by the following services:
Other Resources About Vaughan Pratt
What Schools Are Affiliated With Vaughan Pratt?
Vaughan Pratt is affiliated with the following schools:
