Index of 1990
Department Of Computer Science
Technical Reports
Aachener Informatik-Berichte (AIB)

Available Reports

1990-01
Fachgruppe Informatik
Jahresbericht 1989
1990-02
Vera Jansen, Andreas Potthoff, Wolfgang Thomas, Udo Wermuth
A Short Guide to the AMORE System (Computing Automata, MOnoids and Regular Expressions)
1990-03
Jerzy Skurczynski
On Three Hierarchies of Weak SkS Formulas
1990-04
R. Loogen
Stack-based Implementation of Narrowing
1990-05
H. Kuchen, A. Wagener
Comparison of Dynamic Load Balancing Strategies
1990-06
Kai Jakobs, Frank Reichert
Directory Services for Mobile Communication
1990-07
Kai Jakobs
What's Beyond the Interface - OSI Networks to Support Cooperative Work
1990-08
Kai Jakobs
Directory Names and Schema - An Evaluation
1990-09
Ulrich Quernheim, Dieter Kreuer
Das CCITT - Signalisierungssystem Nr. 7 auf Satellitenstrecken; Simulation der Zeichengabestrecke
1990-11
H. Kuchen, R. Loogen, J.J. Moreno Navarro, M. Rodriguez Artalejo
Lazy Narrowing in a Graph Machine
1990-12
Kai Jakobs, Josef Kaltwasser, Frank Reichert, Otto Spaniol
Der Computer fährt mit
1990-13
Rudolf Mathar, Andreas Mann
Analyzing a Distributed Slot Assignment Protocol by Markov Chains
1990-14
A. Maassen
Compilerentwicklung in Miranda - ein Praktikum in funktionaler Programmierung (written in german)
1990-15
Manfred Nagl, Andreas Schürr
A Specification Environment for Graph Grammars
1990-16
A. Schürr
PROGRESS: A VHL-Language Based on Graph Grammars
1990-17
Marita Möller
Ein Ebenenmodell wissensbasierter Konsultationen - Unterstützung für Wissensakquisition und Erklärungsfähigkeit
1990-18
Eric Kowalewski
Entwurf und Interpretation einer Sprache zur Beschreibung von Konsultationsphasen in Expertensystemen
1990-20
Y. Ortega Mallen, D. de Frutos Escrig
A Complete Proof System for Timed Observations
1990-21
Manfred Nagl
Modelling of Software Architectures: Importance, Notions, Experiences
1990-22
H. Fassbender, H. Vogler
A Call-by-need Implementation of Syntax Directed Functional Programming