dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Peter Deussen Home Page Coauthor index pubzone.org

Department of Informatics, University of Karlsruhe

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2012
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTadaoki 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
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Deussen, Hartmut Barthelmess, Oliver Andre: Mobile Lehr- und Lernszenarien. DeLFI 2004: 369-370
2001
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Deussen: Partial Order Verification of Programmable Logic Controllers. ICATPN 2001: 144-163
1995
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Deussen, A. Hansmann, Thomas Käufl, Stefan Klingenbeck: The Verification System Tatzelwurm. KORSO Book 1995: 285-298
1991
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander 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)
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Deussen: Sonderforschungsbereich 314: Küstliche Intelligenz - Wissensbasierte Systeme. KI 5(2): 87-92 (1991)
1981
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Deussen: Theoretical Computer Science, 5th GI-Conference, Karlsruhe, Germany, March 23-25, 1981, Proceedings Springer 1981
1979
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Deussen: One Abstract Accepting Algorithm for all Kinds of Parsers. ICALP 1979: 203-217
1978
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Deussen: A Unified Approach to the Generation and the Acception of Formal Languages. Acta Inf. 9: 377-390 (1978)
1977
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Deussen, Kurt Mehlhorn: Van Wijngaarden Grammars and Space Complexity Classs EXSPACE. Acta Inf. 8: 193-199 (1977)
1975
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Deussen: A Decidability Criterion for van Wijngaarden Grammars. Acta Inf. 5: 353-375 (1975)
1967
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Deussen: Some results on the set of congruence relations in a finite, strongly connected automaton. Computing 2(4): 353-367 (1967)

Coauthor Index

1Oliver Andre [11]
2Andrey Baboshin [12]
3Hartmut Barthelmess [11]
4Alexander Bockmayr [8]
5Christoph Brzoska [8]
6Hoa Dung Ha Duong [12]
7Yuri Glickman [12]
8A. Hansmann [9]
9Thomas Käufl [9]
10Stefan Klingenbeck [9]
11Kurt Mehlhorn [3]
12Max Tritschler [12]
13Tadaoki Uesugi [12]
14Igor Varsek [8]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page