×

zbMATH — the first resource for mathematics

Dijkstra, Edsger Wybe

Compute Distance To:
Author ID: dijkstra.edsger-wybe Recent zbMATH articles by "Dijkstra, Edsger Wybe"
Published as: Dijkstra, E. W.; Dijkstra, Edsger W.; Dijkstra, Edsger Wybe
External Links: MGP · Wikidata · dblp · GND · MacTutor
Awards: Turing Award (1972)
Documents Indexed: 82 Publications since 1955, including 8 Books
Biographic References: 5 Publications

Publications by Year

Citations contained in zbMATH Open

46 Publications have been cited 2,375 times in 2,054 Documents Cited by Year
A note on two problems in connexion with graphs. Zbl 0092.16002
Dijkstra, E. W.
1959
A discipline of programming. Zbl 0368.68005
Dijkstra, Edsger W.
386
1976
Self-stabilizing systems in spite of distributed control. Zbl 0305.68048
Dijkstra, Edsger W.
268
1974
Guarded commands, nondeterminacy and formal derivation of programs. Zbl 0308.68017
Dijkstra, Edsger W.
141
1975
Programming as a discipline of mathematical nature. Zbl 0286.00013
Dijkstra, E. W.
135
1974
Predicate calculus and program semantics. Zbl 0698.68011
Dijkstra, Edsger Wybe; Scholten, C. S.
103
1990
Structured programming. Zbl 0267.68001
Dahl, O.-J.; Dijkstra, E. W.; Hoare, C. A. R.
59
1972
Termination detection for diffusing computations. Zbl 0439.68039
Dijkstra, Edsger W.; Scholten, C. S.
41
1980
A belated proof of self-stabilization. Zbl 0604.68015
Dijkstra, Edsger W.
35
1986
Selected writings on computing: a personal perspective. Zbl 0497.68001
Dijkstra, Edsger W.
24
1982
The structure of the ’THE’-multiprogramming system. Zbl 0164.18704
Dijkstra, E. W.
23
1968
A constructive approach to the program correctness. Zbl 0167.46002
Dijkstra, E. W.
19
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.
18
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.
13
1985
Smoothsort, an alternative for sorting in situ. Zbl 0486.68050
Dijkstra, Edsger W.
11
1982
Recursive programming. Zbl 0093.13911
Dijkstra, E. W.
11
1960
Some beautiful arguments using mathematical induction. Zbl 0435.68055
Dijkstra, Edsger W.
9
1980
A simple fixpoint argument without the restriction to continuity. Zbl 0591.68007
Dijkstra, Edsger W.; van Gasteren, A. J. M.
7
1986
A method of programming. Translated from the Dutch by Joke Sterringa. Zbl 0681.68001
Dijkstra, Edsger W.; Feijen, W. H. J.
6
1988
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.
5
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
Shmuel Safra’s version of termination detection. Zbl 0987.68526
Dijkstra, Edsger W.
3
1999
On a cultural gap. Zbl 0586.68025
Dijkstra, E. W.
3
1986
On the interplay between mathematics and programming. Zbl 0418.68032
Dijkstra, E. W.
3
1979
Finding the correctness proof of a concurrent program. Zbl 0397.68010
Dijkstra, E. W.
3
1978
A simple axiomatic basis for programming language constructs. Zbl 0277.68008
Dijkstra, Edsger W.
3
1974
EWD1300: The notational conventions I adopted, and why. Zbl 1029.68004
Dijkstra, Edsger W.
2
2002
A tutorial on the split binary semaphore. Zbl 0569.68016
Dijkstra, Edsger W.
2
1982
Errata to: “Smoothsort, an alternative for sorting in situ”. Zbl 0492.68049
Dijkstra, E. 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
Finding the correctness proof of a concurrent program. Zbl 0429.68024
Dijkstra, E. W.
2
1978
Guarded commands, nondeterminacy, and formal derivation of programs. Zbl 0395.68005
Dijkstra, Edsger W.
2
1978
An attemt to unify the constituent concepts of serial program execution. Zbl 0137.10706
Dijkstra, E. W.
2
1962
A bagatelle on Euclid’s algorithm (EWD 1158). Zbl 0858.11004
Dijkstra, Edsger W.
1
1996
In memoriam: Jan L. A. van de Snepscheut. Zbl 0801.01019
Dijkstra, Edsger W.
1
1994
On the economy of doing mathematics. Zbl 0825.68260
Dijkstra, Edsger W.
1
1993
How computing science created a new mathematical style. Zbl 0973.68500
Dijkstra, E. W.
1
1991
Making a fair roulette from a possibly biased coin. Zbl 0722.60015
Dijkstra, Edsger W.
1
1990
Program inversion. Zbl 0457.68018
Dijkstra, Edsger W.
1
1979
On the interplay between mathematics and programming. Zbl 0418.68033
Dijkstra, E. W.
1
1979
Correctness concerns and, among other things, why they are resented. Zbl 0395.68011
Dijkstra, Edsger W.
1
1978
Guarded commands, non-determinacy and a calculus for the derivation of programs. Zbl 0347.68015
Dijkstra, Edsger W.
1
1976
On a gauntlet thrown by David Gries. Zbl 0332.05001
Dijkstra, Edsger W.
1
1976
Letters to the editor. Defense of ALGOL 60. Zbl 0106.11401
Dijkstra, E. W.
1
1961
Iterative processes for the computation of elementary functions. Zbl 0074.12005
Dijkstra, Edsger W.
1
1956
EWD1300: The notational conventions I adopted, and why. Zbl 1029.68004
Dijkstra, Edsger W.
2
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
In memoriam: Jan L. A. van de Snepscheut. Zbl 0801.01019
Dijkstra, Edsger W.
1
1994
On the economy of doing mathematics. Zbl 0825.68260
Dijkstra, Edsger W.
1
1993
How computing science created a new mathematical style. Zbl 0973.68500
Dijkstra, E. W.
1
1991
Predicate calculus and program semantics. Zbl 0698.68011
Dijkstra, Edsger Wybe; Scholten, C. S.
103
1990
Making a fair roulette from a possibly biased coin. Zbl 0722.60015
Dijkstra, Edsger W.
1
1990
A method of programming. Translated from the Dutch by Joke Sterringa. Zbl 0681.68001
Dijkstra, Edsger W.; Feijen, W. H. J.
6
1988
A belated proof of self-stabilization. Zbl 0604.68015
Dijkstra, Edsger W.
35
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.
3
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.
13
1985
Invariance and non-determinacy. Zbl 0544.68011
Dijkstra, E. W.
4
1984
Selected writings on computing: a personal perspective. Zbl 0497.68001
Dijkstra, Edsger W.
24
1982
Smoothsort, an alternative for sorting in situ. Zbl 0486.68050
Dijkstra, Edsger W.
11
1982
A tutorial on the split binary semaphore. Zbl 0569.68016
Dijkstra, Edsger W.
2
1982
Errata to: “Smoothsort, an alternative for sorting in situ”. Zbl 0492.68049
Dijkstra, E. 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
Termination detection for diffusing computations. Zbl 0439.68039
Dijkstra, Edsger W.; Scholten, C. S.
41
1980
Some beautiful arguments using mathematical induction. Zbl 0435.68055
Dijkstra, Edsger W.
9
1980
On the interplay between mathematics and programming. Zbl 0418.68032
Dijkstra, E. W.
3
1979
Program inversion. Zbl 0457.68018
Dijkstra, Edsger W.
1
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.
18
1978
Finding the correctness proof of a concurrent program. Zbl 0397.68010
Dijkstra, E. W.
3
1978
Finding the correctness proof of a concurrent program. Zbl 0429.68024
Dijkstra, E. W.
2
1978
Guarded commands, nondeterminacy, and formal derivation of programs. Zbl 0395.68005
Dijkstra, Edsger 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.
386
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.
5
1976
Guarded commands, non-determinacy and a calculus for the derivation of programs. Zbl 0347.68015
Dijkstra, Edsger W.
1
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.
141
1975
Self-stabilizing systems in spite of distributed control. Zbl 0305.68048
Dijkstra, Edsger W.
268
1974
Programming as a discipline of mathematical nature. Zbl 0286.00013
Dijkstra, E. W.
135
1974
A simple axiomatic basis for programming language constructs. Zbl 0277.68008
Dijkstra, Edsger W.
3
1974
Structured programming. Zbl 0267.68001
Dahl, O.-J.; Dijkstra, E. W.; Hoare, C. A. R.
59
1972
The structure of the ’THE’-multiprogramming system. Zbl 0164.18704
Dijkstra, E. W.
23
1968
A constructive approach to the program correctness. Zbl 0167.46002
Dijkstra, E. W.
19
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
Letters to the editor. Defense of ALGOL 60. Zbl 0106.11401
Dijkstra, E. W.
1
1961
Recursive programming. Zbl 0093.13911
Dijkstra, E. W.
11
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 3,551 Authors

