Edit Profile (opens in new tab) Dijkstra, Edsger Wybe (b. 1930 d. 2002) Co-Author Distance Author ID: dijkstra.edsger-wybe Published as: Dijkstra, Edsger W.; Dijkstra, E. W.; Dijkstra, Edsger; Dijkstra, Edsger Wybe more...less 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: 6 Publications Co-Authors: 9 Co-Authors with 14 Joint Publications 145 Co-Co-Authors all top 5 Co-Authors 72 single-authored 5 van Gasteren, Antonetta Johanna Maria 4 Scholten, Carel S. 3 Feijen, W. H. J. 2 Hoare, C. A. R. Tony 2 Lamport, Leslie 2 Steffens, Elisabeth F. M. 1 Bauer, Friedrich Ludwig 1 Blaauw, G. W. 1 Boyer, Robert S. 1 Broy, Manfred 1 Burstall, Rod M. 1 Dahl, Ole-Johan 1 de Bakker, Jacobus W. 1 Duijvestijn, A. J. W. 1 Goguen, Joseph Amadee 1 Manna, Zohar 1 Misra, Jayadev 1 Moore, J Strother 1 Pnueli, Amir 1 van der Houwen, Pieter J. 1 Van der Poel, Willem Louis 1 van Wijngaarden, Adrian 1 Wilkes, Maurice Vincent 1 Zoutendijk, Guus all top 5 Serials 6 Information Processing Letters 5 Communications of the ACM 3 Acta Informatica 3 Nederlandse Akademie van Wetenschappen. Proceedings. Series A. Indagationes Mathematicae 2 American Mathematical Monthly 2 Numerische Mathematik 2 Science of Computer Programming 2 Formal Aspects of Computing 1 The Mathematical Intelligencer 1 BIT 1 The Computer Journal. Section A / Section B 1 Philosophical Transactions of the Royal Society of London. Ser. A 1 Mitteilungen der Mathematischen Gesellschaft in Hamburg 1 Nieuw Archief voor Wiskunde. Derde Serie 1 Distributed Computing 1 BIT. Nordisk Tidskrift for Informationsbehandling 1 Elektronische Datenverarbeitung 1 Mathematical Tables and other Aids to Computation 1 A.P.I.C. Studies in Data Processing 1 NATO ASI Series. Series F. Computer and Systems Sciences all top 5 Fields 61 Computer science (68-XX) 11 Mathematical logic and foundations (03-XX) 10 General and overarching topics; collections (00-XX) 5 Combinatorics (05-XX) 5 Number theory (11-XX) 4 History and biography (01-XX) 2 Operations research, mathematical programming (90-XX) 2 Information and communication theory, circuits (94-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 General algebraic systems (08-XX) 1 Real functions (26-XX) 1 Sequences, series, summability (40-XX) 1 Probability theory and stochastic processes (60-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 47 Publications have been cited 2,602 times in 2,378 Documents Cited by ▼ Year ▼ A note on two problems in connexion with graphs. Zbl 0092.16002Dijkstra, E. W. 1,222 1959 Self-stabilizing systems in spite of distributed control. Zbl 0305.68048Dijkstra, Edsger W. 306 1974 A discipline of programming. Zbl 0368.68005Dijkstra, Edsger W. 301 1976 Guarded commands, nondeterminacy and formal derivation of programs. Zbl 0308.68017Dijkstra, Edsger W. 165 1975 Programming as a discipline of mathematical nature. Zbl 0286.00013Dijkstra, E. W. 139 1974 Predicate calculus and program semantics. Zbl 0698.68011Dijkstra, Edsger Wybe; Scholten, C. S. 114 1990 Structured programming. Zbl 0267.68001Dahl, O.-J.; Dijkstra, E. W.; Hoare, C. A. R. 57 1972 Termination detection for diffusing computations. Zbl 0439.68039Dijkstra, Edsger W.; Scholten, C. S. 43 1980 A belated proof of self-stabilization. Zbl 0604.68015Dijkstra, Edsger W. 40 1986 Selected writings on computing: a personal perspective. Zbl 0497.68001Dijkstra, Edsger W. 28 1982 The structure of the ‘THE’-multiprogramming system. Zbl 0164.18704Dijkstra, E. W. 26 1968 A constructive approach to the program correctness. Zbl 0167.46002Dijkstra, E. W. 22 1968 On-the-fly garbage collection: An exercise in cooperation. Zbl 0386.68024Dijkstra, Edsger W.; Lamport, Leslie; Martin, A. J.; Scholten, C. S.; Steffens, E. F. M. 21 1978 Some beautiful arguments using mathematical induction. Zbl 0435.68055Dijkstra, Edsger W. 12 1980 Derivation of a termination detection algorithm for distributed computations. Zbl 1451.68121Dijkstra, Edsger W.; Feijen, W. H. J.; van Gasteren, A. J. M. 11 1983 Smoothsort, an alternative for sorting in situ. Zbl 0486.68050Dijkstra, Edsger W. 11 1982 Recursive programming. Zbl 0093.13911Dijkstra, E. W. 10 1960 A simple fixpoint argument without the restriction to continuity. Zbl 0591.68007Dijkstra, Edsger W.; van Gasteren, A. J. M. 7 1986 A method of programming. Translated from the Dutch by Joke Sterringa. Zbl 0681.68001Dijkstra, Edsger W.; Feijen, W. H. J. 6 1988 On-the-fly garbage collection: An exercise in cooperation. Zbl 0347.68019Dijkstra, Edsger W.; Lamport, Leslie; Martin, A. J.; Scholten, C. S.; Steffens, E. F. M. 5 1976 Invariance and non-determinacy. Zbl 0544.68011Dijkstra, E. W. 4 1984 On a cultural gap. Zbl 0586.68025Dijkstra, E. W. 4 1986 Making a fair roulette from a possibly biased coin. Zbl 0722.60015Dijkstra, Edsger W. 4 1990 A simple axiomatic basis for programming language constructs. Zbl 0277.68008Dijkstra, Edsger W. 4 1974 Operating experience with AlGOL 60. Zbl 0100.13107Dijkstra, E. W. 4 1962 The correctness problem in computer science. Zbl 0476.68009 3 1981 EWD1300: The notational conventions I adopted, and why. Zbl 1029.68004Dijkstra, Edsger W. 3 2002 On the interplay between mathematics and programming. Zbl 0418.68032Dijkstra, E. W. 3 1979 Shmuel Safra’s version of termination detection. Zbl 0987.68526Dijkstra, Edsger W. 3 1999 Derivation of a termination detection algorithm for distributed computations. Zbl 0566.68025Dijkstra, Edsger W.; Feijen, W. H. J.; van Gasteren, A. J. M. 3 1985 Finding the correctness proof of a concurrent program. Zbl 0429.68024Dijkstra, E. W. 2 1978 An introduction to three algorithms for sorting in situ. Zbl 0491.68059Dijkstra, Edsger W.; van Gasteren, A. J. M. 2 1982 Errata to: “Smoothsort, an alternative for sorting in situ”. Zbl 0492.68049Dijkstra, E. W. 2 1982 Guarded commands, nondeterminacy, and formal derivation of programs. Zbl 0395.68005Dijkstra, Edsger W. 2 1978 Finding the correctness proof of a concurrent program. Zbl 0397.68010Dijkstra, E. W. 2 1978 A tutorial on the split binary semaphore. Zbl 0569.68016Dijkstra, Edsger W. 2 1982 An attemt to unify the constituent concepts of serial program execution. Zbl 0137.10706Dijkstra, E. W. 2 1962 Program inversion. Zbl 0457.68018Dijkstra, Edsger W. 1 1979 A bagatelle on Euclid’s algorithm (EWD 1158). Zbl 0858.11004Dijkstra, Edsger W. 1 1996 On a gauntlet thrown by David Gries. Zbl 0332.05001Dijkstra, Edsger W. 1 1976 Guarded commands, non-determinacy and a calculus for the derivation of programs. Zbl 0347.68015Dijkstra, Edsger W. 1 1976 Correctness concerns and, among other things, why they are resented. Zbl 0395.68011Dijkstra, Edsger W. 1 1978 On the interplay between mathematics and programming. Zbl 0418.68033Dijkstra, E. W. 1 1979 Go to statement considered harmful (1968). Zbl 07526277Dijkstra, Edsger 1 2021 Iterative processes for the computation of elementary functions. Zbl 0074.12005Dijkstra, Edsger W. 1 1956 Ein ALGOL-60-Übersetzer für die X 1. I, II. Zbl 0105.11102Dijkstra, E. W. 1 1961 Letters to the editor. Defense of ALGOL 60. Zbl 0106.11401Dijkstra, E. W. 1 1961 Go to statement considered harmful (1968). Zbl 07526277Dijkstra, Edsger 1 2021 EWD1300: The notational conventions I adopted, and why. Zbl 1029.68004Dijkstra, Edsger W. 3 2002 Shmuel Safra’s version of termination detection. Zbl 0987.68526Dijkstra, Edsger W. 3 1999 A bagatelle on Euclid’s algorithm (EWD 1158). Zbl 0858.11004Dijkstra, Edsger W. 1 1996 Predicate calculus and program semantics. Zbl 0698.68011Dijkstra, Edsger Wybe; Scholten, C. S. 114 1990 Making a fair roulette from a possibly biased coin. Zbl 0722.60015Dijkstra, Edsger W. 4 1990 A method of programming. Translated from the Dutch by Joke Sterringa. Zbl 0681.68001Dijkstra, Edsger W.; Feijen, W. H. J. 6 1988 A belated proof of self-stabilization. Zbl 0604.68015Dijkstra, Edsger W. 40 1986 A simple fixpoint argument without the restriction to continuity. Zbl 0591.68007Dijkstra, Edsger W.; van Gasteren, A. J. M. 7 1986 On a cultural gap. Zbl 0586.68025Dijkstra, E. W. 4 1986 Derivation of a termination detection algorithm for distributed computations. Zbl 0566.68025Dijkstra, Edsger W.; Feijen, W. H. J.; van Gasteren, A. J. M. 3 1985 Invariance and non-determinacy. Zbl 0544.68011Dijkstra, E. W. 4 1984 Derivation of a termination detection algorithm for distributed computations. Zbl 1451.68121Dijkstra, Edsger W.; Feijen, W. H. J.; van Gasteren, A. J. M. 11 1983 Selected writings on computing: a personal perspective. Zbl 0497.68001Dijkstra, Edsger W. 28 1982 Smoothsort, an alternative for sorting in situ. Zbl 0486.68050Dijkstra, Edsger W. 11 1982 An introduction to three algorithms for sorting in situ. Zbl 0491.68059Dijkstra, Edsger W.; van Gasteren, A. J. M. 2 1982 Errata to: “Smoothsort, an alternative for sorting in situ”. Zbl 0492.68049Dijkstra, E. W. 2 1982 A tutorial on the split binary semaphore. Zbl 0569.68016Dijkstra, Edsger W. 2 1982 The correctness problem in computer science. Zbl 0476.68009 3 1981 Termination detection for diffusing computations. Zbl 0439.68039Dijkstra, Edsger W.; Scholten, C. S. 43 1980 Some beautiful arguments using mathematical induction. Zbl 0435.68055Dijkstra, Edsger W. 12 1980 On the interplay between mathematics and programming. Zbl 0418.68032Dijkstra, E. W. 3 1979 Program inversion. Zbl 0457.68018Dijkstra, Edsger W. 1 1979 On the interplay between mathematics and programming. Zbl 0418.68033Dijkstra, E. W. 1 1979 On-the-fly garbage collection: An exercise in cooperation. Zbl 0386.68024Dijkstra, Edsger W.; Lamport, Leslie; Martin, A. J.; Scholten, C. S.; Steffens, E. F. M. 21 1978 Finding the correctness proof of a concurrent program. Zbl 0429.68024Dijkstra, E. W. 2 1978 Guarded commands, nondeterminacy, and formal derivation of programs. Zbl 0395.68005Dijkstra, Edsger W. 2 1978 Finding the correctness proof of a concurrent program. Zbl 0397.68010Dijkstra, E. W. 2 1978 Correctness concerns and, among other things, why they are resented. Zbl 0395.68011Dijkstra, Edsger W. 1 1978 A discipline of programming. Zbl 0368.68005Dijkstra, Edsger W. 301 1976 On-the-fly garbage collection: An exercise in cooperation. Zbl 0347.68019Dijkstra, Edsger W.; Lamport, Leslie; Martin, A. J.; Scholten, C. S.; Steffens, E. F. M. 5 1976 On a gauntlet thrown by David Gries. Zbl 0332.05001Dijkstra, Edsger W. 1 1976 Guarded commands, non-determinacy and a calculus for the derivation of programs. Zbl 0347.68015Dijkstra, Edsger W. 1 1976 Guarded commands, nondeterminacy and formal derivation of programs. Zbl 0308.68017Dijkstra, Edsger W. 165 1975 Self-stabilizing systems in spite of distributed control. Zbl 0305.68048Dijkstra, Edsger W. 306 1974 Programming as a discipline of mathematical nature. Zbl 0286.00013Dijkstra, E. W. 139 1974 A simple axiomatic basis for programming language constructs. Zbl 0277.68008Dijkstra, Edsger W. 4 1974 Structured programming. Zbl 0267.68001Dahl, O.-J.; Dijkstra, E. W.; Hoare, C. A. R. 57 1972 The structure of the ‘THE’-multiprogramming system. Zbl 0164.18704Dijkstra, E. W. 26 1968 A constructive approach to the program correctness. Zbl 0167.46002Dijkstra, E. W. 22 1968 Operating experience with AlGOL 60. Zbl 0100.13107Dijkstra, E. W. 4 1962 An attemt to unify the constituent concepts of serial program execution. Zbl 0137.10706Dijkstra, E. W. 2 1962 Ein ALGOL-60-Übersetzer für die X 1. I, II. Zbl 0105.11102Dijkstra, E. W. 1 1961 Letters to the editor. Defense of ALGOL 60. Zbl 0106.11401Dijkstra, E. W. 1 1961 Recursive programming. Zbl 0093.13911Dijkstra, E. W. 10 1960 A note on two problems in connexion with graphs. Zbl 0092.16002Dijkstra, E. W. 1,222 1959 Iterative processes for the computation of elementary functions. Zbl 0074.12005Dijkstra, Edsger W. 1 1956 all cited Publications top 5 cited Publications all top 5 Cited by 4,072 Authors 21 Datta, Ajoy Kumar 19 Tixeuil, Sébastien 18 Hoare, C. A. R. Tony 17 Hesselink, Wim H. 16 Devismes, Stéphane 15 Dolev, Shlomi 14 Cavalcanti, Ana 14 Huang, Shingtsaan 14 Masuzawa, Toshimitsu 13 Morgan, Carroll C. 13 Srimani, Pradip K. 12 Larmore, Lawrence L. 11 Back, Ralph-Johan 11 Katoen, Joost-Pieter 11 Takaoka, Tadao 10 Kakugawa, Hirotsugu 10 Scheideler, Christian 10 Sedeño-Noda, Antonio 9 Backhouse, Roland C. 9 Bose, Prosenjit K. 9 Chaudhuri, Pranay Kumar 9 Duin, Cees W. 9 Guerriero, Francesca 9 Mili, Ali 9 Villain, Vincent 8 Dubois, Swan 8 Huang, Tetz C. 8 McIver, Annabelle K. 8 Petit, Franck 8 Schiller, Elad Michael 8 Volgenant, Anton 8 Woodcock, James C. P. 8 Yamauchi, Yukiko 7 Bergstra, Jan A. 7 Dehmer, Matthias 7 Festa, Paola 7 Francez, Nissim 7 Gouda, Mohamed G. 7 Guttmann, Walter 7 He, Jifeng 7 Hedetniemi, Stephen Travis 7 Kheddouci, Hamamache 7 Kulkarni, Sandeep S. 7 Kutten, Shay 7 Leino, K. Rustan M. 7 Li, Jianping 7 Nannicini, Giacomo 7 Ponse, Alban 7 Raynal, Michel 7 Sudo, Yuichi 7 Wagner, Dorothea 6 Antonoiu, Gheorghe 6 Apt, Krzysztof Rafal 6 Bonakdarpour, Borzoo 6 Cournier, Alain 6 Delling, Daniel 6 Er, Mingcheng 6 Frieze, Alan Michael 6 Ghosh, Sukumar 6 Gries, David 6 Gudmundsson, Joachim 6 Gupta, Arobinda 6 Hansen, Pierre 6 Hayes, Ian J. 6 Kamei, Sayaka 6 Karaata, Mehmet Hakan 6 Katz, Shmuel 6 Laporte, Gilbert 6 Liberti, Leo 6 Lichen, Junran 6 Lin, Ji-Cherng 6 Möller, Bernhard 6 Nesterenko, Mikhail V. 6 Pascoal, Marta Margarida Braz 6 Potop-Butucaru, Maria Gradinariu 6 Sampaio, Augusto C. A. 6 Vladimirsky, Alexander 5 Attie, Paul C. 5 Berghammer, Rudolf 5 Best, Eike 5 Climaco, Joao Carlos Namorado 5 Desharnais, Jules 5 Frigioni, Daniele 5 Herman, Ted 5 Jacobs, Bart 5 Kovács, Laura Ildikó 5 Levcopoulos, Christos 5 Maheshwari, Anil 5 Martin, Alain J. 5 Osher, Stanley Joel 5 Pardalos, Panos M. 5 Solin, Kim 5 Sörensen, Kenneth 5 Spirakis, Paul G. 5 Subramani, Krishnan 5 Tarantilis, Christos D. 5 Tarjan, Robert Endre 5 Taubenfeld, Gadi 5 Tel, Gerard 5 Tzeng, Chi-Hung ...and 3,972 more Authors all top 5 Cited in 323 Serials 208 Theoretical Computer Science 158 Information Processing Letters 117 European Journal of Operational Research 87 Formal Aspects of Computing 85 Computers & Operations Research 67 Distributed Computing 56 Acta Informatica 49 Discrete Applied Mathematics 37 Artificial Intelligence 35 Information and Computation 31 Journal of Computer and System Sciences 30 Algorithmica 27 Information Sciences 24 Applied Mathematics and Computation 23 Annals of Operations Research 22 International Journal of Foundations of Computer Science 21 Computers & Mathematics with Applications 19 Science of Computer Programming 19 Journal of Combinatorial Optimization 18 The Journal of Logic and Algebraic Programming 16 Journal of Computational Physics 16 Computing 16 Operations Research Letters 16 Formal Methods in System Design 16 Journal of Logical and Algebraic Methods in Programming 15 Networks 15 Journal of Mathematical Imaging and Vision 13 MSCS. Mathematical Structures in Computer Science 13 International Transactions in Operational Research 12 Journal of Parallel and Distributed Computing 12 Mathematical Programming. Series A. Series B 12 Optimization Letters 11 International Journal of Computer Mathematics 10 Computer Methods in Applied Mechanics and Engineering 10 Physica A 10 Mathematical Programming 10 Journal of Symbolic Computation 10 Computational Geometry 10 BIT. Nordisk Tidskrift for Informationsbehandling 9 Fuzzy Sets and Systems 9 Journal of Automated Reasoning 9 Journal of Scientific Computing 9 Cybernetics and Systems Analysis 9 Parallel Algorithms and Applications 8 Automatica 8 International Journal of Production Research 8 Mathematical Problems in Engineering 8 ACM Journal of Experimental Algorithmics 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 Annals of Mathematics and Artificial Intelligence 7 INFORMS Journal on 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 Computational Optimization and Applications 6 Journal of Functional Programming 6 Theory of Computing Systems 6 Computational Geosciences 6 RAIRO. Operations Research 6 4OR 6 Logical Methods in Computer Science 6 Computer Science Review 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 Applied Mathematical Modelling 5 SIAM Journal on Scientific Computing 5 Soft Computing 5 Wuhan University Journal of Natural Sciences (WUJNS) 5 Networks and Spatial Economics 5 Discrete Optimization 5 International Journal of Parallel, Emergent and Distributed Systems 5 Mathematical Programming Computation 4 Discrete Mathematics 4 International Journal of General Systems 4 International Journal of Systems Science 4 Algebra Universalis 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 4 Machine Learning 4 International Journal of Computational Geometry & Applications 4 Discrete Event Dynamic Systems 4 Linear Algebra and its Applications 4 Proceedings of the National Academy of Sciences of the United States of America ...and 223 more Serials all top 5 Cited in 49 Fields 1,546 Computer science (68-XX) 669 Operations research, mathematical programming (90-XX) 325 Combinatorics (05-XX) 141 Numerical analysis (65-XX) 127 Mathematical logic and foundations (03-XX) 84 Systems theory; control (93-XX) 72 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 57 Information and communication theory, circuits (94-XX) 43 Biology and other natural sciences (92-XX) 37 Calculus of variations and optimal control; optimization (49-XX) 32 Statistics (62-XX) 29 Probability theory and stochastic processes (60-XX) 26 Category theory; homological algebra (18-XX) 26 Partial differential equations (35-XX) 22 Order, lattices, ordered algebraic structures (06-XX) 16 Fluid mechanics (76-XX) 15 Convex and discrete geometry (52-XX) 14 Mechanics of deformable solids (74-XX) 13 Number theory (11-XX) 12 General algebraic systems (08-XX) 11 Quantum theory (81-XX) 11 Statistical mechanics, structure of matter (82-XX) 9 Linear and multilinear algebra; matrix theory (15-XX) 8 General and overarching topics; collections (00-XX) 8 Dynamical systems and ergodic theory (37-XX) 7 Group theory and generalizations (20-XX) 7 Ordinary differential equations (34-XX) 7 General topology (54-XX) 7 Geophysics (86-XX) 5 Differential geometry (53-XX) 4 Commutative algebra (13-XX) 4 Algebraic geometry (14-XX) 4 Measure and integration (28-XX) 4 Geometry (51-XX) 4 Mechanics of particles and systems (70-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) 2 Topological groups, Lie groups (22-XX) 2 Real functions (26-XX) 2 Algebraic topology (55-XX) 2 Classical thermodynamics, heat transfer (80-XX) 1 Field theory and polynomials (12-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) 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.