Kai Trojahner

According to our database, Kai Trojahner authored at least 10 papers between 2003 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2012

QUBE - Array programming with dependent types.

Kai Trojahner

PhD thesis, 2012

2009

Dependently typed array programs don't go wrong.

Kai Trojahner, Clemens Grelck

J. Log. Algebraic Methods Program., 2009

2008

Descriptor-Free Representation of Arrays with Dependent Types.

Kai Trojahner, Clemens Grelck

Proceedings of the Implementation and Application of Functional Languages, 2008

2007

CAOS: A Domain-Specific Language for the Parallel Simulation of Cellular Automata.

Clemens Grelck, Frank Penczek, Kai Trojahner

Proceedings of the Parallel Computing Technologies, 2007

From Contracts Towards Dependent Types: Proofs by Partial Evaluation.

Stephan Herhut, Sven-Bodo Scholz, Robert Bernecky, Clemens Grelck, Kai Trojahner

Proceedings of the Implementation and Application of Functional Languages, 2007

2006

On Optimising Shape-Generic Array Programs Using Symbolic Structural Information.

Kai Trojahner, Clemens Grelck, Sven-Bodo Scholz

Proceedings of the Implementation and Application of Functional Languages, 2006

Index Vector Elimination - Making Index Vectors Affordable.

Robert Bernecky, Stephan Herhut, Sven-Bodo Scholz, Kai Trojahner, Clemens Grelck, Alexander V. Shafarenko

Proceedings of the Implementation and Application of Functional Languages, 2006

2005

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

Proceedings of the Implementation and Application of Functional Languages, 2005

2004

File Sharing Using IP-Multicast.

Kai Trojahner, Peter Sobe

Proceedings of the ARCS 2004, 2004

2003

With-Loop Scalarization - Merging Nested Array Operations.

Clemens Grelck, Sven-Bodo Scholz, Kai Trojahner

Proceedings of the Implementation of Functional Languages, 15th International Workshop, 2003