Publications

Analogies and Active Engagement: Introducing Computer Science, Jennifer Parham-Mocello, Martin Erwig, and Margaret Niess
ACM Symp. on Computer Science Education, 2024, to appear

MatchMaker: A DSL for Game-Theoretic Matching, Prashant Kumar and Martin Erwig
Symp. on Trends in Functional Programming, LNCS 13868, 51-71, 2023
John McCarthy Best Paper Award

A Visual Notation for Succinct Program Traces, Divya Bajaj, Martin Erwig, and Danila Fedorin
Journal of Computer Languages, Vol. 74, 2023.

Putting Computing on the Table: Using Physical Games to Teach Computer Science, Jennifer Parham-Mocello, Martin Erwig, Margaret Niess, Jason Weber, Madalyn Smith, and Garrett Berliner
ACM Symp. on Computer Science Education, 444-450, 2023

Migrating Gradual Types, John Peter Campora III, Sheng Chen, Martin Erwig, and Eric Walkingshaw
Journal of Functional Programming, Vol. 32, No. e14, 60 pages, 2022

Using a Text-Based, Functional Board Game Language to Teach Middle School Programming, Jennifer Parham-Mocello, Martin Erwig, and Margaret Niess
IEEE Conf. on Frontiers in Education, 1-9, 2022

Exploring the Use of Games and a Domain-Specific Teaching Language in CS0, Jennifer Parham-Mocello, Aiden Nelson, and Martin Erwig
ACM Conf. on Innovation and Technology in Computer Science Education, 351-357, 2022

MADMAX: A DSL for Explanatory Decision Making, Martin Erwig and Prashant Kumar
ACM SIGPLAN Conf. on Generative Programming: Concepts & Experiences, 144-155, 2021

Adaptable Traces for Program Explanations, Divya Bajaj, Martin Erwig, Danila Fedorin, and Kai Gay
Asian Symp. on Programming Languages and Systems, LNCS 13008, 202-221, 2021

Explainable Dynamic Programming, Martin Erwig and Prashant Kumar
Journal of Functional Programming, Vol. 31, No. e10, 26 pages, 2021

A Visual Notation for Succinct Program Traces, Divya Bajaj, Martin Erwig, Danila Fedorin, and Kai Gay
IEEE Int. Symp. on Visual Languages and Human-Centric Computing, 1-9, 2021

Teaching CS Middle School Camps in a Virtual World, Jennifer Parham-Mocello, Martin Erwig, and Margaret Niess
IEEE Int. Symp. on Visual Languages and Human-Centric Computing, 1-4, 2021

Reframing Middle School Mathematics Teachers' TPACK for Teaching A New Computer Science Curriculum: Researcher-Practitioner Partnership, Board Games, and Virtual Teaching Experiences, Margaret Niess, Jennifer Parham-Mocello, and Martin Erwig
Int. Conf. of the Society for Information Technology & Teacher Education, 1623-1631, 2021

Does Story Programming Prepare for Coding?, Jennifer Parham-Mocello and Martin Erwig
ACM Symp. on Computer Science Education, 100-106, 2020

Explanations for Dynamic Programming, Martin Erwig, Prashant Kumar, and Alan Fern
Int. Symp. on Practical Aspects of Declarative Languages, LNCS 12007, 179-195, 2020

Algorithms Aren't All Created Equal, Martin Erwig
Popular Science, September 13, 2019

Usability of Probabilistic Programming Languages, Alan F. Blackwell, Luke Church, Martin Erwig, James Geddes, Andy Gordon, Maria Gorinova, Atilim Gunes Baydin, Bradley Gram-Hansen, Tobias Kohn, Neil Lawrence, Vikash Mansinghka, Brooks Paige, Tomas Petricek, Diana Robinson, Advait Sarkar, and Oliver Strickson
30th Annual Workshop of the Psychology of Programming Interest Group, 1-19, 2019

To Code or Not to Code? Programming in Introductory CS Courses, Jennifer Parham-Mocello, Martin Erwig, and Emily Dominguez
IEEE Int. Symp. on Visual Languages and Human-Centric Computing, 187-191, 2019

