Edit Profile (opens in new tab) Dahl, Ole-Johan (b. 1931 d. 2002) Co-Author Distance Author ID: dahl.ole-johan Published as: Dahl, Ole-Johan; Dahl, O.-J.; Dahl, O. J. more...less Homepage: http://www.olejohandahl.info/ External Links: Wikidata · dblp · GND · IdRef Awards: Turing Award (2001) Documents Indexed: 15 Publications since 1962, including 3 Books Biographic References: 5 Publications Co-Authors: 9 Co-Authors with 8 Joint Publications 103 Co-Co-Authors all top 5 Co-Authors 6 single-authored 2 Owe, Olaf 1 Bastiansen, Tore J. 1 Belsnes, Dag 1 Dijkstra, Edsger Wybe 1 Hoare, C. A. R. Tony 1 Jonassen, Arne T. 1 Kristoffersen, Bjørn 1 Nygaard, Kristen 1 Wang, Arne 1 Wille, Sven Øivind all top 5 Serials 3 BIT. Nordisk Tidskrift for Informationsbehandling 2 Nordic Journal of Computing 1 International Journal for Numerical Methods in Fluids 1 Formal Aspects of Computing 1 Communications of the ACM 1 A.P.I.C. Studies in Data Processing Fields 12 Computer science (68-XX) 1 Numerical analysis (65-XX) 1 Fluid mechanics (76-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 10 Publications have been cited 111 times in 105 Documents Cited by ▼ Year ▼ Structured programming. Zbl 0267.68001Dahl, O.-J.; Dijkstra, E. W.; Hoare, C. A. R. 57 1972 SIMULA - an ALGOL-based simulation language. Zbl 0139.32903Dahl, O. J.; Nygaard, K. 30 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.76446Dahl, O.; Wille, S.Ø. 23 1992 Verifiable programming. Zbl 0790.68005Dahl, Ole-Johan 8 1992 Analysis of an algorithm for priority queue administration. Zbl 0324.68021Jonassen, Arne; Dahl, Ole-Johan 7 1975 Coroutine sequencing in a block structured environment. Zbl 0242.68013Wang, Arne; Dahl, Ole-Johan 3 1971 Generator induction in order sorted algebras. Zbl 0712.68068Owe, Olaf; Dahl, Ole-Johan 2 1991 Algorithms and data structures. (Algoritmer og datastrukturer.). Zbl 0334.68001Dahl, Ole-Johan; Belsnes, Dag 2 1973 Time sequences as a tool for describing program behaviour. Zbl 0456.68017Dahl, Ole-Johan 1 1980 Subtyping and constructive specification. Zbl 0907.68123Dahl, Ole-Johan; Owe, Olaf; Bastiansen, Tore J. 1 1998 Subtyping and constructive specification. Zbl 0907.68123Dahl, 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.76446Dahl, O.; Wille, S.Ø. 23 1992 Verifiable programming. Zbl 0790.68005Dahl, Ole-Johan 8 1992 Generator induction in order sorted algebras. Zbl 0712.68068Owe, Olaf; Dahl, Ole-Johan 2 1991 Time sequences as a tool for describing program behaviour. Zbl 0456.68017Dahl, Ole-Johan 1 1980 Analysis of an algorithm for priority queue administration. Zbl 0324.68021Jonassen, Arne; Dahl, Ole-Johan 7 1975 Algorithms and data structures. (Algoritmer og datastrukturer.). Zbl 0334.68001Dahl, Ole-Johan; Belsnes, Dag 2 1973 Structured programming. Zbl 0267.68001Dahl, O.-J.; Dijkstra, E. W.; Hoare, C. A. R. 57 1972 Coroutine sequencing in a block structured environment. Zbl 0242.68013Wang, Arne; Dahl, Ole-Johan 3 1971 SIMULA - an ALGOL-based simulation language. Zbl 0139.32903Dahl, O. J.; Nygaard, K. 30 1966 all cited Publications top 5 cited Publications all top 5 Cited by 171 Authors 7 Owe, Olaf 3 Cardelli, Luca 3 Din, Crystal Chang 3 Oriat, Catherine 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 Mitchell, John C. 2 Szwarcfiter, Jayme Luiz 2 Tsejtlin, G. E. 2 Yushchenko, E. L. 1 Adiga, Sadashiv 1 America, Pierre 1 Apt, Krzysztof Rafal 1 Arbib, Michael A. 1 Ardis, Mark 1 Asdre, Katerina 1 Axelsen, Holger Bock 1 Bakulin, A. V. 1 Barendregt, Hendrik Pieter 1 Barthe, Gilles 1 Bento, Lucila Maria Souza 1 Birchenhall, Chris 1 Bobrow, Daniel G. 1 Boccardo, Davidson R. 1 Bona, Jerry Lloyd 1 Brol’, V. V. 1 Brucker, Achim D. 1 Callegarin, G. 1 Cao, Chun 1 Cardone, Felice 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 Roberto Freire 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 Dershowitz, Nachum 1 Desjardins, Pierre 1 Dessouky, Yasser M. 1 Drossopolou, Sophia 1 Duan, Zhenhua 1 Duncan, Arthur G. 1 Ehrig, Hartmut 1 Eisenbach, Susan 1 Elvang-Gøransson, Morten 1 Evtimov, Venelin K. 1 Faitelson, David 1 Friedman, Frank L. 1 Furukawa, Kōichi 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 Guessarian, Irène 1 Gurov, V. S. 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 Hoffman, Daniel 1 Huang, Yu 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. 1 Koffman, Elliot B. 1 Kohout, Ladislav J. 1 Kosaraju, S. Rao 1 Krasilov, A. A. 1 Krogdahl, Stein 1 Lahiri, Shuvendu Kumar 1 Lecarme, Olivier 1 Leroudier, Jacques 1 Lindstrom, Gary 1 Loefgren, Mats 1 Loncour, Charles ...and 71 more Authors all top 5 Cited in 44 Serials 9 Acta Informatica 8 Theoretical Computer Science 8 BIT. Nordisk Tidskrift for Informationsbehandling 6 Formal Aspects of Computing 5 Information Processing Letters 4 Artificial Intelligence 4 BIT 4 Information and Computation 4 Journal of Logical and Algebraic Methods in Programming 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 Discrete Applied Mathematics 1 International Journal of General Systems 1 International Journal of Theoretical 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 MSCS. Mathematical Structures in Computer Science 1 Celestial Mechanics 1 European Journal of Operational Research 1 International Journal of Computer Mathematics 1 Advances in Engineering Software 1 Computational Economics 1 Journal of Functional Programming 1 Science in China. Series F 1 Logical Methods in Computer Science all top 5 Cited in 14 Fields 96 Computer science (68-XX) 11 Mathematical logic and foundations (03-XX) 6 Numerical analysis (65-XX) 5 Operations research, mathematical programming (90-XX) 4 Category theory; homological algebra (18-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 3 Biology and other natural sciences (92-XX) 3 Systems theory; control (93-XX) 2 Combinatorics (05-XX) 2 Probability theory and stochastic processes (60-XX) 1 General algebraic systems (08-XX) 1 Mechanics of particles and systems (70-XX) 1 Quantum theory (81-XX) 1 Information and communication theory, circuits (94-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.