| 2008 | ||
|---|---|---|
| 2 | Sebastian Freundt, Peter Horn, Alexander Konovalov, Steve Linton, Dan Roozemond: Symbolic Computation Software Composability. AISC/MKM/Calculemus 2008: 285-295 | |
| 2006 | ||
| 1 | Sebastian Freundt, Aneesh Karve, Anita Krahmann, Sebastian Pauli: KASH: Recent Developments. ICMS 2006: 170-181 | |
| 1 | Peter Horn | [2] |
| 2 | Aneesh Karve | [1] |
| 3 | Alexander Konovalov | [2] |
| 4 | Anita Krahmann | [1] |
| 5 | Steve Linton | [2] |
| 6 | Sebastian Pauli | [1] |
| 7 | Dan Roozemond | [2] |