×

Dijkstra, Edsger Wybe (b. 1930 d. 2002)

Author ID: dijkstra.edsger-wybe Recent zbMATH articles by "Dijkstra, Edsger Wybe"
Published as: Dijkstra, Edsger W.; Dijkstra, E. W.; Dijkstra, Edsger; Dijkstra, Edsger Wybe
External Links: MacTutor · MGP · Wikidata · dblp · GND · IdRef
Awards: Turing Award (1972)
Documents Indexed: 84 Publications since 1955, including 7 Books
1 Contribution as Editor · 3 Further Contributions
Biographic References: 24 Publications
Co-Authors: 9 Co-Authors with 14 Joint Publications
154 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

50 Publications have been cited 2,961 times in 2,690 Documents Cited by Year
A note on two problems in connexion with graphs. Zbl 0092.16002
Dijkstra, E. W.
1959
Self-stabilizing systems in spite of distributed control. Zbl 0305.68048
Dijkstra, Edsger W.
387
1974
A discipline of programming. Zbl 0368.68005
Dijkstra, Edsger W.
365
1976
Guarded commands, nondeterminacy and formal derivation of programs. Zbl 0308.68017
Dijkstra, Edsger W.
199
1975
Programming as a discipline of mathematical nature. Zbl 0286.00013
Dijkstra, E. W.
139
1974
Predicate calculus and program semantics. Zbl 0698.68011
Dijkstra, Edsger Wybe; Scholten, C. S.
124
1990
Structured programming. Zbl 0267.68001
Dahl, O.-J.; Dijkstra, E. W.; Hoare, C. A. R.
72
1972
Selected writings on computing: a personal perspective. Zbl 0497.68001
Dijkstra, Edsger W.
51
1982
Termination detection for diffusing computations. Zbl 0439.68039
Dijkstra, Edsger W.; Scholten, C. S.
49
1980
A belated proof of self-stabilization. Zbl 0604.68015
Dijkstra, Edsger W.
42
1986
The structure of the ‘THE’-multiprogramming system. Zbl 0164.18704
Dijkstra, E. W.
28
1968
On-the-fly garbage collection: An exercise in cooperation. Zbl 0386.68024
Dijkstra, Edsger W.; Lamport, Leslie; Martin, A. J.; Scholten, C. S.; Steffens, E. F. M.
24
1978
A constructive approach to the program correctness. Zbl 0167.46002
Dijkstra, E. W.
23
1968
The correctness problem in computer science. Zbl 0476.68009
16
1981
Some beautiful arguments using mathematical induction. Zbl 0435.68055
Dijkstra, Edsger W.
14
1980
Smoothsort, an alternative for sorting in situ. Zbl 0486.68050
Dijkstra, Edsger W.
14
1982
Derivation of a termination detection algorithm for distributed computations. Zbl 1451.68121
Dijkstra, Edsger W.; Feijen, W. H. J.; van Gasteren, A. J. M.
13
1983
Recursive programming. Zbl 0093.13911
Dijkstra, E. W.
10
1960
A method of programming. Translated from the Dutch by Joke Sterringa. Zbl 0681.68001
Dijkstra, Edsger W.; Feijen, W. H. J.
9
1988
A simple fixpoint argument without the restriction to continuity. Zbl 0591.68007
Dijkstra, Edsger W.; van Gasteren, A. J. M.
7
1986
Logic of programming and calculi of discrete design. (Proceedings of the NATO Advanced Study Institute on Logic of Programming and Calculi of Discrete Design held in Marktoberdorf, Federal Republic of Germany, July 29 - August 10, 1986). International Summer School directed by F. L. Bauer, M. Broy, E. W. Dijkstra, C. A. R. Hoare. Zbl 0619.00021
7
1987
On-the-fly garbage collection: An exercise in cooperation. Zbl 0347.68019
Dijkstra, Edsger W.; Lamport, Leslie; Martin, A. J.; Scholten, C. S.; Steffens, E. F. M.
6
1976
Invariance and non-determinacy. Zbl 0544.68011
Dijkstra, E. W.
4
1984
Operating experience with AlGOL 60. Zbl 0100.13107
Dijkstra, E. W.
4
1962
A simple axiomatic basis for programming language constructs. Zbl 0277.68008
Dijkstra, Edsger W.
4
1974
Program inversion. Zbl 0457.68018
Dijkstra, Edsger W.
4
1979
On a cultural gap. Zbl 0586.68025
Dijkstra, E. W.
4
1986
Making a fair roulette from a possibly biased coin. Zbl 0722.60015
Dijkstra, Edsger W.
4
1990
Finding the correctness proof of a concurrent program. Zbl 0397.68010
Dijkstra, E. W.
3
1978
Derivation of a termination detection algorithm for distributed computations. Zbl 0566.68025
Dijkstra, Edsger W.; Feijen, W. H. J.; van Gasteren, A. J. M.
3
1985
EWD1300: The notational conventions I adopted, and why. Zbl 1029.68004
Dijkstra, Edsger W.
3
2002
Shmuel Safra’s version of termination detection. Zbl 0987.68526
Dijkstra, Edsger W.
3
1999
Guarded commands, non-determinacy and a calculus for the derivation of programs. Zbl 0347.68015
Dijkstra, Edsger W.
3
1976
Guarded commands, nondeterminacy, and formal derivation of programs. Zbl 0395.68005
Dijkstra, Edsger W.
3
1978
On the interplay between mathematics and programming. Zbl 0418.68032
Dijkstra, E. W.
3
1979
Finding the correctness proof of a concurrent program. Zbl 0429.68024
Dijkstra, E. W.
2
1978
An attemt to unify the constituent concepts of serial program execution. Zbl 0137.10706
Dijkstra, E. W.
2
1962
A tutorial on the split binary semaphore. Zbl 0569.68016
Dijkstra, Edsger W.
2
1982
An introduction to three algorithms for sorting in situ. Zbl 0491.68059
Dijkstra, Edsger W.; van Gasteren, A. J. M.
2
1982
Errata to: “Smoothsort, an alternative for sorting in situ”. Zbl 0492.68049
Dijkstra, E. W.
2
1982
Formal development of programs and proofs. Zbl 0734.68063
2
1990
On the interplay between mathematics and programming. Zbl 0418.68033
Dijkstra, E. W.
1
1979
Iterative processes for the computation of elementary functions. Zbl 0074.12005
Dijkstra, Edsger W.
1
1956
Ein ALGOL-60-Übersetzer für die X 1. I, II. Zbl 0105.11102
Dijkstra, E. W.
1
1961
A bagatelle on Euclid’s algorithm (EWD 1158). Zbl 0858.11004
Dijkstra, Edsger W.
1
1996
On a gauntlet thrown by David Gries. Zbl 0332.05001
Dijkstra, Edsger W.
1
1976
Correctness concerns and, among other things, why they are resented. Zbl 0395.68011
Dijkstra, Edsger W.
1
1978
Letters to the editor. Defense of ALGOL 60. Zbl 0106.11401
Dijkstra, E. W.
1
1961
Solution of a problem in concurrent program control (1965). Zbl 1529.68022
Dijkstra, Edsger
1
2021
Go to statement considered harmful (1968). Zbl 1529.68024
Dijkstra, Edsger
1
2021
Solution of a problem in concurrent program control (1965). Zbl 1529.68022
Dijkstra, Edsger
1
2021
Go to statement considered harmful (1968). Zbl 1529.68024
Dijkstra, Edsger
1
2021
EWD1300: The notational conventions I adopted, and why. Zbl 1029.68004
Dijkstra, Edsger W.
3
2002
Shmuel Safra’s version of termination detection. Zbl 0987.68526
Dijkstra, Edsger W.
3
1999
A bagatelle on Euclid’s algorithm (EWD 1158). Zbl 0858.11004
Dijkstra, Edsger W.
1
1996
Predicate calculus and program semantics. Zbl 0698.68011
Dijkstra, Edsger Wybe; Scholten, C. S.
124
1990
Making a fair roulette from a possibly biased coin. Zbl 0722.60015
Dijkstra, Edsger W.
4
1990
Formal development of programs and proofs. Zbl 0734.68063
2
1990
A method of programming. Translated from the Dutch by Joke Sterringa. Zbl 0681.68001
Dijkstra, Edsger W.; Feijen, W. H. J.
9
1988
Logic of programming and calculi of discrete design. (Proceedings of the NATO Advanced Study Institute on Logic of Programming and Calculi of Discrete Design held in Marktoberdorf, Federal Republic of Germany, July 29 - August 10, 1986). International Summer School directed by F. L. Bauer, M. Broy, E. W. Dijkstra, C. A. R. Hoare. Zbl 0619.00021
7
1987
A belated proof of self-stabilization. Zbl 0604.68015
Dijkstra, Edsger W.
42
1986
A simple fixpoint argument without the restriction to continuity. Zbl 0591.68007
Dijkstra, Edsger W.; van Gasteren, A. J. M.
7
1986
On a cultural gap. Zbl 0586.68025
Dijkstra, E. W.
4
1986
Derivation of a termination detection algorithm for distributed computations. Zbl 0566.68025
Dijkstra, Edsger W.; Feijen, W. H. J.; van Gasteren, A. J. M.
3
1985
Invariance and non-determinacy. Zbl 0544.68011
Dijkstra, E. W.
4
1984
Derivation of a termination detection algorithm for distributed computations. Zbl 1451.68121
Dijkstra, Edsger W.; Feijen, W. H. J.; van Gasteren, A. J. M.
13
1983
Selected writings on computing: a personal perspective. Zbl 0497.68001
Dijkstra, Edsger W.
51
1982
Smoothsort, an alternative for sorting in situ. Zbl 0486.68050
Dijkstra, Edsger W.
14
1982
A tutorial on the split binary semaphore. Zbl 0569.68016
Dijkstra, Edsger W.
2
1982
An introduction to three algorithms for sorting in situ. Zbl 0491.68059
Dijkstra, Edsger W.; van Gasteren, A. J. M.
2
1982
Errata to: “Smoothsort, an alternative for sorting in situ”. Zbl 0492.68049
Dijkstra, E. W.
2
1982
The correctness problem in computer science. Zbl 0476.68009
16
1981
Termination detection for diffusing computations. Zbl 0439.68039
Dijkstra, Edsger W.; Scholten, C. S.
49
1980
Some beautiful arguments using mathematical induction. Zbl 0435.68055
Dijkstra, Edsger W.
14
1980
Program inversion. Zbl 0457.68018
Dijkstra, Edsger W.
4
1979
On the interplay between mathematics and programming. Zbl 0418.68032
Dijkstra, E. W.
3
1979
On the interplay between mathematics and programming. Zbl 0418.68033
Dijkstra, E. W.
1
1979
On-the-fly garbage collection: An exercise in cooperation. Zbl 0386.68024
Dijkstra, Edsger W.; Lamport, Leslie; Martin, A. J.; Scholten, C. S.; Steffens, E. F. M.
24
1978
Finding the correctness proof of a concurrent program. Zbl 0397.68010
Dijkstra, E. W.
3
1978
Guarded commands, nondeterminacy, and formal derivation of programs. Zbl 0395.68005
Dijkstra, Edsger W.
3
1978
Finding the correctness proof of a concurrent program. Zbl 0429.68024
Dijkstra, E. W.
2
1978
Correctness concerns and, among other things, why they are resented. Zbl 0395.68011
Dijkstra, Edsger W.
1
1978
A discipline of programming. Zbl 0368.68005
Dijkstra, Edsger W.
365
1976
On-the-fly garbage collection: An exercise in cooperation. Zbl 0347.68019
Dijkstra, Edsger W.; Lamport, Leslie; Martin, A. J.; Scholten, C. S.; Steffens, E. F. M.
6
1976
Guarded commands, non-determinacy and a calculus for the derivation of programs. Zbl 0347.68015
Dijkstra, Edsger W.
3
1976
On a gauntlet thrown by David Gries. Zbl 0332.05001
Dijkstra, Edsger W.
1
1976
Guarded commands, nondeterminacy and formal derivation of programs. Zbl 0308.68017
Dijkstra, Edsger W.
199
1975
Self-stabilizing systems in spite of distributed control. Zbl 0305.68048
Dijkstra, Edsger W.
387
1974
Programming as a discipline of mathematical nature. Zbl 0286.00013
Dijkstra, E. W.
139
1974
A simple axiomatic basis for programming language constructs. Zbl 0277.68008
Dijkstra, Edsger W.
4
1974
Structured programming. Zbl 0267.68001
Dahl, O.-J.; Dijkstra, E. W.; Hoare, C. A. R.
72
1972
The structure of the ‘THE’-multiprogramming system. Zbl 0164.18704
Dijkstra, E. W.
28
1968
A constructive approach to the program correctness. Zbl 0167.46002
Dijkstra, E. W.
23
1968
Operating experience with AlGOL 60. Zbl 0100.13107
Dijkstra, E. W.
4
1962
An attemt to unify the constituent concepts of serial program execution. Zbl 0137.10706
Dijkstra, E. W.
2
1962
Ein ALGOL-60-Übersetzer für die X 1. I, II. Zbl 0105.11102
Dijkstra, E. W.
1
1961
Letters to the editor. Defense of ALGOL 60. Zbl 0106.11401
Dijkstra, E. W.
1
1961
Recursive programming. Zbl 0093.13911
Dijkstra, E. W.
10
1960
A note on two problems in connexion with graphs. Zbl 0092.16002
Dijkstra, E. W.
1959
Iterative processes for the computation of elementary functions. Zbl 0074.12005
Dijkstra, Edsger W.
1
1956
all top 5