Explainable Reinforcement Learning via Reward Decomposition, Zoe Juozapaitis, Anurag Koul, Alan Ferm, Martin Erwig, and Finale Doshi-Velez
IJCAI/ECAI Workshop on Explainable Artificial Intelligence, 47-53, 2019

Story Programming: Explaining Computer Science Before Coding, Jennifer Parham-Mocello, Shannon Ernst, Martin Erwig, Emily Dominguez, and Lily Shellhammer
ACM Symp. on Computer Science Education, 379-385, 2019

A Domain-Specific Language for Exploratory Data Visualization, Karl Smeltzer and Martin Erwig
ACM SIGPLAN Conf. on Generative Programming: Concepts & Experiences, 1-13, 2018

Explaining Spreadsheets with Spreadsheets, Jacome Cunha, Mihai Dan, Martin Erwig, Danila Fedorin, and Alex Grejuc
ACM SIGPLAN Conf. on Generative Programming: Concepts & Experiences, 161-167, 2018

Comparative Visualizations through Parameterization and Variability, Karl Smeltzer and Martin Erwig
IEEE Int. Symp. on Visual Languages and Human-Centric Computing, 7-15, 2018

Typed Table Transformations, Martin Erwig
Int. Workshop on Software Engineering Methods in Spreadsheets, 2018

Variational Pictures, Martin Erwig and Karl Smeltzer
Int. Conf. on the Theory and Application of Diagrams, LNAI 10871, 55-70, 2018

Explaining Deep Adaptive Programs via Reward Decomposition, Martin Erwig, Alan Fern, Magesh Murali, and Anurag Koul
IJCAI/ECAI Workshop on Explainable Artificial Intelligence, 40-44, 2018

Migrating Gradual Types, John P. Campora III, Sheng Chen, Martin Erwig, and Eric Walkingshaw
Proc. of the ACM on Programming Languages, Vol. 2, ACM SIGPLAN Symp. on Principles of Programming Languages (POPL), 15:1-15:29, 2018

Systematic Identification and Communication of Type Errors, Sheng Chen and Martin Erwig
Journal of Functional Programming, Vol. 28, No. e2, 1-48, 2018

The Real Ghost in the Machine, Martin Erwig
The World Today, October & November, 36-37, 2017

Once Upon an Algorithm: How Stories Explain Computing, Martin Erwig
MIT Press, 2017

Variational Lists: Comparisons and Design Guidelines, Karl Smeltzer and Martin Erwig
ACM Int. Workshop on Feature-Oriented Software Development, 2017

Exploiting Diversity in Type Checkers for Better Error Messages, Sheng Chen, Martin Erwig, and Karl Smeltzer
Journal of Visual Languages and Computing, Vol. 39, 10-21, 2017

What is a Visual Language?, Martin Erwig, Karl Smeltzer, and Xiangyu Wang
Journal of Visual Languages and Computing, Vol. 38, 9-17, 2017

A Calculus for Variational Programming, Sheng Chen, Martin Erwig, and Eric Walkingshaw
European Conf. on Object-Oriented Programming, LIPICS Vol. 56, 6:1-6:28, 2016

Principal Type Inference for GADTs, Sheng Chen and Martin Erwig
ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages, 416-428, 2016

Automatically Inferring Models from Spreadsheets, Jacome Cunha, Martin Erwig, Jorge Mendes, and Joao Saraiva
Automated Software Engineering, Vol. 23, No. 3, 361-392, 2016

Type-Based Parametric Analysis of Program Families, Sheng Chen and Martin Erwig
ACM SIGPLAN Int. Conf. on Functional Programming, 39-51, 2014

Variational Data Structures: Exploring Tradeoffs in Computing with Variability, Eric Walkingshaw, Christian Kästner, Martin Erwig, Sven Apel, and Eric Bodden
ACM SIGPLAN Int. Symp. on New Ideas, New Paradigms, and Reflections on Programming & Software (Onward!), 213-226, 2014

Let's Hear Both Sides: On Combining Type-Error Reporting Tools, Sheng Chen, Martin Erwig, and Karl Smeltzer
IEEE Int. Symp. on Visual Languages and Human-Centric Computing, 145-152, 2014

A Notation for Non-Linear Program Edits, Martin Erwig and Karl Smeltzer, and Keying Xu
IEEE Int. Symp. on Visual Languages and Human-Centric Computing, 205-206, 2014

