Zur Reduktion von Schaltkreispolynomen im Hinblick auf eine Verwendung von Rechenanlagen, El. Datenverarbeitung, Folge 5, (21-27)
Nichtsinguläre Schaltwerke, ZAMM-Sonderheft, Bd. 41, (72-74)
Zur mathematischen Theorie der Fehlerkorrigierenden Codes, annales Universite Saraviensis, Vol. IX, (3-12)
Der Logische Entwurf von Addierwerken, Annales Univer. Saraviensis, Vol. X, (163-179)
On the Mathematical Theory of Linear Sequential Networks, in Aiken and Main: Switching Theory in Space Technology, (1-19)
Eine Algebraisierung des Syntheseproblemes von Schaltkreisen, I und II in EIK, Bd. 1, (185-205), Bd, 2, (209-231)
Einbettung von Streckenkomplexen in die Ebene, Math. Annalen 167, (214-223)
Quasilineare Automaten, Computing, Vol. 2, (139-152),
Erzeugung formaler Sprachen durch gekoppelte Ersetzungen, erschienen in F.L. Bauer und D. Samelson: Kolloquium über Automatentheorie und formale Sprachen, Math. Institut der TH München, (62-73)
Automatentheorie und Anwendungen, Fachbericht auf der Physikertagung 1968 in Karlsruhe, Übersichtsvortrag
Eine Bemerkung zur Zerlegung von Produktionssystemen von Semi-Thue-Systemen, EIK, (341-342)
Statistische Untersuchung von Digitalfiltern, Elektr. Datenverarbeitung 11, (514-525) mit W. Stucky und O. Spaniol.
Automatentheorie und formale Sprachen, I und II, zwei Taschenbücher, Bibliographisches Institut Mannheim, mit H. Walter. (1969/70)
Automatentheorie und formale Sprachen, mit V. Claus. Bibliographisches Institut Mannheim (241 S)
Informatik - ein neues Gebiet für Forschung und Lehre, Universitas, 27. Jahrgang, Heft 2 (133-142)
Struktuelle Verwandtschaften von Semi-Thue-Systemen, Proceedings of the first intern. Symposium: Category Theory Applied to Computation and Control, Lecture Notes in Comp. Science, Vol. 25, (174-179)
Axiomatisierung von Programmiersprachen, Proceeding der von IBM veranstalteten Tagung Methodology of Programming, Lecture Notes in Computer Science
Komplexität von Ausdrücken, in Automata, Languages and Programming, 2nd Colloquieum, Lecture Notes in Computer Science, Vol. 14 (15 S)
Schaltkreistheorie, De Gruyter Lehrbuch (335 S)
Informatik, Artikel im Handwörterbuch der math. Wirtschaftswissenschaften (10 S)
Untere Schranken für das Analyseproblem kontextfreier Sprachen, Techn. Bericht des Institutes für Angewandte Mathematik und Informatik der Universität des Saarlandes, A 75-15
Space-Komplexität von klammerfreien Ausdrücken, EIK 13 (655-657)
Network Complexity, Fundamentals of Comp. Theory, Lecture Notes, vol 54 in computer Science (401-425), mit M. Stadel
Automatentheorie und Formale Sprachen, Mitteilungen der Mathematischen Gesellschaft der DDR, Heft 4 (23-63), Übersichtsvortrag au der Jahrestagung der Mathematischen Gesellschaft der DDR
Portabilität von REAL-Programmen, 1er Colloque AFCET-SMF de Mathématique appliquées, 4.-8. Sept., 1978, Ecole Polytechnique Palaiseau, Bd. 1 (89-103)
General Greibach Normal Form Transformation, Technischer Report of Wash. State University Pullman, S. 1-112 (zusammen mit Boasson und Ross)
LL(k)-und LR(k)-Invarianz von kontextfreien Grammatiken unter einer Transformation auf Greibach Normalform, EIK, Bd. (73-86), mit R.J. Ross
Konrad Zuse: Forschung und Entwicklung, Informatik-Spektrum 3, (41-47)
Verschränkte Homomorphismen formaler Sprachen, RAIRO, Informatique Théorique, Vol. 14 (193-208)
Datentypen NET und TREE in Comskee, Technischer Bericht des SFB 100 der Universität des Saarlandes, Linguistische Arbeiten, Neue Folge, Heft 3,1 (51-62)
Ein rein automatentheoretischer Aufbau der Theorie der kontextfreien Sprachen (Abstract eines Übersichtsvortrages) in P. Deussen, ed.: Theoretical computer Science, March 1981, LNCS 104, Springerverlag
Formale Sprachen, eine automatentheoretische Einführung BI Wissenschaftsverlag, Reihe Informatik, Vol. 35, 234 S, (mit Ko-Autor K. Estenfeld)
A Representation Theorem of Infinite Dimensional Associative Algebras and Applications in Formal Language Theory (Extended Abstract) Proceedings de la 9iéme Ecole de Printemps d'Informatique Théoretique, Murol 1981, 1-14 S
Ein Planaritätstest für planar-konvexe Grapheneinbettungen mit linearer Zeitkomplexität, Beiträge zur Algebra und Geometrie, 18, (1984) 191-200, mit U. Groh.
Über die logische-topologische Entwurfsebene bei der Konstruktion großer integrierter Schaltkreise, Proceedings der GI-Jahrestagung in Braunschweig, 11 S.
Ein CAD-System zum Entwurf integrierter Schaltungen, Technischer Bericht des SFB 124, 16/84, 116 S. Ko-Autoren: B. Becker, R. Kolla, P. Molitor.
Die Informatik als jüngste Disziplin des Teubnerverlages. erschienen im Jubiläumsband des Teubnerverlages zu seinem 175. Geburtstag, 13 Seiten
Ein logischer topologischer Kalkül zur Konstruktion von integrierten Schaltkreisen. (mit Becker, Kolla, Molitor, Osthof). Informatik, Forschung und Entwicklung, (1986) pp. 38-47/72-82.
CADIC--A system for Hierarchical Design of integrated Circuits. Technischer Bericht TR-07/1986 und im Tagungsband des 3-ten E.I.S. Workshops.
On network algebras and recursive functions. In Proceedings of the 3rd International Workshop on Graph Grammars and Their Applications to Computer Science, LNCS 291, pages 250-261. Ko-Autoren: R.Kolla, P.Molitor
On the Optimal Layout of Planar Graphs with fixed Boundary (mit B. Becker) SIAM J. of Computing 16(5), pp. 946-972.
On Network Algebras and Recursive Functions (mit R. Kolla and P. Molitor) Proceedings on the 3rd international Workshop on Graph Grammars and their Applications, Warrenton (1986) Lecture Notes in Comp. Science 291, (1987) pp. 250-261.
Foldingfree Covering and Graph Embeddings, (mit U. Becker), Technical Report O1/1990, 17 pages, SFB 124-B1, Saarbrücken, 1990. Erscheint im Sonderband der Abhandlungen des Mathematischen Seminars der Universität Hamburg anläßlich des 300-ten Geburtstages der Mathematischen Gesellschaft zu Hamburg.
Einführung in die Informatik, Leitfäden und Monographien der Informatik, B.G.Teubner, (1990), pp. 1-545.
Versprachlichung naturwissenschaftlicher Erkenntnis, Vortrag im Rahmen des Studium Generale an der Ruprecht-Karls-Universität Heidelberg, Vortragsreihe Sprache, 2. Juli 1990, pp. 131-150.
Was ist künstliche Intelligenz? Vortrag im Rahmen des Studium Generale an der Universität Würzburg, 11. Juli 1990, und erschienen als Abhandlung der Mathematischen Naturwissenschaftlichen Klasse der Akademie der Wissenschaften Mainz, 1-43.
Algorithmen, Sprachen und Komplexität, Saarbrücker Universitätsreden 32 zur feierlichen Eröffnung des akademischen Jahres 1990/91, 1-15, 15. Oktober 1990, und erschienen in JUR-PC U10332E 3/91, pp. 981-987.
Das Optical-Formula-Recognition System der Universität des Saarlandes. FB Informatik, Universität des Saarlandes, 66041 Saarbrücken, Germany. 32 Seiten, mit Rainer Marzinkewitsch.
Extended Semi Dyck Set and Bracket Grammars (zusammen mit J. Guan) Technischer Bericht, Universität des Saarlandes
Qualitatives Argumentieren, Saarbrücker Hefte 65, Mai 1991.
On Algebraic Computation Tree and Betti Numbers, (zusammen mit J. Sellen), Report 10/1993 im Rahmen des SFB 124.
Suchbäume und Suchgraphen bei Markoffquellen, Report 11/1993 im Rahmen des SFB 124.
Hit--A Hierarchical Environment for Interactive Test Engineering, (zusammen mit T. Burch, J. Hartmann, M. Krallmann, U. Nikolaus, S.M. Reddy, U. Sparmann, Report 20/1993 im Rahmen des SFB 124.
Über Berechenbarkeit fraktaler Strukturen, Abhandlungen der Akademie der Wissenschaften und Literatur, Mainz, (1993).
Search Trees and Search Graphs for Markov Sources, EIK 93, Vol. 5, (1993).
Optical formula recognition. Artikel mit J. Quapp und F. Weigel. 9 Seiten.
Fast Uniform Analysis of Coupled-Context-Free Grammars Proceedings of the 21th International Colloq. on Automata, Languages and Programming, S. 412-423, zusammen mit Gisela Pitsch.
A Representation Theorem for Coupled-Context-Grammars, Proceedings of the 21th International Colloq. on Semigroups, Automata and Languages, S. 88-92, zusammen mit Gisela Pitsch.
On Parsing Coupled-Context-Free Languages, Theoretical Computer Science, S. 202-233, zusammen mit Gisela Pitsch.
A Top Down VLSI Design System - Users's Guide. Mit Thomas Burch und Bin Zhu, SFB 124, Universität des Saarlandes.
Heuristische Bewegungsplanung im R3. Technischer Bericht mit Jens Eckstein und Elmar Schömer. Universität des Saarlandes, 132 Seiten.
Heuristic motion planning with many degrees of freedom. Technical Report mit T. Chadzelek und E. Schömer, Universität des Saarlandes, 48 Seiten.
The optical formula recognition system for handprinted input. J. Symbolic Computation, 11:1-8, zusammen mit J. Hartmann, R. Loos, R. Marzinkewitsch, J. Quapp, F. Weigel und A. Weber.
Hierarchischer Entwurf komplexer Systeme, Highlights aus der Informatik, I. Wegener (Ed.) Springer, zusammen mit A. Reichert.
Sorting and Searching in View of the Noiseless Coding Theorem, zusammen mit F. Schulz, eingereicht 1997.