 | 2009 |
|---|
| 8 |       | Kai Trojahner,
Clemens Grelck:
Dependently typed array programs don't go wrong.
J. Log. Algebr. Program. 78(7): 643-664 (2009) |
| 2007 |
|---|
| 7 | | 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 | | Clemens Grelck,
Frank Penczek,
Kai Trojahner:
CAOS: A Domain-Specific Language for the Parallel Simulation of Cellular Automata.
PaCT 2007: 410-417 |
| 2006 |
|---|
| 5 | | Kai Trojahner,
Clemens Grelck,
Sven-Bodo Scholz:
On Optimising Shape-Generic Array Programs Using Symbolic Structural Information.
IFL 2006: 1-18 |
| 4 | | 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 | | 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 | | Clemens Grelck,
Sven-Bodo Scholz,
Kai Trojahner:
With-Loop Scalarization - Merging Nested Array Operations.
IFL 2003: 118-134 |
