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

Available Reports

1992-01
Stefan Eherer (ed.), Fachgruppe Informatik
Jahresbericht 1991
1992-02
Bernhard Westfechtel
Basismechanismen zur Datenverwaltung in strukturbezogenen Hypertextsystemen
1992-04
S. A. Smolka, B. Steffen
Priority as Extremal Probability
1992-05
Matthias Jarke, Carlos Maltzahn, Thomas Rose
Sharing Processes: Team Coordination in Design Repositories
1992-06
O. Burkart, B. Steffen
Model Checking for Context-Free Processes
1992-07
Matthias Jarke, Klaus Pohl
Information Systems Quality and Quality Information Systems
1992-08
Rudolf Mathar, Jürgen Mattfeldt
Analyzing Routing Strategy NFP in Multihop Packet Radio Networks on a Line
1992-09
Alfons Kemper, Guido Moerkotte
Grundlagen objektorientierter Datenbanksysteme
1992-10
Matthias Jarke, Manfred Jeusfeld, Andreas Miethsam, Michael Gocek
Towards a logic-based reconstruction of software configuration management
1992-11
Werner Hans
A Complete Indexing Scheme for WAM-based Abstract Machines
1992-12
W. Hans, R. Loogen, St. Winkler
On the Interaction of Lazy Evaluation and Backtracking
1992-13
Matthias Jarke, Thomas Rose
Specification Management with CAD
1992-14
Th. Noll, H. Vogler
Top-down Parsing with Simultaneous Evaluation on Noncircular Attribute Grammars
1992-15
A. Schuerr, B. Westfechtel
Graphgrammatiken und Graphersetzungssysteme(written in german)
1992-16
Graduiertenkolleg Informatik und Technik (Hrsg.)
Forschungsprojekte des Graduiertenkollegs Informatik und Technik
1992-17
M. Jarke (ed.)
ConceptBase V3.1 User Manual
1992-18
Clarence A. Ellis, Matthias Jarke (Eds.)
Distributed Cooperation in Integrated Information Systems - Proceedings of the Third International Workshop on Intelligent and Cooperative Information Systems
1992-19-00
H. Kuchen, R. Loogen (eds.)
Proceedings of the 4th Int. Workshop on the Parallel Implementation of Functional Languages
1992-19-01
G. Hogen, R. Loogen
PASTEL - A Parallel Stack-Based Implementation of Eager Functional Programs with Lazy Data Structures (Extended Abstract)
1992-19-02
H. Kuchen, K. Gladitz
Implementing Bags on a Shared Memory MIMD-Machine
1992-19-03
C. Rathsack, S.B. Scholz
LISA - A Lazy Interpreter for a Full-Fledged Lambda-Calculus
1992-19-04
T.A. Bratvold
Determining Useful Parallelism in Higher Order Functions
1992-19-05
S. Kahrs
Polymorphic Type Checking by Interpretation of Code
1992-19-06
M. Chakravarty, M. Köhler
Equational Constraints, Residuation, and the Parallel JUMP-Machine
1992-19-07
J. Seward
Polymorphic Strictness Analysis using Frontiers (Draft Version)
1992-19-08
D. Gärtner, A. Kimms, W. Kluge
pi-Red^+ - A Compiling Graph-Reduction System for a Full Fledged Lambda-Calculus
1992-19-09
D. Howe, G. Burn
Experiments with strict STG code
1992-19-10
J. Glauert
Parallel Implementation of Functional Languages Using Small Processes
1992-19-11
M. Joy, T. Axford
A Parallel Graph Reduction Machine
1992-19-12
A. Bennett, P. Kelly
Simulation of Multicache Parallel Reduction
1992-19-13
K. Langendoen, D.J. Agterkamp
Cache Behaviour of Lazy Functional Programs (Working Paper)
1992-19-14
K. Hammond, S. Peyton Jones
Profiling scheduling strategies on the GRIP parallel reducer
1992-19-15
S. Mintchev
Using Strictness Information in the STG-machine
1992-19-16
D. Rushall
An Attribute Grammar Evaluator in Haskell
1992-19-17
J. Wild, H. Glaser, P. Hartel
Statistics on storage management in a lazy functional language implementation
1992-19-18
W.S. Martins
Parallel Implementations of Functional Languages
1992-19-19
D. Lester
Distributed Garbage Collection of Cyclic Structures (Draft version)
1992-19-20
J.C. Glas, R.F.H. Hofman, W.G. Vree
Parallelization of Branch-and-Bound Algorithms in a Functional Programming Environment
1992-19-21
S. Hwang, D. Rushall
The nu-STG machine: a parallelized Spineless Tagless Graph Reduction Machine in a distributed memory architecture (Draft version)
1992-19-22
G. Burn, D. Le Metayer
Cps-Translation and the Correctness of Optimising Compilers
1992-19-23
S.L. Peyton Jones, P. Wadler
Imperative functional programming (Brief summary)
1992-19-24
W. Damm, F. Liu, Th. Peikenkamp
Evaluation and Parallelization of Functions in Functional + Logic Languages (abstract)
1992-19-25
M. Kesseler
Communication Issues Regarding Parallel Functional Graph Rewriting
1992-19-26
Th. Peikenkamp
Charakterizing and representing neededness in functional loginc languages (abstract)
1992-19-27
H. Doerr
Monitoring with Graph-Grammars as formal operational Models
1992-19-28
J. van Groningen
Some implementation aspects of Concurrent Clean on distributed memory architectures
1992-19-29
G. Ostheimer
Load Bounding for Implicit Parallelism (abstract)
1992-20
H. Kuchen, F.J. Lopez Fraguas, J.J. Moreno Navarro, M. Rodriguez Artalejo
Implementing Disequality in a Lazy Functional Logic Language
1992-21
H. Kuchen, F.J. Lopez Fraguas
Result Directed Computing in a Functional Logic Language
1992-22
H. Kuchen, J.J. Moreno Navarro, M.V. Hermenegildo
Independent AND-Parallel Narrowing
1992-23
T. Margaria, B. Steffen
Distinguishing Formulas for Free
1992-24
K. Pohl
The Three Dimensions of Requirements Engineering
1992-25
R. Stainov
A Dynamic Configuration Facility for Multimedia Communications
1992-26
Michael von der Beeck
Integration of Structured Analysis and Timed Statecharts for Real-Time and Concurrency Specification
1992-27
W. Hans, St. Winkler
Aliasing and Groundness Analysis of Logic Programs through Abstract Interpretation and its Safety
1992-28
Gerhard Steinke, Matthias Jarke
Support for Security Modeling in Information Systems Design
1992-29
B. Schinzel
Warum Frauenforschung in Naturwissenschaft und Technik
1992-30
A. Kemper, G. Moerkotte, K. Peithner
Object-Orientation Axiomatised by Dynamic Logic
1992-32
Bernd Heinrichs, Kai Jakobs
Timer Handling in High-Performance Transport Systems
1992-33
B. Heinrichs, K. Jakobs, K. Lenßen, W. Reinhardt, A. Spinner
Euro-Bridge: Communication Services for Multimedia Applications
1992-34
C. Gerlhof, A. Kemper, Ch. Kilger, G. Moerkotte
Partition-Based Clustering in Object Bases: From Theory to Practice
1992-35
J. Börstler
Feature-Oriented Classification and Reuse in IPSEN
1992-36
M. Jarke, J. Bubenko, C. Rolland, A. Sutcliffe, Y. Vassiliou
Theories Underlying Requirements Engineering: An Overview of NATURE at Genesis
1992-37
K. Pohl, M. Jarke
Quality Information Systems: Repository Support for Evolving Process Models
1992-38
A. Zuendorf
Implementation of the imperative / rule based language PROGRES
1992-39
P. Koch
Intelligentes Backtracking bei der Auswertung funktional-logischer Programme
1992-40
Rudolf Mathar, Jürgen Mattfeldt
Channel Assignment in Cellular Radio Networks
1992-41
Gerhard Friedrich, Wolfgang Neidl
Constructive Utility in Model-Based Diagnosis Repair Systems
1992-42
P. S. Chen, R. Hennicker, M. Jarke
On the Retrieval of Reusable Software Components
1992-43
W. Hans, St.Winkler
Abstract Interpretation of Functional Logic Languages
1992-44
N. Kiesel, A. Schuerr, B. Westfechtel
Design and Evaluation of GRAS, a Graph-Oriented Database System for Engineering Applications