Kai Trojahner

Publication Activity (10 Years)

Years Active: 2003-2009
Publications (10 Years): 0

University of Lübeck (PHD)

Education History

University of Lübeck

PHD

Publications

Kai Trojahner, Clemens Grelck
Dependently typed array programs don't go wrong. J. Log. Algebraic Methods Program. 78 (7) (2009)
Kai Trojahner, Clemens Grelck
Descriptor-Free Representation of Arrays with Dependent Types. IFL (2008)
Clemens Grelck, Frank Penczek, Kai Trojahner
CAOS: A Domain-Specific Language for the Parallel Simulation of Cellular Automata. PaCT (2007)
Stephan Herhut, Sven-Bodo Scholz, Robert Bernecky, Clemens Grelck, Kai Trojahner
From Contracts Towards Dependent Types: Proofs by Partial Evaluation. IFL (2007)
Robert Bernecky, Stephan Herhut, Sven-Bodo Scholz, Kai Trojahner, Clemens Grelck, Alexander V. Shafarenko
Index Vector Elimination - Making Index Vectors Affordable. IFL (2006)
Kai Trojahner, Clemens Grelck, Sven-Bodo Scholz
On Optimising Shape-Generic Array Programs Using Symbolic Structural Information. IFL (2006)
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)
Kai Trojahner, Peter Sobe
File Sharing Using IP-Multicast. ARCS Workshops (2004)
Clemens Grelck, Sven-Bodo Scholz, Kai Trojahner
With-Loop Scalarization - Merging Nested Array Operations. IFL (2003)