18 Datta, Ajoy Kumar
17 Hoare, C. A. R. Tony
17 Tixeuil, Sébastien
16 Hesselink, Wim H.
14 Huang, Shingtsaan
13 Devismes, Stéphane
13 Dolev, Shlomi
13 Srimani, Pradip K.
12 Cavalcanti, Ana
11 Back, Ralph-Johan
11 Takaoka, Tadao
10 Morgan, Carroll
9 Chaudhuri, Pranay Kumar
9 Duin, Cees W.
9 Kakugawa, Hirotsugu
9 Larmore, Lawrence L.
9 Masuzawa, Toshimitsu
9 Scheideler, Christian
9 Sedeño-Noda, Antonio
9 Villain, Vincent
8 Dubois, Swan
8 Guerriero, Francesca
8 Huang, Tetz C.
8 Katoen, Joost-Pieter
8 McIver, Annabelle K.
8 Petit, Franck
8 Volgenant, Anton
7 Dehmer, Matthias
7 Francez, Nissim
7 Gouda, Mohamed G.
7 He, Jifeng
7 Hedetniemi, Stephen Travis
7 Kulkarni, Sandeep S.
7 Leino, K. Rustan M.
7 Mili, Ali
7 Pascoal, Marta Margarida Braz
7 Yamauchi, Yukiko
6 Antonoiu, Gheorghe
6 Backhouse, Roland C.
6 Bergstra, Jan A.
6 Cournier, Alain
6 Er, Mingcheng
6 Ghosh, Sukumar
6 Gries, David
6 Hansen, Pierre
6 Kamei, Sayaka
6 Karaata, Mehmet Hakan
6 Katz, Shmuel
6 Kheddouci, Hamamache
6 Kutten, Shay
6 Lin, Ji-Cherng
6 Nesterenko, Mikhail V.
6 Ponse, Alban
6 Sampaio, Augusto C. A.
6 Vladimirsky, Alexander
6 Woodcock, James C. P.
5 Attie, Paul C.
5 Bose, Prosenjit K.
5 Climaco, Joao Carlos Namorado
5 Desharnais, Jules
5 Festa, Paola
5 Gupta, Arobinda
5 Guttmann, Walter
5 Herman, Ted
5 Jacobs, Bart
5 Laporte, Gilbert
5 Maculan, Nelson F.
5 Manes, Ernest G.
5 Martin, Alain J.
5 Möller, Bernhard
5 Nannicini, Giacomo
5 Osher, Stanley Joel
5 Potop-Butucaru, Maria Gradinariu
5 Schiller, Elad M.
5 Solin, Kim
5 Tarantilis, Christos D.
5 Tarjan, Robert Endre
5 Tel, Gerard
5 Tzeng, Chi-Hung
5 Zedan, Hussein S. M.
4 Apt, Krzysztof Rafal
4 Arora, Anish
4 Batta, Rajan
4 Berghammer, Rudolf
4 Best, Eike
4 Bijlsma, Alex
4 Chen, Yen-Liang
4 Clarke, Edmund Melson jun.
4 Cousot, Patrick
4 Cruz, Frederico R. B.
4 de Carufel, Jean-Lou
4 Delling, Daniel
4 Derigs, Ulrich
4 Di Puglia Pugliese, Luigi
4 Dijkstra, Edsger Wybe
4 Dijkstra, Rutger M.
4 Ding, Wei
4 Emmert-Streib, Frank
4 Fernández-Zepeda, José Alberto
4 Fischer, Michael J.
...and 3,451 more Authors
all top 5

