Peter Naur

Author: Peter Naur

Danish scientist, born 1928.
Mag. Scient. in astronomy 1949, Dr. Phil. 1957.
1953-59 at Copenhagen University's Astronomiske Observatorium.
1959-69 at Regnecentralen and lecturer at Danmarks Tekniske Højskole and the Niels Bohr Institute.
1969-98 Professor of Computer Science (Datalogi) at Copenhagen University.
2006 Turing award for contributions to ALGOL 60.
Turing Award Video Lecture at UIST 2006, Montreux, Switzerland.

Publications

Publication period start: 2007
Number of co-authors: 14

Co-authors

Number of publications with favourite co-authors
Michael Woodger
1
J. Jensen
1
P. Mondrup
1

Productive Colleagues

Most productive colleagues in number of publications
Friedrich L. Bauer
11
Alan J. Perlis
16
John McCarthy
20

Publications

Naur, Peter (2007): Computing versus human thinking. In Communications of the ACM, 50 (1) pp. 85-94. https://dl.acm.org/doi/10.1145/1188922

Naur, Peter (1975): Programming Languages, Natural Languages, and Mathematics. In Communications of the ACM, 18 (12) pp. 676-683.

Naur, Peter (1966): Program translation viewed as a general data processing problem. In Communications of the ACM, 9 (3) pp. 176-179. https://dl.acm.org/doi/10.1145/365230.365260

Naur, Peter (1965): The performance of a system for automatic segmentation of programs within an ALGOL compile. In Communications of the ACM, 8 (11) pp. 671-676. https://dl.acm.org/doi/10.1145/365660.365680

Naur, Peter (1964): Certification of algorithm 122: Tridiagonal matrix. In Communications of the ACM, 7 (3) pp. 144-145. https://dl.acm.org/doi/10.1145/363958.363969

Naur, Peter (1964): Certification of algorithm 150: SYMINV2. In Communications of the ACM, 7 (3) pp. 148. https://dl.acm.org/doi/10.1145/363958.363973

Naur, Peter (1964): Remarks on algorithm 91: Chebyshev curve fit. In Communications of the ACM, 7 (5) pp. 296. https://dl.acm.org/doi/10.1145/364099.364319

Backus, John W., Bauer, Friedrich L., Green, Julien, Katz, C., McCarthy, John, Perlis, Alan J., Rutishauser, Heinz, Samelson, Klaus, Vauquois, Bernard, Wegstein, Joseph Henry, Wijngaarden, Adriaan van, Woodger, Michael, Naur, Peter (1963): Revised report on the algorithm language ALGOL 60. In Communications of the ACM, 6 (1) pp. 1-17. https://dl.acm.org/doi/10.1145/366193.366201

Naur, Peter (1963): Remarks on algorithm 42: invert. In Communications of the ACM, 6 (1) pp. 38. https://dl.acm.org/doi/10.1145/366193.366232

Naur, Peter (1963): Remarks on and certification of algorithm 50: inverse of a finite segment of the Hilbert m. In Communications of the ACM, 6 (1) pp. 38-39. https://dl.acm.org/doi/10.1145/366193.366233

Naur, Peter (1963): Remarks on and certification of algorithm 52: a set of test matrices. In Communications of the ACM, 6 (1) pp. 39. https://dl.acm.org/doi/10.1145/366193.366235

Naur, Peter (1963): Certification of algorithm for calculating primes by means of GPS. In Communications of the ACM, 6 (1) pp. 39. https://dl.acm.org/doi/10.1145/366193.366237

Naur, Peter (1963): Remark on algorithm 107: Gauss\'s method. In Communications of the ACM, 6 (1) pp. 39. https://dl.acm.org/doi/10.1145/366193.366239

Naur, Peter (1963): Certification of algorithms 117 and 118 magic squares (even and odd orders). In Communications of the ACM, 6 (1) pp. 39-40. https://dl.acm.org/doi/10.1145/366193.366240

Naur, Peter (1963): Certification of algorithms 120 and matrix inversion by Gauss-Jordan inversion II. In Communications of the ACM, 6 (1) pp. 40. https://dl.acm.org/doi/10.1145/366193.366244

Naur, Peter (1963): Documentation problems: ALGOL 60. In Communications of the ACM, 6 (3) pp. 77-79. https://dl.acm.org/doi/10.1145/366274.366286

Naur, Peter (1963): Correction to earlier remarks on algorithm 42 invert, alg. 107 Gauss\'s method, alg 120 in. In Communications of the ACM, 6 (8) pp. 445. https://dl.acm.org/doi/10.1145/366707.367554

Naur, Peter (1963): Additional remarks on algorithm 52: a set of test matrices. In Communications of the ACM, 6 (8) pp. 446. https://dl.acm.org/doi/10.1145/366707.367559

Naur, Peter (1963): Certification of algorithm 85: Jacobi. In Communications of the ACM, 6 (8) pp. 447-448. https://dl.acm.org/doi/10.1145/366707.367563

Jensen, J., Mondrup, P., Naur, Peter (1961): A storage allocation scheme for ALGOL 60. In Communications of the ACM, 4 (10) pp. 441-445. https://dl.acm.org/doi/10.1145/366786.366803

Naur, Peter (2000): CHI and Human Thinking. In: Proceedings of the First Nordic Conference on Human-Computer Interaction , 2000, .

Naur, Peter (2006): Computing versus human thinking. In: Proceedings of the ACM Symposium on User Interface Software and Technology , 2006, . pp. 1-2. https://doi.acm.org/10.1145/1166253.1166254