publications:
- title: "Random Access to Abstract Data Types"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  year: "2000"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1816/18160135.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1816/18160135.htm"
  tags:
  - "data-flow"
  researchr: "https://researchr.org/publication/Erwig00"
  cites: 0
  citedby: 0
  pages: "135-149"
  booktitle: "amast"
  kind: "inproceedings"
  key: "Erwig00"
- title: "Inferring templates from spreadsheets"
  author:
  - name: "Robin Abraham"
    link: "https://researchr.org/alias/robin-abraham"
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  year: "2006"
  doi: "http://doi.acm.org/10.1145/1134312"
  links:
    doi: "http://doi.acm.org/10.1145/1134312"
  researchr: "https://researchr.org/publication/AbrahamE06%3A1"
  cites: 0
  citedby: 0
  pages: "182-191"
  booktitle: "ICSE"
  kind: "inproceedings"
  key: "AbrahamE06:1"
- title: "Semantics of Visual Languages"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  year: "1997"
  tags:
  - "semantics"
  researchr: "https://researchr.org/publication/Erwig97%3A1"
  cites: 0
  citedby: 0
  pages: "304-311"
  booktitle: "vl"
  kind: "inproceedings"
  key: "Erwig97:1"
- title: "GoalDebug: A Spreadsheet Debugger for End Users"
  author:
  - name: "Robin Abraham"
    link: "https://researchr.org/alias/robin-abraham"
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  year: "2007"
  doi: "http://doi.ieeecomputersociety.org/10.1109/ICSE.2007.39"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/ICSE.2007.39"
  tags:
  - "debugging"
  researchr: "https://researchr.org/publication/AbrahamE07%3A0"
  cites: 0
  citedby: 0
  pages: "251-260"
  booktitle: "ICSE"
  kind: "inproceedings"
  key: "AbrahamE07:0"
- title: "Visual Specification of Spatio-Temporal Developments"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  - name: "Markus Schneider"
    link: "https://researchr.org/alias/markus-schneider"
  year: "1999"
  doi: "http://computer.org/proceedings/vl/0216/02160187abs.htm"
  links:
    doi: "http://computer.org/proceedings/vl/0216/02160187abs.htm"
  researchr: "https://researchr.org/publication/ErwigS99%3A1"
  cites: 0
  citedby: 0
  pages: "187-188"
  booktitle: "vl"
  kind: "inproceedings"
  key: "ErwigS99:1"
- title: "A rule-based language for programming software updates"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  - name: "Deling Ren"
    link: "https://researchr.org/alias/deling-ren"
  year: "2002"
  doi: "http://doi.acm.org/10.1145/570186.570193"
  links:
    doi: "http://doi.acm.org/10.1145/570186.570193"
  tags:
  - "programming languages"
  - "rule-based"
  - "rules"
  - "programming"
  researchr: "https://researchr.org/publication/ErwigR02"
  cites: 0
  citedby: 0
  pages: "67-78"
  booktitle: "RULE"
  kind: "inproceedings"
  key: "ErwigR02"
- title: "A DSL for Explaining Probabilistic Reasoning"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  - name: "Eric Walkingshaw"
    link: "https://researchr.org/alias/eric-walkingshaw"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-03034-5_16"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-03034-5_16"
  tags:
  - "DSL"
  researchr: "https://researchr.org/publication/ErwigW09"
  cites: 0
  citedby: 0
  pages: "335-359"
  booktitle: "DSL"
  kind: "inproceedings"
  key: "ErwigW09"
- title: "Categorical Programming with Abstract Data Types"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  year: "1998"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1548/15480406.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1548/15480406.htm"
  tags:
  - "data-flow programming"
  - "data-flow"
  - "programming"
  researchr: "https://researchr.org/publication/Erwig98%3A0"
  cites: 0
  citedby: 0
  pages: "406-421"
  booktitle: "amast"
  kind: "inproceedings"
  key: "Erwig98:0"
- title: "Robust Learning for Adaptive Programs by Leveraging Program Structure"
  author:
  - name: "Jervis Pinto"
    link: "https://researchr.org/alias/jervis-pinto"
  - name: "Alan Fern"
    link: "https://researchr.org/alias/alan-fern"
  - name: "Tim Bauer"
    link: "https://researchr.org/alias/tim-bauer"
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  year: "2010"
  doi: "http://dx.doi.org/10.1109/ICMLA.2010.150"
  links:
    doi: "http://dx.doi.org/10.1109/ICMLA.2010.150"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icmla/PintoFBE10"
  researchr: "https://researchr.org/publication/PintoFBE10"
  cites: 0
  citedby: 0
  pages: "943-948"
  booktitle: "icmla"
  kind: "inproceedings"
  key: "PintoFBE10"
- title: "Gencel: a program generator for correct spreadsheets"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  - name: "Robin Abraham"
    link: "https://researchr.org/alias/robin-abraham"
  - name: "Steve Kollmansberger"
    link: "https://researchr.org/alias/steve-kollmansberger"
  - name: "Irene Cooperstein"
    link: "https://researchr.org/alias/irene-cooperstein"
  year: "2006"
  doi: "http://dx.doi.org/10.1017/S0956796805005794"
  links:
    doi: "http://dx.doi.org/10.1017/S0956796805005794"
  researchr: "https://researchr.org/publication/ErwigAKC06"
  cites: 0
  citedby: 0
  journal: "JFP"
  volume: "16"
  number: "3"
  pages: "293-325"
  kind: "article"
  key: "ErwigAKC06"
- title: "Program fields for continuous software"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  - name: "Eric Walkingshaw"
    link: "https://researchr.org/alias/eric-walkingshaw"
  year: "2010"
  doi: "http://doi.acm.org/10.1145/1882362.1882384"
  links:
    doi: "http://doi.acm.org/10.1145/1882362.1882384"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/sigsoft/ErwigW10"
  researchr: "https://researchr.org/publication/ErwigW10-0"
  cites: 0
  citedby: 0
  pages: "105-108"
  booktitle: "FSE"
  kind: "inproceedings"
  key: "ErwigW10-0"
- title: "Parametric Fortran: program generation in scientific computing"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  - name: "Zhe Fu"
    link: "https://researchr.org/alias/zhe-fu"
  - name: "Ben Pflaum"
    link: "https://researchr.org/alias/ben-pflaum"
  year: "2007"
  doi: "http://dx.doi.org/10.1002/smr.346"
  links:
    doi: "http://dx.doi.org/10.1002/smr.346"
  researchr: "https://researchr.org/publication/ErwigFP07"
  cites: 0
  citedby: 0
  journal: "SMR"
  volume: "19"
  number: "3"
  pages: "155-182"
  kind: "article"
  key: "ErwigFP07"
- title: "A Type System Based on End-User Vocabulary"
  author:
  - name: "Robin Abraham"
    link: "https://researchr.org/alias/robin-abraham"
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  - name: "Scott Andrew"
    link: "https://researchr.org/alias/scott-andrew"
  year: "2007"
  doi: "http://doi.ieeecomputersociety.org/10.1109/VLHCC.2007.6"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/VLHCC.2007.6"
  tags:
  - "rule-based"
  - "type system"
  researchr: "https://researchr.org/publication/AbrahamEA07"
  cites: 0
  citedby: 0
  pages: "215-222"
  booktitle: "vl"
  kind: "inproceedings"
  key: "AbrahamEA07"
