A Functional DBPL Revealing High Level Optimizations. - Martin Erwig; Udo W. Lipeck (DBPL, 1991)

Modellierung von Netzen in Geo-Datenbanken. - Martin Erwig; Ralf Hartmut Güting (Grundlagen von Datenbanken, 1992)

Graph Algorithms = Iteration + Data Structures? The Structure of Graph Algorithms and a Corresponding Style of Programming. - Martin Erwig (WG, 1992)

Specifying Type Systems with Multi-Level Order-Sorted Algebra. - Martin Erwig (AMAST, 1993)

Spezifikation von Datenmodellen mittels mehrstufiger Algebra. - Martin Erwig (Grundlagen von Datenbanken, 1993)

DEAL - A Language for Depicting Algorithms. - Martin Erwig (VL, 1994)

Graphs in Spatial Databases. - Martin Erwig (GI Datenbank Rundbrief, 1994)

Explicit Graphs in a Functional Model for Spatial Databases. - Martin Erwig; Ralf Hartmut Güting (IEEE Trans. Knowl. Data Eng., 1994)

Graphs in spatial databases. - Martin Erwig (1994)

Heterogeneous Visual Languages-Integrating Visual and Textual Programming. - Martin Erwig; Bernd Meyer 001 (VL, 1995)

Encoding shortest paths in spatial networks. - Martin Erwig (Networks, 1995)

Active Patterns. - Martin Erwig (Implementation of Functional Languages, 1996)

Partition and Conquer. - Martin Erwig; Markus Schneider 001 (COSIT, 1997)

Functional Programming with Graphs. - Martin Erwig (ICFP, 1997)

Fully Persistent Graphs - Which One To Choose? - Martin Erwig (Implementation of Functional Languages, 1997)

Vague Regions. - Martin Erwig; Markus Schneider 001 (SSD, 1997)

Semantics of Visual Languages. - Martin Erwig (VL, 1997)

Categorical Programming with Abstract Data Types. - Martin Erwig (AMAST, 1998)

Temporal Objects for Spatio-Temporal Data Models and a Comparison of Their Representations. - Martin Erwig; Markus Schneider 001; Ralf Hartmut Güting (ER Workshops, 1998)

Abstract and Discrete Modeling of Spatio-Temporal Data Types. - Martin Erwig; Ralf Hartmut Güting; Markus Schneider 001; Michalis Vazirgiannis (ACM-GIS, 1998)

Visual Semantics - Or: What You See is What You Compute. - Martin Erwig (VL, 1998)

Diets for Fat Sets. - Martin Erwig (J. Funct. Program., 1998)

Abstract Syntax and Semantics of Visual Languages. - Martin Erwig (J. Vis. Lang. Comput., 1998)

Übersetzerbau - Techniken, Werkzeuge, Anwendungen - Ralf Hartmut Güting; Martin Erwig (Springer, 1999)

Developments in Spatio-Temporal Query Languages. - Martin Erwig; Markus Schneider 001 (DEXA Workshop, 1999)

The Honeycomb Model of Spatio-Temporal Partitions. - Martin Erwig; Markus Schneider 001 (Spatio-Temporal Database Management, 1999)

Visual Graphs. - Martin Erwig (VL, 1999)

Visual Specification of Spatio-Temporal Developments. - Martin Erwig; Markus Schneider 001 (VL, 1999)

Spatio-Temporal Data Types: An Approach to Modeling and Querying Moving Objects in Databases. - Martin Erwig; Ralf Hartmut Güting; Markus Schneider 001; Michalis Vazirgiannis (GeoInformatica, 1999)

Random Access to Abstract Data Types. - Martin Erwig (AMAST, 2000)

Query-By-Trace: Visual Predicate Specification in Spatio-Temporal Databases. - Martin Erwig; Markus Schneider 001 (VDB, 2000)

A Visual Language for XML. - Martin Erwig (VL, 2000)

Pattern Guards and Transformational Patterns. - Martin Erwig; Simon L. Peyton Jones (Haskell, 2000)

The graph Voronoi diagram with applications. - Martin Erwig (Networks, 2000)

A foundation for representing and querying moving objects. - Ralf Hartmut Güting; Michael H. Böhlen; Martin Erwig; Christian S. Jensen; Nikos A. Lorentzos; Markus Schneider 001; Michalis Vazirgiannis (ACM Trans. Database Syst., 2000)

Programs Are Abstract Data Types. - Martin Erwig (ASE, 2001)

