We stand with Ukraine  

Edsger W. Dijkstra

According to our database1, Edsger W. Dijkstra authored at least 94 papers between 1959 and 2022.

Collaborative distances:

Awards

Turing Prize recipient

Turing Prize 1972, "For fundamental contributions to programming as a high, intellectual challenge; for eloquent insistence and practical demonstration that programs should be composed correctly, not just debugged into correctness; for illuminating perception of problems at the foundations of program design".

ACM Fellow

ACM Fellow 1994, "Edsger Dijkstra was a principal contributor in the late 1950's to the development of the ALGOL, a high level programming language which has become a model of clarity and mathematical rigor. He is one of the principal exponents of the science and art of programming languages in general, and has greatly contributed to our understanding of their structure, representation, and implementation. His fifteen years of publications extend from theoretical articles on graph theory to basic manuals, expository texts, and philosophical contemplations in the field of programming languages.".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2022
On-the-Fly Garbage Collection: An Exercise in Cooperation.
[BibTeX]
[DOI]
Edsger W. Dijkstra
,
Leslie Lamport
,
Alain J. Martin
,
Carel S. Scholten
,
Elisabeth F. M. Steffens
Proceedings of the Edsger Wybe Dijkstra: His Life, Work, and Legacy, 2022

On the Reliability of Programs.
[BibTeX]
[DOI]
Edsger W. Dijkstra
Proceedings of the Edsger Wybe Dijkstra: His Life, Work, and Legacy, 2022

Self-stabilizing Systems in Spite of Distributed Control.
[BibTeX]
[DOI]
Edsger W. Dijkstra
Proceedings of the Edsger Wybe Dijkstra: His Life, Work, and Legacy, 2022

The Structure of the "THE"-Multiprogramming System.
[BibTeX]
[DOI]
Edsger W. Dijkstra
Proceedings of the Edsger Wybe Dijkstra: His Life, Work, and Legacy, 2022

Go To Statement Considered Harmful.
[BibTeX]
[DOI]
Edsger W. Dijkstra
Proceedings of the Edsger Wybe Dijkstra: His Life, Work, and Legacy, 2022

Solution of a Problem in Concurrent Programming Control.
[BibTeX]
[DOI]
Edsger W. Dijkstra
Proceedings of the Edsger Wybe Dijkstra: His Life, Work, and Legacy, 2022

Some Meditations on Advanced Programming.
[BibTeX]
[DOI]
Edsger W. Dijkstra
Proceedings of the Edsger Wybe Dijkstra: His Life, Work, and Legacy, 2022

Recursive Programming.
[BibTeX]
[DOI]
Edsger W. Dijkstra
Proceedings of the Edsger Wybe Dijkstra: His Life, Work, and Legacy, 2022

A Note on Two Problems in Connexion with Graphs.
[BibTeX]
[DOI]
Edsger W. Dijkstra
Proceedings of the Edsger Wybe Dijkstra: His Life, Work, and Legacy, 2022

The Humble Programmer.
[BibTeX]
[DOI]
Edsger W. Dijkstra
Proceedings of the Edsger Wybe Dijkstra: His Life, Work, and Legacy, 2022

2005
My recollections of operating system design.
[BibTeX]
[DOI]
Edsger W. Dijkstra
ACM SIGOPS Oper. Syst. Rev., 2005

2002
EWD1300: The Notational Conventions I Adopted, and Why.
[BibTeX]
[DOI]
Edsger W. Dijkstra
Formal Aspects Comput., 2002

Go to Statement Considered Harmful (Reprint).
[BibTeX]
[DOI]
Edsger W. Dijkstra
Proceedings of the Software Pioneers., 2002

Solution of a Problem in Concurrent Programming Control (Reprint).
[BibTeX]
[DOI]
Edsger W. Dijkstra
Proceedings of the Software Pioneers., 2002

EWD 1308: What Led to "Notes on Structured Programming".
[BibTeX]
[DOI]
Edsger W. Dijkstra
Proceedings of the Software Pioneers., 2002

2001
Designing a Calculational Proof of Cantor's Theorem.
[BibTeX]
[DOI]
Edsger W. Dijkstra
,
Jayadev Misra
Am. Math. Mon., 2001

Under the spell of Leibniz's dream.
[BibTeX]
[DOI]
Edsger W. Dijkstra
Inf. Process. Lett., 2001

The end of computing science?
[BibTeX]
[DOI]
Edsger W. Dijkstra
Commun. ACM, 2001

2000
On the transitive closure of a wellfounded relation.
[BibTeX]
Edsger W. Dijkstra
Proceedings of the School of Niklaus Wirth, "The Art of Simplicity", 2000

