default search action
Herbert Klaeren
Person information
- affiliation: University of Tübingen, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2016
- [c20]Matthias Hirzel, Herbert Klaeren:
Code coverage for any kind of test in any kind of transcompiled cross-platform applications. INTUITEST@ISSTA 2016: 1-10 - [c19]Matthias Hirzel, Jonathan Immanuel Brachthäuser
, Herbert Klaeren:
Prioritizing Regression Tests for Desktop and Web-Applications based on the Execution Frequency of Modified Code. PPPJ 2016: 11:1-11:12 - [c18]Matthias Hirzel, Herbert Klaeren:
Graph-Walk-based Selective Regression Testing of Web Applications Created with Google Web Toolkit. Software Engineering (Workshops) 2016: 55-69
2000 – 2009
- 2008
- [c17]Annette Bieniusa, Markus Degen, Phillip Heidegger, Peter Thiemann, Stefan Wehr, Martin Gasbichler, Michael Sperber, Marcus Crestani, Herbert Klaeren, Eric Knauel:
Htdp and dmda in the battlefield: a case study in first-year programming instruction. FDPE@ICFP 2008: 1-12 - 2007
- [b4]Herbert Klaeren, Michael Sperber:
Die Macht der Abstraktion - Einführung in die Programmierung. Leitfäden der Informatik, Teubner 2007, ISBN 978-3-8351-0155-5, pp. I-VIII, 1-321 - 2000
- [c16]Herbert Klaeren, Elke Pulvermüller, Awais Rashid
Aspect Composition Applying the Design by Contract Principle. GCSE 2000: 57-69
1990 – 1999
- 1999
- [b3]Britta Schinzel, Herbert Klaeren:
Informatik und Geschlechterdifferenz. Tübinger Studientexte Informatik und Gesellschaft, Wilhelm Schickard Institut für Informatik 1999, pp. 1-97 - [b2]Christiane Floyd, Herbert Klaeren:
Informatik als Praxis und Wissenschaft. Tübinger Studientexte Informatik und Gesellschaft, Wilhelm Schickard Institut für Informatik 1999, pp. 1-148 - [c15]Elke Pulvermüller, Herbert Klaeren, Andreas Speck:
Aspects in Distributed Environments. GCSE 1999: 37-48 - 1997
- [c14]Herbert Klaeren, Christiane Floyd, Friedrich Diestelmeier:
Informatics and Society: A Curriculum for Distance Education. Foundations of Computer Science: Potential - Theory - Cognition 1997: 69-78 - [c13]Michael Sperber, Peter Thiemann, Herbert Klaeren:
Distributed partial evaluation. PASCO 1997: 80-87 - [c12]K. John Gough, Herbert Klaeren:
Executable Assertions and Separate Compilation. JMLC 1997: 41-52 - 1994
- [j6]Herbert Klaeren:
Probleme des Software-Engineering, Die Programmiersprache - Werkzeug des Softwareentwicklers. Inform. Spektrum 17(1): 21-28 (1994) - 1992
- [c11]Herbert Klaeren:
Software Engineering und formale Verfahren. SEUH 1992: 48-50 - 1990
- [j5]Herbert Klaeren:
Embedding functionally described abstract data types into MODULA-2 programs. Microprocess. Microsystems 14(3): 161-166 (1990) - [j4]Herbert Klaeren, Peter Thiemann:
A Clean Modula-2 Interface to Abstract Data Types. Struct. Program. 11(2): 69-78 (1990)
1980 – 1989
- 1987
- [j3]Klaus Indermark, Herbert Klaeren:
Compiling Fibonacci-Like Recursion. ACM SIGPLAN Notices 22(6): 101-108 (1987) - [c10]Herbert Klaeren, Klaus Indermark:
Efficient Implementation of an Algebraic Specification Language. Algebraic Methods 1987: 69-90 - [c9]Klaus Indermark, Herbert Klaeren:
Efficient Implementation of Structural Recursion. FCT 1987: 204-213 - 1984
- [j2]Herbert Klaeren:
A Contructive Method for Abstract Algebraic Software Specification. Theor. Comput. Sci. 30: 139-204 (1984) - 1983
- [b1]Herbert Klaeren:
Algebraische Spezifikation - eine Einführung. Springer 1983, ISBN 978-3-540-12256-2, pp. 1-235 - [c8]Herbert Klaeren:
Some Thoughts on Practical Usefulness of Operational and Initial Semantics for Algebraic Software Specifications. ADT 1983 - 1982
- [c7]Herbert Klaeren:
Parameterized Software Specifications with Inductively Defined Operations. ADT 1982 - 1981
- [c6]Herbert Klaeren:
Recursive Definitions of Operations in Universal Algebras. Program Specification 1981: 268-281 - [c5]Herbert Klaeren:
The SRDL Specification Experiment. Program Specification 1981: 282-293 - [c4]Herbert Klaeren, Heiko Petzsch:
The Development of an Interpreter by Means of Abstract Algebraic Software Specifications. ICFPC 1981: 335-346 - [c3]Herbert Klaeren, Martin Schulz:
Computable Algebras, Word Problems and Canonical Term Algebras. Theoretical Computer Science 1981: 203-213 - 1980
- [j1]Herbert Klaeren:
An abstract software specification technique based on structural recursion. ACM SIGPLAN Notices 15(3): 28-34 (1980) - [c2]Herbert Klaeren:
A Simple Class of Algorithmic Specifications for Abstract Software Modules. MFCS 1980: 362-374
1970 – 1979
- 1975
- [c1]Herbert Klaeren:
Potenzkaegorien und ihre Anwendung auf den Beweis von Programmeigenschaften. Automata Theory and Formal Languages 1975: 252-258
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-08 21:03 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: