Kai Trojahner
University of Lübeck(DE)
Publications by Year
Research Areas
Logic, programming, and type systems, Parallel Computing and Optimization Techniques, Formal Methods in Verification, Advanced Software Engineering Methodologies, Embedded Systems Design Techniques
Most-Cited Works
- Implicit Memory Management for SAC.(2004)
- → With-Loop Scalarization – Merging Nested Array Operations(2004)16 cited
- → Implementing a Numerical Solution of the KPI Equation Using Single Assignment C: Lessons and Experiences(2006)12 cited
- → From Contracts Towards Dependent Types: Proofs by Partial Evaluation(2008)8 cited
- → On Optimising Shape-Generic Array Programs Using Symbolic Structural Information(2007)7 cited
- → Index Vector Elimination – Making Index Vectors Affordable(2007)6 cited
- With-Loop Scalarization: Merging Nested Array Operations(2004)
- Descriptor-free representation of arrays with dependent types(2011)
- → CAOS: A Domain-Specific Language for the Parallel Simulation of Cellular Automata(2007)3 cited