×

zbMATH — the first resource for mathematics

Dahl, Ole-Johan

Compute Distance To:
Author ID: dahl.ole-johan Recent zbMATH articles by "Dahl, Ole-Johan"
Published as: Dahl, O.; Dahl, O. J.; Dahl, O.-J.; Dahl, Ole-Johan
Homepage: http://www.olejohandahl.info/
External Links: Wikidata · dblp · GND
Awards: Turing Award (2001)
Documents Indexed: 15 Publications since 1962, including 3 Books
Biographic References: 4 Publications

Publications by Year

Citations contained in zbMATH Open

10 Publications have been cited 132 times in 127 Documents Cited by Year
Structured programming. Zbl 0267.68001
Dahl, O.-J.; Dijkstra, E. W.; Hoare, C. A. R.
59
1972
SIMULA - an ALGOL-based simulation language. Zbl 0139.32903
Dahl, O. J.; Nygaard, K.
26
1966
An ILU preconditioner with coupled node fill-in for iterative solution of the mixed finite element formulation of the 2D and 3D Navier-Stokes equations. Zbl 0825.76446
Dahl, O.; Wille, S.Ø.
23
1992
Verifiable programming. Zbl 0790.68005
Dahl, Ole-Johan
8
1992
Analysis of an algorithm for priority queue administration. Zbl 0324.68021
Jonassen, Arne; Dahl, Ole-Johan
7
1975
Coroutine sequencing in a block structured environment. Zbl 0242.68013
Wang, Arne; Dahl, Ole-Johan
3
1971
Generator induction in order sorted algebras. Zbl 0712.68068
Owe, Olaf; Dahl, Ole-Johan
2
1991
Algorithms and data structures. (Algoritmer og datastrukturer.). Zbl 0334.68001
Dahl, Ole-Johan; Belsnes, Dag
2
1973
Subtyping and constructive specification. Zbl 0907.68123
Dahl, Ole-Johan; Owe, Olaf; Bastiansen, Tore J.
1
1998
Time sequences as a tool for describing program behaviour. Zbl 0456.68017
Dahl, Ole-Johan
1
1980
Subtyping and constructive specification. Zbl 0907.68123
Dahl, Ole-Johan; Owe, Olaf; Bastiansen, Tore J.
1
1998
An ILU preconditioner with coupled node fill-in for iterative solution of the mixed finite element formulation of the 2D and 3D Navier-Stokes equations. Zbl 0825.76446
Dahl, O.; Wille, S.Ø.
23
1992
Verifiable programming. Zbl 0790.68005
Dahl, Ole-Johan
8
1992
Generator induction in order sorted algebras. Zbl 0712.68068
Owe, Olaf; Dahl, Ole-Johan
2
1991
Time sequences as a tool for describing program behaviour. Zbl 0456.68017
Dahl, Ole-Johan
1
1980
Analysis of an algorithm for priority queue administration. Zbl 0324.68021
Jonassen, Arne; Dahl, Ole-Johan
7
1975
Algorithms and data structures. (Algoritmer og datastrukturer.). Zbl 0334.68001
Dahl, Ole-Johan; Belsnes, Dag
2
1973
Structured programming. Zbl 0267.68001
Dahl, O.-J.; Dijkstra, E. W.; Hoare, C. A. R.
59
1972
Coroutine sequencing in a block structured environment. Zbl 0242.68013
Wang, Arne; Dahl, Ole-Johan
3
1971
SIMULA - an ALGOL-based simulation language. Zbl 0139.32903
Dahl, O. J.; Nygaard, K.
26
1966
all top 5

Cited by 203 Authors