A Transformational Approach to Data Visualization, Karl Smeltzer, Martin Erwig, and Ron Metoyer
ACM SIGPLAN Conf. on Generative Programming: Concepts & Experiences, 53-62, 2014

Guided Type Debugging, Sheng Chen and Martin Erwig
Int. Symp. on Functional and Logic Programming, LNCS 8475, 35-51, 2014

Counter-Factual Typing for Debugging Type Errors, Sheng Chen and Martin Erwig
ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages, 583-594, 2014

Early Detection of Type Errors in C++ Templates, Sheng Chen and Martin Erwig
ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 133-144, 2014

Extending Type Inference to Variational Programs, Sheng Chen, Martin Erwig, and Eric Walkingshaw
ACM Transactions on Programming Languages and Systems, Vol. 36, No. 1, 1:1-1:54, 2014

An Abstract Representation of Variational Graphs, Martin Erwig, Eric Walkingshaw, and Sheng Chen
ACM Int. Workshop on Feature-Oriented Software Development, 25-32, 2013

A Visual Language for Explaining Probabilistic Reasoning, Martin Erwig and Eric Walkingshaw
Journal of Visual Languages and Computing, Vol. 24, No. 2, 88-109, 2013

Adding Configuration to the Choice Calculus, Martin Erwig, Klaus Ostermann, Tillmann Rendel, and Eric Walkingshaw
ACM Int. Workshop on Variability Modelling of Software-Intensive Systems, 13:1-13:8, 2013

Variation Programming with the Choice Calculus, Martin Erwig and Eric Walkingshaw
Generative and Transformational Techniques in Software Engineering, LNCS 7680, 55-100, 2013

An Error-Tolerant Type System for Variational Lambda Calculus, Sheng Chen, Martin Erwig, and Eric Walkingshaw
ACM SIGPLAN Int. Conf. on Functional Programming, 29-40, 2012

Surveyor: A DSEL for Representing and Analyzing Strongly Typed Surveys, Wyatt Allen and Martin Erwig
ACM SIGPLAN Haskell Symposium, 81-90, 2012

A Calculus for Modeling and Implementing Variation, Eric Walkingshaw and Martin Erwig
ACM SIGPLAN Conf. on Generative Programming and Component Engineering, 132-140, 2012

Faster Program Adaptation Through Reward Attribution Inference, Tim Bauer, Martin Erwig, Alan Fern, and Jervis Pinto
ACM SIGPLAN Conf. on Generative Programming and Component Engineering, 103-111, 2012

Semantics-Driven DSL Design, Martin Erwig and Eric Walkingshaw
Formal and Practical Aspects of Domain-Specific Languages: Recent Developments, (ed. M. Mernik), 56-80, 2012

Lightweight Automated Testing with Adaptation-Based Programming, Alex Groce, Alan Fern, Jervis Pinto, Tim Bauer, Amin Alipour, Martin Erwig, and Camden Lopez
IEEE Int. Symp. on Software Reliability Engineering, 2012

Learning-Based Test Programming for Programmers, Alex Groce, Alan Fern, Martin Erwig, Jervis Pinto, Tim Bauer, and Amin Alipour
Int. Symp. on Leveraging Applications of Formal Methods, Verification, and Validation, LNCS 7609, 582-586, 2012

Systematic Evolution of Model-Based Spreadsheet Applications, Markus Luckey, Martin Erwig, and Gregor Engels
Journal of Visual Languages and Computing, Vol. 23, No. 5, 267-286, 2012

Finding Common Ground: Choose, Assert, and Assume, Alex Groce and Martin Erwig
Int. Workshop on Dynamic Analysis, 12-17, 2012

Explanations for Regular Expressions, Martin Erwig and Rahul Gopinath
Int. Conf. on Fundamental Approaches to Software Engineering, LNCS 7212, 394-408, 2012

The Choice Calculus: A Representation for Software Variation, Martin Erwig and Eric Walkingshaw
ACM Transactions on Software Engineering and Methodology, Vol. 21, No. 1, 6:1-6:27, 2011

Semantics First! Rethinking the Language Design Process, Martin Erwig and Eric Walkingshaw
Int. Conf. on Software Language Engineering, LNCS 6940, 243-262, 2011

