D-Index & Metrics Best Publications

D-Index & Metrics

Discipline name D-index D-index (Discipline H-index) only includes papers and citation values for an examined discipline in contrast to General H-index which accounts for publications across all disciplines. Citations Publications World Ranking National Ranking
Computer Science D-index 38 Citations 17,211 72 World Ranking 4927 National Ranking 2427

Research.com Recognitions

Awards & Achievements

1997 - ACM Fellow 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.

Overview

What is he best known for?

The fields of study he is best known for:

  • Programming language
  • Algorithm
  • Artificial intelligence

Vaughan R. Pratt mostly deals with Combinatorics, Discrete mathematics, Theoretical computer science, Probabilistic logic and Architecture. Vaughan R. Pratt combines subjects such as Linear function, Selection and Applied mathematics with his study of Combinatorics. In the subject of general Discrete mathematics, his work in Higher-order logic, Substructural logic and Intermediate logic is often linked to Equational logic, thereby combining diverse domains of study.

His study in Theoretical computer science is interdisciplinary in nature, drawing from both Parallel computing, Data compression, Partially ordered set, String and Compressed suffix array. His Probabilistic logic study integrates concerns from other disciplines, such as Robot, Software system, Inertial measurement unit and Desert. Along with Architecture, other disciplines of study including Intervention and Human–computer interaction are integrated into his research.

His most cited work include:

  • Fast Pattern Matching in Strings (2559 citations)
  • Stanley: The Robot that Won the DARPA Grand Challenge (1399 citations)
  • Time bounds for selection (1105 citations)

What are the main themes of his work throughout his whole career to date?

Vaughan R. Pratt mainly focuses on Discrete mathematics, Theoretical computer science, Algebra, Combinatorics and Algorithm. His work in Discrete mathematics covers topics such as Automaton which are related to areas like Event and Converse. His work deals with themes such as Computational complexity theory, Programming language, Concurrency and Software engineering, which intersect with Theoretical computer science.

His Algebra study combines topics from a wide range of disciplines, such as Generalization and Boolean function. In his study, which falls under the umbrella issue of Combinatorics, Linear function is strongly linked to Upper and lower bounds. His biological study spans a wide range of topics, including Pixel, Exponential function and Rendering.

He most often published in these fields:

  • Discrete mathematics (22.40%)
  • Theoretical computer science (17.60%)
  • Algebra (16.00%)

What were the highlights of his more recent work (between 2002-2020)?

  • Algebra (16.00%)
  • Discrete mathematics (22.40%)
  • Chu space (5.60%)

In recent papers he was focusing on the following fields of study:

His scientific interests lie mostly in Algebra, Discrete mathematics, Chu space, Artificial intelligence and Combinatorics. His Algebra research is multidisciplinary, incorporating elements of Predicate logic and Many-valued logic, Substructural logic. The Discrete mathematics study combines topics in areas such as Converse and Row.

His research in Artificial intelligence intersects with topics in Software system and Desert. His Software system research is multidisciplinary, relying on both Inertial measurement unit and Human–computer interaction. His study in the field of Complete partial order is also linked to topics like Main diagonal.

Between 2002 and 2020, his most popular works were:

  • Stanley: The Robot that Won the DARPA Grand Challenge (1399 citations)
  • Towards fully autonomous driving: Systems and algorithms (678 citations)
  • Stanley: The robot that won the DARPA Grand Challenge: Research Articles (106 citations)

In his most recent research, the most cited papers focused on:

  • Programming language
  • Algorithm
  • Artificial intelligence

His main research concerns Human–computer interaction, Robot, Artificial intelligence, Desert and Probabilistic logic. His research in Human–computer interaction intersects with topics in Sign language and Manually coded language. His Robot research includes themes of Software system and Inertial measurement unit.

This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.

Best Publications

Fast Pattern Matching in Strings

Donald E. Knuth;James H. Morris;Vaughan R. Pratt.
SIAM Journal on Computing (1977)

4033 Citations

Stanley: The Robot that Won the DARPA Grand Challenge

Sebastian Thrun;Michael Montemerlo;Hendrik Dahlkamp;David Stavens.
Journal of Field Robotics (2006)

2317 Citations

Time bounds for selection

Manuel Blum;Robert W. Floyd;Vaughan Pratt;Ronald L. Rivest.
Journal of Computer and System Sciences (1973)

1564 Citations

Modeling concurrency with partial orders

Vaughan Pratt.
International Journal of Parallel Programming (1986)

937 Citations

Towards fully autonomous driving: Systems and algorithms

Jesse Levinson;Jake Askeland;Jan Becker;Jennifer Dolson.
ieee intelligent vehicles symposium (2011)

891 Citations

Semantical consideration on floyo-hoare logic

Vaughan R. Pratt.
foundations of computer science (1976)

861 Citations

SEMANTICAL CONSIDERATIONS ON FLOYD-HOARE LOGIC

V. R. Pratt.
Journal of Symbolic Logic (1976)

727 Citations

Direct least-squares fitting of algebraic surfaces

Vaughan Pratt.
international conference on computer graphics and interactive techniques (1987)

658 Citations

Every Prime Has a Succinct Certificate

Vaughan R. Pratt.
SIAM Journal on Computing (1975)

427 Citations

Linear Algorithm for Data Compression via String Matching

Michael Rodeh;Vaughan R. Pratt;Shimon Even.
Journal of the ACM (1981)

280 Citations

If you think any of the details on this page are incorrect, let us know.

Contact us

Best Scientists Citing Vaughan R. Pratt

Amihood Amir

Amihood Amir

Bar-Ilan University

Publications: 69

Maxime Crochemore

Maxime Crochemore

King's College London

Publications: 57

Costas S. Iliopoulos

Costas S. Iliopoulos

King's College London

Publications: 51

David Harel

David Harel

Weizmann Institute of Science

Publications: 42

Gonzalo Navarro

Gonzalo Navarro

University of Chile

Publications: 40

Anand Srinivasan

Anand Srinivasan

Business International Corporation

Publications: 34

Gad M. Landau

Gad M. Landau

University of Haifa

Publications: 34

Dexter Kozen

Dexter Kozen

Cornell University

Publications: 32

Moshe Y. Vardi

Moshe Y. Vardi

Rice University

Publications: 31

Zvi Galil

Zvi Galil

Georgia Institute of Technology

Publications: 31

Joseph Y. Halpern

Joseph Y. Halpern

Cornell University

Publications: 27

André Platzer

André Platzer

Carnegie Mellon University

Publications: 24

Kunsoo Park

Kunsoo Park

Seoul National University

Publications: 23

Wojciech Rytter

Wojciech Rytter

University of Warsaw

Publications: 22

William F. Smyth

William F. Smyth

McMaster University

Publications: 22

Rohit Parikh

Rohit Parikh

City University of New York

Publications: 20

Something went wrong. Please try again later.