1996
The argument about the arithmetic mean and the geometric mean, heuristics included.
[BibTeX]
Edsger W. Dijkstra
Proceedings of the NATO Advanced Study Institute on Deductive Program Design, 1996

An alternative of the ETAC to EWD1163.
[BibTeX]
Edsger W. Dijkstra
Proceedings of the NATO Advanced Study Institute on Deductive Program Design, 1996

On two equations that have the same extreme solution.
[BibTeX]
Edsger W. Dijkstra
Proceedings of the NATO Advanced Study Institute on Deductive Program Design, 1996

A bagatelle on Euclid's algorithm.
[BibTeX]
Edsger W. Dijkstra
Proceedings of the NATO Advanced Study Institute on Deductive Program Design, 1996

A prime is in at most 1 way the sum of 2 squares.
[BibTeX]
Edsger W. Dijkstra
Proceedings of the NATO Advanced Study Institute on Deductive Program Design, 1996

Bulterman's theorem on shortest trees.
[BibTeX]
Edsger W. Dijkstra
Proceedings of the NATO Advanced Study Institute on Deductive Program Design, 1996

The balance and the coins.
[BibTeX]
Edsger W. Dijkstra
Proceedings of the NATO Advanced Study Institute on Deductive Program Design, 1996

Fibonacci and the greatest common divisor.
[BibTeX]
Edsger W. Dijkstra
Proceedings of the NATO Advanced Study Institute on Deductive Program Design, 1996

1995
Heuristics for a Calculational Proof.
[BibTeX]
[DOI]
Edsger W. Dijkstra
Inf. Process. Lett., 1995

1992
The Unification of Three Calculi.
[BibTeX]
[DOI]
Edsger W. Dijkstra
Proceedings of the Program Design Calculi, Proceedings of the NATO Advanced Study Institute on Program Design Calculi, Marktoberdorf, Germany, July 28, 1992

On the Economy of doing Mathematics.
[BibTeX]
[DOI]
Edsger W. Dijkstra
Proceedings of the Mathematics of Program Construction, Second International Conference, Oxford, UK, June 29, 1992

1990
Making a Fair Roulette From a Possibly Biased Coin.
[BibTeX]
[DOI]
Edsger W. Dijkstra
Inf. Process. Lett., 1990

Predicate Calculus and Program Semantics.
[BibTeX]
[DOI]
Edsger W. Dijkstra
,
Carel S. Scholten
Texts and Monographs in Computer Science, Springer, ISBN: 978-1-4612-3228-5, 1990

1989
The Linear Search Revisited.
[BibTeX]
Edsger W. Dijkstra
,
W. H. J. Feijen
Struct. Program., 1989

1988
Position paper on "fairness".
[BibTeX]
[DOI]
Edsger W. Dijkstra
ACM SIGSOFT Softw. Eng. Notes, 1988

On Binary Operators and Their Derived Relations.
[BibTeX]
[DOI]
Edsger W. Dijkstra
BIT, 1988

A method of programming.
[BibTeX]
Edsger W. Dijkstra
,
W. H. J. Feijen
Addison-Wesley, ISBN: 978-0-201-17536-3, 1988

1987
A Heuristic Explanation of Batcher's Baffler.
[BibTeX]
[DOI]
Edsger W. Dijkstra
Sci. Comput. Program., 1987

1986
A Belated Proof of Self-Stabilization.
[BibTeX]
[DOI]
Edsger W. Dijkstra
Distributed Comput., 1986

A Simple Fixpoint Argument Without the Restriction to Continuity.
[BibTeX]
[DOI]
Edsger W. Dijkstra
,
A. J. M. van Gasteren
Acta Informatica, 1986

1985
Methodik des Programmierens.
[BibTeX]
Edsger W. Dijkstra
,
Wim H. J. Feijen
Internationale Computer-Bibliothek, Addison-Wesley, ISBN: 978-3-925118-18-0, 1985

1983
The fruits of misunderstanding.
[BibTeX]
Edsger W. Dijkstra
Elektron. Rechenanlagen, 1983

Derivation of a Termination Detection Algorithm for Distributed Computations.
[BibTeX]
[DOI]
Edsger W. Dijkstra
,
W. H. J. Feijen
,
A. J. M. van Gasteren
Inf. Process. Lett., 1983

The Structure of "THE"-Multiprogramming System (Reprint).
[BibTeX]
[DOI]
Edsger W. Dijkstra
Commun. ACM, 1983

