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

Available Reports

1996-01
Jahresbericht 1995
1996-02
Michael Hanus, Christian Prehofer
Higher-Order Narrowing with Definitional Trees
1996-03
W.Scheufele, G.Moerkotte
Optimal Ordering of Selections and Joins in Acyclic Queries with Expensive Predicates
1996-04
Klaus Pohl
PRO-ART: Enabling Requirements Pre-Traceability
1996-05
Klaus Pohl
Requirements Engineering: An Overview
1996-06
M.Jarke, W.Marquardt
Design and Evaluation of Computer--Aided Process Modelling Tools
1996-07
Olaf Chitil
The Sigma-Semantics: A Comprehensive Semantics for Functional Programs
1996-08
S.Sripada
On Entropy and the Limitations of the Second Law of Thermodynamics
1996-09
Michael Hanus (Ed.)
Proceedings of the Poster Session of ALP96 - Fifth International Conference on Algebraic and Logic Programming
1996-09-0
Michael Hanus (Ed.)
Proceedings of the Poster Session of ALP 96 - Fifth International Conference on Algebraic and Logic Programming: Introduction and table of contents
1996-09-1
Ilies Alouini
An Implementation of Conditional Concurrent Rewriting on Distributed Memory Machines
1996-09-2
Olivier Danvy, Karoline Malmkjær
On the Idempotence of the CPS Transformation
1996-09-3
Víctor M. Gulías, José L. Freire
Concurrent Programming in Haskell
1996-09-4
Sébastien Limet, Pierre Réty
On Decidability of Unifiability Modulo Rewrite Systems
1996-09-5
Alexandre Tessier
Declarative Debugging in Constraint Logic Programming
1996-10
Reidar Conradi, Bernhard Westfechtel
Version Models for Software Configuration Management
1996-11
C.Weise, D.Lenzkes
A Fast Decision Algorithm for Timed Refinement
1996-12
R.Dömges, K.Pohl, M.Jarke, B.Lohmann, W.Marquardt
PRO-ART/CE* --- An Environment for Managing the Evolution of Chemical Process Simulation Models
1996-13
K.Pohl, R.Klamma, K.Weidenhaupt, R.Dömges, P.Haumer, M.Jarke
A Framework for Process-Integrated Tools
1996-14
R.Gallersdörfer, K.Klabunde, A.Stolz, M.Eßmajor
INDIA --- Intelligent Networks as a Data Intensive Application, Final Project Report, June 1996
1996-15
H.Schimpe, M.Staudt
VAREX: An Environment for Validating and Refining Rule Bases
1996-16
M.Jarke, M.Gebhardt, S.Jacobs, H.Nissen
Conflict Analysis Across Heterogeneous Viewpoints: Formalization and Visualization
1996-17
Manfred A. Jeusfeld, Tung X. Bui
Decision Support Components on the Internet
1996-18
Manfred A. Jeusfeld, Mike Papazoglou
Information Brokering: Design, Search and Transformation
1996-19
P.Peters, M.Jarke
Simulating the impact of information flows in networked organizations
1996-20
Matthias Jarke, Peter Peters, Manfred A. Jeusfeld
Model-driven planning and design of cooperative information systems
1996-21
G.de Michelis, E.Dubois, M.Jarke, F.Matthes, J.Mylopoulos, K.Pohl, J.Schmidt, C.Woo, E.Yu
Cooperative information systems: a manifesto
1996-22
S.Jacobs, M.Gebhardt, S.Kethers, W.Rzasa
Filling HTML forms simultaneously: CoWeb architecture and functionality
1996-23
M.Gebhardt, S.Jacobs
Conflict Management in Design