- title: "Graphs in Spatial Databases"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  year: "1994"
  tags:
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/Erwig94%3A0"
  cites: 0
  citedby: 0
  journal: "gidr"
  volume: "14"
  pages: "65"
  kind: "article"
  key: "Erwig94:0"
- title: "Causal Reasoning with Neuron Diagrams"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  - name: "Eric Walkingshaw"
    link: "https://researchr.org/alias/eric-walkingshaw"
  year: "2010"
  doi: "http://dx.doi.org/10.1109/VLHCC.2010.23"
  links:
    doi: "http://dx.doi.org/10.1109/VLHCC.2010.23"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/vl/ErwigW10"
  researchr: "https://researchr.org/publication/ErwigW10"
  cites: 0
  citedby: 0
  pages: "101-108"
  booktitle: "vl"
  kind: "inproceedings"
  key: "ErwigW10"
- title: "SheetDiff: A Tool for Identifying Changes in Spreadsheets"
  author:
  - name: "Chris Chambers"
    link: "https://researchr.org/alias/chris-chambers"
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  - name: "Markus Luckey"
    link: "https://researchr.org/alias/markus-luckey"
  year: "2010"
  doi: "http://dx.doi.org/10.1109/VLHCC.2010.21"
  links:
    doi: "http://dx.doi.org/10.1109/VLHCC.2010.21"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/vl/ChambersEL10"
  researchr: "https://researchr.org/publication/ChambersEL10"
  cites: 0
  citedby: 0
  pages: "85-92"
  booktitle: "vl"
  kind: "inproceedings"
  key: "ChambersEL10"
- title: "ClassSheets: automatic generation of spreadsheet applications from object-oriented specifications"
  author:
  - name: "Gregor Engels"
    link: "https://researchr.org/alias/gregor-engels"
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  year: "2005"
  doi: "http://doi.acm.org/10.1145/1101908.1101929"
  links:
    doi: "http://doi.acm.org/10.1145/1101908.1101929"
  researchr: "https://researchr.org/publication/EngelsE05"
  cites: 0
  citedby: 0
  pages: "124-133"
  booktitle: "ASE"
  kind: "inproceedings"
  key: "EngelsE05"
- title: "Fully Persistent Graphs - Which One To Choose?"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  year: "1997"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1467/14670123.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1467/14670123.htm"
  tags:
  - "persistent"
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/Erwig97"
  cites: 0
  citedby: 0
  pages: "123-140"
  booktitle: "IFL"
  kind: "inproceedings"
  key: "Erwig97"
- title: "A visual language for the evolution of spatial relationships and its translation into a spatio-temporal calculus"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  - name: "Markus Schneider"
    link: "https://researchr.org/alias/markus-schneider"
  year: "2003"
  doi: "http://dx.doi.org/10.1016/S1045-926X(02)00057-5"
  links:
    doi: "http://dx.doi.org/10.1016/S1045-926X(02)00057-5"
  tags:
  - "translation"
  researchr: "https://researchr.org/publication/ErwigS03"
  cites: 0
  citedby: 0
  journal: "JCL (JVLC)"
  volume: "14"
  number: "2"
  pages: "181-211"
  kind: "article"
  key: "ErwigS03"
- title: "UCheck: A spreadsheet type checker for end users"
  author:
  - name: "Robin Abraham"
    link: "https://researchr.org/alias/robin-abraham"
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  year: "2007"
  doi: "http://dx.doi.org/10.1016/j.jvlc.2006.06.001"
  links:
    doi: "http://dx.doi.org/10.1016/j.jvlc.2006.06.001"
  researchr: "https://researchr.org/publication/AbrahamE07%3A1"
  cites: 0
  citedby: 0
  journal: "JCL (JVLC)"
  volume: "18"
  number: "1"
  pages: "71-95"
  kind: "article"
  key: "AbrahamE07:1"
- title: "Explanations for regular expressions"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  - name: "Rahul Gopinath"
    link: "http://people.oregonstate.edu/~gopinatr"
  year: "2012"
  doi: "http://dx.doi.org/10.1007/978-3-642-28872-2_1"
  abstract: "Regular expressions are widely used, but they are inherently hard to understand and (re)use, which is primarily due to the lack of abstraction mechanisms that causes regular expressions to grow large very quickly. The problems with un derstandability and usability are further compounded by the viscosity, redundancy, and terseness of the notation. As a consequence, many different regular expressions for the same problem are floating around, many of them erroneous, making it quite difficult to find and use the right regular expression for a particular problem. Due to the ubiquitous use of regular expressions, the lack of understandability and usability becomes a serious software engineering problem. In this paper we present a range of independent, complementary representations that can serve as explanations of regular expressions. We provide methods to compute those representations, and we describe how these methods and the constructed explanations can be employed in a variety of usage scenarios. In addition to aiding understanding, some of the representations can also help identify faults in regular expressions. Our evaluation shows that our methods are widely applicable and can thus have a significant impact in improving the practice of software engineering."
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-28872-2_1"
  tags:
  - "redundancy"
  - "reuse"
  - "Regular Expressions"
  - "software engineering"
  - "abstraction"
  researchr: "https://researchr.org/publication/ErwigGopinath2012"
  cites: 24
  citedby: 0
  booktitle: "FASE'12 Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering"
  kind: "inproceedings"
  key: "ErwigGopinath2012"
- title: "Mutation Operators for Spreadsheets"
  author:
  - name: "Robin Abraham"
    link: "https://researchr.org/alias/robin-abraham"
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  year: "2009"
  doi: "http://dx.doi.org/10.1109/TSE.2008.73"
  links:
    doi: "http://dx.doi.org/10.1109/TSE.2008.73"
  researchr: "https://researchr.org/publication/AbrahamE09"
  cites: 0
  citedby: 0
  journal: "TSE"
  volume: "35"
  number: "1"
  pages: "94-108"
  kind: "article"
  key: "AbrahamE09"
- title: "A Language for Software Variation Research"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-19440-5_1"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-19440-5_1"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/sle/Erwig10"
  researchr: "https://researchr.org/publication/Erwig10"
  cites: 0
  citedby: 0
  pages: "1"
  booktitle: "SLE"
  kind: "inproceedings"
  key: "Erwig10"
- title: "A domain-specific language for experimental game theory"
  author:
  - name: "Eric Walkingshaw"
    link: "https://researchr.org/alias/eric-walkingshaw"
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  year: "2009"
  doi: "http://dx.doi.org/10.1017/S0956796809990220"
  abstract: "Experimental game theory is increasingly important for research in many fields. Unfortunately, it is poorly supported by computer tools. We have created Hagl, a domain-specific language embedded in Haskell, to reduce the development time of game-theoretic experiments and make the definition and exploration of games and strategies simple and fun."
  links:
    doi: "http://dx.doi.org/10.1017/S0956796809990220"
  tags:
  - "game development"
  - "Haskell"
  - "domain-specific language"
  researchr: "https://researchr.org/publication/WalkingshawE09"
  cites: 0
  citedby: 0
  journal: "JFP"
  volume: "19"
  number: "6"
  pages: "645-661"
  kind: "article"
  key: "WalkingshawE09"