Cited by 4,542 Authors

22 Datta, Ajoy Kumar
21 Devismes, Stéphane
21 Dolev, Shlomi
21 Tixeuil, Sébastien
20 Hoare, Charles Antony Richard
20 Kutten, Shay
20 Masuzawa, Toshimitsu
18 Hesselink, Wim H.
15 Cavalcanti, Ana
15 Katoen, Joost-Pieter
14 Huang, Shingtsaan
14 Kakugawa, Hirotsugu
14 Morgan, Carroll C.
14 Srimani, Pradip K.
13 Sudo, Yuichi
13 Takaoka, Tadao
12 Larmore, Lawrence L.
12 Petit, Franck
12 Scheideler, Christian
12 Woodcock, James C. P.
11 Back, Ralph-Johan
11 Schiller, Elad Michael
11 Sedeño-Noda, Antonio
10 Bose, Prosenjit K.
10 Kamei, Sayaka
10 Korman, Amos
10 Raynal, Michel
10 Villain, Vincent
9 Altisen, Karine
9 Backhouse, Roland C.
9 Chaudhuri, Pranay
9 Dubois, Swan
9 Duin, Cees W.
9 Gouda, Mohamed G.
9 Guerriero, Francesca
9 McIver, Annabelle K.
9 Mili, Ali
9 Ooshita, Fukuhito
9 Wagner, Dorothea
8 Festa, Paola
8 Hedetniemi, Stephen Travis
8 Huang, Tetz C.
8 Kulkarni, Sandeep S.
8 Thorup, Mikkel
8 Volgenant, Anton
8 Yamauchi, Yukiko
7 Apt, Krzysztof Rafal
7 Arora, Anish
7 Attie, Paul C.
7 Bergstra, Jan A.
7 Cournier, Alain
7 Dehmer, Matthias
7 Foster, Simon
7 Francez, Nissim
7 Guttmann, Walter
7 Hayes, Ian J.
7 He, Jifeng
7 Jacobs, Bart
7 Johnen, Colette
7 Kheddouci, Hamamache
7 Leino, K. Rustan M.
7 Li, Jianping
7 Nannicini, Giacomo
7 Ponse, Alban
7 Sampaio, Augusto C. A.
7 Subramani, Krishnan
7 Taubenfeld, Gadi
6 Afek, Yehuda
6 Antonoiu, Gheorghe
6 Awerbuch, Baruch
6 Beauquier, Joffroy
6 Bonakdarpour, Borzoo
6 Delling, Daniel
6 Durand, Anaïs
6 Er, Mingcheng
6 Frieze, Alan Michael
6 Frigioni, Daniele
6 Ghosh, Sukumar
6 Gries, David
6 Gudmundsson, Joachim
6 Gupta, Arobinda
6 Hansen, Pierre
6 Kaminski, Benjamin Lucien
6 Karaata, Mehmet Hakan
6 Katz, Shmuel
6 Kovács, Laura Ildikó
6 Laporte, Gilbert
6 Liberti, Leo
6 Lichen, Junran
6 Lin, Ji-Cherng
6 Maheshwari, Anil
6 Möller, Bernhard
6 Nesterenko, Mikhail V.
6 Pascoal, Marta Margarida Braz
6 Potop-Butucaru, Maria Gradinariu
6 Tarjan, Robert Endre
6 Vladimirsky, Alexander
6 Zedan, Hussein
5 Berghammer, Rudolf
5 Best, Eike
...and 4,442 more Authors
all top 5

