Oregon State EECS: Martin Erwig

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.

Mutation Operators for Spreadsheets, Robin Abraham and Martin Erwig, IEEE Transactions on Software Engineering, 2008, to appear
Test-Driven Goal-Directed Debugging in Spreadsheets, Robin Abraham and Martin Erwig, IEEE Int. Symp. on Visual Languages and Human-Centric Computing, 2008, to appear
Dimension Inference in Spreadsheets, Chris Chambers and Martin Erwig, IEEE Int. Symp. on Visual Languages and Human-Centric Computing, 2008, to appear
A Visual Language for Representing and Explaining Strategies in Game Theory, Martin Erwig and Eric Walkingshaw, IEEE Int. Symp. on Visual Languages and Human-Centric Computing, 2008, to appear
The Inverse Ocean Modeling System. I: Implementation, Andrew F. Bennett, Boon S. Chua, Martin Erwig, Zhe Fu, Rich D. Loft, Julia C. Muccino, and Ben Pflaum, Journal of Atmospheric and Oceanic Technology, 2008, to appear
A Type System Based on End-User Vocabulary, Robin Abraham, Martin Erwig, and Scott Andrew, IEEE Int. Symp. on Visual Languages and Human-Centric Computing, 215-222, 2007
ClassSheets - Model-Based, Object-Oriented Design of Spreadsheet Applications, Jan-Christopher Bals, Fabian Christ, Gregor Engels, and Martin Erwig, Journal of Object Technologies, Vol. 6, No. 9, 2007
An Update Calculus for Expressing Type-Safe Program Updates, Martin Erwig and Deling Ren, Science of Computer Programming, Vol. 67, No. 2-3, 199-222, 2007
Parametric Fortran: Program Generation in Scientific Computing, Martin Erwig, Zhe Fu, and Ben Pflaum, Journal of Software Maintenance and Evolution, Vol. 19, No. 3, 155-182, 2007
GoalDebug: A Spreadsheet Debugger for End Users, Robin Abraham and Martin Erwig, 29th IEEE/ACM Int. Conf. on Software Engineering, 251-260, 2007
UCheck: A Spreadsheet Unit Checker for End Users, Robin Abraham and Martin Erwig, Journal of Visual Languages and Computing, Vol. 18, No. 1, 71-95, 2007
A Generic Recursion Toolbox for Haskell (Or: Scrap Your Boilerplate Systematically), Deling Ren and Martin Erwig, ACM SIGPLAN Haskell Workshop, 13-24, 2006
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, 43-50, 2006
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, 35-42, 2006
Type Inference for Spreadsheets, Robin Abraham and Martin Erwig, ACM Int. Symp. on Principles and Practice of Declarative Programming, 73-84, 2006
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
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
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
Probabilistic Functional Programming in Haskell, Martin Erwig and Steve Kollmansberger, Journal of Functional Programming, Vol. 16, No. 1, 21-34, 2006