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

Available Reports

2017-01
Fachgruppe Informatik
Annual Report 2017
2017-02
Florian Frohn and Jürgen Giesl
Analyzing Runtime Complexity via Innermost Runtime Complexity
2017-04
Florian Frohn and Jürgen Giesl
Complexity Analysis for Java with AProVE
2017-05
Matthias Naaf, Florian Frohn, Marc Brockschmidt, Carsten Fuhs, and Jürgen Giesl
Complexity Analysis for Term Rewriting by Integer Transition Systems
2017-06
Oliver Kautz, Shahar Maoz, Jan Oliver Ringert, and Bernhard Rumpe
CD2Alloy: A Translation of Class Diagrams to Alloy