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

Available Reports

1999-01
Jahresbericht 1998
1999-02
F. Huch
Verifcation of Erlang Programs using Abstract Interpretation and Model Checking --- Extended Version
1999-03
R. Gallersdörfer, M. Jarke, M. Nicola
The ADR Replication Manager
1999-04
María Alpuente, Michael Hanus, Salvador Lucas, Germán Vidal
Specialization of Functional Logic Programs Based on Needed Narrowing
1999-05
W. Thomas (Ed.)
DLT 99 - Developments in Language Theory Fourth International Conference
1999-06
Kai Jakobs, Klaus-Dieter Kleefeld
Informationssysteme für die angewandte historische Geographie
1999-07
Thomas Wilke
CTL+ is exponentially more succinct than CTL
1999-08
Oliver Matz
Dot-Depth and Monadic Quantifier Alternation over Pictures