Solutions of a Problem in Concurrent Programming Control (Reprint).
[BibTeX]
[DOI]
Edsger W. Dijkstra
Commun. ACM, 1983

1982
How do we tell truths that might hurt?
[BibTeX]
[DOI]
Edsger W. Dijkstra
ACM SIGPLAN Notices, 1982

Smoothsort, an Alternative for Sorting In Situ.
[BibTeX]
[DOI]
Edsger W. Dijkstra
Sci. Comput. Program., 1982

An Introduction to Three Algorithms for Sorting in Situ.
[BibTeX]
[DOI]
Edsger W. Dijkstra
,
A. J. M. van Gasteren
Inf. Process. Lett., 1982

Selected Writings on Computing: A Personal Perspective.
[BibTeX]
[DOI]
Edsger W. Dijkstra
Texts and Monographs in Computer Science, Springer, ISBN: 978-1-4612-5695-3, 1982

1981
American programming's plight.
[BibTeX]
[DOI]
Edsger W. Dijkstra
ACM SIGSOFT Softw. Eng. Notes, 1981

A Word of Welcome.
[BibTeX]
[DOI]
Edsger W. Dijkstra
Sci. Comput. Program., 1981

1980
Termination Detection for Diffusing Computations.
[BibTeX]
[DOI]
Edsger W. Dijkstra
,
Carel S. Scholten
Inf. Process. Lett., 1980

Some Beautiful Arguments Using Mathematical Induction.
[BibTeX]
[DOI]
Edsger W. Dijkstra
Acta Informatica, 1980

1979
Software Engineering : As It Should Be.
[BibTeX]
Edsger W. Dijkstra
Proceedings of the 4th International Conference on Software Engineering, 1979

1978
On a political pamphlet from the middle ages.
[BibTeX]
[DOI]
Edsger W. Dijkstra
,
Richard A. DeMillo
,
Richard J. Lipton
,
Alan J. Perlis
ACM SIGSOFT Softw. Eng. Notes, 1978

DoD-I: the summing up.
[BibTeX]
[DOI]
Edsger W. Dijkstra
ACM SIGPLAN Notices, 1978

On-the-Fly Garbage Collection: An Exercise in Cooperation.
[BibTeX]
[DOI]
Edsger W. Dijkstra
,
Leslie Lamport
,
Alain J. Martin
,
Carel S. Scholten
,
Elisabeth F. M. Steffens
Commun. ACM, 1978

Program Inversion.
[BibTeX]
[DOI]
Edsger W. Dijkstra
Proceedings of the Program Construction, International Summer School, July 26, 1978

On the Foolishness of "Natural Language Programming".
[BibTeX]
[DOI]
Edsger W. Dijkstra
Proceedings of the Program Construction, International Summer School, July 26, 1978

In Honour of Fibonacci.
[BibTeX]
[DOI]
Edsger W. Dijkstra
Proceedings of the Program Construction, International Summer School, July 26, 1978

A Theorem about Odd Powers of Odd Integers.
[BibTeX]
[DOI]
Edsger W. Dijkstra
Proceedings of the Program Construction, International Summer School, July 26, 1978

On the Interplay between Mathematics and Programming.
[BibTeX]
[DOI]
Edsger W. Dijkstra
Proceedings of the Program Construction, International Summer School, July 26, 1978

Stationary Behaviour of Some Ternary Networks.
[BibTeX]
[DOI]
Edsger W. Dijkstra
Proceedings of the Program Construction, International Summer School, July 26, 1978

A More Formal Treatment of a Less Simple Example.
[BibTeX]
[DOI]
Edsger W. Dijkstra
Proceedings of the Program Construction, International Summer School, July 26, 1978

Finding the Correctness Proof of a Concurrent Program.
[BibTeX]
[DOI]
Edsger W. Dijkstra
Proceedings of the Mathematical Foundations of Computer Science 1978, 1978

1977
A position paper on software reliability.
[BibTeX]
[DOI]
Edsger W. Dijkstra
ACM SIGSOFT Softw. Eng. Notes, 1977

Programming: From Craft to Scientific Discipline.
[BibTeX]
Edsger W. Dijkstra
Proceedings of the International Computing Symposium 1977, 1977

1976
On a Gauntlet Thrown by David Gries.
[BibTeX]
[DOI]
Edsger W. Dijkstra
Acta Informatica, 1976

The Effective Arrangement of Logical Systems.
[BibTeX]
[DOI]
Edsger W. Dijkstra
Proceedings of the Mathematical Foundations of Computer Science 1976, 1976

Formal Techniques and Sizeable Programs.
[BibTeX]
[DOI]
Edsger W. Dijkstra
Proceedings of the ECI Conference 1976, 1976

