Schriftenverzeichnis

  1. "Zur Konstruktion von Holomorphiehüllen unverzweigter Gebiete über dem Cn", Dissertation, Schriftenreihe des Math. Inst. der Universität Münster, 88 pp. (1960)
  2. "Efficient handling of subscripted variables in ALGOL60 compilers" (with U. Hill, H.R. Schwarz, G. Seegmüller), Proceedings of the Symposium on Symbolic Languages in Data Processing, Rome, 333-340, Gordon & Breach, New York (1962)
  3. "Algorithm 263 GOMORY I [H]", Comm. Ass. Comp. Mach. 8, 10, 601-602 (October 1965)
  4. "Präzisierung der Begriffe Phrasenstruktur und strukturelle Mehrdeutigkeit in CHOMSKY-Sprachen" (mit J. Eickel), 3. Kolloquium über Automatentheorie in Hannover 1965, 263-287, Birkhäuser, Basel (1967)
  5. "Translation of ALGOL60" (mit A.A. Grau, U. Hill), Handbook for Automatic Computation, Vol I, Part b, Grundlehren der math. Wissenschaften, Band 137, 397 pp., Springer, Heidelberg (1967)
  6. "Zum Satz von LIDSKII", Habilitationsschrift, Math. Inst. - Rechenzentrum, Techn. Hochschule München, Bericht Nr. 6707, 30 pp. (1967)
  7. "Zur Äquivalenz der HOTZschen und der PAULschen Definition der Mehrdeutigkeit von CHOMSKY-Sprachen", 4. Kolloquium über Automatentheorie in München 1967, 74-81, Erlangen (1967)
  8. "Zur Mehrdeutigkeit von CHOMSKY-Sprachen" (mit J. Eickel, W. Lahner), Math. Inst. - Rechenzentrum, Techn. Hochschule München, Bericht Nr. 6710, 89 pp. (1967)
  9. "Lösbarkeit und Unlösbarkeit des Zyklenproblems für einige Klassen von CHOMSKY-Grammatiken" (mit J. Eickel), Math. Inst. - Rechenzentrum, Techn. Hochschule München, Bericht 6802, 15 pp. (1968)
  10. "Logik und Kybernetik" (mit F.L. Bauer), Studium Generale 22, 137-150 (1969)
  11. "Klassen unwesentlich verschiedener Ableitungsfolgen als Verbände" (mit G. Schmidt), Bericht einer Tagung "Automatentheorie und formale Sprachen" des Math. Forschungsinstituts Oberwolfach, Oktober 1969 (Ed: J. Dörr, G. Hotz), B I Mannheim/Wien/Zürich (1970)
  12. "LR(k)-Grammatiken und reguläre kanonische Systeme", Tagungsbericht "Formale Sprachen und Programmiersprachen" Oberwolfach, April 1971 (Ed: W. Händler, G. Hotz, H. Langmaack), Mitteilungen der Ges. für Math. und Datenverarbeitung Bonn, Nr. 17, 41-44 (1971)
  13. "Verbandstheoretische Einbettung von Klassen unwesentlich verschiedener Ableitungen in die Zopfgruppe", Computing 7, 293-310 (1971)
  14. "1. Fachtagung über Programmiersprachen" (Mithrsg. M. Paul), München, 9.-11. März 1971, LNEMS 75, Springer, pp. 280 (1971)
  15. "Application of Regular Canonical Systems to Grammars Translatable from Left to Right", Acta Informatica 1, 111-114 (1971)
  16. "Theory and Practice of Compilation", Proceedings of the 1972 CERN Comp. and Data Proc. School (Ed: G.R. MacLeod), CERN 72-21, 449-496, Geneva (1972)
  17. "Zweite Fachtagung über Programmiersprachen" (Mithrsg. W. Frielinghaus, M. Paul, G. Seegmüller), Saarbrücken 7.-9. März 1972, GI Bericht 4, GMD St. Augustin, pp. 279 (1972)
  18. "On Procedures as Open Subroutines I", Acta Informatica 2, 311-333 (1973)
  19. "On Correct Procedure Parameter Transmission in Higher Programming Languages", Acta Informatica 2, Heft 2, 110-142 (1973)
  20. "Informatik: Programmierung" (mit P. Kandzia), Teubner Stuttgart, 234 pp. (1973)
  21. "On Procedures as Open Subroutines II", Acta Informatica 3, 227-241 (1974)
  22. "Zum Begriff der Modularität von Programmiersprachen", in B. Schlender, W. Frielinghaus (Hrsg.), LNCS 7, Springer, 1-12 (1974)
  23. "On a theorem of McGowan concerning the "most recent" property of programs" (mit P. Kandzia), Bericht A74/07, Ang. Math. Informatik, Univ. Saarlandes (1974)
  24. "The Formal Termination Problem for Programs with Finite ALGOL68-Modes" (with W.M. Lippe, F. Wagner), Information Processing Letters 9, 155-159 (1979)
  25. "On a theory of decision problems in programming languages", in: E.K. Blum, S. Takasu (Eds.), Proceed. Internat. Conf. Math. Studies Information Processing, RIMS Kyoto Univ., August 1978, LNCS 75, Springer, 538-559 (1979)
  26. "Present-day Hoare-like Systems for Programming Languages with Procedures: Power, Limits and most likely Extensions" (with E.-R. Olderog), in: J.W. de Bakker, J. van Leeuwen (eds.), Proceed. Autom. Lang. Progr., 7th Coll., Noordwijkerhout July 1980, LNCS 85, Springer, 363-373 (1980)
  27. "Proof of a theorem of Lipton on Hoare Logic and applications", Bericht 8003, Inst. f. Informatik u. Prakt. Math., Univ. Kiel (1980)
  28. "On Termination Problems for Finitely Interpreted ALGOL-like Programs", Acta Informatica 18, 79-108 (1982)
  29. "Implementierung PASCAL-artiger Programmiersprachen" (Mithrsg. B. Schlender, J.W. Schmidt), Tagung II/1982 des German Chapter of the ACM, 12.7.1982, Kiel. German Chapter of the ACM Berichte 11, Teubner (1982)
  30. "Aspects of Programs with Finite Modes", in: M. Karpinski (ed.), Proceed. Found. Comp. Theory 1983 Int FCT Conf., Borgholm, LNCS 158, Springer, 241-254 (1983)
  31. "Specification and Implementation Problems of Programming Languages Proper for Hierarchical Data Types", (mit M. Krause, A. Kreczmar, S. Salwicki), Bericht 8410, Inst. f. Informatik u. Prakt. Math., Univ. Kiel, pp. 58 (1984)
  32. "Axiomatic Semantics", Lecture at "Formal Software Development Methods - Combining Specification Methods", 20.-26. May 1984, Nyborg, Denmark, Bericht 8403, Inst. f. Informatik u. Prakt. Math., Univ. Kiel, pp. 17 (1984)
  33. "A new transformational approach to partial correctness proof calculi for ALGOL68-like programs with finite modes and simple side-effects", Annals of Discrete Mathematics, 24, 73-102 (1985)
  34. "Semantics and Implementation Problems in LOGLAN with its Many Level Prefixing Concept", Bericht 8501, Inst. f. Informatik u. Prakt. Math., Univ. Kiel, pp. 13 (1985)
  35. "Concatenation of Program Modules. An Algebraic Approach to the Semantics and Implementation Problems" (with M. Krause, A. Kreczmar, M. Warpechowski) in: A. Skowran (Ed.), Proceedings of the 5th Symposium on Computational Theory, Zabarow, Poland, LNCS, Vol. 208, Springer 134-156 (1985)
  36. "Rechnerarchitekturen als Auführungsorganisationen funktionaler Programme" (mit D. Ackermann, A. Jammel), Forschungsbericht Siemens AG (1985)
  37. "Das Mehrsprachen-Mehrmaschinen-Übersetzersystem CAT" (mit U. Schmidt, R. Völler), Proceedings of EUROSOFTWARE Hamburg 1986, ISBN 0.907634-87-78 Band 1, Sitzung B2 (1986)
  38. "Über vollständig operationell adäquate denotationelle Semantik funktionaler Programmiersprachen", Bericht 8901, Inst. f. Informatik u. Prakt. Math., Univ. Kiel, pp. 138 (1989)
  39. "ProCoS: Provably Correct Systems'' (with D. Bjørner, D. Edwards, C.A.R. Hoare, U. Martin, F. Nielson), Technical Annex for ESPRIT Basic Research Action 3104, pp. 88 (1989)
  40. "Compiling the Proccam 0 Language" (with B. Buth, K.-H. Buth, M. Fränzle, B. von Karger, Y. Lakhnech, E. Meyer, M. Müller-Olm, D. Weber-Wulff), Report ESPRIT 3104 ProCoS, Kiel BB1, pp. 27 (1989)
  41. "Über das ESPRIT-Projekt ProCoS - Provably Correct Systems", in: W. Dosch (Hrsg.) "Funktionale und Logische Programmierung - Sprachen, Methoden, Implementationen" Seminar Hirschegg/Kleinwalsertal, Bericht 214, Inst. f. Math., Univ. Augsburg, Deutschland, 5-7 (1989)
  42. "A ProCoS Project Description: ESPRIT BRA 3104" (with D. Bjørner et al.), Bulletin of the EATCS, 39, 60-73 (1989)
  43. "VDM'90: VDM and Z - Formal Methods in Software Development" (Coeds. D. Bjørner, C.A.R. Hoare), Proceedings of the 3rd International Symposium of VDM Europe, Kiel, April 17-21, 1990, LNCS 428, Springer, pp. 580 (1990)
  44. "PAMELA - Ein Ansatz zur computergestützten Softwareverifikation" (mit B. Buth, K.-H. Buth) in: H. Kersten (Hrsg.), "Sichere Software - Formale Spezifikation und Verifikation vertrauenswürdiger Systeme", Hüthig, Heidelberg, 112-130 (1990)
  45. "Development of Proven Correct Compilers in ProCoS" (with M. Fränzle, M. Müller-Olm), ProCoS Project Doc., Kiel MF7 (1990)
  46. "Büchis reguläre kanonische Systeme und Analyse kontextfreier Grammatiken", in: M. Broy (Hrsg.) "Informatik und Mathematik", Springer, 209-216 (1991)
  47. "On Programming Languages Interpreters - Total Correctness", in: H. Langmaack, E. Neuhold, M. Paul (Hrsg.) "Software Construction - Foundation and Application", Seminar-Report, Int. Begegn.- u. Forschzentr. f. Informatik, Schloß Dagstuhl, Deutschland (1992)
  48. "Provably correct compiler development and implementation" (with B. Buth, K.-H. Buth, M. Fränzle, B. von Karger, Y. Lakhnech, M. Müller-Olm), in: U. Kastens, P. Pfahler (eds.) "Compiler Construction", Proceed. 4th Int. Conf., CC'92, Paderborn, Germany, Oct. 1992, 141-155, LNCS 641, Springer (1992)
  49. "Provably Correct Systems" (Coeds. D. Bjørner, C.A.R. Hoare), ProCoS I final deliverable 1993, Dept. Comp. Science, Tech. Univ. Denmark, Lyngby (1993)
  50. "A ProCoS II Project Description: ESPRIT Basic Research project 7071" (with J. Bowen et al.), Bulletin of the EATCS, 50, 128-137, (1993)
  51. "Overview of ProCoS I" (with D. Bjørner), in: D. Bjørner, C.A.R. Hoare, H. Langmaack (Eds.) "Provably Correct Systems", ProCoS I final deliverable 1993, Dept. Comp. Science, Tech. Univ. Denmark, pp. 38 (1993)
  52. "Formal Techniques in Real-Time and Fault-Tolerant Systems" (Coeds. W.-P. de Roever, J. Vytopil), 3rd Int. Symp. org. jointly with the Working Group Provably Correct Systems - ProCoS, LNCS 863, Springer, pp. 787 (1994)
  53. "The ProCoS project: Provably correct Systems" (with A.P. Ravn), In: J. P. Bowen (ed.) "Towards Verified Systems", Vol. 2 of Real-Time Safety Critical Systems series, Elsevier, 249-265 (1994)
  54. "A ProCoS-WG Working Group Description: ESPRIT Basic Research 8694" (with J. Bowen et al.), Bulletin of the EATCS, 53, 136-145 (1994)
  55. "The ProCoS-Way Towards Correct Systems", Bericht 9506, Inst. f. Informatik u. Prakt. Math., Univ. Kiel, pp. 16 (1995), lecture Dagstuhl-Seminar "High Integrity Programmable Electronic Systems", org. by W.J. Cullyer, W.A. Halang, B.J. Krämer.
  56. "Informatiksysteme als bedeutender Bestandteil der Hochtechnologien - Folgerungen für Wirtschaft und Industrie", in: M. von Abercron, W. Hubrich (Hrsg.), Wirtschaftsrat e.V. Schleswig-Holstein, 93-106 (1995)
  57. "Compiler Correctness and Implementation Verification: The Verifix Approach" (with W. Goerigk, A. Dold, T. Gaul, G. Goos, A. Heberle, F.W. von Henke, U. Hoffmann, H. Pfeifer, H. Ruess, W. Zimmermann), in P. Fritzson (Hrsg.), Proceedings of the Poster Session of CC'96 - International Conference of Compiler Construction, IDA Technical Teport LiTH-IDA-R-96-12, Linkøping, Sweden (1996)
  58. "Formal Methods for Industrial Applications - Specifying and Programming the Steam Boiler Control" (coeds. J.R. Abrial, E. Börger). LNCS State-of-the-Art Survey 1165, Springer Verlag, 511 pp. (1996)
  59. "The Steam Boiler Case Study: Competition of Formal Program Specification and Development Methods" (with J.-R. Abrial, E. Börger), in 58, 1-9 (1996)
  60. "A ProCoS II Project Final Report: ESPRIT Basic Research Project 7071" (with J. Bowen, C.A.R. Hoare, E.-R. Olderog, A.P. Ravn). EATCS-Bulletin 59, 76-99 (1996)
  61. "Zwischenbericht "Verifix" der Universitäten Karlsruhe, Kiel und Ulm" (mit A. Dold, T. Gaul, W. Goerigk, G. Goos, A. Heberle, F.W. von Henke, U. Hoffmann, M. Müller-Olm, H. Pfeifer, H. Ruess, W. Zimmermann), Verifix-Arbeitsbericht, Verifix/UKA/1.60 (1996)
  62. "Theoretische Informatik ist Grundlage für das sichere Beherrschen realistischer Software und Systeme", in: K. Brunnstein, H. Oberquelle (Hrsg.): "25 Jahre Informatik an der Universität Hamburg. Informatik: Stand, Trends, Visionen", Ber. FBI-HH-B-197/97, 47-62, Univ. Hamburg (1997)
  63. "Softwareengineering zur Zertifizierung von Systemen: Spezifikations-, Implementierungs-, Übersetzerkorrektheit", it + ti-Informationstechnik und Technische Informatik 39, 3, 41-47 (1997)
  64. "Contribution to Goodenough's and Gerhart's Theory of Software Testing and Verification: Relation between Strong Compiler Test and Compiler Implementation Verification", in: C. Freksa, M. Jantzen, R. Valk (Eds.): "Foundations of Computer Science, Potential-Theory-Cognition", LNCS 1337, 321-335, Springer Verlag (1997)
  65. "Rigorous Compiler Implementation Correctness: How to Prove the Real Thing Correct" (with W. Goerigk, U. Hoffmann), Verifix-Arbeitsbericht, Verifix/CAU-Ulm/2.6 (1997)
  66. "The ProCoS Approach to Correct Systems, Real-Time Systems, 13, 253-275 (1997)
  67. "Compositionality - The Significant Difference" (coeds. W.-P. de Roever, A. Pnueli), LNCS 1536, SpringerVerlag, 647 pp. (1998)
  68. "Klaus Samelson und die Informatik", in: F.L. Bauer (Hrsg.): "Robert Sauer und Klaus Samelson - Beiträge anläßlich eines Gedenkkolloquiums am 5. Oktober 1998", Club der Informatik e.V., TU München, 31-42 (1999)

hier geht's zurück

Ulrike Pollakowski-Geuther, up@informatik.uni-kiel.de Last modified: Wed Nov 21 11:30:38 MET 2001