| 2007 |
|---|
| 7 | EE | Stephan Herhut,
Sven-Bodo Scholz,
Robert Bernecky,
Clemens Grelck,
Kai Trojahner:
From Contracts Towards Dependent Types: Proofs by Partial Evaluation.
IFL 2007: 254-273 |
| 6 | EE | Clemens Grelck,
Frank Penczek,
Kai Trojahner:
CAOS: A Domain-Specific Language for the Parallel Simulation of Cellular Automata.
PaCT 2007: 410-417 |
| 2006 |
|---|
| 5 | EE | Kai Trojahner,
Clemens Grelck,
Sven-Bodo Scholz:
On Optimising Shape-Generic Array Programs Using Symbolic Structural Information.
IFL 2006: 1-18 |
| 4 | EE | Robert Bernecky,
Stephan Herhut,
Sven-Bodo Scholz,
Kai Trojahner,
Clemens Grelck,
Alexander V. Shafarenko:
Index Vector Elimination - Making Index Vectors Affordable.
IFL 2006: 19-36 |
| 2005 |
|---|
| 3 | EE | Alexander V. Shafarenko,
Sven-Bodo Scholz,
Stephan Herhut,
Clemens Grelck,
Kai Trojahner:
Implementing a Numerical Solution of the KPI Equation Using Single Assignment C: Lessons and Experiences.
IFL 2005: 160-177 |
| 2004 |
|---|
| 2 | | Kai Trojahner,
Peter Sobe:
File Sharing Using IP-Multicast.
ARCS Workshops 2004: 380-389 |
| 2003 |
|---|
| 1 | EE | Clemens Grelck,
Sven-Bodo Scholz,
Kai Trojahner:
With-Loop Scalarization - Merging Nested Array Operations.
IFL 2003: 118-134 |
