Oregon State University
EECS Home
Oregon State Home College of Engineering Find Someone
School of Electrical Engineering and Computer Science
The Oregon State Advantage
 
Research
 
Educational Innovations
 
Prospective Faculty
 
Graduate Studies
 
Undergraduate Studies
 
Industry Connection
 
Alumni Connection
 
People
 
About Oregon State EECS
 
EECS News & Publications



 Site Map Contact Us
 
 


Research Collaboration: Research Faculty

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.

Papers

  • 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

 

 


School of Electrical Engineering and Computer Science, 1148 Kelley Engineering Center
Oregon State University, Corvallis, OR 97331-5501
Send a comment about this web site | This page was last modified on Wednesday, August 13, 2008
Copyright © 2009 | Disclaimer | Committed to Diversity