Cited in 347 Serials

222 Theoretical Computer Science
165 Information Processing Letters
119 European Journal of Operational Research
91 Formal Aspects of Computing
87 Computers & Operations Research
68 Distributed Computing
57 Acta Informatica
50 Discrete Applied Mathematics
37 Information and Computation
36 Artificial Intelligence
34 Journal of Computer and System Sciences
31 Information Sciences
31 Algorithmica
29 Networks
25 Annals of Operations Research
24 Applied Mathematics and Computation
22 International Journal of Foundations of Computer Science
21 Computers & Mathematics with Applications
21 Journal of Combinatorial Optimization
20 The Journal of Logic and Algebraic Programming
19 Science of Computer Programming
18 Journal of Logical and Algebraic Methods in Programming
17 Formal Methods in System Design
16 Journal of Computational Physics
16 Computing
16 Operations Research Letters
15 Journal of Mathematical Imaging and Vision
14 Mathematical Structures in Computer Science
14 Mathematical Programming. Series A. Series B
13 Computer Methods in Applied Mechanics and Engineering
13 International Transactions in Operational Research
12 Journal of Parallel and Distributed Computing
12 ACM Journal of Experimental Algorithmics
12 Optimization Letters
11 Journal of Automated Reasoning
11 Journal of Scientific Computing
11 Computational Geometry
11 International Journal of Computer Mathematics
10 Physica A
10 Mathematical Programming
10 Journal of Symbolic Computation
10 BIT. Nordisk Tidskrift for Informationsbehandling
9 Fuzzy Sets and Systems
9 Cybernetics and Systems Analysis
9 Mathematical Problems in Engineering
9 Parallel Algorithms and Applications
8 Automatica
8 International Journal of Production Research
8 Annals of Mathematics and Artificial Intelligence
8 Journal of Discrete Algorithms
7 Journal of Mathematical Analysis and Applications
7 BIT
7 Journal of Information & Optimization Sciences
7 Annals of Pure and Applied Logic
7 International Journal of Parallel Programming
7 Applied Mathematical Modelling
7 INFORMS Journal on Computing
6 International Journal of Control
6 International Journal for Numerical Methods in Engineering
6 Software. Practice & Experience
6 Cybernetics
6 Mathematical and Computer Modelling
6 Automation and Remote Control
6 Computational Optimization and Applications
6 Journal of Functional Programming
6 Theory of Computing Systems
6 Soft Computing
6 Computational Geosciences
6 RAIRO. Operations Research
6 OR Spectrum
6 4OR
6 Networks and Spatial Economics
6 Discrete Optimization
6 Logical Methods in Computer Science
6 Computer Science Review
5 Discrete Mathematics
5 Algebra Universalis
5 Journal of Optimization Theory and Applications
5 Programming and Computer Software
5 RAIRO, Informatique Théorique
5 Systems & Control Letters
5 Optimization
5 Journal of Global Optimization
5 Discrete Event Dynamic Systems
5 SIAM Journal on Scientific Computing
5 Wuhan University Journal of Natural Sciences (WUJNS)
5 International Journal of Applied Mathematics and Computer Science
5 Journal of Industrial and Management Optimization
5 International Journal of Parallel, Emergent and Distributed Systems
5 Mathematical Programming Computation
5 Prikladnaya Diskretnaya Matematika
4 International Journal of General Systems
4 International Journal of Systems Science
4 International Journal of Computer & Information Sciences
4 Opsearch
4 Studia Logica
4 Journal of Classification
4 Journal of Computer Science and Technology
4 Discrete & Computational Geometry
4 Asia-Pacific Journal of Operational Research
...and 247 more Serials
all top 5

