1979-1995

Liste der Berichte in der gelben Reihe

Im folgenden eine vollständige Liste der Bericht aus der gelben Reihe von 1979 bis 1995. Die Berichte können unter der angegebenen Nummer im Informatik Sekretariat im B-Gebäude, Raum B130, entliehen werden.


    1/79 M. Nagl: An Incremental Compiler as Part of a Software Production System

    2/79 M. Nagl: GRAPL - A Programming Language for Handling Dynamic Problems on Graphs

    1/80 M. Nagl: Graph Rewriting and Automatic, Machine-Independent Program Optimization


    2/80 R. Gall; M. Nagl: Software-Implementation assoziativer Speicher

    3/80 D. Zöbel: UGSL - Compiler Generation with L-attributed Grammars

    4/80 H. Giesen: Ein effizienter Algorithmus zur Vermeidung von Deadlocks


    1/81 M. Kaul: Linear Precedence Parsing for a New Class of Grammars

    2/81 H. Giesen: Anmerkungen zu div und mod in Pascal


    1/82 H. Giesen: Graph-Algorithmen auf Adjazenzmengen; Entwurf und Analyse

    2/82 D. Zöbel et.al.: Simulation des rechnergesteuerten Betriebs einer Lichtsignalanlage

    3/82 H.D. Lutz: SYNTAL - ein tutorielles System zur syntaktischen Analyse natürlichsprachlicher Sätze

    4/82 M. Kaul: Precedence Parsing of Graphs (nicht erschienen)

    5/82 M. Payer: P2TRACE - Beschreibung, Benutzerhandbuch und Implementierungshandbuch

    6/82 M. Payer: Fuzzy Nets

    7/82 M. Payer: Syntaxgesteuerte Interpretation von Kommandosprachen


    1/83 D. Zöbel: Zur Integration der Deadlockvermeidung in Betriebssysteme

    2/83 M. Kaul: Logik für Informatiker; Skript zur Vorlesung im SS 83

    3/83 D. Zöbel: The Deadlock Problem: A Classifying Bibliography

    4/83 M. Kaul: Prozedur-Pakete in SIEMENS-PASCAL oder Implementierung abstrakter Datenstrukturen in SIEMENS-PASCAL

    5/83 H.D. Lutz: Artificial Intelligence. Science Fiction or Science?


    1/84 A. Schütte: Knotenattributierte kontextfreie Graphgrammatiken

    2/84 D. Zöbel: Hardware Integration of Advanced Methods in Deadlock Avoidance

    3/84 A. Schütte: LASA-MANUAL - Language for Specification of Node and Edge Attributed Context Free Graph Grammars

    4/84 M. Jackel: ADA und MODULA, ein konzeptueller Vergleich


    1/85 A. Schütte: Einführung in Theorie und Konzepte von attributierten Zeichenketten- und Graphgrammatiken

    2/85 M. Bretz: Ein Typkonzept für FP-Programme mit einem Anwendungsbeispiel

    3/85 J. Ebert: Implementing a Functional Language on a von Neumann Computer

    4/85 J. Ebert (Hrsg.): Alternative Konzepte für Sprachen und Rechner - Bad Honnef 1985

    5/85 A. Schütte: Attribute Graph-Grammars for Compiler Construction

    6/85 A. Schütte: Attribute Graph-Grammars for Pattern Recognition

    7/85 W. Schiffmann: Die Windowing-Technik, ein neues Verfahren zur strukturellen Mustererkennung

    8/85 D. Zöbel: Programmtransformationen zur Ende-Erkennung bei verteilten Berechnungen


    1/86 Th. Biedassek, M. Möhring: SAMOS - Ein System zur Anwendung matrix-orientierter Statistik auf der Basis einer funktionalen Sprache

    2/86 P. Orponen, U. Schöning: The Density and Complexity of Polynomial Cores for Intractable Sets

    3/86 H. Müller: Image Generation by Space Sweep

    4/86 W. Weisweber: Ein Parsergenerator für die lexical functional grammar (LFG)

    5/86 U. Schöning: Lower Bounds by Recursion Theoretic Arguments

    6/86 J. Ebert: A Versatile Data Structure for Edge-Oriented Graph Algorithms

    7/86 J. Köbler, U. Schöning, K.W. Wagner: The Difference and Truth-Table Hierarchies for NP

    8/86 M. Bretz: Zur Ausnahmebehandlung in Programmiersprachen

    9/86 M. Jackel: Formal Specification of ADA Concurrency

    10/86 U. Schöning: Graph Isomorphism is in the Low Hierarchy

    11/86 J. Ebert: Jackson Structured Programming and Finite Automata

    12/86 J. Toran: Complexity of Problems Related to Functions Represented by Boolean Circuits

    13/86 W. Schiffmann, B. Schmidt: Algorithmen zur stückweisen linearen Approximation von Zeitreihen


    1/87 J. Ebert, A. Plewe: Verwendung von Entscheidungstabellen zum Entwurf einer Steuerung

    2/87 U. Schöning: Complexity Theory and Interaction

    3/87 M. Bretz: Exeption Handling in Functional Programs

    4/87 J. Ebert: Die SECD-Maschine

    5/87 J. Köbler, U. Schöning, J. Toran: On Counting and Approximation

    6/87 : Workshop über Komplexitätstheorie, effiziente Algorithmen und Datenstrukturen, EWH Koblenz, 5. Mai 1987

    7/87 J. Ebert: Computing Eulerian Trails

    8/87 U. Schöning: Probabilistic Complexity Classes and Lowness

    9/87 J. Schabernack, A. Schütte: Occam - Ada, ein Vergleich


    1/88 U. Schöning: Complexity Cores and Hard-To-Prove Formulas

    2/88 M. Bretz, J. Ebert: Type Inference for Exeption Handling

    3/88 W. Kindt: Zur Logik von Alltagsargumentationen

    4/88 U. Dumslaff, J. Ebert: Ein visuelles funktionales Programmiersystem und seine Spezifikation

    5/88 M. Jackel: KOAKZ, ein computerunterstütztes Akzessionssystem für Bibliotheken

    6/88 U. Schöning: Robust Oracle Machines

    7/88 A. Schütte, F. Opfer, Ch. Asp: Automatisches Konfigurieren von OCCAM2-Programmen

    8/88 W. Hoeppner, H. Lange, A. Stotz: DRL: Eine Framesprache zur Beschreibung und Klassifikation von Dokumenten

    9/88 J. L. Balcazar, U. Schöning: Logarithmic Advice Classes

    10/88 U. Schöning: The Power of Counting

    11/88 J. Ebert, G. Engels: Ein Konzept zur Beschreibung von Software-Architekturen

    12/88 J. Köbler, U. Schöning, J. Toran: Turing Machines with Few Accepting Computations

    13/88 R. Wilensky: Wissensrepräsentation


    1/89 H. Vollmer: Uniforme Schaltkreisfamilien und ihre Komplexitätsklassen

    2/89 M. Mundhenk, R. Schuler: Random Languages for Non-Uniform Complexity Classes

    3/89 X. Huang: Occam und die Assemblersprache des Transputers

    4/89 H. Vollmer: A Characterization of NC in Terms of Logic Programs

    5/89 U. Schöning, R. Schuler: Renamable-Horn Clauses and Unit Resolution

    6/89 J. Ebert (Hrsg.): Alternative Konzepte für Sprachen und Rechner - Bad Honnef 1989

    7/89 R. Schuler: Randomness as a Resource for the Class BPP

    8/89 W. Hoeppner: Konnektionismus, Künstliche Intelligenz und Informatik - Informationsverarbeitung und die Semantik von 'ist'

    9/89 J. Schabernack, A. Schütte: Konzepte verteilter Betriebssysteme für Transputer-Rechner


    1/90 D. Feldmann, A. Schütte: Spezifikation einfacher, kontextsensitiver Syntaxkonstrukte von Occam2 durch eine Graphgrammatik

    2/90 A. Mertens, M. Berghäuser: Repräsentation geographischer Karten und Implementation eines Wegauskunftssystems

    3/90 X. Huang, Ch. Steigner: Dynamische Deadlockerkennung für Parallelprogramme

    4/90 G. Vossen: Towards Dynamic Schedule Correctness for Relational Update Transactions

    5/90 St. Mehl: Vom maschinenlesbaren Wörterbuch zur Lexikonkomponente: Zur Repräsentation von Wortbedeutungen

    6/90 M. Weske: Resource Deadlock in verteilten Datenbanksystemen

    7/90 G. Vossen: Modellbildung für Datenbank-Transaktionen

    8/90 J. Ebert (Hrsg.): Programmierumgebungen für funktionale und logische Sprachen

    9/90 W. Hoeppner (Hrsg.): Workshop "`Räumliche Alltagsumgebungen des Menschen"'

    10/90 G. Vossen: Bibliography on Object-Oriented Database Management

    11/90 X. Huang, Ch. Steigner: An Extension of the CSP Communication Mechnism: A New Method for Coping with Distributed Termination and Deadlocks

    12/90 P. Baumgartner: Modelling Software Reuse with Predicate Logic

    13/90 N. Fuchs, U. Furbach (Hrsg.): Workshop 'Logik als Programmiersprache' GWAI '90

    14/90 W. Hower: A Novel Algorithm for Global Constraint Satisfaction


    1/91 M. Weske: Detection and Resolution of Resource Deadlocks in Distributed Database Systems

    2/91 S. Hölldobler, W. Hower: Constraint Satisfaction in a Connectionist Inference System

    3/91 P. Baumgartner: A Completeness Proof Technique for Resolution with Equality

    4/91 M. Bretz: Baum- und Graphreduktion für den angewandten Lambda-Kalkül

    5/91 U. Furbach: Answers for disjunctive logic programs

    6/91 E. Smith: On Net Systems Generated by Process Foldings

    7/91 P. Baumgartner: A Model Elimination Calculus with Built-in Theories

    8/91 U. Furbach: Splitting as a source of parallelism in disjunctive logic programs

    9/91 G. Vossen; G. Decknatel; D. Demann; H.W. Niemöller: Realizing a Sample Application with O2, an Object-Oriented Database System

    10/91 R. Berling; C. Du; M. Rosendahl: RELCAD: A relational CAD system with an object oriented design

    11/91 M. Dahr; K. Lautenbach: Datalog Nets

    12/91 J. Schabernack: Lastenausgleichsverfahren in verteilten Systemen Überlick und Klassifikation

    13/91 S.K. Kumar: Incorporating Paramodulation into Model Elimination

    14/91 R. Hofestädt, K. Stüber: Die Sequenzanalyse und ihre Anforderungen an die Informatik

    15/91 C. Lin: An Algorithm For Computing S-invariants For High Level Petri Nets

    16/91 W. Hower: Constraint satisfaction via partially parallel propagation steps

    17/91 U. Furbach: Formal specification methods for reactive systems

    18/91 U. Furbach: Computing answers for disjunctive logic programs

    20/91 M. Dahr, K. Lautenbach: Towards a Formal Theory of Datalog Nets

    21/91 M. Carstensen, M. Groß-Hardt, W. Hoeppner: Repräsentationskonzepte für die Generierung von Wegauskünften im Projekt KOPW


    1/92 O. Ferstl: Integrationskonzepte Betrieblicher Anwendungssysteme

    2/92 F. Stolzenburg: Unification-Based Language for the Implementation of HPSG

    3/92 M. Weske: A Deadlock Detection and Resolution Algorithm and Its Performance Analysis

    4/92 M. Rosendahl, R. Berling, C. Du: Objektorientierte Implementierung eines relationalen CAD-Systems

    5/92 J. Ebert, A. Franzke: Specification of a Graph Based Data Model for a CASE Tool

    6/92 R. Hofestädt: Informatik in den Biowissenschaften - Perspektiven 2000

    7/92 O. Ferstl, U. Hagemann: Die Visualisierung der SOM-Diskurswelt in einem Multiview-Ansatz

    8/92 C. Eissing, J. Schabernack: Taxonomy and Annotated Bibliography on Load Sharing in Distributed Systems

    9/92 P. Mandl. J. Schabernack: Communication Concepts of Distributed Operating Systems

    10/92 R. Letz: Connection Tableaux and their Relation with Linear Resolution

    11/92 P. Baumgartner, U. Furbach: Consolution as a Framework for Comparing Calculi

    12/92 L. Priese, V. Rehrmann: A Fast Hybrid Color Segmentation Method

    13/92 L. Priese, R. Schian: Contrast Enhancement for Automatic Image Evaluation

    14/92 Drei Beiträge zu "`Logik und KI"':: W. Bibel, U. Furbach: Logik, KI und Intellektik: C. Freksa: Über den Unterschied zwischen Logik-basierten und logischen Ansätzen zur Wissensrepräsentation: C. Habel: Perspektiven einer logischen Fundierung der KI

    15/92 P. Baumgartner, U. Furbach, U. Petermann: A Unified Approach to Theory Reasoning

    16/92 K. Lautenbach: The Reproducibility of the Empty Marking in Place/Transition Nets


    1/93 A. Winter, U. Dumslaff, J. Ebert, M. Mertesacker: Ein Vorgehensmodell zur Software-Evaluation am Beispiel der Auftragswicklung im Handwerk

    2/93 Einar Smith: Arbiter Behaviour and Petri Nets

    3/93 Frieder Stolzenburg: An Algorithm for General Set Unification and its Complexity

    4/93 X. Huang, T. Ost, C. Steigner: Ein Modell für Endeerkennung in verteilten Systemen

    5/93 K. Lautenbach, H. Ridder: Liveness in bounded Petri nets which are covered by T-invariants

    6/93 J. Bilke: Regelbasierte automatische Silbentrennung

    7/93 P. Baumgartner (Hrsg.): Workshop "`PTTP-basiertes Theorembeweisen"' Koblenz 1993

    8/93 P. Baumgartner: Refinements of Theory Model Elimination and a Variant without Contrapositives

    9/93 P. Baumgartner: Linear Completion: Combining the Linear and the Unit-Resulting Restrictions

    10/93 J. Dix: A Classification Theory of Semantics of Normal Logic Programs: I. Strong Properties

    11/93 J. Dix: A Classification Theory of Semantics of Normal Logic Programs: I. Weak Properties

    12/93 P. Baumgartner, U. Furbach: Model Elimination without Contrapositives and its Application to PTTP

    13/93 J. Dix, M. Müller: Abstract Properties and Computational Complexity of Disjunctive Logic Programs

    13/93 J. Dix, M. Müller: On Implementing Semantics for Disjunctive Logic Programs

    14/93 J. Dix, G. Gottlob, V. Marek: Causal Models for Disjunctive Logic Programs

    15/93 J. Dix: Semantics of Logic Programs: Their Intuitions and Formal Properties. An Overview

    16/93 R. Hofestädt, K. Lautenbach, M. Löffler (Hrsg.): Workshop "`Modellierung der Zelldifferenzierung"'

    17/93 J. Ebert, G. Engels: Dynamic Models and Behavioural Views


    1/94 U. Furbach: Theory Reasoning in First Order Calculi

    2/94 M. Dahr, K. Lautenbach, T. Marx, H. Ridder: NET CASE: Towards a Petri Net Based Technique for the Development of Expert/Database Systems

    3/94 J. Ebert, A. Franzke: A Declarative Approach to Graph Based Modeling

    4/94 J. Ebert (Hrsg.): Alternative Konzepte für Sprachen und Rechner - Bad Honnef 1993

    5/94 F. Stolzenburg: Membership-Constraints and Some Applications

    6/94 A. Winter, J. Ebert: Ein Referenz-Schema zur Organisationsbeschreibung

    7/94 E. Ntienjem: A descriptive mode inference for normal logic programs

    8/94 Baumgartner, Bürckert, Comon, Frisch, Furbach, Murray, Petermann, Stickel (Hrsg.): Theory Reasoning in Automated Deduction

    9/94 K.-E. Großpietsch, R. Hofestädt, C. Steigner (Hrsg.): Workshop Parallele Datenverarbietung im Verbund von Hochleistungs-Workstations

    10/94 Baumgartner, F. Stolzenburg: Constraint Model Elimination and a PTTP Implementation

    11/94 S. Brass, J. Dix: A General Approach to Bottom-Up Computation of Disjunctive Semantics

    12/94 Martin Volk, Michael Jung, Dirk Richarz, Arne Fitschen, Johannes Hubrich, Chistian Lieske, Stefan Pieper, Hanno Ridder, Andreas Wagner: GTU - A workbench for the development of natural language grammars

    13/94 D. Zöbel: Program Transformations for Distributed Control Systems

    14/94 Michael Möhring: Grundlagen der Prozeßmodellierung

    15/94 S. Brass, J. Dix: A Characterization of the Stable Semantics by Partial Evaluation

    16/94 S. Brass, J. Dix: Disjunctive Semantics Based upon Partial and Bottom-Up Evaluation

    17/94 W. Hower: Constraint satisfaction - algorithms and complexity analysis

    18/94 W. Hower, D. Haroud, Z. Ruttkay (Eds.): Proceedings of the AID'94 workshop W9 on Constraint Processing in Computer-Aided Design


    1/95 P. Baumgartner, U. Furbach, F. Stolzenburg: Model Elimination, Logic Programming and Computing Answers

    2/95 P. Baumgartner, R. Hähnle, J. Posegga (Hrsg.): 4th Workshop on Theorem Proving with Analytic Tableaux and Related Methods - Poster Session and Short Papers

    3/95 L. Priese: A Class of Fully Abstract Semantics for Petri-Nets

    4/95 L. Priese, J. Klieber, R. Lakmann, V. Rehrmann, R. Schian: Echtzeit-Verkehrszeichenerkennung mit dem Color Structure Code - Ein Projektbericht

    5/95 P. Baumgartner, J. Schumann: Implementing Restart Model Elimination and Theory Model Elimination on top of SETHEO

    6/95 P. Baumgartner, S. Brüning: A Disjunctive Positive Refinement of Model Elimination and its Application to Subsumption Delection

    7/95 J. Ebert, G. Vossen: I-Serializability: Generalized Correctness for Transaction-Based Environments

    8/95 C. Steigner, A. Weihrauch: Modelling Timeouts in Protocol Design

    10/95 Kurt Lautenbach, Hanno Ridder: A Completion of the S–invariance Technique by means of Fixed Point Algorithms