- title: "Declarative Scripting in Haskell"
  author:
  - name: "Tim Bauer"
    link: "https://researchr.org/alias/tim-bauer"
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-12107-4_21"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-12107-4_21"
  tags:
  - "Haskell"
  researchr: "https://researchr.org/publication/BauerE09"
  cites: 0
  citedby: 0
  pages: "294-313"
  booktitle: "SLE"
  kind: "inproceedings"
  key: "BauerE09"
- title: "Visually Customizing Inference Rules About Apples and Oranges"
  author:
  - name: "Margaret M. Burnett"
    link: "https://researchr.org/alias/margaret-m.-burnett"
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  year: "2002"
  doi: "http://computer.org/proceedings/hcc/1644/16440140abs.htm"
  links:
    doi: "http://computer.org/proceedings/hcc/1644/16440140abs.htm"
  tags:
  - "rule-based"
  - "rules"
  researchr: "https://researchr.org/publication/BurnettE02"
  cites: 0
  citedby: 0
  pages: "140-148"
  booktitle: "hccl"
  kind: "inproceedings"
  key: "BurnettE02"
- title: "Active Patterns"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  year: "1996"
  researchr: "https://researchr.org/publication/Erwig96"
  cites: 0
  citedby: 0
  pages: "21-40"
  booktitle: "IFL"
  kind: "inproceedings"
  key: "Erwig96"
- title: "Exploiting Domain-Specific Structures For End-User Programming Support Tools"
  author:
  - name: "Robin Abraham"
    link: "https://researchr.org/alias/robin-abraham"
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  year: "2007"
  doi: "http://drops.dagstuhl.de/opus/volltexte/2007/1086"
  links:
    doi: "http://drops.dagstuhl.de/opus/volltexte/2007/1086"
  tags:
  - "programming"
  researchr: "https://researchr.org/publication/AbrahamE07"
  cites: 0
  citedby: 0
  booktitle: "Dagstuhl"
  kind: "inproceedings"
  key: "AbrahamE07"
- title: "Spezifikation von Datenmodellen mittels mehrstufiger Algebra"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  year: "1993"
  tags:
  - " algebra"
  researchr: "https://researchr.org/publication/Erwig93%3A0"
  cites: 0
  citedby: 0
  pages: "45-49"
  booktitle: "gvd"
  kind: "inproceedings"
  key: "Erwig93:0"
- title: "Programs Are Abstract Data Types"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  year: "2001"
  doi: "http://csdl.computer.org/comp/proceedings/ase/2001/1426/00/14260400abs.htm"
  links:
    doi: "http://csdl.computer.org/comp/proceedings/ase/2001/1426/00/14260400abs.htm"
  tags:
  - "data-flow programming"
  - "data-flow"
  researchr: "https://researchr.org/publication/Erwig01%3A0"
  cites: 0
  citedby: 0
  pages: "400-403"
  booktitle: "ASE"
  kind: "inproceedings"
  key: "Erwig01:0"
- title: "Abstract Syntax and Semantics of Visual Languages"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  year: "1998"
  tags:
  - "semantics"
  - "abstract syntax"
  researchr: "https://researchr.org/publication/Erwig98%3A2"
  cites: 0
  citedby: 0
  journal: "JCL (JVLC)"
  volume: "9"
  number: "5"
  pages: "461-483"
  kind: "article"
  key: "Erwig98:2"
- title: "DEAL - A Language for Depicting Algorithms"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  year: "1994"
  researchr: "https://researchr.org/publication/Erwig94"
  cites: 0
  citedby: 0
  pages: "184-185"
  booktitle: "vl"
  kind: "inproceedings"
  key: "Erwig94"
- title: "Functional Programming with Graphs"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  year: "1997"
  tags:
  - "functional programming"
  - "graph-rewriting"
  - "programming"
  - "rewriting"
  researchr: "https://researchr.org/publication/Erwig97%3A0"
  cites: 0
  citedby: 0
  pages: "52-65"
  booktitle: "ICFP"
  kind: "inproceedings"
  key: "Erwig97:0"
- title: "A generic recursion toolbox for Haskell or: scrap your boilerplate systematically"
  author:
  - name: "Deling Ren"
    link: "https://researchr.org/alias/deling-ren"
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  year: "2006"
  doi: "http://doi.acm.org/10.1145/1159842.1159845"
  links:
    doi: "http://doi.acm.org/10.1145/1159842.1159845"
  tags:
  - "Haskell"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/RenE06"
  cites: 0
  citedby: 0
  pages: "13-24"
  booktitle: "haskell"
  kind: "inproceedings"
  key: "RenE06"
- title: "Automatic detection of dimension errors in spreadsheets"
  author:
  - name: "Chris Chambers"
    link: "https://researchr.org/alias/chris-chambers"
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  year: "2009"
  doi: "http://dx.doi.org/10.1016/j.jvlc.2009.04.002"
  links:
    doi: "http://dx.doi.org/10.1016/j.jvlc.2009.04.002"
  researchr: "https://researchr.org/publication/ChambersE09-0"
  cites: 0
  citedby: 0
  journal: "JCL (JVLC)"
  volume: "20"
  number: "4"
  pages: "269-283"
  kind: "article"
  key: "ChambersE09-0"
- title: "Vague Regions"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  - name: "Markus Schneider"
    link: "https://researchr.org/alias/markus-schneider"
  year: "1997"
  doi: "db/conf/ssd/ErwigS97.html"
  researchr: "https://researchr.org/publication/ErwigS97%3A0"
  cites: 0
  citedby: 0
  pages: "298-320"
  booktitle: "ssd"
  kind: "inproceedings"
  key: "ErwigS97:0"
- title: "A visual language for representing and explaining strategies in game theory"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  - name: "Eric Walkingshaw"
    link: "https://researchr.org/alias/eric-walkingshaw"
  year: "2008"
  doi: "http://dx.doi.org/10.1109/VLHCC.2008.4639067"
  links:
    doi: "http://dx.doi.org/10.1109/VLHCC.2008.4639067"
  researchr: "https://researchr.org/publication/ErwigW08"
  cites: 0
  citedby: 1
  pages: "101-108"
  booktitle: "vl"
  kind: "inproceedings"
  key: "ErwigW08"
- title: "AutoTest: A Tool for Automatic Test Case Generation in Spreadsheets"
  author:
  - name: "Robin Abraham"
    link: "https://researchr.org/alias/robin-abraham"
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  year: "2006"
  doi: "http://doi.ieeecomputersociety.org/10.1109/VLHCC.2006.11"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/VLHCC.2006.11"
  tags:
  - "testing"
  researchr: "https://researchr.org/publication/AbrahamE06"
  cites: 0
  citedby: 0
  pages: "43-50"
  booktitle: "vl"
  kind: "inproceedings"
  key: "AbrahamE06"
- title: "A language for software variation research"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  year: "2010"
  doi: "http://doi.acm.org/10.1145/1868294.1868296"
  links:
    doi: "http://doi.acm.org/10.1145/1868294.1868296"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/gpce/Erwig10"
  researchr: "https://researchr.org/publication/Erwig10-0"
  cites: 0
  citedby: 0
  pages: "3-12"
  booktitle: "GPCE"
  kind: "inproceedings"
  key: "Erwig10-0"