Inductive graphs and functional graph algorithms. - Martin Erwig (J. Funct. Program., 2001)

Adding Apples and Oranges. - Martin Erwig; Margaret M. Burnett (PADL, 2002)

Visually Customizing Inference Rules About Apples and Oranges. - Margaret M. Burnett; Martin Erwig (HCC, 2002)

A rule-based language for programming software updates. - Martin Erwig; Deling Ren (ACM SIGPLAN Notices, 2002)

Spatio-Temporal Predicates. - Martin Erwig; Markus Schneider 001 (IEEE Trans. Knowl. Data Eng., 2002)

Spatio-temporal Models and Languages: An Approach Based on Data Types. - Ralf Hartmut Güting; Michael H. Böhlen; Martin Erwig; Christian S. Jensen; Nikos A. Lorentzos; Enrico Nardelli; Markus Schneider 001; José Ramon Rios Viqueira (Spatio-Temporal Databases: The CHOROCHRONOS Approach, 2003)

KeyQuery - A Front End for the Automatic Translation of Keywords into Structured Queries. - Martin Erwig; Jianglin He (DEXA, 2003)

Toward the Automatic Derivation of XML Transformations. - Martin Erwig (ER (Workshops), 2003)

Programming Type-Safe Program Updates. - Martin Erwig; Deling Ren (ESOP, 2003)

Xing: a visual XML query language. - Martin Erwig (J. Vis. Lang. Comput., 2003)

A visual language for the evolution of spatial relationships and its translation into a spatio-temporal calculus. - Martin Erwig; Markus Schneider 001 (J. Vis. Lang. Comput., 2003)

Parametric Fortran - A Program Generator for Customized Generic Fortran Extensions. - Martin Erwig; Zhe Fu (PADL, 2004)

Header and Unit Inference for Spreadsheets Through Spatial Analyses. - Robin Abraham; Martin Erwig (VL/HCC, 2004)

Escape from Zurg: an exercise in logic programming. - Martin Erwig (J. Funct. Program., 2004)

Monadification of functional programs. - Martin Erwig; Deling Ren (Sci. Comput. Program., 2004)

Automatic generation and maintenance of correct spreadsheets. - Martin Erwig; Robin Abraham; Irene Cooperstein; Steve Kollmansberger (ICSE, 2005)

ClassSheets: automatic generation of spreadsheet applications from object-oriented specifications. - Gregor Engels; Martin Erwig (ASE, 2005)

Goal-Directed Debugging of Spreadsheets. - Robin Abraham; Martin Erwig (VL/HCC, 2005)

Visual Specifications of Correct Spreadsheets. - Robin Abraham; Martin Erwig; Steve Kollmansberger; Ethan Seifert (VL/HCC, 2005)

How to communicate unit error messages in spreadsheets. - Robin Abraham; Martin Erwig (ACM SIGSOFT Softw. Eng. Notes, 2005)

Software reuse for scientific computing through program generation. - Martin Erwig; Zhe Fu (ACM Trans. Softw. Eng. Methodol., 2005)

A generic recursion toolbox for Haskell or: scrap your boilerplate systematically. - Deling Ren; Martin Erwig (Haskell, 2006)

Inferring templates from spreadsheets. - Robin Abraham; Martin Erwig (ICSE, 2006)

Modeling Genome Evolution with a DSEL for Probabilistic Programming. - Martin Erwig; Steve Kollmansberger (PADL, 2006)

Generic programming in Fortran. - Martin Erwig; Zhe Fu; Ben Pflaum (PEPM, 2006)

Type inference for spreadsheets. - Robin Abraham; Martin Erwig (PPDP, 2006)

AutoTest: A Tool for Automatic Test Case Generation in Spreadsheets. - Robin Abraham; Martin Erwig (VL/HCC, 2006)

Sharing reasoning about faults in spreadsheets: An empirical study. - Joseph Lawrance; Robin Abraham; Margaret M. Burnett; Martin Erwig (VL/HCC, 2006)

Gencel: a program generator for correct spreadsheets. - Martin Erwig; Robin Abraham; Steve Kollmansberger; Irene Cooperstein (J. Funct. Program., 2006)

Functional Pearls: Probabilistic functional programming in Haskell. - Martin Erwig; Steve Kollmansberger (J. Funct. Program., 2006)

Visual type inference. - Martin Erwig (J. Vis. Lang. Comput., 2006)

Exploiting Domain-Specific Structures For End-User Programming Support Tools. - Robin Abraham; Martin Erwig (End-User Software Engineering, 2007)

