| * | 2004 |
|---|
| 11 | | Peter Deussen,
Hartmut Barthelmess,
Oliver Andre:
Mobile Lehr- und Lernszenarien.
DeLFI 2004: 369-370 |
| 2001 |
|---|
| 10 | EE | Peter Deussen:
Partial Order Verification of Programmable Logic Controllers.
ICATPN 2001: 144-163 |
| 1995 |
|---|
| 9 | | Peter Deussen,
A. Hansmann,
Thomas Käufl,
Stefan Klingenbeck:
The Verification System Tatzelwurm.
KORSO Book 1995: 285-298 |
| 1991 |
|---|
| 8 | | Alexander Bockmayr,
Christoph Brzoska,
Peter Deussen,
Igor Varsek:
KA-Prolog: Erweiterungen einer logischen Programmiersprache und ihre effiziente Implementierung.
Inform., Forsch. Entwickl. 6(3): 128-140 (1991) |
| 7 | | Peter Deussen:
Sonderforschungsbereich 314: Küstliche Intelligenz - Wissensbasierte Systeme.
KI 5(2): 87-92 (1991) |
| 1981 |
|---|
| 6 | | Peter Deussen:
Theoretical Computer Science, 5th GI-Conference, Karlsruhe, Germany, March 23-25, 1981, Proceedings
Springer 1981 |
| 1979 |
|---|
| 5 | EE | Peter Deussen:
One Abstract Accepting Algorithm for all Kinds of Parsers.
ICALP 1979: 203-217 |
| 1978 |
|---|
| 4 | | Peter Deussen:
A Unified Approach to the Generation and the Acception of Formal Languages.
Acta Inf. 9: 377-390 (1978) |
| 1977 |
|---|
| 3 | | Peter Deussen,
Kurt Mehlhorn:
Van Wijngaarden Grammars and Space Complexity Classs EXSPACE
Acta Inf. 8: 193-199 (1977) |
| 1975 |
|---|
| 2 | | Peter Deussen:
A Decidability Criterion for van Wijngaarden Grammars
Acta Inf. 5: 353-375 (1975) |
| 1967 |
|---|
| 1 | EE | Peter Deussen:
Some results on the set of congruence relations in a finite, strongly connected automaton.
Computing 2(4): 353-367 (1967) |