Cited in 291 Serials

198 Theoretical Computer Science
158 Information Processing Letters
104 European Journal of Operational Research
83 Formal Aspects of Computing
72 Computers & Operations Research
65 Distributed Computing
55 Acta Informatica
42 Discrete Applied Mathematics
32 Artificial Intelligence
31 Information and Computation
30 Journal of Computer and System Sciences
28 Algorithmica
24 Information Sciences
23 Applied Mathematics and Computation
22 Annals of Operations Research
21 Computers & Mathematics with Applications
21 International Journal of Foundations of Computer Science
19 Science of Computer Programming
19 The Journal of Logic and Algebraic Programming
17 Journal of Combinatorial Optimization
16 Computing
16 Operations Research Letters
16 Formal Methods in System Design
14 Journal of Computational Physics
13 Networks
12 Journal of Parallel and Distributed Computing
12 Mathematical Programming. Series A. Series B
11 MSCS. Mathematical Structures in Computer Science
11 International Journal of Computer Mathematics
11 Journal of Logical and Algebraic Methods in Programming
10 Mathematical Programming
10 Journal of Symbolic Computation
10 BIT. Nordisk Tidskrift for Informationsbehandling
10 Optimization Letters
9 Journal of Mathematical Imaging and Vision
9 Cybernetics and Systems Analysis
9 Parallel Algorithms and Applications
8 Computer Methods in Applied Mechanics and Engineering
8 Automatica
8 Fuzzy Sets and Systems
8 International Journal of Production Research
8 Journal of Automated Reasoning
8 Computational Geometry
8 International Transactions in Operational Research
8 Mathematical Problems in Engineering
8 Journal of Discrete Algorithms
7 BIT
7 Journal of Information & Optimization Sciences
7 Annals of Pure and Applied Logic
7 International Journal of Parallel Programming
7 Journal of Scientific Computing
6 International Journal of Control
6 Journal of Mathematical Analysis and Applications
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 Annals of Mathematics and Artificial Intelligence
6 RAIRO. Operations Research
6 Computer Science Review
5 Discrete Mathematics
5 Physica A
5 Programming and Computer Software
5 RAIRO, Informatique Théorique
5 Optimization
5 Journal of Global Optimization
5 Computational Optimization and Applications
5 Theory of Computing Systems
5 Wuhan University Journal of Natural Sciences (WUJNS)
5 Computational Geosciences
5 Networks and Spatial Economics
5 Discrete Optimization
5 International Journal of Parallel, Emergent and Distributed Systems
4 International Journal of General Systems
4 International Journal of Systems Science
4 Algebra Universalis
4 International Journal of Computer & Information Sciences
4 Journal of Optimization Theory and Applications
4 Opsearch
4 Studia Logica
4 Systems & Control Letters
4 Journal of Computer Science and Technology
4 Discrete & Computational Geometry
4 Asia-Pacific Journal of Operational Research
4 International Journal of Computational Geometry & Applications
4 Discrete Event Dynamic Systems
4 Applied Mathematical Modelling
4 Linear Algebra and its Applications
4 Proceedings of the National Academy of Sciences of the United States of America
4 International Journal of Bifurcation and Chaos in Applied Sciences and Engineering
4 SIAM Journal on Scientific Computing
4 Top
4 INFORMS Journal on Computing
4 Chaos
4 International Journal of Applied Mathematics and Computer Science
4 OR Spectrum
4 4OR
4 Logical Methods in Computer Science
4 Mathematical Programming Computation
...and 191 more Serials
all top 5

Cited in 48 Fields

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

Citations by Year

Wikidata Timeline

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