Cited in 50 Fields

1,775 Computer science (68-XX)
733 Operations research, mathematical programming (90-XX)
366 Combinatorics (05-XX)
147 Mathematical logic and foundations (03-XX)
146 Numerical analysis (65-XX)
75 Systems theory; control (93-XX)
72 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
59 Information and communication theory, circuits (94-XX)
47 Biology and other natural sciences (92-XX)
40 Calculus of variations and optimal control; optimization (49-XX)
39 Statistics (62-XX)
31 Category theory; homological algebra (18-XX)
30 Probability theory and stochastic processes (60-XX)
29 Partial differential equations (35-XX)
26 Order, lattices, ordered algebraic structures (06-XX)
20 Mechanics of deformable solids (74-XX)
19 Number theory (11-XX)
17 Convex and discrete geometry (52-XX)
17 Fluid mechanics (76-XX)
14 Quantum theory (81-XX)
13 General algebraic systems (08-XX)
11 Dynamical systems and ergodic theory (37-XX)
10 General and overarching topics; collections (00-XX)
10 Linear and multilinear algebra; matrix theory (15-XX)
9 Statistical mechanics, structure of matter (82-XX)
8 Group theory and generalizations (20-XX)
8 Ordinary differential equations (34-XX)
8 General topology (54-XX)
8 Geophysics (86-XX)
6 Commutative algebra (13-XX)
6 Differential geometry (53-XX)
5 Geometry (51-XX)
4 Algebraic geometry (14-XX)
4 Measure and integration (28-XX)
4 Algebraic topology (55-XX)
4 Mathematics education (97-XX)
3 Associative rings and algebras (16-XX)
3 Manifolds and cell complexes (57-XX)
3 Global analysis, analysis on manifolds (58-XX)
3 Mechanics of particles and systems (70-XX)
2 Topological groups, Lie groups (22-XX)
2 Real functions (26-XX)
2 Approximations and expansions (41-XX)
2 Classical thermodynamics, heat transfer (80-XX)
1 History and biography (01-XX)
1 Field theory and polynomials (12-XX)
1 Integral transforms, operational calculus (44-XX)
1 Integral equations (45-XX)
1 Functional analysis (46-XX)
1 Optics, electromagnetic theory (78-XX)

Citations by Year

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.