ACM Turing Award Lectures
Latest Publications

TOTAL DOCUMENTS

44

(FIVE YEARS 0)

H-INDEX

6

(FIVE YEARS 0)

Published By Association Of Computing Machinery

9781450310499

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Complexity of computations

ACM Turing Award Lectures ◽

10.1145/1283920.1283931 ◽

2011 ◽

pp. 1976

Author(s):

Michael O. Rabin

Download Full-text

Elements of interaction

ACM Turing Award Lectures ◽

10.1145/1283920.1283948 ◽

2011 ◽

pp. 1991 ◽

Cited By ~ 3

Author(s):

Robin Milner

Download Full-text

Computing vs. Human Thinking

ACM Turing Award Lectures ◽

10.1145/1283920.1961921 ◽

2011 ◽

pp. 2005

Author(s):

Peter Naur

Keyword(s):

Human Thinking

Download Full-text

An overview of computational complexity

ACM Turing Award Lectures ◽

10.1145/1283920.1283938 ◽

2011 ◽

pp. 1982

Author(s):

Stephen A. Cook

Keyword(s):

Computational Complexity

Download Full-text

How the "what" becomes the "how"

ACM Turing Award Lectures ◽

10.1145/1283920.1283951 ◽

2011 ◽

pp. 1994

Author(s):

Edward A. Feigenbaum

Download Full-text

The Quest for Correctness Beyond Verification

ACM Turing Award Lectures ◽

10.1145/1283920.1962393 ◽

2011 ◽

pp. 2007

Author(s):

Joseph Sifakis

Download Full-text

Assessing the Internet: Lessons Learned, Strategies for Evolution, and Future Possibilities

ACM Turing Award Lectures ◽

10.1145/1283920.1961919 ◽

2011 ◽

pp. 2004

Author(s):

Vinton Cerf ◽

Robert E. Kahn

Keyword(s):

Lessons Learned ◽

The Internet

Download Full-text

Cryptography: State of the science

ACM Turing Award Lectures ◽

10.1145/1283920.1961903 ◽

2011 ◽

pp. 2002 ◽

Cited By ~ 2

Author(s):

Adi Shamir

Keyword(s):

State Of The Science

Download Full-text

Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs

ACM Turing Award Lectures ◽

10.1145/1283920.1283933 ◽

2011 ◽

pp. 1977 ◽

Cited By ~ 18

Author(s):

John Backus

Keyword(s):

Von Neumann

Download Full-text

Preface

ACM Turing Award Lectures ◽

10.1145/1283920.1283939 ◽

2011 ◽

pp. 1983

Author(s):

Dennis M. Ritchie

Download Full-text