- title: "Spatio-temporal Models and Languages: An Approach Based on Data Types"
  author:
  - name: "Ralf Hartmut Güting"
    link: "https://researchr.org/alias/ralf-hartmut-g%C3%BCting"
  - name: "Michael H. Böhlen"
    link: "https://researchr.org/alias/michael-h.-b%C3%B6hlen"
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  - name: "Christian S. Jensen"
    link: "https://researchr.org/alias/christian-s.-jensen"
  - name: "Nikos A. Lorentzos"
    link: "https://researchr.org/alias/nikos-a.-lorentzos"
  - name: "Enrico Nardelli"
    link: "https://researchr.org/alias/enrico-nardelli"
  - name: "Markus Schneider"
    link: "https://researchr.org/alias/markus-schneider"
  - name: "Jose Ramon Rios Viqueira"
    link: "https://researchr.org/alias/jose-ramon-rios-viqueira"
  year: "2003"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2520&spage=117"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2520&spage=117"
  tags:
  - "rule-based"
  - "data-flow language"
  - "modeling language"
  - "language modeling"
  - "data-flow"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/GutingBEJLNSV03"
  cites: 0
  citedby: 0
  pages: "117-176"
  booktitle: "chorochronos"
  kind: "inproceedings"
  key: "GutingBEJLNSV03"
- title: "Test-driven goal-directed debugging in spreadsheets"
  author:
  - name: "Robin Abraham"
    link: "https://researchr.org/alias/robin-abraham"
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  year: "2008"
  doi: "http://dx.doi.org/10.1109/VLHCC.2008.4639073"
  links:
    doi: "http://dx.doi.org/10.1109/VLHCC.2008.4639073"
  tags:
  - "testing"
  - "debugging"
  researchr: "https://researchr.org/publication/AbrahamE08"
  cites: 0
  citedby: 0
  pages: "131-138"
  booktitle: "vl"
  kind: "inproceedings"
  key: "AbrahamE08"
- title: "Visual explanations of probabilistic reasoning"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  - name: "Eric Walkingshaw"
    link: "https://researchr.org/alias/eric-walkingshaw"
  year: "2009"
  doi: "http://doi.ieeecomputersociety.org/10.1109/VLHCC.2009.5295309"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/VLHCC.2009.5295309"
  researchr: "https://researchr.org/publication/ErwigW09-0"
  cites: 0
  citedby: 1
  pages: "23-27"
  booktitle: "vl"
  kind: "inproceedings"
  key: "ErwigW09-0"
- title: "Query-By-Trace: Visual Predicate Specification in Spatio-Temporal Databases"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  - name: "Markus Schneider"
    link: "https://researchr.org/alias/markus-schneider"
  year: "2000"
  researchr: "https://researchr.org/publication/ErwigS00"
  cites: 0
  citedby: 0
  pages: "199-218"
  booktitle: "vdb"
  kind: "inproceedings"
  key: "ErwigS00"
- title: "Automatic generation and maintenance of correct spreadsheets"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  - name: "Robin Abraham"
    link: "https://researchr.org/alias/robin-abraham"
  - name: "Irene Cooperstein"
    link: "https://researchr.org/alias/irene-cooperstein"
  - name: "Steve Kollmansberger"
    link: "https://researchr.org/alias/steve-kollmansberger"
  year: "2005"
  doi: "http://doi.acm.org/10.1145/1062455.1062494"
  links:
    doi: "http://doi.acm.org/10.1145/1062455.1062494"
  tags:
  - "maintenance"
  researchr: "https://researchr.org/publication/ErwigACK05"
  cites: 0
  citedby: 0
  pages: "136-145"
  booktitle: "ICSE"
  kind: "inproceedings"
  key: "ErwigACK05"
- title: "The Honeycomb Model of Spatio-Temporal Partitions"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  - name: "Markus Schneider"
    link: "https://researchr.org/alias/markus-schneider"
  year: "1999"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1678/16780039.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1678/16780039.htm"
  tags:
  - "meta-model"
  - "Meta-Environment"
  - "partitioning"
  researchr: "https://researchr.org/publication/ErwigS99%3A0"
  cites: 0
  citedby: 0
  pages: "39-59"
  booktitle: "stdbm"
  kind: "inproceedings"
  key: "ErwigS99:0"
- title: "ClassSheets - model-based, object-oriented design of spreadsheet applications"
  author:
  - name: "Jan-Christopher Bals"
    link: "https://researchr.org/alias/jan-christopher-bals"
  - name: "Fabian Christ"
    link: "https://researchr.org/alias/fabian-christ"
  - name: "Gregor Engels"
    link: "http://www.cs.uni-paderborn.de/fachgebiete/fg-engels/personen/visitenkarten/gregor-engels/visitenkarte.html"
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  year: "2007"
  doi: "http://www.jot.fm/issues/issue_2007_10/paper19/index.html"
  links:
    doi: "http://www.jot.fm/issues/issue_2007_10/paper19/index.html"
  tags:
  - "rule-based"
  - "object-role modeling"
  - "design"
  researchr: "https://researchr.org/publication/BalsCEE07"
  cites: 0
  citedby: 0
  journal: "jot"
  volume: "6"
  number: "9"
  pages: "383-398"
  kind: "article"
  key: "BalsCEE07"
- title: "Spatio-Temporal Data Types: An Approach to Modeling and Querying Moving Objects in Databases"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  - name: "Ralf Hartmut Güting"
    link: "https://researchr.org/alias/ralf-hartmut-g%C3%BCting"
  - name: "Markus Schneider"
    link: "https://researchr.org/alias/markus-schneider"
  - name: "Michalis Vazirgiannis"
    link: "https://researchr.org/alias/michalis-vazirgiannis"
  year: "1999"
  tags:
  - "modeling"
  - "object-role modeling"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/ErwigGSV99"
  cites: 0
  citedby: 0
  journal: "geoinformatica"
  volume: "3"
  number: "3"
  pages: "269-296"
  kind: "article"
  key: "ErwigGSV99"
- title: "Partition and Conquer"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  - name: "Markus Schneider"
    link: "https://researchr.org/alias/markus-schneider"
  year: "1997"
  tags:
  - "partitioning"
  researchr: "https://researchr.org/publication/ErwigS97"
  cites: 0
  citedby: 0
  pages: "389-407"
  booktitle: "cosit"
  kind: "inproceedings"
  key: "ErwigS97"
- title: "Software Engineering for Spreadsheets"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  year: "2009"
  doi: "http://doi.ieeecomputersociety.org/10.1109/MS.2009.140"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/MS.2009.140"
  tags:
  - "software engineering"
  researchr: "https://researchr.org/publication/Erwig09"
  cites: 0
  citedby: 0
  journal: "IEEE Software"
  volume: "26"
  number: "5"
  pages: "25-30"
  kind: "article"
  key: "Erwig09"
- title: "Adding Apples and Oranges"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  - name: "Margaret M. Burnett"
    link: "https://researchr.org/alias/margaret-m.-burnett"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2257/22570173.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2257/22570173.htm"
  researchr: "https://researchr.org/publication/ErwigB02"
  cites: 0
  citedby: 0
  pages: "173-191"
  booktitle: "PADL"
  kind: "inproceedings"
  key: "ErwigB02"
