Schliessen
Deterministic two-way one-head pushdown automata are very powerful
In: Information processing letters, Jg. 18.1984, S. 239-242
Distributing resources through network utilisation
In: NetWORKing : connecting workers in and between organizations : proceedings of the IFIP WG 9.1 Working Conference on NetWORKing, Vienna, Austria, 16 - 18 June, 1993 (IFIP transactions : A ; 38), Jg. 1994, S. 165-168An ecological approach to responsible systems development
In: Directions and Implications of Advanced Computing (DIAC-87), Jg. 1989, S. 82-96Efficiency of universal parallel computers
In: Acta Informatica, Jg. 19.1983, S. 269-296Efficiency of universal parallel computers
In: Theoretical computer science : Dortmund, January 5 - 7, 1983 (Lecture notes in computer science : 145), Jg. 1983, S. 221-241Efficient simulations among several models of parallel computers
In: STACS 1984, Jg. 1984, S. 218-229Efficient simulations among several models of parallel computers
In: SIAM journal on computing, Jg. 1986, S. 106-119Eigenschaften von Programmiersprachen
definiert durch attributierte GrammatikenIn: Programmiersprachen und Programmentwicklung, Jg. 6, S. 157-174Elementary actions on an extended entity-relationship database
In: Graph grammars and their application to computer science, Jg. 1991, S. 344-362Entwurf, Beschreibung und Implementation von Systemen mit Hilfe der nebenläufigen Programmiersprache CAP
In: GI-NTG-Fachtagung Struktur und Betrieb von Rechensystemen / Fachtagung Struktur und Betrieb von Rechensystemen <6, 1980, Kiel>, Jg. 1980, S. 205-216Erläuterungen zur attributierten Grammatik für PEARL
In: PEARL-Rundschau, Jg. 2.1981 H. 3, S. 19-31Executable specifications for language implementation
In: Programming language implementation and logic programming, Jg. 1993, S. 1-11Fail-high reductions
In: Advances in Computer Chess 7, Jg. 1994, S. 111-128Fast algorithms for n-dimensional restrictions of hard problems
In: STOC 1985, Jg. 1985, S. 413-420Five valued quasi Boolean functions
In: Fifth European Meeting on Cybernetics and Systems Research / European Meeting on Cybernetics and Systems Research <5, 1980, Wien>, Jg. 35.1980, S. 2-5The GAG-system : A tool for compiler construction
In: Methods and tools for compiler construction, Jg. 1984, S. 165-181Das Gedächtnis lernt laufen
vom Kerbholz zur virtuellen WirklichkeitIn: Cyberspace : Gemeinschaften, virtuelle Kolonien, Öffentlichkeiten, Jg. 1994, S. 207-228Die Gestaltung des Unsichtbaren
In: Computer Magazin, Jg. 1988, S. 39-41The hardware description language DACAPO III
In: Fundamentals and standards in hardware description languages, Jg. 1993, S. 395-409