A DSEL for Studying and Explaining Causation, Eric Walkingshaw and Martin Erwig
IFIP Working Conference on Domain Specific Languages, 143-167, 2011

Adaptation-Based Programming in Haskell, Tim Bauer, Martin Erwig, Alan Fern, and Jervis Pinto
IFIP Working Conference on Domain Specific Languages, 1-23, 2011

Improving Policy Gradient Estimates with Influence Information, Jervis Pinto, Alan Fern, Tim Bauer, and Martin Erwig
Asian Conference on Machine Learning, 1-16, 2011

#ifdef Confirmed Harmful: Promoting Understandable Software Variation, Duc Le, Eric Walkingshaw, and Martin Erwig
IEEE Int. Symp. on Visual Languages and Human-Centric Computing, 143-150, 2011

Optimizing the Product Derivation Process, Sheng Chen and Martin Erwig
IEEE Int. Software Product Line Conference, 35-44, 2011

Adaptation-Based Programming in Java, Tim Bauer, Martin Erwig, Alan Fern, and Jervis Pinto
ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 81-90, 2011

The State of the Art in End-User Software Engineering, A. J. Ko, R. Abraham, L. Beckwith, A. Blackwell, M. M. Burnett, M. Erwig, J. Lawrence, C. Scaffidi, H. Lieberman, B. Myers, M. B. Rosson, G. Rothermel, M. Shaw, and S. Wiedenbeck
ACM Computing Surveys, Vol. 43, No. 3, 2011

Program Fields for Continuous Software, Martin Erwig and Eric Walkingshaw
ACM SIGSOFT Workshop on the Future of Software Engineering Research, 105-108, 2010

Robust Learning for Adaptive Programs by Leveraging Program Structure, Jervis Pinto, Alan Fern, Tim Bauer, and Martin Erwig
IEEE Int. Conf. on Machine Learning and Applications, 943-948, 2010

A Language for Software Variation Research, Martin Erwig
ACM SIGPLAN Conf. on Generative Programming and Component Engineering, 3-12, 2010

Reasoning about Spreadsheets with Labels and Dimensions, Chris Chambers and Martin Erwig
Journal of Visual Languages and Computing, Vol. 21, No. 5, 249-262, 2010

Causal Reasoning with Neuron Diagrams, Martin Erwig and Eric Walkingshaw
IEEE Int. Symp. on Visual Languages and Human-Centric Computing, 101-108, 2010

SheetDiff: A Tool for Identifying Changes in Spreadsheets, Chris Chambers, Martin Erwig, and Markus Luckey
IEEE Int. Symp. on Visual Languages and Human-Centric Computing, 85-92, 2010

Automatically Inferring ClassSheet Models from Spreadsheets, Jacome Cunha, Martin Erwig, and Joao Saraiva
IEEE Int. Symp. on Visual Languages and Human-Centric Computing, 93-100, 2010
Most Influential Paper Award

Declarative Scripting in Haskell, Tim Bauer and Martin Erwig
Int. Conf. on Software Language Engineering, LNCS 5969, 294-313, 2009

A Domain-Specific Language for Experimental Game Theory, Eric Walkingshaw and Martin Erwig
Journal of Functional Programming, Vol. 19, No. 06, 645-661, 2009

Software Engineering for Spreadsheets, Martin Erwig
IEEE Software, Vol. 29, No. 5, 25-30 2009

Automatic Detection of Dimension Errors in Spreadsheets, Chris Chambers and Martin Erwig
Journal of Visual Languages and Computing, Vol. 20, No. 4, 269-283, 2009

Combining Spatial and Semantic Label Analysis, Chris Chambers and Martin Erwig
IEEE Int. Symp. on Visual Languages and Human-Centric Computing, 225-232, 2009

Visual Explanations of Probabilistic Reasoning, Martin Erwig and Eric Walkingshaw
IEEE Int. Symp. on Visual Languages and Human-Centric Computing, 23-27, 2009

Varying Domain Representations in Hagl - Extending the Expressiveness of a DSL for Experimental Game Theory, Eric Walkingshaw and Martin Erwig
IFIP Working Conference on Domain Specific Languages, LNCS 5658, 310-334, 2009