- title: "Programming Type-Safe Program Updates"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  - name: "Deling Ren"
    link: "https://researchr.org/alias/deling-ren"
  year: "2003"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2618/26180269.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2618/26180269.htm"
  tags:
  - "programming"
  researchr: "https://researchr.org/publication/ErwigR03"
  cites: 0
  citedby: 0
  pages: "269-283"
  booktitle: "ESOP"
  kind: "inproceedings"
  key: "ErwigR03"
- title: "Specifying Type Systems with Multi-Level Order-Sorted Algebra"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  year: "1993"
  tags:
  - "type system"
  - " algebra"
  researchr: "https://researchr.org/publication/Erwig93"
  cites: 0
  citedby: 0
  pages: "177-184"
  booktitle: "amast"
  kind: "inproceedings"
  key: "Erwig93"
- title: "Monadification of functional programs"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  - name: "Deling Ren"
    link: "https://researchr.org/alias/deling-ren"
  year: "2004"
  doi: "http://dx.doi.org/10.1016/j.scico.2004.03.004"
  links:
    doi: "http://dx.doi.org/10.1016/j.scico.2004.03.004"
  tags:
  - "functional programming"
  researchr: "https://researchr.org/publication/ErwigR04"
  cites: 0
  citedby: 0
  journal: "SCP"
  volume: "52"
  pages: "101-129"
  kind: "article"
  key: "ErwigR04"
- title: "Heterogeneous Visual Languages-Integrating Visual and Textual Programming"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  - name: "Bernd Meyer"
    link: "https://researchr.org/alias/bernd-meyer"
  year: "1995"
  doi: "http://computer.org/proceedings/vl/7045/70450318abs.htm"
  links:
    doi: "http://computer.org/proceedings/vl/7045/70450318abs.htm"
  tags:
  - "programming languages"
  - "programming"
  researchr: "https://researchr.org/publication/ErwigM95"
  cites: 0
  citedby: 0
  pages: "318-325"
  booktitle: "vl"
  kind: "inproceedings"
  key: "ErwigM95"
- title: "Graph Algorithms = Iteration + Data Structures? The Structure of Graph Algorithms and a Corresponding Style of Programming"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  year: "1992"
  tags:
  - "data-flow programming"
  - "data-flow"
  - "graph-rewriting"
  - "programming"
  - "rewriting"
  researchr: "https://researchr.org/publication/Erwig92"
  cites: 0
  citedby: 0
  pages: "277-292"
  booktitle: "criwg"
  kind: "inproceedings"
  key: "Erwig92"
- title: "Inductive graphs and functional graph algorithms"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  year: "2001"
  tags:
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/Erwig01"
  cites: 0
  citedby: 0
  journal: "JFP"
  volume: "11"
  number: "5"
  pages: "467-492"
  kind: "article"
  key: "Erwig01"
- title: "A Functional DBPL Revealing High Level Optimizations"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  - name: "Udo W. Lipeck"
    link: "https://researchr.org/alias/udo-w.-lipeck"
  year: "1991"
  doi: "db/conf/dbpl/ErwigL91.html"
  tags:
  - "optimization"
  researchr: "https://researchr.org/publication/ErwigL91"
  cites: 0
  citedby: 0
  pages: "306-321"
  booktitle: "DBPL"
  kind: "inproceedings"
  key: "ErwigL91"
- title: "The state of the art in end-user software engineering"
  author:
  - name: "Andrew J. Ko"
    link: "https://researchr.org/alias/andrew-j.-ko"
  - name: "Robin Abraham"
    link: "https://researchr.org/alias/robin-abraham"
  - name: "Laura Beckwith"
    link: "https://researchr.org/alias/laura-beckwith"
  - name: "Alan F. Blackwell"
    link: "https://researchr.org/alias/alan-f.-blackwell"
  - name: "Margaret M. Burnett"
    link: "https://researchr.org/alias/margaret-m.-burnett"
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  - name: "Christopher Scaffidi"
    link: "https://researchr.org/alias/christopher-scaffidi"
  - name: "Joseph Lawrance"
    link: "https://researchr.org/alias/joseph-lawrance"
  - name: "Henry Lieberman"
    link: "https://researchr.org/alias/henry-lieberman"
  - name: "Brad A. Myers"
    link: "https://researchr.org/alias/brad-a.-myers"
  - name: "Mary Beth Rosson"
    link: "https://researchr.org/alias/mary-beth-rosson"
  - name: "Gregg Rothermel"
    link: "https://researchr.org/alias/gregg-rothermel"
  - name: "Mary Shaw"
    link: "https://researchr.org/alias/mary-shaw"
  - name: "Susan Wiedenbeck"
    link: "https://researchr.org/alias/susan-wiedenbeck"
  year: "2011"
  doi: "http://doi.acm.org/10.1145/1922649.1922658"
  links:
    doi: "http://doi.acm.org/10.1145/1922649.1922658"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/csur/KoABBBESLLMRRSW11"
  tags:
  - "software engineering"
  researchr: "https://researchr.org/publication/KoABBBESLLMRRSW11"
  cites: 0
  citedby: 0
  journal: "ACM Comput. Surv."
  volume: "43"
  number: "3"
  pages: "21"
  kind: "article"
  key: "KoABBBESLLMRRSW11"
- title: "A rule-based language for programming software updates"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  - name: "Deling Ren"
    link: "https://researchr.org/alias/deling-ren"
  year: "2002"
  doi: "http://doi.acm.org/10.1145/636517.636530"
  links:
    doi: "http://doi.acm.org/10.1145/636517.636530"
  tags:
  - "programming languages"
  - "rule-based"
  - "rules"
  - "programming"
  researchr: "https://researchr.org/publication/ErwigR02%3A0"
  cites: 0
  citedby: 0
  journal: "SIGPLAN"
  volume: "37"
  number: "12"
  pages: "88-97"
  kind: "article"
  key: "ErwigR02:0"
- title: "Temporal Objects for Spatio-Temporal Data Models and a Comparison of Their Representations"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  - name: "Markus Schneider"
    link: "https://researchr.org/alias/markus-schneider"
  - name: "Ralf Hartmut Güting"
    link: "https://researchr.org/alias/ralf-hartmut-g%C3%BCting"
  year: "1998"
  doi: "db/conf/er/ErwigSG98.html"
  tags:
  - "data-flow"
  - "object-role modeling"
  researchr: "https://researchr.org/publication/ErwigSG98"
  cites: 0
  citedby: 0
  pages: "454-465"
  booktitle: "er"
  kind: "inproceedings"
  key: "ErwigSG98"
- title: "Escape from Zurg: an exercise in logic programming"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  year: "2004"
  doi: "http://dx.doi.org/10.1017/S0956796804005040"
  links:
    doi: "http://dx.doi.org/10.1017/S0956796804005040"
  tags:
  - "logic programming"
  - "programming"
  - "logic"
  researchr: "https://researchr.org/publication/Erwig04"
  cites: 0
  citedby: 0
  journal: "JFP"
  volume: "14"
  number: "3"
  pages: "253-261"
  kind: "article"
  key: "Erwig04"
- title: "A Visual Language for XML"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  year: "2000"
  doi: "http://www.computer.org/proceedings/vl/0840/08400047abs.htm"
  links:
    doi: "http://www.computer.org/proceedings/vl/0840/08400047abs.htm"
  tags:
  - "XML"
  - "XML Schema"
  researchr: "https://researchr.org/publication/Erwig00%3A0"
  cites: 0
  citedby: 0
  pages: "47-54"
  booktitle: "vl"
  kind: "inproceedings"
  key: "Erwig00:0"
