Department of Computer Science

Available Reports

1996-01

Jahresbericht 1995

1996-02

Michael Hanus, Christian Prehofer
Higher-Order Narrowing with Definitional Trees

• Abstract, BibTeX, Paper:  

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

• Abstract, BibTeX, Paper:  

1996-05

Klaus Pohl
Requirements Engineering: An Overview

• Abstract, BibTeX, Paper:  

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

• Abstract, BibTeX, Paper:  

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

• Paper:  

1996-09-2

Olivier Danvy, Karoline Malmkjær
On the Idempotence of the CPS Transformation

• Paper:  

1996-09-3

Víctor M. Gulías, José L. Freire
Concurrent Programming in Haskell

• Paper:  

1996-09-4

Sébastien Limet, Pierre Réty
On Decidability of Unifiability Modulo Rewrite Systems

• Paper:  

1996-09-5

Alexandre Tessier
Declarative Debugging in Constraint Logic Programming

• Paper:  

1996-10

Reidar Conradi, Bernhard Westfechtel
Version Models for Software Configuration Management

• Abstract, BibTeX, Paper:  

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

• Abstract, BibTeX, Paper:  

1996-18

Manfred A. Jeusfeld, Mike Papazoglou
Information Brokering: Design, Search and Transformation

• Abstract, BibTeX, Paper:  

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

• Abstract, BibTeX, Paper:  

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

Last modified: Monday, 18-Feb-2008 21:49:17 MET  /  TR-Admin

Disclaimer