![]() | ![]() |
Department of Informatics, University of Karlsruhe
List of publications from the DBLP Bibliography Server - FAQ
| 2012 | ||
|---|---|---|
| 12 | Tadaoki Uesugi, Max Tritschler, Hoa Dung Ha Duong, Andrey Baboshin, Yuri Glickman, Peter Deussen: Cloud Management on the Assumption of Failure of Resource Demand Prediction. CLOSER 2012: 153-160 | |
| 2004 | ||
| 11 | Peter Deussen, Hartmut Barthelmess, Oliver Andre: Mobile Lehr- und Lernszenarien. DeLFI 2004: 369-370 | |
| 2001 | ||
| 10 | 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 | 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 | Peter Deussen: Some results on the set of congruence relations in a finite, strongly connected automaton. Computing 2(4): 353-367 (1967) | |
Colors in the list of coauthors
Last update Tue May 29 20:41:18 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page