GoalDebug: A Spreadsheet Debugger for End Users. - Robin Abraham; Martin Erwig (ICSE, 2007)

A Type System Based on End-User Vocabulary. - Robin Abraham; Martin Erwig; Scott Andrew (VL/HCC, 2007)

Understanding and Building Spreadsheet Tools. - Martin Erwig; Robin Abraham (VL/HCC, 2007)

ClassSheets - model-based, object-oriented design of spreadsheet applications. - Jan-Christopher Bals; Fabian Christ; Gregor Engels; Martin Erwig (J. Object Technol., 2007)

An update calculus for expressing type-safe program updates. - Martin Erwig; Deling Ren (Sci. Comput. Program., 2007)

Parametric Fortran: program generation in scientific computing. - Martin Erwig; Zhe Fu; Ben Pflaum (J. Softw. Maintenance Res. Pract., 2007)

UCheck: A spreadsheet type checker for end users. - Robin Abraham; Martin Erwig (J. Vis. Lang. Comput., 2007)

Test-driven goal-directed debugging in spreadsheets. - Robin Abraham; Martin Erwig (VL/HCC, 2008)

Dimension inference in spreadsheets. - Chris Chambers; Martin Erwig (VL/HCC, 2008)

A visual language for representing and explaining strategies in game theory. - Martin Erwig; Eric Walkingshaw (VL/HCC, 2008)

Spreadsheet Programming. - Robin Abraham; Margaret M. Burnett; Martin Erwig (Wiley Encyclopedia of Computer Science and Engineering, 2008)

A DSL for Explaining Probabilistic Reasoning. - Martin Erwig; Eric Walkingshaw (DSL, 2009)

Varying Domain Representations in Hagl. - Eric Walkingshaw; Martin Erwig (DSL, 2009)

Declarative Scripting in Haskell. - Tim Bauer; Martin Erwig (SLE, 2009)

Combining spatial and semantic label analysis. - Chris Chambers; Martin Erwig (VL/HCC, 2009)

Visual explanations of probabilistic reasoning. - Martin Erwig; Eric Walkingshaw (VL/HCC, 2009)

A domain-specific language for experimental game theory. - Eric Walkingshaw; Martin Erwig (J. Funct. Program., 2009)

Software Engineering for Spreadsheets. - Martin Erwig (IEEE Softw., 2009)

Mutation Operators for Spreadsheets. - Robin Abraham; Martin Erwig (IEEE Trans. Software Eng., 2009)

Automatic detection of dimension errors in spreadsheets. - Chris Chambers; Martin Erwig (J. Vis. Lang. Comput., 2009)

A language for software variation research. - Martin Erwig (GPCE, 2010)

Robust Learning for Adaptive Programs by Leveraging Program Structure. - Jervis Pinto; Alan Fern; Tim Bauer; Martin Erwig (ICMLA, 2010)

Program fields for continuous software. - Martin Erwig; Eric Walkingshaw (FoSER, 2010)

SheetDiff: A Tool for Identifying Changes in Spreadsheets. - Chris Chambers; Martin Erwig; Markus Luckey (VL/HCC, 2010)

Automatically Inferring ClassSheet Models from Spreadsheets. - Jácome Cunha; Martin Erwig; João Saraiva (VL/HCC, 2010)

Causal Reasoning with Neuron Diagrams. - Martin Erwig; Eric Walkingshaw (VL/HCC, 2010)

Reasoning about spreadsheets with labels and dimensions. - Chris Chambers; Martin Erwig (J. Vis. Lang. Comput., 2010)

Variation Programming with the Choice Calculus. - Martin Erwig; Eric Walkingshaw (GTTSE, 2011)

Adaptation-based programming in java. - Tim Bauer; Martin Erwig; Alan Fern; Jervis Pinto (PEPM, 2011)

Semantics First! - Rethinking the Language Design Process. - Martin Erwig; Eric Walkingshaw (SLE, 2011)

Optimizing the Product Derivation Process. - Sheng Chen 008; Martin Erwig (SPLC, 2011)

#ifdef confirmed harmful: Promoting understandable software variation. - Duc Le; Eric Walkingshaw; Martin Erwig (VL/HCC, 2011)

Adaptation-Based Programming in Haskell - Tim Bauer; Martin Erwig; Alan Fern; Jervis Pinto (DSL, 2011)

A DSEL for Studying and Explaining Causation - Eric Walkingshaw; Martin Erwig (DSL, 2011)

