Department of Computer Science

Available Reports

2006-01

Fachgruppe Informatik
Jahresbericht 2005

2006-02

Michael Weber
Parallel Algorithms for Verification of Large Systems

• Abstract, BibTeX, Paper:    

2006-03

Michael Maier, Uwe Naumann
Intraprocedural Adjoint Code Generated by the Differentiation-Enabled NAGWare Fortran Compiler

• Abstract, BibTeX, Paper:    

2006-04

Ebadollah Varnik, Uwe Naumann, Andrew Lyons
Toward Low Static Memory Jacobian Accumulation

• Abstract, BibTeX, Paper:    

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

• Abstract, BibTeX, Paper:    

2006-06

Joachim Kneis, Daniel Mölle, Stefan Richter, Peter Rossmanith
Divide-and-Color

• Abstract, BibTeX, Paper:    

2006-07

Thomas Colcombet, Christof Löding
Transforming structures by set interpretations

• Abstract, BibTeX, Paper:    

2006-08

Uwe Naumann, Yuxiao Hu
Optimal Vertex Elimination in Single-Expression-Use Graphs

• Abstract, BibTeX, Paper:    

2006-09

Tingting Han, Joost-Pieter Katoen
Counterexamples in Probabilistic Model Checking

• Abstract, BibTeX, Paper:    

2006-10

Mesut Günes, Alexander Zimmermann, Martin Wenig, Jan Ritzerfeld, Ulrich Meis
From Simulations to Testbeds - Architecture of the Hybrid MCG-Mesh Testbed

• Abstract, BibTeX, Paper:    

2006-11

Bastian Schlich, Michael Rohrbach, Michael Weber, Stefan Kowalewski
Model Checking Software for Microcontrollers

• Abstract, BibTeX, Paper:    

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

• Abstract, BibTeX, Paper:    

2006-13

Wong Karianto, Christof Löding
Unranked Tree Automata with Sibling Equalities and Disequalities

• Abstract, BibTeX, Paper:    

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"

• Abstract, BibTeX, Paper:    

2006-15

Sebastian Ullrich, Jakob T. Valvoda, Torsten Kuhlen
Utilizing optical sensors from mice for new input devices

• Abstract, BibTeX, Paper:    

2006-16

Rafael Ballagas, Jan Borchers
Selexels: a Conceptual Framework for Pointing Devices with Low Expressiveness

• Abstract, BibTeX, Paper:    

2006-17

Eric Lee, Henning Kiel, Jan Borchers
Scrolling Through Time: Improving Interfaces for Searching and Navigating Continuous Audio Timelines

• Abstract, BibTeX, Paper:    

Last modified: Monday, 28-Jan-2013 14:25:56 MET  /  TR-Admin

Disclaimer