- title: "Übersetzerbau - Techniken, Werkzeuge, Anwendungen"
  author:
  - name: "Ralf Hartmut Güting"
    link: "https://researchr.org/alias/ralf-hartmut-g%C3%BCting"
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  year: "1999"
  researchr: "https://researchr.org/publication/GutingE99"
  cites: 0
  citedby: 0
  publisher: "Springer"
  isbn: "3-540-65389-9"
  kind: "book"
  key: "GutingE99"
- title: "Spatio-Temporal Predicates"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  - name: "Markus Schneider"
    link: "https://researchr.org/alias/markus-schneider"
  year: "2002"
  doi: "http://www.computer.org:80/tkde/tk2002/k0881abs.htm"
  links:
    doi: "http://www.computer.org:80/tkde/tk2002/k0881abs.htm"
  researchr: "https://researchr.org/publication/ErwigS02"
  cites: 0
  citedby: 0
  journal: "tkde"
  volume: "14"
  number: "4"
  pages: "881-901"
  kind: "article"
  key: "ErwigS02"
- title: "Goal-Directed Debugging of Spreadsheets"
  author:
  - name: "Robin Abraham"
    link: "https://researchr.org/alias/robin-abraham"
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  year: "2005"
  doi: "http://doi.ieeecomputersociety.org/10.1109/VLHCC.2005.42"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/VLHCC.2005.42"
  tags:
  - "debugging"
  researchr: "https://researchr.org/publication/AbrahamE05%3A0"
  cites: 0
  citedby: 0
  pages: "37-44"
  booktitle: "vl"
  kind: "inproceedings"
  key: "AbrahamE05:0"
- title: "Visual Graphs"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  year: "1999"
  doi: "http://computer.org/proceedings/vl/0216/02160122abs.htm"
  links:
    doi: "http://computer.org/proceedings/vl/0216/02160122abs.htm"
  tags:
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/Erwig99"
  cites: 0
  citedby: 0
  pages: "122-129"
  booktitle: "vl"
  kind: "inproceedings"
  key: "Erwig99"
- title: "Automatically Inferring ClassSheet Models from Spreadsheets"
  author:
  - name: "Jacome Cunha"
    link: "https://researchr.org/alias/jacome-cunha"
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  - name: "João Saraiva"
    link: "http://di.uminho.pt/~jas"
  year: "2010"
  doi: "http://dx.doi.org/10.1109/VLHCC.2010.22"
  links:
    doi: "http://dx.doi.org/10.1109/VLHCC.2010.22"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/vl/CunhaES10"
  researchr: "https://researchr.org/publication/CunhaES10"
  cites: 0
  citedby: 0
  pages: "93-100"
  booktitle: "vl"
  kind: "inproceedings"
  key: "CunhaES10"
- title: "Xing: a visual XML query language"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  year: "2003"
  doi: "http://dx.doi.org/10.1016/S1045-926X(02)00074-5"
  links:
    doi: "http://dx.doi.org/10.1016/S1045-926X(02)00074-5"
  tags:
  - "XML"
  - "XML Schema"
  - "query language"
  researchr: "https://researchr.org/publication/Erwig03%3A0"
  cites: 0
  citedby: 0
  journal: "JCL (JVLC)"
  volume: "14"
  number: "1"
  pages: "5-45"
  kind: "article"
  key: "Erwig03:0"
- title: "Abstract and Discrete Modeling of Spatio-Temporal Data Types"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  - name: "Ralf Hartmut Güting"
    link: "https://researchr.org/alias/ralf-hartmut-g%C3%BCting"
  - name: "Markus Schneider"
    link: "https://researchr.org/alias/markus-schneider"
  - name: "Michalis Vazirgiannis"
    link: "https://researchr.org/alias/michalis-vazirgiannis"
  year: "1998"
  doi: "db/conf/gis/ErwigGSV98.html"
  tags:
  - "modeling"
  - "data-flow"
  researchr: "https://researchr.org/publication/ErwigGSV98"
  cites: 0
  citedby: 0
  pages: "131-136"
  booktitle: "gis"
  kind: "inproceedings"
  key: "ErwigGSV98"
- title: "Generic programming in Fortran"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  - name: "Zhe Fu"
    link: "https://researchr.org/alias/zhe-fu"
  - name: "Ben Pflaum"
    link: "https://researchr.org/alias/ben-pflaum"
  year: "2006"
  doi: "http://doi.acm.org/10.1145/1111542.1111564"
  links:
    doi: "http://doi.acm.org/10.1145/1111542.1111564"
  tags:
  - "generic programming"
  - "programming"
  researchr: "https://researchr.org/publication/ErwigFP06"
  cites: 0
  citedby: 0
  pages: "130-139"
  booktitle: "PEPM"
  kind: "inproceedings"
  key: "ErwigFP06"
- title: "Functional Pearls: Probabilistic functional programming in Haskell"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  - name: "Steve Kollmansberger"
    link: "https://researchr.org/alias/steve-kollmansberger"
  year: "2006"
  doi: "http://dx.doi.org/10.1017/S0956796805005721"
  links:
    doi: "http://dx.doi.org/10.1017/S0956796805005721"
  tags:
  - "functional programming"
  - "Haskell"
  - "programming"
  researchr: "https://researchr.org/publication/ErwigK06%3A0"
  cites: 0
  citedby: 0
  journal: "JFP"
  volume: "16"
  number: "1"
  pages: "21-34"
  kind: "article"
  key: "ErwigK06:0"
- title: "Type inference for spreadsheets"
  author:
  - name: "Robin Abraham"
    link: "https://researchr.org/alias/robin-abraham"
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  year: "2006"
  doi: "http://doi.acm.org/10.1145/1140335.1140346"
  links:
    doi: "http://doi.acm.org/10.1145/1140335.1140346"
  tags:
  - "type inference"
  researchr: "https://researchr.org/publication/AbrahamE06%3A0"
  cites: 0
  citedby: 0
  pages: "73-84"
  booktitle: "ppdp"
  kind: "inproceedings"
  key: "AbrahamE06:0"
- title: "The graph Voronoi diagram with applications"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  year: "2000"
  doi: "http://dx.doi.org/10.1002/1097-0037(200010)36:3<156::AID-NET2>3.0.CO;2-L"
  links:
    doi: "http://dx.doi.org/10.1002/1097-0037(200010)36:3<156::AID-NET2>3.0.CO;2-L"
  tags:
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/Erwig00%3A1"
  cites: 0
  citedby: 0
  journal: "networks"
  volume: "36"
  number: "3"
  pages: "156-163"
  kind: "article"
  key: "Erwig00:1"
- title: "Diets for Fat Sets"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  year: "1998"
  researchr: "https://researchr.org/publication/Erwig98"
  cites: 0
  citedby: 0
  journal: "JFP"
  volume: "8"
  number: "6"
  pages: "627-632"
  kind: "article"
  key: "Erwig98"