A Discipline of Programming.
[BibTeX]
[DOI]
Edsger W. Dijkstra
Prentice-Hall, ISBN: 013215871X, 1976

1975
Guarded Commands, Nondeterminacy and Formal Derivation of Programs.
[BibTeX]
[DOI]
Edsger W. Dijkstra
Commun. ACM, 1975

Correctness concerns and, among other things, why they are resented.
[BibTeX]
[DOI]
Edsger W. Dijkstra
Proceedings of the International Conference on Reliable Software 1975, 1975

Guarded commands, non-determinacy and a calculus for the derivation of programs.
[BibTeX]
[DOI]
Edsger W. Dijkstra
Proceedings of the International Conference on Reliable Software 1975, 1975

Craftsman or Scientist.
[BibTeX]
Edsger W. Dijkstra
Proceedings of the Data: Its Use, 1975

A time-wise hierarchy imposed upon the use of a two-level store.
[BibTeX]
[DOI]
Edsger W. Dijkstra
Proceedings of the Language Hierarchies and Interfaces, International Summer School, Marktoberdorf, Germany, July 23, 1975

Guarded commands, non-determinancy and a calculus for the derivation of programs.
[BibTeX]
[DOI]
Edsger W. Dijkstra
Proceedings of the Language Hierarchies and Interfaces, International Summer School, Marktoberdorf, Germany, July 23, 1975

On the teaching of programming, i. e. on the teaching of thinking.
[BibTeX]
[DOI]
Edsger W. Dijkstra
Proceedings of the Language Hierarchies and Interfaces, International Summer School, Marktoberdorf, Germany, July 23, 1975

1974
Self-stabilizing Systems in Spite of Distributed Control.
[BibTeX]
[DOI]
Edsger W. Dijkstra
Commun. ACM, 1974

1972
Information Streams Sharing a Finite Buffer.
[BibTeX]
[DOI]
Edsger W. Dijkstra
Inf. Process. Lett., 1972

The Humble Programmer.
[BibTeX]
[DOI]
Edsger W. Dijkstra
Commun. ACM, 1972

A class of allocation strategies inducing bounded delays only.
[BibTeX]
[DOI]
Edsger W. Dijkstra
Proceedings of the American Federation of Information Processing Societies: AFIPS Conference Proceedings: 1972 Spring Joint Computer Conference, 1972

Structured programming.
[BibTeX]
Ole-Johan Dahl
,
Edsger W. Dijkstra
,
Charles Antony Richard Hoare
A.P.I.C. Studies in data processing 8, Academic Press, ISBN: 978-0-12-200550-3, 1972

1971
Hierarchical Ordering of Sequential Processes.
[BibTeX]
[DOI]
Edsger W. Dijkstra
Acta Informatica, 1971

1968
Letters to the editor: The go to statement reconsidered.
[BibTeX]
[DOI]
John R. Rice
,
Edsger W. Dijkstra
Commun. ACM, 1968

Letters to the editor: go to statement considered harmful.
[BibTeX]
[DOI]
Edsger W. Dijkstra
Commun. ACM, 1968

The Structure of "THE"-Multiprogramming System.
[BibTeX]
[DOI]
Edsger W. Dijkstra
Commun. ACM, 1968

1965
Solution of a problem in concurrent programming control.
[BibTeX]
[DOI]
Edsger W. Dijkstra
Commun. ACM, 1965

1964
Some comments on the aims of MIRFAC.
[BibTeX]
[DOI]
Edsger W. Dijkstra
Commun. ACM, 1964

1962
Operating Experience with ALGOL 60.
[BibTeX]
[DOI]
Edsger W. Dijkstra
Comput. J., 1962

Some Meditations on Advanced Programming.
[BibTeX]
Edsger W. Dijkstra
Proceedings of the Information Processing, Proceedings of the 2nd IFIP Congress 1962, Munich, Germany, August 27, 1962

1961
Letter to the editor: defense of ALGOL 60.
[BibTeX]
[DOI]
Edsger W. Dijkstra
Commun. ACM, 1961

1959
Communication with an Automatic Computer
[BibTeX]
[DOI]
Edsger W. Dijkstra
PhD thesis, 1959

A note on two problems in connexion with graphs.
[BibTeX]
[DOI]
Edsger W. Dijkstra
Numerische Mathematik, 1959

ALGOL Sub-Committee Report - Extensions.
[BibTeX]
Edsger W. Dijkstra
,
W. Heise
,
Alan J. Perlis
,
Klaus Samelson
Commun. ACM, 1959


  Loading...