Edsger W. Dijkstra
According to our database^{1},
Edsger W. Dijkstra
authored at least 78 papers
between 1959 and 2005.
Collaborative distances:
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 OtherLinks
Online presence:

on zbmath.org

on scopus.com

on viaf.org

on id.loc.gov

on dnb.info

on isni.org

on dl.acm.org
On csauthors.net:
Bibliography
2005
ACM SIGOPS Oper. Syst. Rev., 2005
2002
Formal Aspects Comput., 2002
Proceedings of the Software Pioneers., 2002
Proceedings of the Software Pioneers., 2002
Proceedings of the Software Pioneers., 2002
2001
Am. Math. Mon., 2001
Inf. Process. Lett., 2001
Commun. ACM, 2001
2000
On the transitive closure of a wellfounded relation.
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.
Proceedings of the NATO Advanced Study Institute on Deductive Program Design, 1996
An alternative of the ETAC to EWD1163.
Proceedings of the NATO Advanced Study Institute on Deductive Program Design, 1996
On two equations that have the same extreme solution.
Proceedings of the NATO Advanced Study Institute on Deductive Program Design, 1996
A bagatelle on Euclid's algorithm.
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.
Proceedings of the NATO Advanced Study Institute on Deductive Program Design, 1996
Bulterman's theorem on shortest trees.
Proceedings of the NATO Advanced Study Institute on Deductive Program Design, 1996
The balance and the coins.
Proceedings of the NATO Advanced Study Institute on Deductive Program Design, 1996
Fibonacci and the greatest common divisor.
Proceedings of the NATO Advanced Study Institute on Deductive Program Design, 1996
1995
Inf. Process. Lett., 1995
1992
Proceedings of the Program Design Calculi, Proceedings of the NATO Advanced Study Institute on Program Design Calculi, Marktoberdorf, Germany, July 28, 1992
Proceedings of the Mathematics of Program Construction, Second International Conference, Oxford, UK, June 29, 1992
1990
Inf. Process. Lett., 1990
Texts and Monographs in Computer Science, Springer, ISBN: 9781461232285, 1990
1989
The Linear Search Revisited.
Struct. Program., 1989
1988
BIT, 1988
A method of programming.
AddisonWesley, ISBN: 9780201175363, 1988
1987
Sci. Comput. Program., 1987
1986
Distributed Comput., 1986
Acta Informatica, 1986
1985
Methodik des Programmierens.
Internationale ComputerBibliothek, AddisonWesley, ISBN: 9783925118180, 1985
1983
The fruits of misunderstanding.
Elektron. Rechenanlagen, 1983
Inf. Process. Lett., 1983
Commun. ACM, 1983
Commun. ACM, 1983
1982
ACM SIGPLAN Notices, 1982
Sci. Comput. Program., 1982
Inf. Process. Lett., 1982
Texts and Monographs in Computer Science, Springer, ISBN: 9781461256953, 1982
1981
Sci. Comput. Program., 1981
1980
Inf. Process. Lett., 1980
Acta Informatica, 1980
1979
Software Engineering : As It Should Be.
Proceedings of the 4th International Conference on Software Engineering, 1979
1978
ACM SIGPLAN Notices, 1978
Commun. ACM, 1978
Proceedings of the Program Construction, International Summer School, July 26, 1978
Proceedings of the Program Construction, International Summer School, July 26, 1978
Proceedings of the Program Construction, International Summer School, July 26, 1978
Proceedings of the Program Construction, International Summer School, July 26, 1978
Proceedings of the Program Construction, International Summer School, July 26, 1978
Proceedings of the Program Construction, International Summer School, July 26, 1978
Proceedings of the Program Construction, International Summer School, July 26, 1978
Proceedings of the Mathematical Foundations of Computer Science 1978, 1978
1977
Programming: From Craft to Scientific Discipline.
Proceedings of the International Computing Symposium 1977, 1977
1976
Acta Informatica, 1976
Proceedings of the Mathematical Foundations of Computer Science 1976, 1976
Proceedings of the ECI Conference 1976, 1976
PrenticeHall, ISBN: 013215871X, 1976
1975
Commun. ACM, 1975
Craftsman or Scientist.
Proceedings of the Data: Its Use, 1975
Proceedings of the Language Hierarchies and Interfaces, International Summer School, Marktoberdorf, Germany, July 23, 1975
Proceedings of the Language Hierarchies and Interfaces, International Summer School, Marktoberdorf, Germany, July 23, 1975
Proceedings of the Language Hierarchies and Interfaces, International Summer School, Marktoberdorf, Germany, July 23, 1975
1974
Commun. ACM, 1974
1972
Inf. Process. Lett., 1972
Commun. ACM, 1972
Proceedings of the American Federation of Information Processing Societies: AFIPS Conference Proceedings: 1972 Spring Joint Computer Conference, 1972
Structured programming.
A.P.I.C. Studies in data processing 8, Academic Press, ISBN: 9780122005503, 1972
1971
Acta Informatica, 1971
1968
Commun. ACM, 1968
Commun. ACM, 1968
Commun. ACM, 1968
1965
Commun. ACM, 1965
1964
Commun. ACM, 1964
1962
Comput. J., 1962
Some Meditations on Advanced Programming.
Proceedings of the Information Processing, Proceedings of the 2nd IFIP Congress 1962, Munich, Germany, August 27, 1962
1961
Commun. ACM, 1961
1959
PhD thesis, 1959
Numerische Mathematik, 1959
ALGOL SubCommittee Report  Extensions.
Commun. ACM, 1959