@inproceedings{Erwig00,
  title = {Random Access to Abstract Data Types},
  author = {Martin Erwig},
  year = {2000},
  url = {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 = {Algebraic Methodology and Software Technology.  8th International Conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings},
  editor = {Teodor Rus},
  volume = {1816},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-67530-2},
}

@inproceedings{AbrahamE06:1,
  title = {Inferring templates from spreadsheets},
  author = {Robin Abraham and Martin Erwig},
  year = {2006},
  doi = {10.1145/1134312},
  url = {http://doi.acm.org/10.1145/1134312},
  researchr = {https://researchr.org/publication/AbrahamE06%3A1},
  cites = {0},
  citedby = {0},
  pages = {182-191},
  booktitle = {28th International Conference on Software Engineering (ICSE 2006), Shanghai, China, May 20-28, 2006},
  editor = {Leon J. Osterweil and H. Dieter Rombach and Mary Lou Soffa},
  publisher = {ACM},
  isbn = {1-59593-375-1},
}

@inproceedings{Erwig97:1,
  title = {Semantics of Visual Languages},
  author = {Martin Erwig},
  year = {1997},
  tags = {semantics},
  researchr = {https://researchr.org/publication/Erwig97%3A1},
  cites = {0},
  citedby = {0},
  pages = {304-311},
  booktitle = {VL},
}

@inproceedings{AbrahamE07:0,
  title = {GoalDebug: A Spreadsheet Debugger for End Users},
  author = {Robin Abraham and Martin Erwig},
  year = {2007},
  doi = {10.1109/ICSE.2007.39},
  url = {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 = {29th International Conference on Software Engineering (ICSE 2007), Minneapolis, MN, USA, May 20-26, 2007},
  publisher = {IEEE Computer Society},
}

@inproceedings{ErwigS99:1,
  title = {Visual Specification of Spatio-Temporal Developments},
  author = {Martin Erwig and Markus Schneider},
  year = {1999},
  url = {http://computer.org/proceedings/vl/0216/02160187abs.htm},
  researchr = {https://researchr.org/publication/ErwigS99%3A1},
  cites = {0},
  citedby = {0},
  pages = {187-188},
  booktitle = {VL},
}

@inproceedings{ErwigR02,
  title = {A rule-based language for programming software updates},
  author = {Martin Erwig and Deling Ren},
  year = {2002},
  doi = {10.1145/570186.570193},
  url = {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 = {Proceedings of the 2002 ACM SIGPLAN Workshop on Rule-Based Programming, Pittsburgh, Pennsylvania, USA, 2002},
  editor = {Bernd  Fischer and Eelco Visser},
  publisher = {ACM},
  isbn = {1-58113-606-4},
}

@inproceedings{ErwigW09,
  title = {A DSL for Explaining Probabilistic Reasoning},
  author = {Martin Erwig and Eric Walkingshaw},
  year = {2009},
  doi = {10.1007/978-3-642-03034-5_16},
  url = {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 = {Domain-Specific Languages, IFIP TC 2 Working Conference, DSL 2009, Oxford, UK, July 15-17, 2009, Proceedings},
  editor = {Walid Mohamed Taha},
  volume = {5658},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-03033-8},
}

@inproceedings{Erwig98:0,
  title = {Categorical Programming with Abstract Data Types},
  author = {Martin Erwig},
  year = {1998},
  url = {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 = {Algebraic Methodology and Software Technology, 7th International Conference, AMAST  98, Amazonia, Brasil, January 4-8, 1999, Proceedings},
  editor = {Armando Martin Haeberer},
  volume = {1548},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-65462-3},
}

@inproceedings{PintoFBE10,
  title = {Robust Learning for Adaptive Programs by Leveraging Program Structure},
  author = {Jervis Pinto and Alan Fern and Tim Bauer and Martin Erwig},
  year = {2010},
  doi = {10.1109/ICMLA.2010.150},
  url = {http://dx.doi.org/10.1109/ICMLA.2010.150},
  researchr = {https://researchr.org/publication/PintoFBE10},
  cites = {0},
  citedby = {0},
  pages = {943-948},
  booktitle = {The Ninth International Conference on Machine Learning and Applications, ICMLA 2010, Washington, DC, USA, 12-14 December 2010},
  editor = {Sorin Draghici and Taghi M. Khoshgoftaar and Vasile Palade and Witold Pedrycz and M. Arif Wani and Xingquan Zhu},
  publisher = {IEEE Computer Society},
  isbn = {978-0-7695-4300-0},
}

@article{ErwigAKC06,
  title = {Gencel: a program generator for correct spreadsheets},
  author = {Martin Erwig and Robin Abraham and Steve Kollmansberger and Irene Cooperstein},
  year = {2006},
  doi = {10.1017/S0956796805005794},
  url = {http://dx.doi.org/10.1017/S0956796805005794},
  researchr = {https://researchr.org/publication/ErwigAKC06},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {16},
  number = {3},
  pages = {293-325},
}

@inproceedings{ErwigW10-0,
  title = {Program fields for continuous software},
  author = {Martin Erwig and Eric Walkingshaw},
  year = {2010},
  doi = {10.1145/1882362.1882384},
  url = {http://doi.acm.org/10.1145/1882362.1882384},
  researchr = {https://researchr.org/publication/ErwigW10-0},
  cites = {0},
  citedby = {0},
  pages = {105-108},
  booktitle = {Proceedings of the Workshop on Future of Software Engineering Research, FoSER 2010, at the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010, Santa Fe, NM, USA, November 7-11, 2010},
  editor = {Gruia-Catalin Roman and Kevin J. Sullivan},
  publisher = {ACM},
  isbn = {978-1-4503-0427-6},
}

@article{ErwigFP07,
  title = {Parametric Fortran: program generation in scientific computing},
  author = {Martin Erwig and Zhe Fu and Ben Pflaum},
  year = {2007},
  doi = {10.1002/smr.346},
  url = {http://dx.doi.org/10.1002/smr.346},
  researchr = {https://researchr.org/publication/ErwigFP07},
  cites = {0},
  citedby = {0},
  journal = {Journal of Software Maintenance},
  volume = {19},
  number = {3},
  pages = {155-182},
}

@inproceedings{AbrahamEA07,
  title = {A Type System Based on End-User Vocabulary},
  author = {Robin Abraham and Martin Erwig and Scott Andrew},
  year = {2007},
  doi = {10.1109/VLHCC.2007.6},
  url = {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 = {2007 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2007), 23-27 September 2007, Coeur d Alene, Idaho, USA},
  publisher = {IEEE Computer Society},
  isbn = {978-0-7695-2987-5},
}

@article{Erwig94:0,
  title = {Graphs in Spatial Databases},
  author = {Martin Erwig},
  year = {1994},
  tags = {graph-rewriting, rewriting},
  researchr = {https://researchr.org/publication/Erwig94%3A0},
  cites = {0},
  citedby = {0},
  journal = {Datenbank Rundbrief},
  volume = {14},
  pages = {65},
}

@inproceedings{ErwigW10,
  title = {Causal Reasoning with Neuron Diagrams},
  author = {Martin Erwig and Eric Walkingshaw},
  year = {2010},
  doi = {10.1109/VLHCC.2010.23},
  url = {http://dx.doi.org/10.1109/VLHCC.2010.23},
  researchr = {https://researchr.org/publication/ErwigW10},
  cites = {0},
  citedby = {0},
  pages = {101-108},
  booktitle = {IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2010, Leganés-Madrid, Spain, 21-25 September 2010, Proceedings},
  editor = {Christopher D. Hundhausen and Emmanuel Pietriga and Paloma Díaz and Mary Beth Rosson},
  publisher = {IEEE},
  isbn = {978-0-7695-4206-5},
}

@inproceedings{ChambersEL10,
  title = {SheetDiff: A Tool for Identifying Changes in Spreadsheets},
  author = {Chris Chambers and Martin Erwig and Markus Luckey},
  year = {2010},
  doi = {10.1109/VLHCC.2010.21},
  url = {http://dx.doi.org/10.1109/VLHCC.2010.21},
  researchr = {https://researchr.org/publication/ChambersEL10},
  cites = {0},
  citedby = {0},
  pages = {85-92},
  booktitle = {IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2010, Leganés-Madrid, Spain, 21-25 September 2010, Proceedings},
  editor = {Christopher D. Hundhausen and Emmanuel Pietriga and Paloma Díaz and Mary Beth Rosson},
  publisher = {IEEE},
  isbn = {978-0-7695-4206-5},
}

@inproceedings{EngelsE05,
  title = {ClassSheets: automatic generation of spreadsheet applications from object-oriented specifications},
  author = {Gregor Engels and Martin Erwig},
  year = {2005},
  doi = {10.1145/1101908.1101929},
  url = {http://doi.acm.org/10.1145/1101908.1101929},
  researchr = {https://researchr.org/publication/EngelsE05},
  cites = {0},
  citedby = {0},
  pages = {124-133},
  booktitle = {20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), November 7-11, 2005, Long Beach, CA, USA},
  editor = {David F. Redmiles and Thomas Ellman and Andrea Zisman},
  publisher = {ACM},
}

@inproceedings{Erwig97,
  title = {Fully Persistent Graphs - Which One To Choose?},
  author = {Martin Erwig},
  year = {1997},
  url = {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 = {Implementation of Functional Languages, 9th International Workshop, IFL 97, St. Andrews, Scotland, UK, September 10-12, 1997, Selected Papers},
  editor = {Chris Clack and Kevin Hammond and Antony J. T. Davie},
  volume = {1467},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-64849-6},
}

@article{ErwigS03,
  title = {A visual language for the evolution of spatial relationships and its translation into a spatio-temporal calculus},
  author = {Martin Erwig and Markus Schneider},
  year = {2003},
  doi = {10.1016/S1045-926X(02)00057-5},
  url = {http://dx.doi.org/10.1016/S1045-926X(02)00057-5},
  tags = {translation},
  researchr = {https://researchr.org/publication/ErwigS03},
  cites = {0},
  citedby = {0},
  journal = {Journal of Computer Languages},
  volume = {14},
  number = {2},
  pages = {181-211},
}

@article{AbrahamE07:1,
  title = {UCheck: A spreadsheet type checker for end users},
  author = {Robin Abraham and Martin Erwig},
  year = {2007},
  doi = {10.1016/j.jvlc.2006.06.001},
  url = {http://dx.doi.org/10.1016/j.jvlc.2006.06.001},
  researchr = {https://researchr.org/publication/AbrahamE07%3A1},
  cites = {0},
  citedby = {0},
  journal = {Journal of Computer Languages},
  volume = {18},
  number = {1},
  pages = {71-95},
}

@inproceedings{ErwigGopinath2012,
  title = {Explanations for regular expressions},
  author = {Martin Erwig and Rahul Gopinath},
  year = {2012},
  doi = {10.1007/978-3-642-28872-2_1},
  url = {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},
  publisher = {Springer-Verlag Berlin, Heidelberg ©2012},
}

@article{AbrahamE09,
  title = {Mutation Operators for Spreadsheets},
  author = {Robin Abraham and Martin Erwig},
  year = {2009},
  doi = {10.1109/TSE.2008.73},
  url = {http://dx.doi.org/10.1109/TSE.2008.73},
  researchr = {https://researchr.org/publication/AbrahamE09},
  cites = {0},
  citedby = {0},
  journal = {IEEE Trans. Software Eng.},
  volume = {35},
  number = {1},
  pages = {94-108},
}

@inproceedings{Erwig10,
  title = {A Language for Software Variation Research},
  author = {Martin Erwig},
  year = {2010},
  doi = {10.1007/978-3-642-19440-5_1},
  url = {http://dx.doi.org/10.1007/978-3-642-19440-5_1},
  researchr = {https://researchr.org/publication/Erwig10},
  cites = {0},
  citedby = {0},
  pages = {1},
  booktitle = {Software Language Engineering - Third International Conference, SLE 2010, Eindhoven, The Netherlands, October 12-13, 2010, Revised Selected Papers},
  editor = {Brian A. Malloy and Steffen Staab and Mark van den Brand},
  volume = {6563},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-19439-9},
}

@article{WalkingshawE09,
  title = {A domain-specific language for experimental game theory},
  author = {Eric Walkingshaw and Martin Erwig},
  year = {2009},
  doi = {10.1017/S0956796809990220},
  url = {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 = {Journal of Functional Programming},
  volume = {19},
  number = {6},
  pages = {645-661},
}

@inproceedings{BauerE09,
  title = {Declarative Scripting in Haskell},
  author = {Tim Bauer and Martin Erwig},
  year = {2009},
  doi = {10.1007/978-3-642-12107-4_21},
  url = {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 = {Software Language Engineering, Second International Conference, SLE 2009},
  editor = {Mark G. J. van den Brand and Dragan Gasevic and Jeffrey G. Gray},
  volume = {5969},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-12106-7},
}

@inproceedings{BurnettE02,
  title = {Visually Customizing Inference Rules About Apples and Oranges},
  author = {Margaret M. Burnett and Martin Erwig},
  year = {2002},
  url = {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 = {IEEE Symposia on Human Centric Computing Languages and Environments},
}

@inproceedings{Erwig96,
  title = {Active Patterns},
  author = {Martin Erwig},
  year = {1996},
  researchr = {https://researchr.org/publication/Erwig96},
  cites = {0},
  citedby = {0},
  pages = {21-40},
  booktitle = {Implementation of Functional Languages, 8th International Workshop, IFL 96, Bad Godesberg, Germany, September 16-18, 1996, Selected Papers},
  editor = {Werner E. Kluge},
  volume = {1268},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-63237-9},
}

@inproceedings{AbrahamE07,
  title = {Exploiting Domain-Specific Structures For End-User Programming Support Tools},
  author = {Robin Abraham and Martin Erwig},
  year = {2007},
  url = {http://drops.dagstuhl.de/opus/volltexte/2007/1086},
  tags = {programming},
  researchr = {https://researchr.org/publication/AbrahamE07},
  cites = {0},
  citedby = {0},
  booktitle = {End-User Software Engineering, 18.02. - 23.02.2007},
  editor = {Margaret M. Burnett and Gregor Engels and Brad A. Myers and Gregg Rothermel},
  volume = {07081},
  series = {Dagstuhl Seminar Proceedings},
  publisher = {Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany},
}

@inproceedings{Erwig93:0,
  title = {Spezifikation von Datenmodellen mittels mehrstufiger Algebra},
  author = {Martin Erwig},
  year = {1993},
  tags = { algebra},
  researchr = {https://researchr.org/publication/Erwig93%3A0},
  cites = {0},
  citedby = {0},
  pages = {45-49},
  booktitle = {Grundlagen von Datenbanken},
}

@inproceedings{Erwig01:0,
  title = {Programs Are Abstract Data Types},
  author = {Martin Erwig},
  year = {2001},
  url = {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 = {16th IEEE International Conference on Automated Software Engineering (ASE 2001), 26-29 November 2001, Coronado Island, San Diego, CA, USA},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-1426-X},
}

@article{Erwig98:2,
  title = {Abstract Syntax and Semantics of Visual Languages},
  author = {Martin Erwig},
  year = {1998},
  tags = {semantics, abstract syntax},
  researchr = {https://researchr.org/publication/Erwig98%3A2},
  cites = {0},
  citedby = {0},
  journal = {Journal of Computer Languages},
  volume = {9},
  number = {5},
  pages = {461-483},
}

@inproceedings{Erwig94,
  title = {DEAL - A Language for Depicting Algorithms},
  author = {Martin Erwig},
  year = {1994},
  researchr = {https://researchr.org/publication/Erwig94},
  cites = {0},
  citedby = {0},
  pages = {184-185},
  booktitle = {VL},
}

@inproceedings{Erwig97:0,
  title = {Functional Programming with Graphs},
  author = {Martin 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},
}

@inproceedings{RenE06,
  title = {A generic recursion toolbox for Haskell or: scrap your boilerplate systematically},
  author = {Deling Ren and Martin Erwig},
  year = {2006},
  doi = {10.1145/1159842.1159845},
  url = {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 = {Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2006, Portland, Oregon, USA, September 17, 2006},
  editor = {Andres Löh},
  publisher = {ACM},
  isbn = {1-59593-489-8},
}

@article{ChambersE09-0,
  title = {Automatic detection of dimension errors in spreadsheets},
  author = {Chris Chambers and Martin Erwig},
  year = {2009},
  doi = {10.1016/j.jvlc.2009.04.002},
  url = {http://dx.doi.org/10.1016/j.jvlc.2009.04.002},
  researchr = {https://researchr.org/publication/ChambersE09-0},
  cites = {0},
  citedby = {0},
  journal = {Journal of Computer Languages},
  volume = {20},
  number = {4},
  pages = {269-283},
}

@inproceedings{ErwigS97:0,
  title = {Vague Regions},
  author = {Martin Erwig and Markus Schneider},
  year = {1997},
  researchr = {https://researchr.org/publication/ErwigS97%3A0},
  cites = {0},
  citedby = {0},
  pages = {298-320},
  booktitle = {Advances in Spatial Databases, 5th International Symposium, SSD 97, Berlin, Germany, July 15-18, 1997, Proceedings},
  editor = {Michel Scholl and Agnès Voisard},
  volume = {1262},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-63238-7},
}

@inproceedings{ErwigW08,
  title = {A visual language for representing and explaining strategies in game theory},
  author = {Martin Erwig and Eric Walkingshaw},
  year = {2008},
  doi = {10.1109/VLHCC.2008.4639067},
  url = {http://dx.doi.org/10.1109/VLHCC.2008.4639067},
  researchr = {https://researchr.org/publication/ErwigW08},
  cites = {0},
  citedby = {1},
  pages = {101-108},
  booktitle = {IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2008, Herrsching am Ammersee, Germany, 15-19 September 2008, Proceedings},
  publisher = {IEEE},
}

@inproceedings{AbrahamE06,
  title = {AutoTest: A Tool for Automatic Test Case Generation in Spreadsheets},
  author = {Robin Abraham and Martin Erwig},
  year = {2006},
  doi = {10.1109/VLHCC.2006.11},
  url = {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 = {2006 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2006), 4-8 September 2006, Brighton, UK},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-2586-5},
}

@inproceedings{Erwig10-0,
  title = {A language for software variation research},
  author = {Martin Erwig},
  year = {2010},
  doi = {10.1145/1868294.1868296},
  url = {http://doi.acm.org/10.1145/1868294.1868296},
  researchr = {https://researchr.org/publication/Erwig10-0},
  cites = {0},
  citedby = {0},
  pages = {3-12},
  booktitle = {Generative Programming And Component Engineering, Proceedings of the Ninth International Conference on Generative Programming and Component Engineering, GPCE 2010, Eindhoven, The Netherlands, October 10-13, 2010},
  editor = {Eelco Visser and Jaakko Järvi},
  publisher = {ACM},
  isbn = {978-1-4503-0154-1},
}

@inproceedings{GutingBEJLNSV03,
  title = {Spatio-temporal Models and Languages: An Approach Based on Data Types},
  author = {Ralf Hartmut Güting and Michael H. Böhlen and Martin Erwig and Christian S. Jensen and Nikos A. Lorentzos and Enrico Nardelli and Markus Schneider and Jose Ramon Rios Viqueira},
  year = {2003},
  url = {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 = {Spatio-Temporal Databases: The CHOROCHRONOS Approach},
  editor = {Manolis Koubarakis and Timos K. Sellis and Andrew U. Frank and Stéphane Grumbach and Ralf Hartmut Güting and Christian S. Jensen and Nikos A. Lorentzos and Yannis Manolopoulos and Enrico Nardelli and Barbara Pernici and Hans-Jörg Schek and Michel Scholl and Babis Theodoulidis and Nectaria Tryfona},
  volume = {2520},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-40552-6},
}

@inproceedings{AbrahamE08,
  title = {Test-driven goal-directed debugging in spreadsheets},
  author = {Robin Abraham and Martin Erwig},
  year = {2008},
  doi = {10.1109/VLHCC.2008.4639073},
  url = {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 = {IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2008, Herrsching am Ammersee, Germany, 15-19 September 2008, Proceedings},
  publisher = {IEEE},
}

@inproceedings{ErwigW09-0,
  title = {Visual explanations of probabilistic reasoning},
  author = {Martin Erwig and Eric Walkingshaw},
  year = {2009},
  doi = {10.1109/VLHCC.2009.5295309},
  url = {http://doi.ieeecomputersociety.org/10.1109/VLHCC.2009.5295309},
  researchr = {https://researchr.org/publication/ErwigW09-0},
  cites = {0},
  citedby = {1},
  pages = {23-27},
  booktitle = {IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2009, Corvallis, OR, USA, 20-24 September 2009, Proceedings},
  publisher = {IEEE},
  isbn = {978-1-4244-4876-0},
}

@inproceedings{ErwigS00,
  title = {Query-By-Trace: Visual Predicate Specification in Spatio-Temporal Databases},
  author = {Martin Erwig and Markus Schneider},
  year = {2000},
  researchr = {https://researchr.org/publication/ErwigS00},
  cites = {0},
  citedby = {0},
  pages = {199-218},
  booktitle = {Advances in Visual Information Management, proceedings of the Fifth Working Conference on Visual Database Systems (VDB5), Fukuoka, Japan, May 10-12, 2000},
  editor = {Hiroshi Arisawa and Tiziana Catarci},
  volume = {168},
  series = {IFIP Conference Proceedings},
  publisher = {Kluwer},
  isbn = {0-7923-7835-0},
}

@inproceedings{ErwigACK05,
  title = {Automatic generation and maintenance of correct spreadsheets},
  author = {Martin Erwig and Robin Abraham and Irene Cooperstein and Steve Kollmansberger},
  year = {2005},
  doi = {10.1145/1062455.1062494},
  url = {http://doi.acm.org/10.1145/1062455.1062494},
  tags = {maintenance},
  researchr = {https://researchr.org/publication/ErwigACK05},
  cites = {0},
  citedby = {0},
  pages = {136-145},
  booktitle = {27th International Conference on Software Engineering (ICSE 2005), 15-21 May 2005, St. Louis, Missouri, USA},
  editor = {Gruia-Catalin Roman and William G. Griswold and Bashar Nuseibeh},
  publisher = {ACM},
}

@inproceedings{ErwigS99:0,
  title = {The Honeycomb Model of Spatio-Temporal Partitions},
  author = {Martin Erwig and Markus Schneider},
  year = {1999},
  url = {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 = {Spatio-Temporal Database Management, International Workshop STDBM 99, Edinburgh, Scotland, September 10-11, 1999, Proceedings},
  editor = {Michael H. Böhlen and Christian S. Jensen and Michel Scholl},
  volume = {1678},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-66401-7},
}

@article{BalsCEE07,
  title = {ClassSheets - model-based, object-oriented design of spreadsheet applications},
  author = {Jan-Christopher Bals and Fabian Christ and Gregor Engels and Martin Erwig},
  year = {2007},
  url = {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 = {Journal of Object Technology},
  volume = {6},
  number = {9},
  pages = {383-398},
}

@article{ErwigGSV99,
  title = {Spatio-Temporal Data Types: An Approach to Modeling and Querying Moving Objects in Databases},
  author = {Martin Erwig and Ralf Hartmut Güting and Markus Schneider and 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},
}

@inproceedings{ErwigS97,
  title = {Partition and Conquer},
  author = {Martin Erwig and Markus Schneider},
  year = {1997},
  tags = {partitioning},
  researchr = {https://researchr.org/publication/ErwigS97},
  cites = {0},
  citedby = {0},
  pages = {389-407},
  booktitle = {Spatial Information Theory: A Theoretical Basis for GIS, International Conference COSIT  97, Laurel Highlands, Pennsylvania, USA, October 15-18, 1997, Proceedings},
  editor = {Stephen C. Hirtle and Andrew U. Frank},
  volume = {1329},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-63623-4},
}

@article{Erwig09,
  title = {Software Engineering for Spreadsheets},
  author = {Martin Erwig},
  year = {2009},
  doi = {10.1109/MS.2009.140},
  url = {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},
}

@inproceedings{ErwigB02,
  title = {Adding Apples and Oranges},
  author = {Martin Erwig and Margaret M. Burnett},
  year = {2002},
  url = {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 = {Practical Aspects of Declarative Languages, 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002, Proceedings},
  editor = {Shriram Krishnamurthi and C. R. Ramakrishnan},
  volume = {2257},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-43092-X},
}

@inproceedings{ErwigR03,
  title = {Programming Type-Safe Program Updates},
  author = {Martin Erwig and Deling Ren},
  year = {2003},
  url = {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 = {Programming Languages and Systems, 12th European Symposium on Programming, ESOP 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings},
  editor = {Pierpaolo Degano},
  volume = {2618},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-00886-1},
}

@inproceedings{Erwig93,
  title = {Specifying Type Systems with Multi-Level Order-Sorted Algebra},
  author = {Martin Erwig},
  year = {1993},
  tags = {type system,  algebra},
  researchr = {https://researchr.org/publication/Erwig93},
  cites = {0},
  citedby = {0},
  pages = {177-184},
  booktitle = {Algebraic Methodology and Software Technology (AMAST  93), Proceedings of the Third International Conference on Methodology and Software Technology, University of Twente, Enschede, The Netherlands, 21-25 June, 1993},
  editor = {Maurice Nivat and Charles Rattray and Teodor Rus and Giuseppe Scollo},
  series = {Workshops in Computing},
  publisher = {Springer},
  isbn = {3-540-19852-0},
}

@article{ErwigR04,
  title = {Monadification of functional programs},
  author = {Martin Erwig and Deling Ren},
  year = {2004},
  doi = {10.1016/j.scico.2004.03.004},
  url = {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 = {Science of Computer Programming},
  volume = {52},
  pages = {101-129},
}

@inproceedings{ErwigM95,
  title = {Heterogeneous Visual Languages-Integrating Visual and Textual Programming},
  author = {Martin Erwig and Bernd Meyer},
  year = {1995},
  url = {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},
}

@inproceedings{Erwig92,
  title = {Graph Algorithms = Iteration + Data Structures? The Structure of Graph Algorithms and a Corresponding Style of Programming},
  author = {Martin 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 = {Graph-Theoretic Concepts in Computer Science, 18th International Workshop, WG  92, Wiesbaden-Naurod, Germany, June 19-20, 1992, Proceedings},
  editor = {Ernst W. Mayr},
  volume = {657},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-56402-0},
}

@article{Erwig01,
  title = {Inductive graphs and functional graph algorithms},
  author = {Martin Erwig},
  year = {2001},
  tags = {graph-rewriting, rewriting},
  researchr = {https://researchr.org/publication/Erwig01},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {11},
  number = {5},
  pages = {467-492},
}

@inproceedings{ErwigL91,
  title = {A Functional DBPL Revealing High Level Optimizations},
  author = {Martin Erwig and Udo W. Lipeck},
  year = {1991},
  tags = {optimization},
  researchr = {https://researchr.org/publication/ErwigL91},
  cites = {0},
  citedby = {0},
  pages = {306-321},
  booktitle = {Database Programming Languages: Bulk Types and Persistent Data. 3rd International Workshop, August 27-30, 1991, Nafplion, Greece, Proceedings},
  editor = {Paris C. Kanellakis and Joachim W. Schmidt},
  publisher = {Morgan Kaufmann},
  isbn = {1-55860-242-9},
}

@article{KoABBBESLLMRRSW11,
  title = {The state of the art in end-user software engineering},
  author = {Andrew J. Ko and Robin Abraham and Laura Beckwith and Alan F. Blackwell and Margaret M. Burnett and Martin Erwig and Christopher Scaffidi and Joseph Lawrance and Henry Lieberman and Brad A. Myers and Mary Beth Rosson and Gregg Rothermel and Mary Shaw and Susan Wiedenbeck},
  year = {2011},
  doi = {10.1145/1922649.1922658},
  url = {http://doi.acm.org/10.1145/1922649.1922658},
  tags = {software engineering},
  researchr = {https://researchr.org/publication/KoABBBESLLMRRSW11},
  cites = {0},
  citedby = {0},
  journal = {ACM Computing Surveys},
  volume = {43},
  number = {3},
  pages = {21},
}

@article{ErwigR02:0,
  title = {A rule-based language for programming software updates},
  author = {Martin Erwig and Deling Ren},
  year = {2002},
  doi = {10.1145/636517.636530},
  url = {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 Notices},
  volume = {37},
  number = {12},
  pages = {88-97},
}

@inproceedings{ErwigSG98,
  title = {Temporal Objects for Spatio-Temporal Data Models and a Comparison of Their Representations},
  author = {Martin Erwig and Markus Schneider and Ralf Hartmut Güting},
  year = {1998},
  tags = {data-flow, object-role modeling},
  researchr = {https://researchr.org/publication/ErwigSG98},
  cites = {0},
  citedby = {0},
  pages = {454-465},
  booktitle = {Advances in Database Technologies, ER  98 Workshops on Data Warehousing and Data Mining, Mobile Data Access, and Collaborative Work Support and Spatio-Temporal Data Management, Singapore, November 19-20, 1998, Proceedings},
  editor = {Yahiko Kambayashi and Dik Lun Lee and Ee-Peng Lim and Mukesh K. Mohania and Yoshifumi Masunaga},
  volume = {1552},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-65690-1},
}

@article{Erwig04,
  title = {Escape from Zurg: an exercise in logic programming},
  author = {Martin Erwig},
  year = {2004},
  doi = {10.1017/S0956796804005040},
  url = {http://dx.doi.org/10.1017/S0956796804005040},
  tags = {logic programming, programming, logic},
  researchr = {https://researchr.org/publication/Erwig04},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {14},
  number = {3},
  pages = {253-261},
}

@inproceedings{Erwig00:0,
  title = {A Visual Language for XML},
  author = {Martin Erwig},
  year = {2000},
  url = {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},
}

@book{GutingE99,
  title = {Übersetzerbau - Techniken, Werkzeuge, Anwendungen},
  author = {Ralf Hartmut Güting and Martin Erwig},
  year = {1999},
  researchr = {https://researchr.org/publication/GutingE99},
  cites = {0},
  citedby = {0},
  publisher = {Springer},
  isbn = {3-540-65389-9},
}

@article{ErwigS02,
  title = {Spatio-Temporal Predicates},
  author = {Martin Erwig and Markus Schneider},
  year = {2002},
  url = {http://www.computer.org:80/tkde/tk2002/k0881abs.htm},
  researchr = {https://researchr.org/publication/ErwigS02},
  cites = {0},
  citedby = {0},
  journal = {IEEE Trans. Knowl. Data Eng.},
  volume = {14},
  number = {4},
  pages = {881-901},
}

@inproceedings{AbrahamE05:0,
  title = {Goal-Directed Debugging of Spreadsheets},
  author = {Robin Abraham and Martin Erwig},
  year = {2005},
  doi = {10.1109/VLHCC.2005.42},
  url = {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 = {2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2005), 21-24 September 2005, Dallas, TX, USA},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-2443-5},
}

@inproceedings{Erwig99,
  title = {Visual Graphs},
  author = {Martin Erwig},
  year = {1999},
  url = {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},
}

@inproceedings{CunhaES10,
  title = {Automatically Inferring ClassSheet Models from Spreadsheets},
  author = {Jacome Cunha and Martin Erwig and João Saraiva},
  year = {2010},
  doi = {10.1109/VLHCC.2010.22},
  url = {http://dx.doi.org/10.1109/VLHCC.2010.22},
  researchr = {https://researchr.org/publication/CunhaES10},
  cites = {0},
  citedby = {0},
  pages = {93-100},
  booktitle = {IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2010, Leganés-Madrid, Spain, 21-25 September 2010, Proceedings},
  editor = {Christopher D. Hundhausen and Emmanuel Pietriga and Paloma Díaz and Mary Beth Rosson},
  publisher = {IEEE},
  isbn = {978-0-7695-4206-5},
}

@article{Erwig03:0,
  title = {Xing: a visual XML query language},
  author = {Martin Erwig},
  year = {2003},
  doi = {10.1016/S1045-926X(02)00074-5},
  url = {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 = {Journal of Computer Languages},
  volume = {14},
  number = {1},
  pages = {5-45},
}

@inproceedings{ErwigGSV98,
  title = {Abstract and Discrete Modeling of Spatio-Temporal Data Types},
  author = {Martin Erwig and Ralf Hartmut Güting and Markus Schneider and Michalis Vazirgiannis},
  year = {1998},
  tags = {modeling, data-flow},
  researchr = {https://researchr.org/publication/ErwigGSV98},
  cites = {0},
  citedby = {0},
  pages = {131-136},
  booktitle = {ACM-GIS  98, Proceedings of the 6th international symposium on Advances in Geographic Information Systems, November 6-7, 1998, Washington, DC, USA},
  editor = {Robert Laurini and Kia Makki and Niki Pissinou},
  publisher = {ACM},
}

@inproceedings{ErwigFP06,
  title = {Generic programming in Fortran},
  author = {Martin Erwig and Zhe Fu and Ben Pflaum},
  year = {2006},
  doi = {10.1145/1111542.1111564},
  url = {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 = {Proceedings of the 2006 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2006, Charleston, South Carolina, USA, January 9-10, 2006},
  editor = {John Hatcliff and Frank Tip},
  publisher = {ACM},
  isbn = {1-59593-196-1},
}

@article{ErwigK06:0,
  title = {Functional Pearls: Probabilistic functional programming in Haskell},
  author = {Martin Erwig and Steve Kollmansberger},
  year = {2006},
  doi = {10.1017/S0956796805005721},
  url = {http://dx.doi.org/10.1017/S0956796805005721},
  tags = {functional programming, Haskell, programming},
  researchr = {https://researchr.org/publication/ErwigK06%3A0},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {16},
  number = {1},
  pages = {21-34},
}

@inproceedings{AbrahamE06:0,
  title = {Type inference for spreadsheets},
  author = {Robin Abraham and Martin Erwig},
  year = {2006},
  doi = {10.1145/1140335.1140346},
  url = {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 = {Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 10-12, 2006, Venice, Italy},
  editor = {Annalisa Bossi and Michael J. Maher},
  publisher = {ACM},
  isbn = {1-59593-388-3},
}

@article{Erwig00:1,
  title = {The graph Voronoi diagram with applications},
  author = {Martin Erwig},
  year = {2000},
  doi = {10.1002/1097-0037(200010)36:3<156::AID-NET2>3.0.CO;2-L},
  url = {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},
}

@article{Erwig98,
  title = {Diets for Fat Sets},
  author = {Martin Erwig},
  year = {1998},
  researchr = {https://researchr.org/publication/Erwig98},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {8},
  number = {6},
  pages = {627-632},
}

@inproceedings{BauerEFP11,
  title = {Adaptation-based programming in java},
  author = {Tim Bauer and Martin Erwig and Alan Fern and Jervis Pinto},
  year = {2011},
  doi = {10.1145/1929501.1929518},
  url = {http://doi.acm.org/10.1145/1929501.1929518},
  tags = {rule-based, Java, programming},
  researchr = {https://researchr.org/publication/BauerEFP11},
  cites = {0},
  citedby = {0},
  pages = {81-90},
  booktitle = {Proceedings of the 2011 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2011, Austin, TX, USA, January 24-25, 2011},
  editor = {Siau-Cheng Khoo and Jeremy G. Siek},
  publisher = {ACM},
  isbn = {978-1-4503-0485-6},
}

@article{ErwigR07,
  title = {An update calculus for expressing type-safe program updates},
  author = {Martin Erwig and Deling Ren},
  year = {2007},
  doi = {10.1016/j.scico.2007.01.003},
  url = {http://dx.doi.org/10.1016/j.scico.2007.01.003},
  researchr = {https://researchr.org/publication/ErwigR07},
  cites = {1},
  citedby = {0},
  journal = {Science of Computer Programming},
  volume = {67},
  number = {2-3},
  pages = {199-222},
}

@inproceedings{ErwigG92,
  title = {Modellierung von Netzen in Geo-Datenbanken},
  author = {Martin Erwig and Ralf Hartmut Güting},
  year = {1992},
  researchr = {https://researchr.org/publication/ErwigG92},
  cites = {0},
  citedby = {0},
  pages = {27-29},
  booktitle = {Grundlagen von Datenbanken},
}

@inproceedings{Erwig98:1,
  title = {Visual Semantics - Or: What You See is What You Compute},
  author = {Martin Erwig},
  year = {1998},
  tags = {semantics},
  researchr = {https://researchr.org/publication/Erwig98%3A1},
  cites = {0},
  citedby = {0},
  pages = {96-97},
  booktitle = {VL},
}

@inproceedings{Erwig03,
  title = {Toward the Automatic Derivation of XML Transformations},
  author = {Martin Erwig},
  year = {2003},
  url = {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 = {Conceptual Modeling for Novel Application Domains, ER 2003 Workshops ECOMO, IWCMQ, AOIS, and XSDM, Chicago, IL, USA, October 13, 2003, Proceedings},
  editor = {Manfred A. Jeusfeld and Oscar Pastor},
  volume = {2814},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-20257-9},
}

@inproceedings{ChambersE09,
  title = {Combining spatial and semantic label analysis},
  author = {Chris Chambers and Martin Erwig},
  year = {2009},
  doi = {10.1109/VLHCC.2009.5295258},
  url = {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 = {IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2009, Corvallis, OR, USA, 20-24 September 2009, Proceedings},
  publisher = {IEEE},
  isbn = {978-1-4244-4876-0},
}

@inproceedings{WalkingshawE09-0,
  title = {Varying Domain Representations in Hagl},
  author = {Eric Walkingshaw and Martin Erwig},
  year = {2009},
  doi = {10.1007/978-3-642-03034-5_15},
  url = {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 = {Domain-Specific Languages, IFIP TC 2 Working Conference, DSL 2009, Oxford, UK, July 15-17, 2009, Proceedings},
  editor = {Walid Mohamed Taha},
  volume = {5658},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-03033-8},
}

@inproceedings{AbrahamEKS05,
  title = {Visual Specifications of Correct Spreadsheets},
  author = {Robin Abraham and Martin Erwig and Steve Kollmansberger and Ethan Seifert},
  year = {2005},
  doi = {10.1109/VLHCC.2005.70},
  url = {http://doi.ieeecomputersociety.org/10.1109/VLHCC.2005.70},
  researchr = {https://researchr.org/publication/AbrahamEKS05},
  cites = {0},
  citedby = {0},
  pages = {189-196},
  booktitle = {2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2005), 21-24 September 2005, Dallas, TX, USA},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-2443-5},
}

@article{AbrahamE05,
  title = {How to communicate unit error messages in spreadsheets},
  author = {Robin Abraham and Martin Erwig},
  year = {2005},
  doi = {10.1145/1082983.1083243},
  url = {http://doi.acm.org/10.1145/1082983.1083243},
  researchr = {https://researchr.org/publication/AbrahamE05},
  cites = {0},
  citedby = {0},
  journal = {ACM SIGSOFT Software Engineering Notes},
  volume = {30},
  number = {4},
  pages = {1-5},
}

@article{Erwig06,
  title = {Visual type inference},
  author = {Martin Erwig},
  year = {2006},
  doi = {10.1016/j.jvlc.2005.04.004},
  url = {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 = {Journal of Computer Languages},
  volume = {17},
  number = {2},
  pages = {161-186},
}

@inproceedings{ErwigS99,
  title = {Developments in Spatio-Temporal Query Languages},
  author = {Martin Erwig and Markus Schneider},
  year = {1999},
  url = {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 = {DEXA Workshop},
}

@inproceedings{ChambersE08,
  title = {Dimension inference in spreadsheets},
  author = {Chris Chambers and Martin Erwig},
  year = {2008},
  doi = {10.1109/VLHCC.2008.4639072},
  url = {http://dx.doi.org/10.1109/VLHCC.2008.4639072},
  researchr = {https://researchr.org/publication/ChambersE08},
  cites = {0},
  citedby = {0},
  pages = {123-130},
  booktitle = {IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2008, Herrsching am Ammersee, Germany, 15-19 September 2008, Proceedings},
  publisher = {IEEE},
}

@inproceedings{AbrahamE04,
  title = {Header and Unit Inference for Spreadsheets Through Spatial Analyses},
  author = {Robin Abraham and Martin Erwig},
  year = {2004},
  doi = {10.1109/VLHCC.2004.29},
  url = {http://doi.ieeecomputersociety.org/10.1109/VLHCC.2004.29},
  researchr = {https://researchr.org/publication/AbrahamE04},
  cites = {0},
  citedby = {0},
  pages = {165-172},
  booktitle = {2004 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2004), 26-29 September 2004, Rome, Italy},
  publisher = {IEEE Computer Society},
}

@article{ErwigJ00,
  title = {Pattern Guards and Transformational Patterns},
  author = {Martin Erwig and Simon L. Peyton Jones},
  year = {2000},
  url = {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 = {Electronic Notes in Theoretical Computer Science},
  volume = {41},
  number = {1},
  pages = {3},
}

@inproceedings{ErwigH03,
  title = {KeyQuery - A Front End for the Automatic Translation of Keywords into Structured Queries},
  author = {Martin Erwig and Jianglin He},
  year = {2003},
  url = {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 = {Database and Expert Systems Applications, 14th International Conference, DEXA 2003, Prague, Czech Republic, September 1-5, 2003, Proceedings},
  editor = {Vladimír Marík and Werner Retschitzegger and Olga Stepánková},
  volume = {2736},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-40806-1},
}

@inproceedings{ErwigK06,
  title = {Modeling Genome Evolution with a DSEL for Probabilistic Programming},
  author = {Martin Erwig and Steve Kollmansberger},
  year = {2006},
  doi = {10.1007/11603023_10},
  url = {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 = {Practical Aspects of Declarative Languages, 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006, Proceedings},
  editor = {Pascal Van Hentenryck},
  volume = {3819},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-30947-0},
}

@inproceedings{LawranceABE06,
  title = {Sharing reasoning about faults in spreadsheets: An empirical study},
  author = {Joseph Lawrance and Robin Abraham and Margaret M. Burnett and Martin Erwig},
  year = {2006},
  doi = {10.1109/VLHCC.2006.43},
  url = {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 = {2006 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2006), 4-8 September 2006, Brighton, UK},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-2586-5},
}

@article{ChambersE10-0,
  title = {Reasoning about spreadsheets with labels and dimensions},
  author = {Chris Chambers and Martin Erwig},
  year = {2010},
  doi = {10.1016/j.jvlc.2010.08.004},
  url = {http://dx.doi.org/10.1016/j.jvlc.2010.08.004},
  researchr = {https://researchr.org/publication/ChambersE10-0},
  cites = {0},
  citedby = {0},
  journal = {Journal of Computer Languages},
  volume = {21},
  number = {5},
  pages = {249-262},
}

@article{ErwigF05,
  title = {Software reuse for scientific computing through program generation},
  author = {Martin Erwig and Zhe Fu},
  year = {2005},
  doi = {10.1145/1061254.1061257},
  url = {http://doi.acm.org/10.1145/1061254.1061257},
  tags = {reuse},
  researchr = {https://researchr.org/publication/ErwigF05},
  cites = {0},
  citedby = {0},
  journal = {ACM Transactions on Software Engineering Methodology},
  volume = {14},
  number = {2},
  pages = {168-198},
}

@article{GutingBEJLSV00,
  title = {A foundation for representing and quering moving objects},
  author = {Ralf Hartmut Güting and Michael H. Böhlen and Martin Erwig and Christian S. Jensen and Nikos A. Lorentzos and Markus Schneider and Michalis Vazirgiannis},
  year = {2000},
  doi = {10.1145/352958.352963},
  url = {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 = {ACM Trans. Database Syst.},
  volume = {25},
  number = {1},
  pages = {1-42},
}

@inproceedings{ErwigA07,
  title = {Understanding and Building Spreadsheet Tools},
  author = {Martin Erwig and Robin Abraham},
  year = {2007},
  doi = {10.1109/VLHCC.2007.57},
  url = {http://doi.ieeecomputersociety.org/10.1109/VLHCC.2007.57},
  researchr = {https://researchr.org/publication/ErwigA07},
  cites = {0},
  citedby = {0},
  pages = {7},
  booktitle = {2007 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2007), 23-27 September 2007, Coeur d Alene, Idaho, USA},
  publisher = {IEEE Computer Society},
  isbn = {978-0-7695-2987-5},
}

@article{ErwigG94,
  title = {Explicit Graphs in a Functional Model for Spatial Databases},
  author = {Martin Erwig and Ralf Hartmut Güting},
  year = {1994},
  tags = {graph-rewriting, rewriting},
  researchr = {https://researchr.org/publication/ErwigG94},
  cites = {0},
  citedby = {0},
  journal = {IEEE Trans. Knowl. Data Eng.},
  volume = {6},
  number = {5},
  pages = {787-804},
}

@inproceedings{BurnettE02:0,
  title = {Visually Customizing Inference Rules About Apples and Oranges},
  author = {Margaret M. Burnett and Martin Erwig},
  year = {2002},
  url = {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 = {2002 IEEE CS International Symposium on Human-Centric Computing Languages and Environments (HCC 2002), 3-6 September 2002, Arlington, VA, USA},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-1644-0},
}

@inproceedings{ErwigF04,
  title = {Parametric Fortran - A Program Generator for Customized Generic Fortran Extensions},
  author = {Martin Erwig and Zhe Fu},
  year = {2004},
  url = {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 = {Practical Aspects of Declarative Languages, 6th International Symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004, Proceedings},
  editor = {Bharat Jayaraman},
  volume = {3057},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-22253-7},
}
@proceedings{sle-2013,
  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 = {Martin Erwig and Richard F. Paige and Eric {Van Wyk}},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
}