The state of the art in end-user software engineering. - Amy J. Ko; Robin Abraham; Laura Beckwith; Alan F. Blackwell; Margaret M. Burnett; Martin Erwig; Christopher Scaffidi; Joseph Lawrance; Henry Lieberman; Brad A. Myers; Mary Beth Rosson; Gregg Rothermel; et al. (ACM Comput. Surv., 2011)

Improving Policy Gradient Estimates with Influence Information. - Jervis Pinto; Alan Fern; Tim Bauer; Martin Erwig (ACML, 2011)

The Choice Calculus: A Representation for Software Variation. - Martin Erwig; Eric Walkingshaw (ACM Trans. Softw. Eng. Methodol., 2011)

Explanations for Regular Expressions. - Martin Erwig; Rahul Gopinath (FASE, 2012)

Faster program adaptation through reward attribution inference. - Tim Bauer; Martin Erwig; Alan Fern; Jervis Pinto (GPCE, 2012)

A calculus for modeling and implementing variation. - Eric Walkingshaw; Martin Erwig (GPCE, 2012)

Surveyor: a DSEL for representing and analyzing strongly typed surveys. - Wyatt Allen; Martin Erwig (Haskell, 2012)

An error-tolerant type system for variational lambda calculus. - Sheng Chen 008; Martin Erwig; Eric Walkingshaw (ICFP, 2012)

Learning-Based Test Programming for Programmers. - Alex Groce; Alan Fern; Martin Erwig; Jervis Pinto; Tim Bauer; Mohammad Amin Alipour (ISoLA (1), 2012)

Lightweight Automated Testing with Adaptation-Based Programming. - Alex Groce; Alan Fern; Jervis Pinto; Tim Bauer; Mohammad Amin Alipour; Martin Erwig; Camden Lopez (ISSRE, 2012)

Finding common ground: choose, assert, and assume. - Alex Groce; Martin Erwig (WODA, 2012)

Systematic evolution of model-based spreadsheet applications. - Markus Luckey; Martin Erwig; Gregor Engels (J. Vis. Lang. Comput., 2012)

An abstract representation of variational graphs. - Martin Erwig; Eric Walkingshaw; Sheng Chen 008 (FOSD, 2013)

Adding configuration to the choice calculus. - Martin Erwig; Klaus Ostermann; Tillmann Rendel; Eric Walkingshaw (VaMoS, 2013)

Explicitness in language design. - Martin Erwig (VL/HCC, 2013)

A visual language for explaining probabilistic reasoning. - Martin Erwig; Eric Walkingshaw (J. Vis. Lang. Comput., 2013)

Guided Type Debugging. - Sheng Chen 008; Martin Erwig (FLOPS, 2014)

A transformational approach to data visualization. - Karl Smeltzer; Martin Erwig; Ronald A. Metoyer (GPCE, 2014)

Type-based parametric analysis of program families. - Sheng Chen 008; Martin Erwig (ICFP, 2014)

Variational Data Structures: Exploring Tradeoffs in Computing with Variability. - Eric Walkingshaw; Christian Kästner; Martin Erwig; Sven Apel; Eric Bodden (Onward!, 2014)

Early detection of type errors in C++ templates. - Sheng Chen 008; Martin Erwig (PEPM, 2014)

Counter-factual typing for debugging type errors. - Sheng Chen 008; Martin Erwig (POPL, 2014)

Let's hear both sides: On combining type-error reporting tools. - Sheng Chen 008; Martin Erwig; Karl Smeltzer (VL/HCC, 2014)

A notation for non-linear program edits. - Martin Erwig; Karl Smeltzer; Keying Xu (VL/HCC, 2014)

Extending Type Inference to Variational Programs. - Sheng Chen 008; Martin Erwig; Eric Walkingshaw (ACM Trans. Program. Lang. Syst., 2014)

Domain-Specific Languages (Dagstuhl Seminar 15062). - Sebastian Erdweg; Martin Erwig; Richard F. Paige; Eelco Visser (Dagstuhl Reports, 2015)

A Calculus for Variational Programming. - Sheng Chen 008; Martin Erwig; Eric Walkingshaw (ECOOP, 2016)

Principal type inference for GADTs. - Sheng Chen 008; Martin Erwig (POPL, 2016)

Model inference for spreadsheets. - Jácome Cunha; Martin Erwig; Jorge Mendes 001; João Saraiva (Autom. Softw. Eng., 2016)

Variational lists: comparisons and design guidelines. - Karl Smeltzer; Martin Erwig (FOSD, 2017)