- title: "Adaptation-based programming in java"
  author:
  - name: "Tim Bauer"
    link: "https://researchr.org/alias/tim-bauer"
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  - name: "Alan Fern"
    link: "https://researchr.org/alias/alan-fern"
  - name: "Jervis Pinto"
    link: "https://researchr.org/alias/jervis-pinto"
  year: "2011"
  doi: "http://doi.acm.org/10.1145/1929501.1929518"
  links:
    doi: "http://doi.acm.org/10.1145/1929501.1929518"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/pepm/BauerEFP11"
  tags:
  - "rule-based"
  - "Java"
  - "programming"
  researchr: "https://researchr.org/publication/BauerEFP11"
  cites: 0
  citedby: 0
  pages: "81-90"
  booktitle: "PEPM"
  kind: "inproceedings"
  key: "BauerEFP11"
- title: "An update calculus for expressing type-safe program updates"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  - name: "Deling Ren"
    link: "https://researchr.org/alias/deling-ren"
  year: "2007"
  doi: "http://dx.doi.org/10.1016/j.scico.2007.01.003"
  links:
    doi: "http://dx.doi.org/10.1016/j.scico.2007.01.003"
  researchr: "https://researchr.org/publication/ErwigR07"
  cites: 1
  citedby: 0
  journal: "SCP"
  volume: "67"
  number: "2-3"
  pages: "199-222"
  kind: "article"
  key: "ErwigR07"
- title: "Modellierung von Netzen in Geo-Datenbanken"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  - name: "Ralf Hartmut Güting"
    link: "https://researchr.org/alias/ralf-hartmut-g%C3%BCting"
  year: "1992"
  researchr: "https://researchr.org/publication/ErwigG92"
  cites: 0
  citedby: 0
  pages: "27-29"
  booktitle: "gvd"
  kind: "inproceedings"
  key: "ErwigG92"
- title: "Visual Semantics - Or: What You See is What You Compute"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  year: "1998"
  tags:
  - "semantics"
  researchr: "https://researchr.org/publication/Erwig98%3A1"
  cites: 0
  citedby: 0
  pages: "96-97"
  booktitle: "vl"
  kind: "inproceedings"
  key: "Erwig98:1"
- title: "Toward the Automatic Derivation of XML Transformations"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  year: "2003"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2814&spage=342"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2814&spage=342"
  tags:
  - "XML"
  - "XML Schema"
  - "transformation"
  researchr: "https://researchr.org/publication/Erwig03"
  cites: 0
  citedby: 0
  pages: "342-354"
  booktitle: "er"
  kind: "inproceedings"
  key: "Erwig03"
- title: "Combining spatial and semantic label analysis"
  author:
  - name: "Chris Chambers"
    link: "https://researchr.org/alias/chris-chambers"
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  year: "2009"
  doi: "http://doi.ieeecomputersociety.org/10.1109/VLHCC.2009.5295258"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/VLHCC.2009.5295258"
  tags:
  - "analysis"
  researchr: "https://researchr.org/publication/ChambersE09"
  cites: 0
  citedby: 0
  pages: "225-232"
  booktitle: "vl"
  kind: "inproceedings"
  key: "ChambersE09"
- title: "Varying Domain Representations in Hagl"
  author:
  - name: "Eric Walkingshaw"
    link: "https://researchr.org/alias/eric-walkingshaw"
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-03034-5_15"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-03034-5_15"
  tags:
  - "DSL"
  researchr: "https://researchr.org/publication/WalkingshawE09-0"
  cites: 0
  citedby: 0
  pages: "310-334"
  booktitle: "DSL"
  kind: "inproceedings"
  key: "WalkingshawE09-0"
- title: "Visual Specifications of Correct Spreadsheets"
  author:
  - name: "Robin Abraham"
    link: "https://researchr.org/alias/robin-abraham"
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  - name: "Steve Kollmansberger"
    link: "https://researchr.org/alias/steve-kollmansberger"
  - name: "Ethan Seifert"
    link: "https://researchr.org/alias/ethan-seifert"
  year: "2005"
  doi: "http://doi.ieeecomputersociety.org/10.1109/VLHCC.2005.70"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/VLHCC.2005.70"
  researchr: "https://researchr.org/publication/AbrahamEKS05"
  cites: 0
  citedby: 0
  pages: "189-196"
  booktitle: "vl"
  kind: "inproceedings"
  key: "AbrahamEKS05"
- title: "How to communicate unit error messages in spreadsheets"
  author:
  - name: "Robin Abraham"
    link: "https://researchr.org/alias/robin-abraham"
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  year: "2005"
  doi: "http://doi.acm.org/10.1145/1082983.1083243"
  links:
    doi: "http://doi.acm.org/10.1145/1082983.1083243"
  researchr: "https://researchr.org/publication/AbrahamE05"
  cites: 0
  citedby: 0
  journal: "sigsoft"
  volume: "30"
  number: "4"
  pages: "1-5"
  kind: "article"
  key: "AbrahamE05"
- title: "Visual type inference"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  year: "2006"
  doi: "http://dx.doi.org/10.1016/j.jvlc.2005.04.004"
  links:
    doi: "http://dx.doi.org/10.1016/j.jvlc.2005.04.004"
  tags:
  - "type inference"
  researchr: "https://researchr.org/publication/Erwig06"
  cites: 0
  citedby: 0
  journal: "JCL (JVLC)"
  volume: "17"
  number: "2"
  pages: "161-186"
  kind: "article"
  key: "Erwig06"
- title: "Developments in Spatio-Temporal Query Languages"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  - name: "Markus Schneider"
    link: "https://researchr.org/alias/markus-schneider"
  year: "1999"
  doi: "http://computer.org/conferen/proceed/dexa/0281/02810441abs.htm"
  links:
    doi: "http://computer.org/conferen/proceed/dexa/0281/02810441abs.htm"
  tags:
  - "query language"
  researchr: "https://researchr.org/publication/ErwigS99"
  cites: 0
  citedby: 0
  pages: "441-449"
  booktitle: "dexaw"
  kind: "inproceedings"
  key: "ErwigS99"
- title: "Dimension inference in spreadsheets"
  author:
  - name: "Chris Chambers"
    link: "https://researchr.org/alias/chris-chambers"
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  year: "2008"
  doi: "http://dx.doi.org/10.1109/VLHCC.2008.4639072"
  links:
    doi: "http://dx.doi.org/10.1109/VLHCC.2008.4639072"
  researchr: "https://researchr.org/publication/ChambersE08"
  cites: 0
  citedby: 0
  pages: "123-130"
  booktitle: "vl"
  kind: "inproceedings"
  key: "ChambersE08"
- title: "Header and Unit Inference for Spreadsheets Through Spatial Analyses"
  author:
  - name: "Robin Abraham"
    link: "https://researchr.org/alias/robin-abraham"
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  year: "2004"
  doi: "http://doi.ieeecomputersociety.org/10.1109/VLHCC.2004.29"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/VLHCC.2004.29"
  researchr: "https://researchr.org/publication/AbrahamE04"
  cites: 0
  citedby: 0
  pages: "165-172"
  booktitle: "vl"
  kind: "inproceedings"
  key: "AbrahamE04"
- title: "Pattern Guards and Transformational Patterns"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "2000"
  doi: "http://www.elsevier.com/gej-ng/31/29/23/76/33/show/Products/notes/index.htt#012"
  links:
    doi: "http://www.elsevier.com/gej-ng/31/29/23/76/33/show/Products/notes/index.htt#012"
  tags:
  - "transformation"
  researchr: "https://researchr.org/publication/ErwigJ00"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "41"
  number: "1"
  pages: "3"
  kind: "article"
  key: "ErwigJ00"