A DSL for Explaining Probabilistic Reasoning, Martin Erwig and Eric Walkingshaw
IFIP Working Conference on Domain Specific Languages, LNCS 5658, 335-359, 2009
Best Paper Award

A Formal Representation of Software-Hardware System Design, Eric Walkingshaw, Paul Strauss, Martin Erwig, Jonathan Mueller, and Irem Tumer
ASME Int. Design Engineering Technical Conference & Computers and Information in Engineering Conference, 2009

Mutation Operators for Spreadsheets, Robin Abraham and Martin Erwig
IEEE Transactions on Software Engineering, Vol. 35, No. 1, 94-108, 2009

Spreadsheet Programming, Robin Abraham, Margaret M. Burnett, and Martin Erwig
Encyclopedia of Computer Science and Engineering, (ed. B.J. Wah), 2804-2810, 2009

Test-Driven Goal-Directed Debugging in Spreadsheets, Robin Abraham and Martin Erwig
IEEE Int. Symp. on Visual Languages and Human-Centric Computing, 131-138, 2008

Dimension Inference in Spreadsheets, Chris Chambers and Martin Erwig
IEEE Int. Symp. on Visual Languages and Human-Centric Computing, 123-130, 2008
Best Paper Award

A Visual Language for Representing and Explaining Strategies in Game Theory, Martin Erwig and Eric Walkingshaw
IEEE Int. Symp. on Visual Languages and Human-Centric Computing, 101-108, 2008

The Inverse Ocean Modeling System. Part I: Implementation, Andrew F. Bennett, Boon S. Chua, Martin Erwig, Zhe Fu, Rich D. Loft, Julia C. Muccino, and Ben Pflaum
Journal of Atmospheric and Oceanic Technology, Vol. 25, Issue 9, 1608-1622, 2008

A Type System Based on End-User Vocabulary, Robin Abraham, Martin Erwig, and Scott Andrew
IEEE Int. Symp. on Visual Languages and Human-Centric Computing, 215-222, 2007

ClassSheets - Model-Based, Object-Oriented Design of Spreadsheet Applications, Jan-Christopher Bals, Fabian Christ, Gregor Engels, and Martin Erwig
Journal of Object Technologies, Vol. 6, No. 9, 2007

Exploiting Domain-Specific Structures For End-User Programming Support Tools, Robin Abraham and Martin Erwig
End-User Software Engineering, (eds. Burnett, Engels, Myers, and Rothermel), 2007

An Update Calculus for Expressing Type-Safe Program Updates, Martin Erwig and Deling Ren
Science of Computer Programming, Vol. 67, No. 2-3, 199-222, 2007

Parametric Fortran: Program Generation in Scientific Computing, Martin Erwig, Zhe Fu, and Ben Pflaum
Journal of Software Maintenance and Evolution, Vol. 19, No. 3, 155-182, 2007

GoalDebug: A Spreadsheet Debugger for End Users, Robin Abraham and Martin Erwig
29th IEEE/ACM Int. Conf. on Software Engineering, 251-260, 2007

UCheck: A Spreadsheet Unit Checker for End Users, Robin Abraham and Martin Erwig
Journal of Visual Languages and Computing, Vol. 18, No. 1, 71-95, 2007

A Generic Recursion Toolbox for Haskell (Or: Scrap Your Boilerplate Systematically), Deling Ren and Martin Erwig
ACM SIGPLAN Haskell Workshop, 13-24, 2006

AutoTest: A Tool for Automatic Test Case Generation in Spreadsheets, Robin Abraham and Martin Erwig
IEEE Int. Symp. on Visual Languages and Human-Centric Computing, 43-50, 2006

Sharing Reasoning about Faults in Spreadsheets: An Empirical Study, Joey Lawrence, Robin Abraham, Margaret Burnett, and Martin Erwig
IEEE Int. Symp. on Visual Languages and Human-Centric Computing, 35-42, 2006

Type Inference for Spreadsheets, Robin Abraham and Martin Erwig
ACM Int. Symp. on Principles and Practice of Declarative Programming, 73-84, 2006

Inferring Templates from Spreadsheets, Robin Abraham and Martin Erwig
28th IEEE/ACM Int. Conf. on Software Engineering, 182-191, 2006