Exploiting diversity in type checkers for better error messages. - Sheng Chen 008; Martin Erwig; Karl Smeltzer (J. Vis. Lang. Comput., 2017)

What is a visual language? - Martin Erwig; Karl Smeltzer; Xiangyu Wang (J. Vis. Lang. Comput., 2017)

Variational Pictures. - Martin Erwig; Karl Smeltzer (Diagrams, 2018)

Explaining spreadsheets with spreadsheets (short paper). - Jácome Cunha; Mihai Dan; Martin Erwig; Danila Fedorin; Alex Grejuc (GPCE, 2018)

A domain-specific language for exploratory data visualization. - Karl Smeltzer; Martin Erwig (GPCE, 2018)

Comparative Visualizations through Parameterization and Variability. - Karl Smeltzer; Martin Erwig (VL/HCC, 2018)

Typed Table Transformations. - Martin Erwig (CoRR, 2018)

Systematic identification and communication of type errors. - Sheng Chen 008; Martin Erwig (J. Funct. Program., 2018)

Migrating gradual types. - John Peter Campora III; Sheng Chen 008; Martin Erwig; Eric Walkingshaw (Proc. ACM Program. Lang., 2018)

Usability of Probabilistic Programming Languages. - Alan F. Blackwell; Luke Church; Martin Erwig; James Geddes; Andy Gordon 001; Maria I. Gorinova 001; Atilim Gunes Baydin; Bradley Gram-Hansen; Tobias Kohn; Neil D. Lawrence; Vikash Mansinghka 001; Brooks Paige; et al. (PPIG, 2019)

Story Programming: Explaining Computer Science Before Coding. - Jennifer Parham-Mocello; Shannon Ernst; Martin Erwig; Lily Shellhammer; Emily Dominguez (SIGCSE, 2019)

To Code or Not to Code? Programming in Introductory CS Courses. - Jennifer Parham-Mocello; Martin Erwig; Emily Dominguez (VL/HCC, 2019)

Explanations for Dynamic Programming. - Martin Erwig; Prashant Kumar; Alan Fern (PADL, 2020)

Does Story Programming Prepare for Coding? - Jennifer Parham-Mocello; Martin Erwig (SIGCSE, 2020)

Adaptable Traces for Program Explanations. - Divya Bajaj; Martin Erwig; Danila Fedorin; Kai Gay (APLAS, 2021)

MADMAX: a DSL for explanatory decision making. - Martin Erwig; Prashant Kumar (GPCE, 2021)

A Visual Notation for Succinct Program Traces. - Divya Bajaj; Martin Erwig; Danila Fedorin; Kai Gay (VL/HCC, 2021)

Teaching CS Middle School Camps in a Virtual World. - Jennifer Parham-Mocello; Martin Erwig; Margaret Niess (VL/HCC, 2021)

Explainable dynamic programming. - Martin Erwig; Prashant Kumar (J. Funct. Program., 2021)

Using a Functional Board Game Language to Teach Middle School Programming. - Jennifer Parham-Mocello; Martin Erwig; Margaret Niess; Aiden Nelson; Jason Weber; Garrett Berliner (FIE, 2022)

Exploring the Use of Games and a Domain-Specific Teaching Language in CS0. - Jennifer Parham-Mocello; Aiden Nelson; Martin Erwig (ITiCSE (1), 2022)

Intersectionality Goes Analytical: Taming Combinatorial Explosion Through Type Abstraction. - Margaret Burnett; Martin Erwig; Abrar Fallatah; Christopher Bogart; Anita Sarma (CoRR, 2022)

Explaining Results of Multi-Criteria Decision Making. - Martin Erwig; Prashant Kumar (CoRR, 2022)

MatchMaker: A DSL for Game-Theoretic Matching. - Prashant Kumar; Martin Erwig (TFP, 2023)

Putting Computing on the Table: Using Physical Games to Teach Computer Science. - Jennifer Parham-Mocello; Martin Erwig; Margaret Niess; Jason Weber; Madelyn Smith; Garrett Berliner (SIGCSE (1), 2023)

A visual notation for succinct program traces. - Divya Bajaj; Martin Erwig; Danila Fedorin (J. Comput. Lang., 2023)

Analogies and Active Engagement: Introducing Computer Science. - Jennifer Parham-Mocello; Martin Erwig; Margaret Niess (SIGCSE (1), 2024)

Explanations for combinatorial optimization problems. - Martin Erwig; Prashant Kumar (J. Comput. Lang., 2024)