15 Wille, Sven Øivind
7 Owe, Olaf
5 Loula, Abimael Fernando Dourado
3 Din, Crystal Chang
3 Oriat, C.
3 Staff, Ørnulf
2 Cardelli, Luca
2 Dahl, Ole-Johan
2 Dovland, Johan
2 Hoare, C. A. R. Tony
2 Johnsen, Einar Broch
2 Kingston, Jeffrey H.
2 Knuth, Donald Ervin
2 Segal, Guus
2 Tsejtlin, G. E.
2 Ur Rehman, Mehfooz
2 Vuik, Cornelis
2 Yushchenko, E. L.
1 Adiga, Sadashiv
1 America, Pierre
1 Arbib, Michael A.
1 Ardis, Mark
1 Asdre, Katerina
1 Axelsen, Holger Bock
1 Bakulin, A. V.
1 Barendregt, Hendrik Pieter
1 Barker, H. Anthony
1 Barthe, Gilles
1 Bertrand, François
1 Birchenhall, Chris
1 Bobrow, Daniel G.
1 Bona, Jerry Lloyd
1 Brol’, V. V.
1 Brucker, Achim D.
1 Callegarin, G.
1 Cao, Chun
1 Cardone, Felice
1 Carey, Graham Francis
1 Chen, Houn-Gee
1 Choi, Hyoung Gwon
1 Clift, Simon S.
1 Coffey, Shannon L.
1 Colvin, Robert J.
1 Cook, William R.
1 Correll, Claus H.
1 Cousineau, Guy
1 Cremers, Armin B.
1 Cunha, Paulo R. F.
1 Daley, Nigel
1 Davies, Jim
1 de Lucena, Carlos José Pereira
1 De Meuter, Wolfgang
1 de V. Garcia, Alex
1 Deprit, André
1 Desjardins, Pierre
1 Dessouky, Yasser M.
1 Duan, Zhenhua
1 Duncan, Arthur G.
1 Dutto, Laura Cecilia
1 Ehrig, Hartmut
1 Elvang-Gøransson, Morten
1 Evtimov, Venelin K.
1 Faitelson, David
1 Fortin, Michel
1 Friedman, Frank L.
1 Furukawa, Koichi
1 Gaines, Brian R.
1 Galand, S.
1 Ginzburg, Abraham
1 Gjessing, Stein
1 Glassey, C. Roger
1 Glück, Robert
1 Glushkov, Viktor Mikhaĭlovich
1 Grant, Philip W.
1 Guessarian, Irène
1 Gurov, V. S.
1 Habashi, Wagdi G.
1 Habermann, A. Nico
1 Haeusler, Edward Hermann
1 Halaas, Arne
1 Harland, David M.
1 Harman, Mark
1 Hayes, Ian J.
1 Hibbard, Thomas N.
1 Hierons, Robert Mark
1 Hisada, Toshiaki
1 Hoffman, Daniel
1 Huang, JianChao
1 Huang, Yu
1 Jackson, Michael R. C.
1 Jobling, C. P.
1 Johansen, Peter
1 Johnson, Donald B.
1 Jonassen, Arne T.
1 Jones, Cliff B.
1 Kapitonova, Yu. V.
1 Kaplan, Ronald M.
1 Kasatkina, I. V.
1 Kay, Martin
1 Kleijnen, Jack P. C.
...and 103 more Authors
all top 5

Cited in 51 Serials

11 Theoretical Computer Science
9 Acta Informatica
9 Computer Methods in Applied Mechanics and Engineering
8 International Journal for Numerical Methods in Fluids
8 BIT. Nordisk Tidskrift for Informationsbehandling
7 Information Processing Letters
5 BIT
5 Information and Computation
5 Formal Aspects of Computing
4 Journal of Logical and Algebraic Methods in Programming
3 Artificial Intelligence
3 Cybernetics
3 Cybernetics and Systems Analysis
3 Diagrammes
2 RAIRO, Informatique Théorique
2 Software. Practice & Experience
2 The Journal of Logic and Algebraic Programming
1 International Journal of General Systems
1 International Journal of Theoretical Physics
1 Journal of Computational Physics
1 Automatica
1 International Journal of Computer & Information Sciences
1 Journal of Algebra
1 Journal of Computer and System Sciences
1 Journal of Economic Theory
1 Journal of Soviet Mathematics
1 Mathematics and Computers in Simulation
1 Mathematical Systems Theory
1 Programming and Computer Software
1
1 Science of Computer Programming
1 Mathematical Social Sciences
1 Operations Research Letters
1 International Journal of Production Research
1 Journal of Complexity
1 Journal of Computer Science and Technology
1 New Generation Computing
1 Computers & Operations Research
1 MSCS. Mathematical Structures in Computer Science
1 Applied Mathematical Modelling
1 Celestial Mechanics
1 European Journal of Operational Research
1 International Journal of Computer Mathematics
1 Advances in Engineering Software
1 Computational Economics
1 SIAM Journal on Scientific Computing
1 Communications in Numerical Methods in Engineering
1 International Journal of Numerical Methods for Heat & Fluid Flow
1 Journal of Functional Programming
1 Science in China. Series F
1 Logical Methods in Computer Science

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.