H. Klaeren

发表

Andreas Speck, Herbert Klaeren, A. Speck, 1999, IECON'99. Conference Proceedings. 25th Annual Conference of the IEEE Industrial Electronics Society (Cat. No.99CH37029).

Code coverage for any kind of test in any kind of transcompiled cross-platform applications

Matthias Hirzel, Herbert Klaeren, H. Klaeren, 2016, INTUITEST@ISSTA.

Computable Algebras, Word Problems and Canonical Term Algebras

Herbert Klaeren, Martin Schulz, H. Klaeren, 1981, Theoretical Computer Science.

Aspect Composition Applying the Design by Contract Principle

Elke Pulvermüller, Andreas Speck, Awais Rashid, 2000, GCSE.

Efficient Implementation of Structural Recursion

Herbert Klaeren, Klaus Indermark, H. Klaeren, 1987, FCT.

Htdp and dmda in the battlefield: a case study in first-year programming instruction

Annette Bieniusa, Peter Thiemann, Michael Sperber, 2008, FDPE '08.

A Graphical Query Generator for Clinical Research Databases

F Banhart, H. Klaeren, H Klaeren, 1995, Methods of Information in Medicine.

A Contructive Method for Abstract Algebraic Software Specification

Herbert Klaeren, H. Klaeren, 1984, Theor. Comput. Sci..

An abstract software specification technique based on structural recursion

Herbert A. Klaeren, H. Klaeren, 1980, SIGP.

Distributed partial evaluation

Peter Thiemann, Michael Sperber, Herbert Klaeren, 1997, PASCO '97.