| 2006 |
|---|
| 5 | EE | Martin Erwig,
Steve Kollmansberger:
Modeling Genome Evolution with a DSEL for Probabilistic Programming.
PADL 2006: 134-149 |
| 4 | EE | Martin Erwig,
Steve Kollmansberger:
Functional Pearls: Probabilistic functional programming in Haskell.
J. Funct. Program. 16(1): 21-34 (2006) |
| 3 | EE | Martin Erwig,
Robin Abraham,
Steve Kollmansberger,
Irene Cooperstein:
Gencel: a program generator for correct spreadsheets.
J. Funct. Program. 16(3): 293-325 (2006) |
| 2005 |
|---|
| 2 | EE | Martin Erwig,
Robin Abraham,
Irene Cooperstein,
Steve Kollmansberger:
Automatic generation and maintenance of correct spreadsheets.
ICSE 2005: 136-145 |
| 1 | EE | Robin Abraham,
Martin Erwig,
Steve Kollmansberger,
Ethan Seifert:
Visual Specifications of Correct Spreadsheets.
VL/HCC 2005: 189-196 |