Toward Sharing Reasoning to Improve Fault Localization in Spreadsheets, Joey Lawrence, Robin Abraham, Margaret Burnett, and Martin Erwig
2nd Workshop on End-User Software Engineering, 2006

Gencel: A Program Generator for Correct Spreadsheets, Martin Erwig, Robin Abraham, Irene Cooperstein, and Steve Kollmansberger
Journal of Functional Programming, Vol. 16, No. 3, 293-325, 2006

Visual Type Inference, Martin Erwig
Journal of Visual Languages and Computing, Vol. 17, No. 2, 161-186, 2006

Modeling Genome Evolution with a DSEL for Probabilistic Programming, Martin Erwig and Steve Kollmansberger
8th Int. Symp. on Practical Aspects of Declarative Languages, LNCS 3819, 134-149, 2006

Generic Programming in Fortran, Martin Erwig, Zhe Fu and Ben Pflaum
ACM SIGPLAN 2006 Workshop on Partial Evaluation and Program Manipulation, 130-139, 2006

Probabilistic Functional Programming in Haskell, Martin Erwig and Steve Kollmansberger
Journal of Functional Programming, Vol. 16, No. 1, 21-34, 2006

ClassSheets: Automatic Generation of Spreadsheet Applications from Object-Oriented Specifications, Gregor Engels and Martin Erwig
20th IEEE/ACM Int. Conf. on Automated Software Engineering, 124-133, 2005

Goal-Directed Debugging of Spreadsheets, Robin Abraham and Martin Erwig
IEEE Int. Symp. on Visual Languages and Human-Centric Computing, 37-44, 2005

Visual Specifications of Correct Spreadsheets, Robin Abraham, Martin Erwig, Steve Kollmansberger, and Ethan Seifert
IEEE Int. Symp. on Visual Languages and Human-Centric Computing, 189-196, 2005

How to Communicate Unit Error Messages in Spreadsheets, Robin Abraham and Martin Erwig
1st Workshop on End-User Software Engineering, 52-56, 2005

Automatic Generation and Maintenance of Correct Spreadsheets, Martin Erwig, Robin Abraham, Irene Cooperstein, and Steve Kollmansberger
27th IEEE/ACM Int. Conf. on Software Engineering, 136-145, 2005

Software Reuse for Scientific Computing Through Program Generation, Martin Erwig and Zhe Fu
ACM Transactions on Software Engineering and Methodology, Vol. 14, No. 2, 168-198, 2005

Header and Unit Inference for Spreadsheets Through Spatial Analyses, Robin Abraham and Martin Erwig
IEEE Int. Symp. on Visual Languages and Human-Centric Computing, 165-172, 2004
Best Paper Award

Monadification of Functional Programs, Martin Erwig and Deling Ren
Science of Computer Programming, Vol. 52, No. 1-3, 101-129, 2004

Parametric Fortran - A Program Generator for Customized Generic Fortran Extensions , Martin Erwig and Zhe Fu
6th Int. Symp. on Practical Aspects of Declarative Languages, LNCS 3057, 209-223, 2004

Escape from Zurg: An Exercise in Logic Programming, Martin Erwig
Journal of Functional Programming, Vol. 14, No. 3, 253-261, 2004
Russian Translation

Toward Spatiotemporal Patterns, Martin Erwig
Spatio-Temporal Databases (eds. De Caluwe, et al.), Springer, 29-54, 2004

Toward the Automatic Derivation of XML Transformations, Martin Erwig
1st Int. Workshop on XML Schema and Data Management, LNCS 2814, 342-354, 2003

KeyQuery - A Front End for the Automatic Translation of Keywords into Structured Queries, Martin Erwig and Jianglin He
14th Int. Conf. on Database and Expert Systems Application, LNCS 2736, 494-503, 2003

Type-Safe Update Programming, Martin Erwig and Deling Ren
12th European Symp. on Programming, LNCS 2618, 269-283, 2003

Xing: A Visual XML Query Language, Martin Erwig
Journal of Visual Languages and Computing, Vol. 14, No. 1, 5-45, 2003

