Herbert Klaeren

Publications


(Reverse chronological order)

  1. Herbert Klaeren und Michael Sperber. Die Macht der Abstraktion: Einführung in die Programmierung. Teubner, 2007
  2. Herbert Klaeren. Viren, Würmer und Trojaner. Streifzüge durch die Computerwelt. Klöpfer & Meyer, Tübingen 2006
  3. Herbert Klaeren and Michael Sperber. Vom Problem zum Programm: Architektur und Bedeutung von Computerprogrammen. Teubner Verlag, 2002
  4. Herbert Klaeren, Elke Pulvermüller, Awais Rashid and Andreas Speck. Aspect Composition Applying the Design by Contract Principle. Proc. of GCSE'2000, Erfurt, 2000. Springer LNCS 2177, p. 57-69, 2001
  5. Herbert Klaeren. Eine Universität ohne Standort? attempto! Forum der Universität Tübingen, April 2000, p. 24-25
  6. Speck, Andreas and Herbert Klaeren: Robosim: Java 3d robot visualization. in: Proceedings of the IECON'99, the 26th Annual Conference of the IEEE Industrial Electronics Society, November, December 1999. to appear.
  7. Pulvermüller, Elke, Herbert Klaeren, and Andreas Speck: Aspects in distributed environments. in: Proceedings of the GCSE'99, First International Symposium on Generative and Component-Based Software Engineering, September, Germany 1999. to appear.
  8. Klischewski, Ralf: Informatik und Gesellschaft - Eine Einführung. Tübinger Studientexte Informatik und Gesellschaft. Universität Tübingen, 1999. Hrsg. Detlev Krause und Herbert Klaeren.
  9. Floyd, Christiane and Herbert Klaeren: Informatik als Praxis und Wissenschaft. Tübinger Studientexte Informatik und Gesellschaft. Universität Tübingen, 1999. Hrsg. Johannes Busse.
  10. Ott, Konrad and Johannes Busse: Ethik in der Informatik. Tübinger Studientexte Informatik und Gesellschaft. Universität Tübingen, 1999. Hrsg. Herbert Klaeren.
  11. Reisin, Fanny-Michaela and Ortwin Renn: Über Informatik reden. Tübinger Studientexte Informatik und Gesellschaft. Universität Tübingen, 1999. Hrsg. Friedrich Diestelmeier and Herbert Klaeren.
  12. Schelhowe, Heidi: Technikentwicklung als sozialer Gestaltungsprozeß. Tübinger Studientexte Informatik und Gesellschaft. Universität Tübingen, 1999. Hrsg. Detlev Krause and Herbert Klaeren.
  13. Brödner, Peter: Informatik in der Arbeitswelt. Tübinger Studientexte Informatik und Gesellschaft. Universität Tübingen, 1999. Hrsg. Sylvia Rizvi and Herbert Klaeren.
  14. Wetzstein, Thomas A., Herrman Dahm and Roland Eckert: Informatik im persönlichen Leben. Tübinger Studientexte Informatik und Gesellschaft. Universität Tübingen, 1999. Hrsg. Detlev Krause and Herbert Klaeren.
  15. Kubicek, Herbert: Möglichkeiten und Gefahren der "`Informationsgesellschaft"'. Tübinger Studientexte Informatik und Gesellschaft. Universität Tübingen, 1999. Hrsg. Sylvia Rizvi and Herbert Klaeren.
  16. Schinzel, Britta, Nadja Parpart and Till Westermayer: Informatik und Geschlechterdifferenz. Tübinger Studientexte Informatik und Gesellschaft. Universität Tübingen, 1999. Hrsg. Sylvia Rizvi and Herbert Klaeren.
  17. Busse, Johannes: Dozentenhandbuch. Tübinger Studientexte Informatik und Gesellschaft. Universität Tübingen, 1999. Hrsg. Herbert Klaeren.
  18. Busse, Johannes, Detlev Krause and Herbert Klaeren: Verbundlehre als didaktische Synthese von Ferne und Präsenz. Didaktisches Design, (3):35--54, 1998.
  19. Floyd, Christiane and Herbert Klaeren: Informatik: gestern, heute und morgen. Modul im Fernstudium Informatik und Gesellschaft (Erprobungsfassung), Universität Tübingen, 1998.
  20. Sperber, Michael, Herbert Klaeren, and Peter Thiemann: Distributed partial evaluation. in: Kaltofen, Erich (ed.): PASCO'97: Second International Symposium on Parallel Symbolic Computation, pp. 80--87, Maui, Hawaii, 1997. World Scientific Publishing Company.
  21. Klaeren, Herbert, Christiane Floyd, and Friedrich Diestelmeier: Informatics and society: A curriculum for distance education. in: Freksa, Christian, Matthias Jantzen, and Rüdiger Valk (eds.): Foundations of Computer Science: Potential-Theory-Cognition, Vol. 1337 of Lecture Notes in Computer Science, pp. 69--78. Springer, 1997.
  22. Gough, K John and Herbert Klaeren: Executable assertions and separate compilation. in: Mössenböck, Hans-Peter (ed.): Proceedings Joint Modular Languages Conference, Vol. 1204 of Lecture Notes in Computer Science, pp. 41--52. Springer, 1997.
  23. Klaeren, Herbert: Der Softwareingenieur am Scheidewege. http://pu.inf.uni-tuebingen.de/users/klaeren/herakles.ps.gz, Nov. 1996.
  24. Diestelmeier, Friedrich, Christiane Floyd, Christel Keller and Herbert Klaeren: Informatik und Gesellschaft - ein Fernstudienbaustein für das grundständige Studium an Präsenzhochschulen. Forschungsergebnisse und Materialien, Deutsches Institut für Fernstudienforschung, Tübingen, 1996.
  25. Plümicke, Martin, Herbert Klaeren, and Eduard Hiti: Resolving of overloading and subtyping. in: Perspectives of System Informatics, Preliminary Proceedings, pp. 286--291, Akademgorodok, Novosibirsk, June 1996.
  26. Klaeren, Herbert: Programming languages: A framework for comparison and choice. in: Woodman, Mark (ed.): Programming Language Choice-Practice and Experience, pp. 7--27. International Thomson Publishing, 1996.
  27. Gough, K John and Herbert Klaeren: Eliminating range checks using Static Single Assignment form. in: Proceedings of 19th Australian Computer Science Conference, Melbourne, 1996. Australian Computer Science Society.
  28. Klaeren, Herbert: Ethik und Informatik. http://pu.inf.uni-tuebingen.de/users/klaeren/ethik.ps.gz, Dez. 1995.
  29. Klaeren, Herbert: Übersetzung einer einfachen Programmiersprache. Arbeitspapier, Universität Tübingen, Okt. 1995.
  30. Plümicke, Martin and Herbert Klaeren: Concepts for overloading and subtyping in an algebraic specification language. Berichte des Wilhelm-Schickard-Instituts WSI-95-22, Universität Tübingen, 1995.
  31. Möstel, Andreas and Herbert Klaeren: Generation of garbage collector performance test beds based on probability distributions. http://pu.inf.uni-tuebingen.de/users/klaeren/gcp.ps.gz, 1995.
  32. Banhart, Friedemann and Herbert Klaeren: A graphical query generator for clinical research databases. Methods of Information in Medicine, 34:328--339, 1995.
  33. Klaeren, Herbert and Peter Thiemann: Merging formal methods with rapid prototyping. in: Wirsing, Martin (ed.): 17th Int. Confr. Software Engineering, Workshop on Formal Methods Application in Software Engineering Practice, pp. 39--46. ACM SIGSOFT/ IEEE Computer Society TCSE, 1995.
  34. Busse, Johannes, Herbert Klaeren and Gabriele Reich: Informatikkenntnisse von Jugendlichen, untersucht am Beispiel des 11. Bundeswettbewerbs Informatik. Berichte des Wilhelm-Schickard-Instituts WSI-95-2, Universität Tübingen, 1995.
  35. Klaeren, Herbert: Thesen zur Programmierung. http://pu.inf.uni-tuebingen.de/users/klaeren/thesen.ps.Z, Apr. 1995.
  36. Klaeren, Herbert: Strukturierte Programmierung. in: Zilahi-Szabó, G. (ed.): Kleines Lexikon der Informatik, pp. 540--541. R. Oldenbourg Verlag, München, 1995.
  37. Plümicke, Martin and Herbert Klaeren: Subtyping and overloading in a functional programming language. Berichte des Wilhelm-Schickard-Instituts WSI-94-14, Universität Tübingen, 1994.
  38. Gough, K. John and Herbert Klaeren: Eliminating range checks using static single assignment form. Berichte des Wilhelm-Schickard-Instituts WSI-94-13, Universität Tübingen, 1994. ISSN 0946-3852.
  39. Klaeren, Herbert: Wie hält man einen Informatik-Seminarvortrag? http://pu.inf.uni-tuebingen.de/users/klaeren/seminar.ps.Z, Okt. 1994.
  40. Klaeren, Herbert: Überlegungen zum Programmierstil. Computer und Unterricht, 4(16):52--54, November 1994.
  41. Banhart, Friedemann, Herbert Klaeren and Eberhard Zrenner: Eine graphische Oberfläche für die Generierung von Datenbankanfragen, basierend auf einem objektorientierten Datenmodell. in: GI Datenbank-Rundbrief, Vol. 13, pp. 64--66, Mai 1994.
  42. Banhart, Friedemann, Herbert Klaeren, and Eberhard Zrenner: An object-oriented database front end for clinical research information systems. in: Barahona, P., M. Veloso, and J. Bryant (eds.): Medical Informatics in Europe: MIE 94. Proc. 12th Int. Congress of the European Federation for Medical Informatics, pp. 506--510, 1994.
  43. Klaeren, Herbert: Probleme des Software Engineering. Die Programmiersprache - Werkzeug des Softwareentwicklers. Informatik-Spektrum, 17:21--28, 1994.
  44. Klaeren, Herbert: Vom Problem zum Programm - Entstehung der Wissenschaft Informatik. Erfurter Universitätslesungen, 1993.
  45. Klaeren, Herbert: Gibt es Software Engineering? Berichte des Wilhelm-Schickard-Instituts WSI-92-11, Universität Tübingen, 1992.
  46. Klaeren, Herbert: Efficient implementation of a functional programming language. Arbeitspapier, Universität Tübingen, Feb. 1991.
  47. Klaeren, Herbert: Using yacc with Modula-2. Berichte des Wilhelm-Schickard-Instituts, Universität Tübingen, 1991.
  48. Klaeren, Herbert: Some elements of a Modula-2 development environment. in: Second International Modula-2 Conference, pp. 225--233. Loughborough University of Technology, 1991.
  49. Klaeren, Herbert: Vom Problem zum Programm - Eine Einführung in die Informatik. Teubner Verlag, 1990. 2. Aufl. 1991.
  50. Klaeren, Herbert: ModAs/86 - Eine funktionale Programmierumgebung. in: Workshop Programmierumgebungen für funktionale und logische Sprachen, pp. 147--151, Bad Honnef, 1990.
  51. Klaeren, Herbert and Peter Thiemann: A Clean Modula-2 Interface to Abstract Data Types. Structured Programming, 11:69--77, 1990.
  52. Klaeren, Herbert: Celerity Modula-2 Utilities Reference Manual. Tech. Report, Universität Tübingen, 1989.
  53. Klaeren, Herbert: Embedding functionally described abstract data types into Modula-2 programs. Microprocessors and Microsystems, 14(3):161--166, 1990.
  54. Klaeren, Herbert: Embedding functionally described abstract data types into Modula-2 programs. in: First International Modula-2 Conference, pp. 115--119, Bled, 1989.
  55. Klaeren, Herbert and Klaus Indermark: Efficient implementation of an algebraic specification language. in: Esprit METEOR Workshop Algebraic Methods, Theory, Tools, and Applications (Passau 1987), Vol. 394 of Lecture Notes in Computer Science, pp. 69--90. Springer Verlag, 1989.
  56. Klaeren, Herbert: Celerity Modula-2 Compiler Reference Manual. Tech. Report, Universität Tübingen, 1988.
  57. Klaeren, Herbert: ModAs/86 User Manual. Tech. Report, Universität Tübingen, 1988.
  58. Klaeren, Herbert: Ein algebraischer Ansatz zur Rekursionselimination. Habilitationsschrift, RWTH Aachen, 1988.
  59. Indermark, Klaus and Herbert Klaeren: Compiling Fibonacci-like recursion. SIGPLAN Notices, 22(6):101--108, 1987.
  60. Klaeren, Herbert and Klaus Indermark: A new implementation technique for recursive function definitions. Aachener Informatik-Berichte 87--10, RWTH Aachen, 1987.
  61. Indermark, Klaus and Herbert Klaeren: Efficient implementation of structural recursion. in: Proc. Fundamentals of Computation Theory, Vol. 278 of Lecture Notes in Computer Science, pp. 204--213. Springer Verlag, 1987.
  62. Klaeren, Herbert: A constructive method for abstract algebraic software specification. Theoretical Computer Science, 30:139--204, 1984.
  63. Klaeren, Herbert: Algebraische Spezifikation - Eine Einführung. Springer Verlag, Berlin-Heidelberg-New York, 1983.
  64. Klaeren, Herbert: On parameterized abstract software modules using inductively specified operations. in: AFCET Coll. Les Mathématiques de l'Informatique, pp. 289--300, Paris, 1982. Dunod.
  65. Indermark, Klaus and Herbert Klaeren: Automatentheorie und Formale Sprachen I. Schriften zur Informatik und Angewandten Mathematik 71, RWTH Aachen, 1981.
  66. Klaeren, Herbert: The SRDL specification experiment. in: Workshop on Program Specification, Vol. 134 of Lecture Notes in Computer Science, pp. 282--293. Springer Verlag, 1981.
  67. Klaeren, Herbert: Recursive definitions of operations in universal algebras. in: Workshop on Program Specification, Vol. 134 of Lecture Notes in Computer Science, pp. 268--281. Springer Verlag, 1981.
  68. Klaeren, Herbert and Martin Schulz: Computable algebras, word problems, and canonical term algebras. in: 5. GI Fachtagung Theoretische Informatik, Vol. 104 of Lecture Notes in Computer Science, pp. 203--213. Springer Verlag, 1981.
  69. Klaeren, Herbert and Heiko Petzsch: Algebraic software specification and compiler generation-a case study. Schriften zur Informatik und angewandten Mathematik 68, RWTH Aachen, 1981.
  70. Klaeren, Herbert and Heiko Petzsch: The development of an interpreter by means of abstract algebraic software specifications. in: Int. Colloquium on Formalization of Programming Concepts, Vol. 107 of Lecture Notes in Computer Science, pp. 335--346. Springer Verlag, 1981.
  71. Klaeren, Herbert: A simple class of algorithmic specifications for abstract software modules. in: 9th Symposium on Math. Foundations of Computer Science, Vol. 88 of Lecture Notes in Computer Science, pp. 362--374. Springer Verlag, 1980.
  72. Klaeren, Herbert: Bibliography on algebraic software specification. EATCS Bulletin, 12:76--87, 1980.
  73. Klaeren, Herbert: An abstract software specification technique based on structural recursion. SIGPLAN Notices, 15(3):28--34, 1980.
  74. Klaeren, Herbert: Eine Klasse von Algebren mit struktureller Rekursion und ihre Anwendung bei der abstrakten Software-Spezifikation. Ph.D. thesis, RWTH Aachen, 1980.
  75. Klaeren, Herbert: Datenräume mit algebraischer Struktur. Schriften zur Informatik und Angewandten Mathematik 43, RWTH Aachen, 1978.
  76. Klaeren, Herbert: Potenzkategorien und ihre Anwendung auf den Beweis von Programmeigenschaften. Informatik-Berichte 8, Universität Bonn, 1975. (Ausf. Fassung).
  77. Klaeren, Herbert: Potenzkategorien und ihre Anwendung auf den Beweis von Programmeigenschaften. in: Automata Theory and Formal Languages, 2nd GI Conference, Vol. 33 of Lecture Notes in Computer Science, pp. 252--258. Springer Verlag, 1975. (Kurzfassung).


There's also a BibTeX source here.

Back to my home page or to the WSI/PU home page.


Herbert Klaeren
klaeren@informatik.uni-tuebingen.de
Last modified: Thu Oct 6 10:08:36 CEST 2011