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

Available Reports

1991-01
Guenther Geiler (ed.), Fachgruppe Informatik
Jahresbericht 1990
1991-03
B. Steffen, A. Ingolfsdottir
Characteristic Formulae for Processes with Divergence
1991-04
M. Portz
A new class of cryptosystems based on interconnection networks
1991-05
H. Kuchen, G. Geiler
Distributed Applicative Arrays
1991-06
Ludwig Staiger
Kolmogorov Complexity and Hausdorff Dimension
1991-07
Ludwig Staiger
Syntactic Congruences for w-languages
1991-09
Eila Kuikka
A Proposal for a Syntax-Directed Text Processing System
1991-10
K. Gladitz, H. Fassbender, H. Vogler
Compiler-based Implementation of Syntax-Directed Functional Programming
1991-11
R. Loogen, St. Winkler
Dynamic Detection of Determinism in Functional Logic Languages
1991-12
K. Indermark, M. Rodriguez Artalejo (Eds.)
Granada Workshop on the Integration of Functional and Logic Programming
1991-13
Rolf Hager, Wolfgang Kremer
The Adaptive Priority Scheduler: A More Fair Priority Service Discipline
1991-14
Andreas Fasbender, Wolfgang Kremer
A New Approximation Algorithm for Tandem Networks with Priority Nodes
1991-15
J. Börstler, A. Zündorf
Revisiting extensions to Modula-2 to support reusability
1991-16
J. Börstler, Th. Janning
Bridging the gap between Requirements Analysis and Design
1991-17
A. Zündorf, A. Schürr
Nondeterministic Control Structures for Graph Rewriting Systems
1991-18
Matthias Jarke, John Mylopoulos, Joachim W. Schmidt, Yannis Vassiliou
DAIDA: An Environment for Evolving Information Systems
1991-19
M. Jeusfeld, M. Jarke
From Relational to Object-Oriented Integrity Simplification
1991-20
G. Hogen, A. Kindler, R. Loogen
Automatic Parallelization of Lazy Functional Programs
1991-21
Prof. Dr. rer. nat. Otto Spaniol
ODP (Open Distributed Processing): Yet another Viewpoint
1991-22
H. Kuchen, F. Lücking, H. Stoltze
The Topology Description Language TDL
1991-23
S. Graf, B. Steffen
Compositional Minimization of Finite State Systems
1991-24
R. Cleaveland, J. Parrow, B. Steffen
The Concurrency Workbench: A Semantics Based Tool for the Verification of Concurrent Systems
1991-25
Rudolf Mathar, Jürgen Mattfeldt
Optimal Transmission Ranges for Mobile Communication in Linear Multihop Packet Radio Networks
1991-26
M. Jeusfeld, M. Staudt
Query Optimization in Deductive Object Bases
1991-27
J. Knoop, B. Steffen
The Interprocedural Coincidence Theorem
1991-28
J. Knoop, B. Steffen
Unifying Strength Reduction and Semantic Code Motion
1991-30
T. Margaria
First-Order theories for the verification of complex FSMs
1991-31
B. Steffen
Generating Data Flow Analysis Algorithms from Modal Specifications