Spatio-Temporal Models and Languages: An Approach Based on Data Types, Ralf H. Güting, Mike H. Böhlen, Martin Erwig, Christian S. Jensen, Nikos A. Lorentzos, Enrico Nardelli, and Markus Schneider
Chapter 4 of Spatio-Temporal Databases: The CHOROCHRONOS Approach (eds. T. Sellis et al.), Springer Verlag, LNCS 2520, 97-146, 2003

A Visual Language for the Evolution of Spatial Relationships and its Translation into a Spatio-Temporal Calculus, Martin Erwig and Markus Schneider
Journal of Visual Languages and Computing, Vol. 14, No. 2, 181-211, 2003

A Rule-Based Language for Programming Software Updates, Martin Erwig and Deling Ren
3rd ACM SIGPLAN Workshop on Rule-Based Programming, 67-77, 2002

Design of Spatio-Temporal Query Languages, Martin Erwig
NSF/BDEI Workshop on Spatio-Temporal Data Models of Biogeophysical Fields for Ecological Forecasting, 2002

STQL: A Spatio-Temporal Query Language, Martin Erwig and Markus Schneider
Chapter 6 of Mining Spatio-Temporal Information Systems (eds. R. Ladner, K. Shaw, and M. Abdelguerfi), Kluwer Academic Publishers, 105-126, 2002

Visually Customizing Inference Rules About Apples and Oranges, Margaret M. Burnett and Martin Erwig
2nd IEEE Int. Symp. on Human Centric Computing Languages and Environments, 140-148, 2002

Adding Apples and Oranges, Martin Erwig and Margaret M. Burnett
4th Int. Symp. on Practical Aspects of Declarative Languages, LNCS 2257, 173-191, 2002

Spatio-Temporal Predicates, Martin Erwig and Markus Schneider
IEEE Transactions on Knowledge and Data Engineering, Vol. 14, No. 4, 881-901, 2002

Programs are Abstract Data Types, Martin Erwig
16th IEEE Int. Conf. on Automated Software Engineering, 400-403, 2001

Inductive Graphs and Functional Graph Algorithms, Martin Erwig
Journal of Functional Programming Vol. 11, No. 5, 467-492, 2001

Pattern Guards and Transformational Patterns, Martin Erwig and Simon Peyton Jones
Electronic Notes in Theoretical Computer Science, Vol. 41, No. 1, 12.1-12.27, 2001

XML Queries and Transformations for End Users, Martin Erwig
XML 2000, 259-269, 2000

A Visual Language for XML, Martin Erwig
16th IEEE Symp. on Visual Languages, 47-54, 2000

Random Access to Abstract Data Types, Martin Erwig
8th Int. Conf. on Algebraic Methodology and Software Technology, LNCS 1816, 135-149, 2000

Formalization of Advanced Map Operations, Martin Erwig and Markus Schneider
9th Int. Symp. on Spatial Data Handling, 8a.3-17, 2000

Query-By-Trace: Visual Predicate Specification in Spatio-Temporal Databases, Martin Erwig and Markus Schneider
5th IFIP Conf. on Visual Databases, 199-218, 2000

A Foundation for Representing and Querying Moving Objects, Ralf H. Güting, Mike H. Böhlen, Martin Erwig, Christian S. Jensen, Nikos A. Lorentzos, Markus Schneider, and Michalis Vazirgiannis
ACM Transactions on Database Systems, Vol. 25, No. 1, 1-42, 2000
Most Cited TODS Paper in Ten Years (1993-2004)

The Graph Voronoi Diagram with Applications, Martin Erwig
Networks, Vol. 36, No. 3, 156-163, 2000

Visual Graphs, Martin Erwig
15th IEEE Symp. on Visual Languages, 122-129, 1999

Visual Specifications of Spatio-Temporal Developments, Martin Erwig and Markus Schneider
15th IEEE Symp. on Visual Languages, 187-188, 1999

The Honeycomb Model of Spatio-Temporal Partitions, Martin Erwig and Markus Schneider
Int. Workshop on Spatio-Temporal Database Management, LNCS 1678, 39-59, 1999

Developments in Spatio-Temporal Query Languages, Martin Erwig and Markus Schneider
IEEE Int. Workshop on Spatio-Temporal Data Models and Languages, 441-449, 1999

Foundations of Functional Programming (Book, in german), Martin Erwig
Oldenbourg Verlag, München, 1999

