| Publication | Date of Publication | Type |
|---|
Optimal register allocation for SSA-form programs in polynomial time
Information Processing Letters | 2010-01-18 | Paper |
Vorlesungen über Informatik
eXamen.press | 2006-08-31 | Paper |
Lectures on computer science. Vol. 1: Foundations and functional programming.
eXamen.press | 2005-09-14 | Paper |
Verifying compilers and ASMs or ASMs for uniform description of multistep transformations
Lecture Notes in Computer Science | 2002-01-06 | Paper |
Construction of verified compiler front-ends with program-checking
Lecture Notes in Computer Science | 2001-10-23 | Paper |
Issues in compiling
Journal of Universal Computer Science | 2001-10-23 | Paper |
| Lectures on computer science. Vol. 2: Object oriented programming and algorithms | 2001-06-25 | Paper |
Lectures on computer science. Vol. 1: Foundations and functional programming
Springer-Lehrbuch | 2000-08-08 | Paper |
| Lectures on computer science. Vol. 4: Parallel computing and non-analytic solution methods | 1999-03-14 | Paper |
Lectures on computer science. Vol. 2: Object oriented programming and algorithms
Springer-Lehrbuch | 1999-03-14 | Paper |
Lectures on computer science. Vol. 3: Computability, formal languages, specifications
Springer-Lehrbuch | 1997-07-16 | Paper |
Lectures on computer science. Vol. 1: Foundations and functional programming
Springer-Lehrbuch | 1997-07-16 | Paper |
Lectures on computer science. Vol. 2: Object oriented programming and algorithms
Springer-Lehrbuch | 1996-04-17 | Paper |
| scientific article; zbMATH DE number 795742 (Why is no real title available?) | 1995-09-12 | Paper |
Informatik 1. Ein einführende Übersicht. (Computer science 1. An introductory survey.)
Springer-Lehrbuch | 1993-01-23 | Paper |
| Computer science 2. An introduction | 1993-01-23 | Paper |
| scientific article; zbMATH DE number 49395 (Why is no real title available?) | 1992-09-17 | Paper |
| scientific article; zbMATH DE number 3837340 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3866548 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3825137 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3778692 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3776828 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3527790 (Why is no real title available?) | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3473267 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3466484 (Why is no real title available?) | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3435047 (Why is no real title available?) | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3338143 (Why is no real title available?) | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3351169 (Why is no real title available?) | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3298355 (Why is no real title available?) | 1969-01-01 | Paper |
