Programming Language Fundamentals -
A Metalanguage Approach in Elm,
Martin Erwig
Wiley,
2024
Explanations for Combinatorial Optimization Problems,
Martin Erwig and Prashant Kumar
Journal of Computer Languages,
Vol. 79, 2024.
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