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

Available Reports

2002-01
Jahresbericht 2001
2002-02
Jürgen Giesl, Aart Middeldorp
Transformation Techniques for Context-Sensitive Rewrite Systems
2002-03
Benedikt Bollig, Martin Leucker, Thomas Noll
Generalised Regular MSC Languages
2002-04
Jürgen Giesl, Aart Middeldorp
Innermost Termination of Context-Sensitive Rewriting
2002-05
Horst Lichter, Thomas von der Maßen, Thomas Weiler
Modelling Requirements and Architectures for Software Product Lines
2002-06
Henry N. Adorna
3-Party Message Complexity is Better than 2-Party Ones for Proving Lower Bounds on the Size of Minimal Nondeterministic Finite Automata
2002-07
Jörg Dahmen
Invariant Image Object Recognition using Gaussian Mixture Densities
2002-08
Markus Mohnen
An Open Framework for Data-Flow Analysis in Java
2002-09
Markus Mohnen
Interfaces with Default Implementations in Java
2002-10
Martin Leucker
Logics for Mazurkiewicz traces
2002-11
Jürgen Giesl, Hans Zantema
Liveness in Rewriting