- title: "KeyQuery - A Front End for the Automatic Translation of Keywords into Structured Queries"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  - name: "Jianglin He"
    link: "https://researchr.org/alias/jianglin-he"
  year: "2003"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2736&spage=494"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2736&spage=494"
  tags:
  - "translation"
  researchr: "https://researchr.org/publication/ErwigH03"
  cites: 0
  citedby: 0
  pages: "494-503"
  booktitle: "DEXA"
  kind: "inproceedings"
  key: "ErwigH03"
- title: "Modeling Genome Evolution with a DSEL for Probabilistic Programming"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  - name: "Steve Kollmansberger"
    link: "https://researchr.org/alias/steve-kollmansberger"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11603023_10"
  links:
    doi: "http://dx.doi.org/10.1007/11603023_10"
  tags:
  - "modeling"
  - "programming"
  researchr: "https://researchr.org/publication/ErwigK06"
  cites: 0
  citedby: 0
  pages: "134-149"
  booktitle: "PADL"
  kind: "inproceedings"
  key: "ErwigK06"
- title: "Sharing reasoning about faults in spreadsheets: An empirical study"
  author:
  - name: "Joseph Lawrance"
    link: "https://researchr.org/alias/joseph-lawrance"
  - name: "Robin Abraham"
    link: "https://researchr.org/alias/robin-abraham"
  - name: "Margaret M. Burnett"
    link: "https://researchr.org/alias/margaret-m.-burnett"
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  year: "2006"
  doi: "http://doi.ieeecomputersociety.org/10.1109/VLHCC.2006.43"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/VLHCC.2006.43"
  tags:
  - "empirical"
  researchr: "https://researchr.org/publication/LawranceABE06"
  cites: 0
  citedby: 0
  pages: "35-42"
  booktitle: "vl"
  kind: "inproceedings"
  key: "LawranceABE06"
- title: "Reasoning about spreadsheets with labels and dimensions"
  author:
  - name: "Chris Chambers"
    link: "https://researchr.org/alias/chris-chambers"
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  year: "2010"
  doi: "http://dx.doi.org/10.1016/j.jvlc.2010.08.004"
  links:
    doi: "http://dx.doi.org/10.1016/j.jvlc.2010.08.004"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/vlc/ChambersE10"
  researchr: "https://researchr.org/publication/ChambersE10-0"
  cites: 0
  citedby: 0
  journal: "JCL (JVLC)"
  volume: "21"
  number: "5"
  pages: "249-262"
  kind: "article"
  key: "ChambersE10-0"
- title: "Software reuse for scientific computing through program generation"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  - name: "Zhe Fu"
    link: "https://researchr.org/alias/zhe-fu"
  year: "2005"
  doi: "http://doi.acm.org/10.1145/1061254.1061257"
  links:
    doi: "http://doi.acm.org/10.1145/1061254.1061257"
  tags:
  - "reuse"
  researchr: "https://researchr.org/publication/ErwigF05"
  cites: 0
  citedby: 0
  journal: "TOSEM"
  volume: "14"
  number: "2"
  pages: "168-198"
  kind: "article"
  key: "ErwigF05"
- title: "A foundation for representing and quering moving objects"
  author:
  - name: "Ralf Hartmut Güting"
    link: "https://researchr.org/alias/ralf-hartmut-g%C3%BCting"
  - name: "Michael H. Böhlen"
    link: "https://researchr.org/alias/michael-h.-b%C3%B6hlen"
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  - name: "Christian S. Jensen"
    link: "https://researchr.org/alias/christian-s.-jensen"
  - name: "Nikos A. Lorentzos"
    link: "https://researchr.org/alias/nikos-a.-lorentzos"
  - name: "Markus Schneider"
    link: "https://researchr.org/alias/markus-schneider"
  - name: "Michalis Vazirgiannis"
    link: "https://researchr.org/alias/michalis-vazirgiannis"
  year: "2000"
  doi: "http://doi.acm.org/10.1145/352958.352963"
  links:
    doi: "http://doi.acm.org/10.1145/352958.352963"
  tags:
  - "meta-model"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/GutingBEJLSV00"
  cites: 0
  citedby: 0
  journal: "TODS"
  volume: "25"
  number: "1"
  pages: "1-42"
  kind: "article"
  key: "GutingBEJLSV00"
- title: "Understanding and Building Spreadsheet Tools"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  - name: "Robin Abraham"
    link: "https://researchr.org/alias/robin-abraham"
  year: "2007"
  doi: "http://doi.ieeecomputersociety.org/10.1109/VLHCC.2007.57"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/VLHCC.2007.57"
  researchr: "https://researchr.org/publication/ErwigA07"
  cites: 0
  citedby: 0
  pages: "7"
  booktitle: "vl"
  kind: "inproceedings"
  key: "ErwigA07"
- title: "Explicit Graphs in a Functional Model for Spatial Databases"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  - name: "Ralf Hartmut Güting"
    link: "https://researchr.org/alias/ralf-hartmut-g%C3%BCting"
  year: "1994"
  doi: "db/journals/tkde/ErwigG94.html"
  tags:
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/ErwigG94"
  cites: 0
  citedby: 0
  journal: "tkde"
  volume: "6"
  number: "5"
  pages: "787-804"
  kind: "article"
  key: "ErwigG94"
- title: "Visually Customizing Inference Rules About Apples and Oranges"
  author:
  - name: "Margaret M. Burnett"
    link: "https://researchr.org/alias/margaret-m.-burnett"
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  year: "2002"
  doi: "http://csdl.computer.org/comp/proceedings/hcc/2002/1644/00/16440140abs.htm"
  links:
    doi: "http://csdl.computer.org/comp/proceedings/hcc/2002/1644/00/16440140abs.htm"
  tags:
  - "rule-based"
  - "rules"
  researchr: "https://researchr.org/publication/BurnettE02%3A0"
  cites: 0
  citedby: 0
  pages: "140-148"
  booktitle: "vl"
  kind: "inproceedings"
  key: "BurnettE02:0"
- title: "Parametric Fortran - A Program Generator for Customized Generic Fortran Extensions"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  - name: "Zhe Fu"
    link: "https://researchr.org/alias/zhe-fu"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3057&spage=209"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3057&spage=209"
  tags:
  - "generic programming"
  researchr: "https://researchr.org/publication/ErwigF04"
  cites: 0
  citedby: 0
  pages: "209-223"
  booktitle: "PADL"
  kind: "inproceedings"
  key: "ErwigF04"
- title: "6th International Conference on Software Language Engineering, Proceedings (SLE 2013)"
  year: "2013"
  researchr: "https://researchr.org/publication/sle-2013"
  cites: 0
  citedby: 0
  booktitle: "6th International Conference on Software Language Engineering, Proceedings (SLE 2013)"
  conference: "SLE"
  editor:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  - name: "Richard F. Paige"
    link: "http://www-users.cs.york.ac.uk/~paige/"
  - name: "Eric {Van Wyk}"
    link: "http://www-users.cs.umn.edu/~evw/"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  kind: "proceedings"
  key: "sle-2013"