With-Loop Scalarization - Merging Nested Array Operations. - Clemens Grelck; Sven-Bodo Scholz; Kai Trojahner (IFL, 2003)

File Sharing Using IP-Multicast. - Kai Trojahner; Peter Sobe (ARCS Workshops, 2004)

Implementing a Numerical Solution of the KPI Equation Using Single Assignment C: Lessons and Experiences. - Alexander V. Shafarenko; Sven-Bodo Scholz; Stephan Herhut; Clemens Grelck; Kai Trojahner (IFL, 2005)

Index Vector Elimination - Making Index Vectors Affordable. - Robert Bernecky; Stephan Herhut; Sven-Bodo Scholz; Kai Trojahner; Clemens Grelck; Alexander V. Shafarenko (IFL, 2006)

On Optimising Shape-Generic Array Programs Using Symbolic Structural Information. - Kai Trojahner; Clemens Grelck; Sven-Bodo Scholz (IFL, 2006)

From Contracts Towards Dependent Types: Proofs by Partial Evaluation. - Stephan Herhut; Sven-Bodo Scholz; Robert Bernecky; Clemens Grelck; Kai Trojahner (IFL, 2007)

CAOS: A Domain-Specific Language for the Parallel Simulation of Cellular Automata. - Clemens Grelck; Frank Penczek; Kai Trojahner (PaCT, 2007)

Descriptor-Free Representation of Arrays with Dependent Types. - Kai Trojahner; Clemens Grelck (IFL, 2008)

Dependently typed array programs don't go wrong. - Kai Trojahner; Clemens Grelck (J. Log. Algebraic Methods Program., 2009)

QUBE - Array programming with dependent types. - Kai Trojahner (2012)