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

Available Reports

2006-01
Fachgruppe Informatik
Jahresbericht 2005
2006-02
Michael Weber
Parallel Algorithms for Verification of Large Systems
2006-03
Michael Maier, Uwe Naumann
Intraprocedural Adjoint Code Generated by the Differentiation-Enabled NAGWare Fortran Compiler
2006-04
Ebadollah Varnik, Uwe Naumann, Andrew Lyons
Toward Low Static Memory Jacobian Accumulation
2006-05
Uwe Naumann, Jean Utke, Patrick Heimbach, Chris Hill, Derya Ozyurt, Carl Wunsch, Mike Fagan, Nathan Tallent, Michelle Strout
Adjoint Code by Source Transformation with OpenAD/F
2006-06
Joachim Kneis, Daniel Mölle, Stefan Richter, Peter Rossmanith
Divide-and-Color
2006-07
Thomas Colcombet, Christof Löding
Transforming structures by set interpretations
2006-08
Uwe Naumann, Yuxiao Hu
Optimal Vertex Elimination in Single-Expression-Use Graphs
2006-09
Tingting Han, Joost-Pieter Katoen
Counterexamples in Probabilistic Model Checking
2006-10
Mesut Günes, Alexander Zimmermann, Martin Wenig, Jan Ritzerfeld, Ulrich Meis
From Simulations to Testbeds - Architecture of the Hybrid MCG-Mesh Testbed
2006-11
Bastian Schlich, Michael Rohrbach, Michael Weber, Stefan Kowalewski
Model Checking Software for Microcontrollers
2006-12
Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker
Replaying Play in and Play out: Synthesis of Design Models from Scenarios by Learning
2006-13
Wong Karianto, Christof Löding
Unranked Tree Automata with Sibling Equalities and Disequalities
2006-14
Danilo Beuche, Andreas Birk, Heinrich Dreier, Andreas Fleischmann, Heidi Galle, Gerald Heller, Dirk Janzen, Isabel John, Ramin Tavakoli Kolagari, Thomas von der Maßen, Andreas Wolfram
Report of the GI Work Group "Requirements Management Tools for Product Line Engineering"
2006-15
Sebastian Ullrich, Jakob T. Valvoda, Torsten Kuhlen
Utilizing optical sensors from mice for new input devices
2006-16
Rafael Ballagas, Jan Borchers
Selexels: a Conceptual Framework for Pointing Devices with Low Expressiveness
2006-17
Eric Lee, Henning Kiel, Jan Borchers
Scrolling Through Time: Improving Interfaces for Searching and Navigating Continuous Audio Timelines