 |
|
 |


Martin Erwig
Recent Publications
Books
- Toward Spatiotemporal Patterns, Martin Erwig. Spatio-Temporal Databases (eds. De Caluwe, et al.), Springer, 29-54, 2004.
- Spatio-Temporal Models and Languages: An Approach Based on Data Types, Ralf H. Güting, Mike H. Böhlen, Martin Erwig, Christian S. Jensen, Nikos A. Lorentzos, Enrico Nardelli, and Markus Schneider. Chapter 4 of Spatio-Temporal Databases: The CHOROCHRONOS Approach (eds. T. Sellis et al.), Springer Verlag, LNCS 2520, 97-146, 2003.
- STQL: A Spatio-Temporal Query Language, Martin Erwig and Markus Schneider. Chapter 6 of Mining Spatio-Temporal Information Systems (eds. R. Ladner, K. Shaw, and M. Abdelguerfi), Kluwer Academic Publishers, 105-126, 2002.
- M. Erwig. Foundations of Functional Programming (in German). Oldenbourg Verlag, Munich Vienna, 1999.
- R. H. Guting and M. Erwig. Compiler Construction: Techniques, Tools, and Applications (in German). Springer-Verlag, Berlin Heidelberg, 1999.
Journal Papers
- UCheck: A Spreadsheet Unit Checker for End Users, Robin Abraham and Martin Erwig. Journal of Visual Languages and Computing, 2006, to appear.
- Gencel: A Program Generator for Correct Spreadsheets, Martin Erwig, Robin Abraham, Irene Cooperstein, and Steve Kollmansberger. Journal of Functional Programming, Vol. 16, No. 3, 293-325, 2006.
- Visual Type Inference, Martin Erwig. Journal of Visual Languages and Computing, Vol. 17, No. 2, 161-186, 2006.
- Probabilistic Functional Programming in Haskell, Martin Erwig and Steve Kollmansberger. Journal of Functional Programming, Vol. 16, No. 1, 21-34, 2006.
- Software Reuse for Scientific Computing Through Program Generation, Martin Erwig and Zhe Fu. ACM Transactions on Software Engineering and Methodology, Vol. 14, No. 2, 168-198, 2005.
- Monadification of Functional Programs, Martin Erwig and Deling Ren. Science of Computer Programming, Vol. 52, No. 1-3, 101-129, 2004.
- Escape from Zurg: An Exercise in Logic Programming, Martin Erwig. Journal of Functional Programming, Vol. 14, No. 3, 253-261, 2004.
Conference Proceedings
- AutoTest: A Tool for Automatic Test Case Generation in Spreadsheets, Robin Abraham and Martin Erwig. IEEE Int. Symp. on Visual Languages and Human-Centric Computing, 2006, to appear.
- Sharing Reasoning about Faults in Spreadsheets: An Empirical Study, Joey Lawrence, Robin Abraham, Margaret Burnett, and Martin Erwig. IEEE Int. Symp. on Visual Languages and Human-Centric Computing, 2006, to appear.
- Type Inference for Spreadsheets, Robin Abraham and Martin Erwig. ACM Int. Symp. on Principles and Practice of Declarative Programming, 2006, to appear.
- Inferring Templates from Spreadsheets, Robin Abraham and Martin Erwig. 28th IEEE/ACM Int. Conf. on Software Engineering, 182-191, 2006.
- Toward Sharing Reasoning to Improve Fault Localization in Spreadsheets, Joey Lawrence, Robin Abraham, Margaret Burnett, and Martin Erwig. 2nd Workshop on End-User Software Engineering, 2006.
- Modeling Genome Evolution with a DSEL for Probabilistic Programming, Martin Erwig and Steve Kollmansberger. 8th Int. Symp. on Practical Aspects of Declarative Languages, LNCS 3819, 134-149, 2006.
- Generic Programming in Fortran, Martin Erwig, Zhe Fu and Ben Pflaum. ACM SIGPLAN 2006 Workshop on Partial Evaluation and Program Manipulation, 130-139, 2006.
|
 |