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

Available Reports

2000-01
Jahresbericht 1999
2000-02
Jens Vöge, Marcin Jurdzinski
A Discrete Strategy Improvement Algorithm for Solving Parity Games
2000-03
D. Jäger, A. Schleicher, B. Westfechtel
UPGRADE: A Framework for Building Graph-Based Software Engineering Tools
2000-04
Andreas Becks, Stefan Sklorz, Matthias Jarke
Exploring the Semantic Structure of Technical Document Collections: A Cooperative Systems Approach
2000-05
Mareike Schoop
Cooperative Document Management
2000-06
Mareike Schoop, Christoph Quix (eds.)
Proceedings of the Fifth International Workshop on the Language-Action Perspective on Communication Modelling
2000-07
Markus Mohnen, Pieter Koopman (Eds.)
Proceedings of the 12th International Workshop of Functional Languages
2000-08
Thomas Arts, Thomas Noll
Verifying Generic Erlang Client-Server Implementations