Compiler Construction: Techniques, Tools, and Applications (Book, in german), Ralf H. Güting and Martin Erwig
Springer-Verlag, Berlin Heidelberg, 1999

Spatio-Temporal Data Types: An Approach to Modeling and Querying Moving Objects in Databases,
Martin Erwig, Ralf H. Güting, Markus Schneider, and Michalis Vazirgiannis
GeoInformatica, Vol. 3, No. 3, 269-296, 1999

Diets for Fat Sets, Martin Erwig
Journal of Functional Programming, Vol. 8, No. 6, 627-632, 1998

Abstract Syntax and Semantics of Visual Languages, Martin Erwig
Journal of Visual Languages and Computing, Vol. 9, No. 5, 461-483, 1998

Categorical Programming with Abstract Data Types, Martin Erwig
7th Int. Conf. on Algebraic Methodology and Software Technology, LNCS 1548, 406-421, 1998

Temporal Objects for Spatio-Temporal Data Models and a Comparison of Their Representations,
Martin Erwig, Markus Schneider, and Ralf H. Güting
Int. Workshop on Advances in Database Technologies, LNCS 1552, 454-465, 1998

Abstract and Discrete Modeling of Spatio-Temporal Data Types, Martin Erwig, Ralf H. Güting, Markus Schneider, and Michalis Vazirgiannis
6th ACM Symp. on Geographic Information Systems, 131-136, 1998

The Categorical Imperative - Or: How to Hide Your State Monads, Martin Erwig
10th Int. Workshop on Implementation of Functional Languages, 1-25, 1998

Visual Semantics - Or: What You See is What You Compute, Martin Erwig
14th IEEE Symp. on Visual Languages, 96-97, 1998

Partition and Conquer, Martin Erwig and Markus Schneider
3rd Int. Conf. on Spatial Information Theory, LNCS 1329, 389-408, 1997

Fully Persistent Graphs - Which One to Choose?, Martin Erwig
9th Int. Workshop on Implementation of Functional Languages, LNCS 1467, 123-140, 1997

Semantics of Visual Languages, Martin Erwig
13th IEEE Symp. on Visual Languages, 304-311, 1997

Abstract Visual Syntax, Martin Erwig
2nd IEEE Int. Workshop on Theory of Visual Languages, 15-25, 1997
Russian Translation

Vague Regions, Martin Erwig and Markus Schneider
5th Int. Symp. on Advances in Spatial Databases, LNCS 1262, 298-320, 1997

Functional Programming with Graphs, Martin Erwig
2nd ACM SIGPLAN Int. Conf. on Functional Programming, 52-65, 1997
(also in: ACM SIGPLAN Notices, Vol. 32, No. 8, Aug 1997, 52-65)

Active Patterns, Martin Erwig
8th Int. Workshop on Implementation of Functional Languages, LNCS 1268, 21-40, 1996

Heterogeneous Visual Languages - Integrating Visual and Textual Programming, Martin Erwig and Bernd Meyer
11th IEEE Symp. on Visual Languages, 318-325, 1995

Encoding Shortest Paths in Spatial Networks, Martin Erwig
Networks, Vol. 26, 291-303, 1995

DEAL - A Language for Depicting Algorithms, Martin Erwig
10th IEEE Symp. on Visual Languages, 184-185, 1994

Explicit Graphs in a Functional Model for Spatial Databases, Martin Erwig and Ralf H. Güting
IEEE Transactions on Knowledge and Data Engineering, Vol. 5, No. 6, 787-804, 1994

Graphs in Spatial Databases, Martin Erwig
Doctoral Thesis, FernUniversität Hagen, 1994

Specifying Type Systems with Multi-Level Order-Sorted Algebra, Martin Erwig
3rd Int. Conf. on Algebraic Methodology and Software Technology, 177-184, 1993

Graph Algorithms = Iteration + Data Structures? The Structure of Graph Algorithms and a Corresponding Style of Programming, Martin Erwig
18th Int. Workshop on Graph Theoretic Concepts in Computer Science, LNCS 657, 277-292, 1992

A Functional DBPL Revealing High Level Optimizations, Martin Erwig and Udo W. Lipeck
3rd Int. Workshop on Database Programming Languages, 306-321, 1991