default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPeter Naur
Person information
- award (2005): Turing Award
- award (1986): Computer Pioneer Award
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2007
[j29]Peter Naur:
Computing versus human thinking. Commun. ACM 50(1): 85-94 (2007)- 1993
- [j28]Peter Naur:
Understanding Turing's Universal Machine - Personal Style in Program Description. Comput. J. 36(4): 351-372 (1993) - 1986
- [j27]Peter Naur:
Thinking and Turing's Test. BIT 26(2): 175-187 (1986) - 1982
- [j26]Peter Naur:
Formalization in Program Development. BIT 22(4): 437-453 (1982) - 1980
- [j25]Peter Naur:
Impressions of the Early Days of Programming. BIT 20(4): 414-425 (1980) - 1979
- [j24]Peter Naur:
Critique of the ISO Data Processing Vocabulary. Comput. J. 22(3): 286-288 (1979) - 1978
- [j23]Peter Naur:
The European side of the last phase of the development of ALGOL 60. ACM SIGPLAN Notices 13(8): 15-44 (1978) - 1975
- [j22]Peter Naur:
Programming Languages, Natural Languages, and Mathematics. Commun. ACM 18(12): 676-683 (1975) - 1966
- [j21]Peter Naur:
Program translation viewed as a general data processing problem. Commun. ACM 9(3): 176-179 (1966) - [j20]Peter Naur:
The science of datalogy. Commun. ACM 9(7): 485 (1966) - 1965
- [j19]Peter Naur:
The performance of a system for automatic segmentation of programs within an ALGOL compiler (GIER ALGOL). Commun. ACM 8(11): 671-676 (1965) - 1964
- [j18]Peter Naur:
Certification of algorithm 122: Tridiagonal matrix. Commun. ACM 7(3): 144-145 (1964) - [j17]Peter Naur:
Certification of algorithm 150: SYMINV2. Commun. ACM 7(3): 148 (1964) - [j16]Peter Naur:
Remarks on algorithm 91: Chebyshev curve fit. Commun. ACM 7(5): 296 (1964) - 1963
- [j15]John W. Backus, Friedrich L. Bauer, Julien Green, C. Katz, John McCarthy, Alan J. Perlis, Heinz Rutishauser, Klaus Samelson, Bernard Vauquois, Joseph Henry Wegstein, Adriaan van Wijngaarden, Michael Woodger, Peter Naur:
Revised report on the algorithm language ALGOL 60. Commun. ACM 6(1): 1-17 (1963) - [j14]Peter Naur:
Remarks on algorithm 42: invert. Commun. ACM 6(1): 38 (1963) - [j13]Peter Naur:
Remarks on and certification of algorithm 50: inverse of a finite segment of the Hilbert matrix. Commun. ACM 6(1): 38-39 (1963) - [j12]Peter Naur:
Remarks on and certification of algorithm 52: a set of test matrices. Commun. ACM 6(1): 39 (1963) - [j11]Peter Naur:
Certification of algorithm for calculating primes by means of GPS. Commun. ACM 6(1): 39 (1963) - [j10]Peter Naur:
Remark on algorithm 107: Gauss's method. Commun. ACM 6(1): 39 (1963) - [j9]Peter Naur:
Certification of algorithms 117 and 118 magic squares (even and odd orders). Commun. ACM 6(1): 39-40 (1963) - [j8]Peter Naur:
Certification of algorithms 120 and matrix inversion by Gauss-Jordan inversion II. Commun. ACM 6(1): 40 (1963) - [j7]Peter Naur:
Documentation problems: ALGOL 60. Commun. ACM 6(3): 77-79 (1963) - [j6]Peter Naur:
Correction to earlier remarks on algorithm 42 invert, alg. 107 Gauss's method, alg 120 inversion II, and gjr. Commun. ACM 6(8): 445 (1963) - [j5]Peter Naur:
Additional remarks on algorithm 52: a set of test matrices. Commun. ACM 6(8): 446 (1963) - [j4]Peter Naur:
Certification of algorithm 85: Jacobi. Commun. ACM 6(8): 447-448 (1963) - [j3]John W. Backus, Friedrich L. Bauer, Julien Green, C. Katz, John McCarthy, Peter Naur, Alan J. Perlis, Heinz Rutishauser, Klaus Samelson, Bernard Vauquois, Joseph Henry Wegstein, Adriaan van Wijngaarden, Michael Woodger:
Revised report on the algorithmic language ALGOL 60. Comput. J. 5(4): 349-367 (1963) - [j2]Christian Gram, Ole Hestvik, Henning Isaksson, P. T. Jacobsen, Jørn Jensen, Peter Naur, Bent Scharøe Petersen, B. Svejgaard:
GIER-A Danish Computer of Medium Size. IEEE Trans. Electron. Comput. 12(6): 629-650 (1963) - 1961
- [j1]Jørn Jensen, Per Mondrup, Peter Naur:
A storage allocation scheme for ALGOL 60. Commun. ACM 4(10): 441-445 (1961)
Conference and Workshop Papers
- 2006
- [c9]Peter Naur:
Computing versus human thinking. UIST 2006: 1-2 - 1996
- [c8]Peter Naur:
PARA'96 Conference Dinner Talk, 1996 August 20. PARA 1996: 529-533 - 1992
- [c7]Peter Naur:
Invited talk: Three Notions of Proof. Designing Correct Circuits 1992: 97-101 - 1985
- [c6]Peter Naur:
Intuition in Software Development. TAPSOFT, Vol.2 1985: 60-79 - 1978
- [c5]Peter Naur:
The European side of the last phase of the development of ALGOL 60. HOPL 1978: 92-139 - [c4]Alan J. Perlis, Peter Naur:
Transcripts of presentations. HOPL 1978: 139-161 - 1975
- [c3]Peter Naur:
Programming Languages, Natural Languages, and Mathematics. POPL 1975: 137-148 - 1974
- [c2]Peter Naur:
Trends in Computer Science Education. GI Jahrestagung 1974: 85-93 - 1968
- [c1]Peter Naur:
'Datalogy', the science of data and data processes. IFIP Congress (2) 1968: 1383-1387
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-21 00:11 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
