Herbert Klaeren

	2000
23		Herbert Klaeren, Elke Pulvermüller, Awais Rashid, Andreas Speck: Aspect Composition Applying the Design by Contract Principle. GCSE 2000: 57-69
	1999
22		Christiane Floyd, Herbert Klaeren: Informatik als Praxis und Wissenschaft. Wilhelm Schickard Institut für Informatik 1999: 1-148
21		Britta Schinzel, Herbert Klaeren: Informatik und Geschlechterdifferenz. Wilhelm Schickard Institut für Informatik 1999: 1-97
20		Elke Pulvermüller, Herbert Klaeren, Andreas Speck: Aspects in Distributed Environments. GCSE 1999: 37-48
	1997
19		Herbert Klaeren, Christiane Floyd, Friedrich Diestelmeier: Informatics and Society: A Curriculum for Distance Education. Foundations of Computer Science: Potential - Theory - Cognition 1997: 69-78
18		K. John Gough, Herbert Klaeren: Executable Assertions and Separate Compilation. JMLC 1997: 41-52
17		Michael Sperber, Peter Thiemann, Herbert Klaeren: Distributed partial evaluation. PASCO 1997: 80-87
	1994
16		Herbert Klaeren: Probleme des Software-Engineering, Die Programmiersprache - Werkzeug des Softwareentwicklers. Informatik Spektrum 17(1): 21-28 (1994)
	1992
15		Herbert Klaeren: Software Engineering und formale Verfahren. SEUH 1992: 48-50
	1990
14		Herbert Klaeren, Peter Thiemann: A Clean Modula-2 Interface to Abstract Data Types. Structured Programming 11(2): 69-78 (1990)
	1987
13		Herbert Klaeren, Klaus Indermark: Efficient Implementation of an Algebraic Specification Language. Algebraic Methods 1987: 69-90
12		Klaus Indermark, Herbert Klaeren: Efficient Implementation of Structural Recursion. FCT 1987: 204-213
11		Klaus Indermark, Herbert Klaeren: Compiling Fibonacci-Like Recursion. SIGPLAN Notices 22(6): 101-108 (1987)
	1984
10		Herbert Klaeren: A Contructive Method for Abstract Algebraic Software Specification. Theor. Comput. Sci. 30: 139-204 (1984)
	1983
9		Herbert Klaeren: Algebraische Spezifikation - eine Einführung. Springer 1983: 1-235
8		Herbert Klaeren: Some Thoughts on Practical Usefulness of Operational and Initial Semantics for Algebraic Software Specifications. ADT 1983
	1982
7		Herbert Klaeren: Parameterized Software Specifications with Inductively Defined Operations. ADT 1982
	1981
6		Herbert Klaeren, Heiko Petzsch: The Development of an Interpreter by Means of Abstract Algebraic Software Specifications. ICFPC 1981: 335-346
5		Herbert Klaeren: Recursive Definitions of Operations in Universal Algebras. Program Specification 1981: 268-281
4		Herbert Klaeren: The SRDL Specification Experiment. Program Specification 1981: 282-293
3		Herbert Klaeren, Martin Schulz: Computable Algebras, Word Problems and Canonical Term Algebras. Theoretical Computer Science 1981: 203-213
	1980
2		Herbert Klaeren: A Simple Class of Algorithmic Specifications for Abstract Software Modules. MFCS 1980: 362-374
	1975
1		Herbert Klaeren: Potenzkaegorien und ihre Anwendung auf den Beweis von Programmeigenschaften. Automata Theory and Formal Languages 1975: 252-258

Coauthor Index

1	Friedrich Diestelmeier	[19]
2	Christiane Floyd	[19] [22]
3	K. John Gough	[18]
4	Klaus Indermark	[11] [12] [13]
5	Heiko Petzsch	[6]
6	Elke Pulvermüller (Elke Pulvermueller)	[20] [23]
7	Awais Rashid	[23]
8	Britta Schinzel	[21]
9	Martin Schulz	[3]
10	Andreas Speck	[20] [23]
11	Michael Sperber	[17]
12	Peter Thiemann	[14] [17]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page