List of works - Edsger W. Dijkstra

A note on two problems in connexion with graphs ⬇️

scientific article published in December 1959

A note on two problems in connexion with graphs

journal article from 'Numerische mathematik' published in 1959

Communication with an Automatic Computer

doctoral dissertation by Edsger Dijkstra

Computing Science

Designing a Calculational Proof of Cantor's Theorem

Go To Statement Considered Harmful

scientific article (published March 1968)

Guarded Command Language

formal language for predicate transformer semantics introduced by by Edsger Dijkstra

Guarded commands, nondeterminacy and formal derivation of programs

Letter to the editor: defense of ALGOL 60

scientific article (publication date: November 1961)

On a gauntlet thrown by David Gries

On the Cruelty of Really Teaching Computer Science

article

On-the-fly garbage collection: an exercise in cooperation

article by Edsger W. Dijkstra et al published 1 November 1978 in Communications of the ACM

Self-Stabilization in Spite of Distributed Control

Self-stabilizing systems in spite of distributed control

Solution of a problem in concurrent programming control

scientific article (publication date: September 1965)

Termination detection for diffusing computations

scientific article (publication date: August 1980)

The end of computing science?

The humble programmer ⬇️

The structure of the “THE”-multiprogramming system

scientific article (publication date: May 1968)

dining philosophers problem

problem used to illustrate synchronization issues and techniques for resolving them

List of works by Edsger W. Dijkstra