| |
| 2005 | ||
|---|---|---|
| 8 | EE | Jochen Burghardt: E-generalization using grammars. Artif. Intell. 165(1): 1-35 (2005) |
| 2002 | ||
| 7 | EE | Jochen Burghardt: Axiomatization of Finite Algebras. KI 2002: 222-234 |
| 2001 | ||
| 6 | EE | Jochen Burghardt, Florian Kammüller, Jeff W. Sanders: On the antisymmetry of Galois embeddings. Inf. Process. Lett. 79(2): 57-63 (2001) |
| 5 | EE | Jochen Burghardt: Maintaining Partial Sums in Logarithmic Time. Nord. J. Comput. 8(4): 473-474 (2001) |
| 1995 | ||
| 4 | Jochen Burghardt: Deductive Synthesis. Formal Development of Reactive Systems 1995: 295-309 | |
| 3 | Jochen Burghardt: A Fine-Grain Sort Discipline and Its Application to Formal Program Construction. KORSO Book 1995: 190-204 | |
| 2 | Jochen Burghardt: Regular Substitution Sets: A Means of Controlling E-Unification. RTA 1995: 382-396 | |
| 1988 | ||
| 1 | Jochen Burghardt: A Tree Pattern Matching Algorithm with Reasonable Space Requirements. CAAP 1988: 1-15 | |
| 1 | Florian Kammüller | [6] |
| 2 | Jeff W. Sanders | [6] |