| |
| 2008 | ||
|---|---|---|
| 5 | EE | Jan Christiansen, Sebastian Fischer: EasyCheck - Test Data for Free. FLOPS 2008: 322-336 |
| 4 | EE | Bernd Braßel, Jan Christiansen: A Relation Algebraic Semantics for a Lazy Functional Logic Language. RelMiCS 2008: 37-53 |
| 2007 | ||
| 3 | EE | Bernd Braßel, Jan Christiansen: Denotation by Transformation. LOPSTR 2007: 90-105 |
| 2006 | ||
| 2 | Jan Christiansen, Frank Huch: A purely functional implementation of ROBDDs in Haskell. Trends in Functional Programming 2006: 55-71 | |
| 2004 | ||
| 1 | EE | Jan Christiansen, Frank Huch: Searching for deadlocks while debugging concurrent haskell programs. ICFP 2004: 28-39 |
| 1 | Bernd Brassel (Bernd Braßel) | [3] [4] |
| 2 | Sebastian Fischer | [5] |
| 3 | Frank Huch | [1] [2] |