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

Available Reports

2004-01
Fachgruppe Informatik
Jahresbericht 2003
2004-02
Benedikt Bollig, Martin Leucker
Message-Passing Automata are expressively equivalent to EMSO logic
2004-03
Delia Kesner, Femke van Raamsdonk, Joe Wells (eds.)
HOR 2004 -- 2nd International Workshop on Higher-Order Rewriting
2004-04
Slim Abdennadher, Christophe Ringeissen (eds.)
RULE 04 -- Fifth International Workshop on Rule-Based Programming
2004-05
Herbert Kuchen (ed.)
WFLP 04 -- 13th International Workshop on Functional and (Constraint) Logic Programming
2004-06
Sergio Antoy, Yoshihito Toyama (eds.)
WRS 04 -- 4th International Workshop on Reduction Strategies in Rewriting and Programming
2004-07
Michael Codish, Aart Middeldorp (eds.)
WST 04 -- 7th International Workshop on Termination
2004-08
Klaus Indermark, Thomas Noll
Algebraic Correctness Proofs for Compiling Recursive Function Definitions with Strictness Information
2004-09
Joachim Kneis, Daniel Mölle, Stefan Richter, Peter Rossmanith
Parameterized Power Domination Complexity
2004-10
Zinaida Benenson, Felix C. Gärtner, Dogan Kesdogan
Secure Multi-Party Computation with Security Modules