The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Peter Naur: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Peter Naur
    Formalization in Program Development. [Citation Graph (1, 0)][DBLP]
    BIT, 1982, v:22, n:4, pp:437-453 [Journal]
  2. Peter Naur
    Trends in Computer Science Education. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1974, pp:85-93 [Conf]
  3. Peter Naur
    'Datalogy', the science of data and data processes. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (2), 1968, pp:1383-1387 [Conf]
  4. Peter Naur
    Invited talk: Three Notions of Proof. [Citation Graph (0, 0)][DBLP]
    Designing Correct Circuits, 1992, pp:97-101 [Conf]
  5. Peter Naur
    PARA'96 Conference Dinner Talk, 1996 August 20. [Citation Graph (0, 0)][DBLP]
    PARA, 1996, pp:529-533 [Conf]
  6. Peter Naur
    Programming Languages, Natural Languages, and Mathematics. [Citation Graph (0, 0)][DBLP]
    POPL, 1975, pp:137-148 [Conf]
  7. Peter Naur
    Intuition in Software Development. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.2, 1985, pp:60-79 [Conf]
  8. Peter Naur
    Computing versus human thinking. [Citation Graph (0, 0)][DBLP]
    UIST, 2006, pp:1-2 [Conf]
  9. Peter Naur
    Impressions of the Early Days of Programming. [Citation Graph (0, 0)][DBLP]
    BIT, 1980, v:20, n:4, pp:414-425 [Journal]
  10. Peter Naur
    Thinking and Turing's Test. [Citation Graph (0, 0)][DBLP]
    BIT, 1986, v:26, n:2, pp:175-187 [Journal]
  11. 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. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1963, v:6, n:1, pp:1-17 [Journal]
  12. J. Jensen, P. Mondrup, Peter Naur
    A storage allocation scheme for ALGOL 60. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1961, v:4, n:10, pp:441-445 [Journal]
  13. Peter Naur
    Remarks on algorithm 42: invert. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1963, v:6, n:1, pp:38- [Journal]
  14. Peter Naur
    Remarks on and certification of algorithm 50: inverse of a finite segment of the Hilbert matrix. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1963, v:6, n:1, pp:38-39 [Journal]
  15. Peter Naur
    Remarks on and certification of algorithm 52: a set of test matrices. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1963, v:6, n:1, pp:39- [Journal]
  16. Peter Naur
    Certification of algorithm for calculating primes by means of GPS. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1963, v:6, n:1, pp:39- [Journal]
  17. Peter Naur
    Remark on algorithm 107: Gauss's method. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1963, v:6, n:1, pp:39- [Journal]
  18. Peter Naur
    Certification of algorithms 117 and 118 magic squares (even and odd orders). [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1963, v:6, n:1, pp:39-40 [Journal]
  19. Peter Naur
    Certification of algorithms 120 and matrix inversion by Gauss-Jordan inversion II. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1963, v:6, n:1, pp:40- [Journal]
  20. Peter Naur
    Documentation problems: ALGOL 60. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1963, v:6, n:3, pp:77-79 [Journal]
  21. Peter Naur
    Correction to earlier remarks on algorithm 42 invert, alg. 107 Gauss's method, alg 120 inversion II, and gjr. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1963, v:6, n:8, pp:445- [Journal]
  22. Peter Naur
    Additional remarks on algorithm 52: a set of test matrices. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1963, v:6, n:8, pp:446- [Journal]
  23. Peter Naur
    Certification of algorithm 85: Jacobi. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1963, v:6, n:8, pp:447-448 [Journal]
  24. Peter Naur
    Certification of algorithm 122: Tridiagonal matrix. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1964, v:7, n:3, pp:144-145 [Journal]
  25. Peter Naur
    Certification of algorithm 150: SYMINV2. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1964, v:7, n:3, pp:148- [Journal]
  26. Peter Naur
    Remarks on algorithm 91: Chebyshev curve fit. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1964, v:7, n:5, pp:296- [Journal]
  27. Peter Naur
    The performance of a system for automatic segmentation of programs within an ALGOL compiler (GIER ALGOL). [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1965, v:8, n:11, pp:671-676 [Journal]
  28. Peter Naur
    Program translation viewed as a general data processing problem. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1966, v:9, n:3, pp:176-179 [Journal]
  29. Peter Naur
    Programming Languages, Natural Languages, and Mathematics. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1975, v:18, n:12, pp:676-683 [Journal]
  30. Peter Naur
    Computing versus human thinking. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 2007, v:50, n:1, pp:85-94 [Journal]
  31. Peter Naur
    Critique of the ISO Data Processing Vocabulary. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1979, v:22, n:3, pp:286-288 [Journal]
  32. Peter Naur
    Understanding Turing's Universal Machine - Personal Style in Program Description. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1993, v:36, n:4, pp:351-372 [Journal]

Search in 0.003secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002