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

Analogies and Active Engagement: Introducing Computer Science - Jennifer Parham-Mocello; Martin Erwig; Margaret Niess (Proceedings of the 55th ACM Technical Symposium on Computer Science Education, SIGCSE 2024, Volume 1, Portland, OR, USA, March 20-23, 2024, 2024)

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

MatchMaker: A DSL for Game-Theoretic Matching - Prashant Kumar; Martin Erwig (Trends in Functional Programming - 24th International Symposium, TFP 2023, Boston, MA, USA, January 13-15, 2023, Revised Selected Papers, 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 (Proceedings of the 54th ACM Technical Symposium on Computer Science Education, Volume 1, SIGCSE 2023, Toronto, ON, Canada, March 15-18, 2023, 2023)

Migrating gradual types - John Peter Campora III; Sheng Chen; Martin Erwig; Eric Walkingshaw (J. Funct. Program., 2022)

Using a Functional Board Game Language to Teach Middle School Programming - Jennifer Parham-Mocello; Martin Erwig; Margaret Niess; Aiden Nelson; Jason Weber; Garrett Berliner (IEEE Frontiers in Education Conference, FIE 2022, Uppsala, Sweden, October 8-11, 2022, 2022)

Exploring the Use of Games and a Domain-Specific Teaching Language in CS0 - Jennifer Parham-Mocello; Aiden Nelson; Martin Erwig (ITiCSE 2022: Innovation and Technology in Computer Science Education, Dublin, Ireland, July 8 - 13, 2022, Volume 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)

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

Adaptable Traces for Program Explanations - Divya Bajaj; Martin Erwig; Danila Fedorin; Kai Gay (Programming Languages and Systems - 19th Asian Symposium, APLAS 2021, Chicago, IL, USA, October 17-18, 2021, Proceedings, 2021)

MADMAX: a DSL for explanatory decision making - Martin Erwig; Prashant Kumar (GPCE '21: Concepts and Experiences, Chicago, IL, USA, October 17 - 18, 2021, 2021)

A Visual Notation for Succinct Program Traces - Divya Bajaj; Martin Erwig; Danila Fedorin; Kai Gay (IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2021, St Louis, MO, USA, October 10-13, 2021, 2021)

Teaching CS Middle School Camps in a Virtual World - Jennifer Parham-Mocello; Martin Erwig; Margaret Niess (IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2021, St Louis, MO, USA, October 10-13, 2021, 2021)

Explanations for Dynamic Programming - Martin Erwig; Prashant Kumar; Alan Fern (Practical Aspects of Declarative Languages - 22nd International Symposium, PADL 2020, New Orleans, LA, USA, January 20-21, 2020, Proceedings, 2020)

Does Story Programming Prepare for Coding? - Jennifer Parham-Mocello; Martin Erwig (Proceedings of the 51st ACM Technical Symposium on Computer Science Education, SIGCSE 2020, Portland, OR, USA, March 11-14, 2020, 2020)

GPCE '20: Proceedings of the 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, Virtual Event, USA, November 16-17, 2020 - Martin Erwig; Jeff Gray (ACM, 2020)

Usability of Probabilistic Programming Languages - Alan F. Blackwell; Luke Church; Martin Erwig; James Geddes; Andy Gordon; Maria I. Gorinova; Atilim Gunes Baydin; Bradley Gram-Hansen; Tobias Kohn; Neil D. Lawrence; Vikash Mansinghka; Brooks Paige; et al. (Proceedings of the 30th Annual Workshop of the Psychology of Programming Interest Group, PPIG 2019, Newcastle University, UK, August 28 - 30, 2019, 2019)

Story Programming: Explaining Computer Science Before Coding - Jennifer Parham-Mocello; Shannon Ernst; Martin Erwig; Lily Shellhammer; Emily Dominguez (Proceedings of the 50th ACM Technical Symposium on Computer Science Education, SIGCSE 2019, Minneapolis, MN, USA, February 27 - March 02, 2019, 2019)

To Code or Not to Code? Programming in Introductory CS Courses - Jennifer Parham-Mocello; Martin Erwig; Emily Dominguez (2019 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2019, Memphis, Tennessee, USA, October 14-18, 2019, 2019)

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

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

Variational Pictures - Martin Erwig; Karl Smeltzer (Diagrammatic Representation and Inference - 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings, 2018)

A domain-specific language for exploratory data visualization - Karl Smeltzer; Martin Erwig (Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, GPCE 2018, Boston, MA, USA, November 5-6, 2018, 2018)

Explaining spreadsheets with spreadsheets (short paper) - Jácome Cunha; Mihai Dan; Martin Erwig; Danila Fedorin; Alex Grejuc (Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, GPCE 2018, Boston, MA, USA, November 5-6, 2018, 2018)

Comparative Visualizations through Parameterization and Variability - Karl Smeltzer; Martin Erwig (2018 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2018, Lisbon, Portugal, October 1-4, 2018, 2018)

Typed Table Transformations - Martin Erwig (CoRR, 2018)

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

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

Variational lists: comparisons and design guidelines - Karl Smeltzer; Martin Erwig (Proceedings of the 8th ACM SIGPLAN International Workshop on Feature-Oriented Software Development, FOSD@SPLASH 2017, Vancouver, BC, Canada, October 23, 2017, 2017)

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

A Calculus for Variational Programming - Sheng Chen; Martin Erwig; Eric Walkingshaw (30th European Conference on Object-Oriented Programming, ECOOP 2016, July 18-22, 2016, Rome, Italy, 2016)

Principal type inference for GADTs - Sheng Chen; Martin Erwig (Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2016, St. Petersburg, FL, USA, January 20 - 22, 2016, 2016)

Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2016, St. Petersburg, FL, USA, January 20 - 22, 2016 - Martin Erwig; Tiark Rompf (ACM, 2016)

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

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

Guided Type Debugging - Sheng Chen; Martin Erwig (Functional and Logic Programming - 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings, 2014)

A transformational approach to data visualization - Karl Smeltzer; Martin Erwig; Ronald A. Metoyer (Generative Programming: Concepts and Experiences, GPCE'14, Vasteras, Sweden, September 15-16, 2014, 2014)

Type-based parametric analysis of program families - Sheng Chen; Martin Erwig (Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, Gothenburg, Sweden, September 1-3, 2014, 2014)

Variational Data Structures: Exploring Tradeoffs in Computing with Variability - Eric Walkingshaw; Christian Kästner; Martin Erwig; Sven Apel; Eric Bodden (Onward! 2014, Proceedings of the 2014 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming & Software, part of SPLASH '14, Portland, OR, USA, October 20-24, 2014, 2014)

Early detection of type errors in C++ templates - Sheng Chen; Martin Erwig (Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and program manipulation, PEPM 2014, January 20-21, 2014, San Diego, California, USA, 2014)

Counter-factual typing for debugging type errors - Sheng Chen; Martin Erwig (The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, San Diego, CA, USA, January 20-21, 2014, 2014)

Let's hear both sides: On combining type-error reporting tools - Sheng Chen; Martin Erwig; Karl Smeltzer (IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2014, Melbourne, VIC, Australia, July 28 - August 1, 2014, 2014)

A notation for non-linear program edits - Martin Erwig; Karl Smeltzer; Keying Xu (IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2014, Melbourne, VIC, Australia, July 28 - August 1, 2014, 2014)

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

An abstract representation of variational graphs - Martin Erwig; Eric Walkingshaw; Sheng Chen (5th International Workshop on Feature-Oriented Software Development, FOSD '13, Indianapolis, IN, USA, October 26, 2013, 2013)

Adding configuration to the choice calculus - Martin Erwig; Klaus Ostermann; Tillmann Rendel; Eric Walkingshaw (The Seventh International Workshop on Variability Modelling of Software-intensive Systems, VaMoS '13, Pisa , Italy, January 23 - 25, 2013, 2013)

Explicitness in language design - Martin Erwig (2013 IEEE Symposium on Visual Languages and Human Centric Computing, San Jose, CA, USA, September 15-19, 2013, 2013)

Software Language Engineering - 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings - Martin Erwig; Richard F. Paige; Eric Van Wyk (Springer, 2013)

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

Explanations for Regular Expressions - Martin Erwig; Rahul Gopinath (Fundamental Approaches to Software Engineering - 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings, 2012)

Faster program adaptation through reward attribution inference - Tim Bauer; Martin Erwig; Alan Fern; Jervis Pinto (Generative Programming and Component Engineering, GPCE'12, Dresden, Germany, September 26-28, 2012, 2012)

A calculus for modeling and implementing variation - Eric Walkingshaw; Martin Erwig (Generative Programming and Component Engineering, GPCE'12, Dresden, Germany, September 26-28, 2012, 2012)

Surveyor: a DSEL for representing and analyzing strongly typed surveys - Wyatt Allen; Martin Erwig (Proceedings of the 5th ACM SIGPLAN Symposium on Haskell, Haskell 2012, Copenhagen, Denmark, 13 September 2012, 2012)

An error-tolerant type system for variational lambda calculus - Sheng Chen; Martin Erwig; Eric Walkingshaw (ACM SIGPLAN International Conference on Functional Programming, ICFP'12, Copenhagen, Denmark, September 9-15, 2012, 2012)

Learning-Based Test Programming for Programmers - Alex Groce; Alan Fern; Martin Erwig; Jervis Pinto; Tim Bauer; Mohammad Amin Alipour (Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I, 2012)

Lightweight Automated Testing with Adaptation-Based Programming - Alex Groce; Alan Fern; Jervis Pinto; Tim Bauer; Mohammad Amin Alipour; Martin Erwig; Camden Lopez (23rd IEEE International Symposium on Software Reliability Engineering, ISSRE 2012, Dallas, TX, USA, November 27-30, 2012, 2012)

Finding common ground: choose, assert, and assume - Alex Groce; Martin Erwig (Proceedings of the International Workshop on Dynamic Analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2012), WODA 2012, Minneapolis, MN, USA, Sunday, July 15, 2012, 2012)

2012 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2012, Innsbruck, Austria, September 30 - October 4, 2012 - Martin Erwig; Gem Stapleton; Gennaro Costagliola (IEEE, 2012)

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)

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

Variation Programming with the Choice Calculus - Martin Erwig; Eric Walkingshaw (Generative and Transformational Techniques in Software Engineering IV, International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers, 2011)

Adaptation-based programming in java - Tim Bauer; Martin Erwig; Alan Fern; Jervis Pinto (Proceedings of the 2011 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2011, Austin, TX, USA, January 24-25, 2011, 2011)

Semantics First! - Rethinking the Language Design Process - Martin Erwig; Eric Walkingshaw (Software Language Engineering - 4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011, Revised Selected Papers, 2011)

Optimizing the Product Derivation Process - Sheng Chen; Martin Erwig (Software Product Lines - 15th International Conference, SPLC 2011, Munich, Germany, August 22-26, 2011, 2011)

#ifdef confirmed harmful: Promoting understandable software variation - Duc Le; Eric Walkingshaw; Martin Erwig (2011 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2011, Pittsburgh, PA, USA, September 18-22, 2011, 2011)

Adaptation-Based Programming in Haskell - Tim Bauer; Martin Erwig; Alan Fern; Jervis Pinto (Proceedings IFIP Working Conference on Domain-Specific Languages, DSL 2011, Bordeaux, France, 6-8th September 2011, 2011)

A DSEL for Studying and Explaining Causation - Eric Walkingshaw; Martin Erwig (Proceedings IFIP Working Conference on Domain-Specific Languages, DSL 2011, Bordeaux, France, 6-8th September 2011, 2011)

Improving Policy Gradient Estimates with Influence Information - Jervis Pinto; Alan Fern; Tim Bauer; Martin Erwig (Proceedings of the 3rd Asian Conference on Machine Learning, ACML 2011, Taoyuan, Taiwan, November 13-15, 2011, 2011)

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

A language for software variation research - Martin Erwig (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, 2010)

Robust Learning for Adaptive Programs by Leveraging Program Structure - Jervis Pinto; Alan Fern; Tim Bauer; Martin Erwig (The Ninth International Conference on Machine Learning and Applications, ICMLA 2010, Washington, DC, USA, 12-14 December 2010, 2010)

Program fields for continuous software - Martin Erwig; Eric Walkingshaw (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, 2010)

A Language for Software Variation Research - Martin Erwig (Software Language Engineering - Third International Conference, SLE 2010, Eindhoven, The Netherlands, October 12-13, 2010, Revised Selected Papers, 2010)

SheetDiff: A Tool for Identifying Changes in Spreadsheets - Chris Chambers; Martin Erwig; Markus Luckey (IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2010, Leganés-Madrid, Spain, 21-25 September 2010, Proceedings, 2010)

Automatically Inferring ClassSheet Models from Spreadsheets - Jácome Cunha; Martin Erwig; João Saraiva (IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2010, Leganés-Madrid, Spain, 21-25 September 2010, Proceedings, 2010)

Causal Reasoning with Neuron Diagrams - Martin Erwig; Eric Walkingshaw (IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2010, Leganés-Madrid, Spain, 21-25 September 2010, Proceedings, 2010)

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)

Varying Domain Representations in Hagl - Eric Walkingshaw; Martin Erwig (Domain-Specific Languages, IFIP TC 2 Working Conference, DSL 2009, Oxford, UK, July 15-17, 2009, Proceedings, 2009)

A DSL for Explaining Probabilistic Reasoning - Martin Erwig; Eric Walkingshaw (Domain-Specific Languages, IFIP TC 2 Working Conference, DSL 2009, Oxford, UK, July 15-17, 2009, Proceedings, 2009)

Declarative Scripting in Haskell - Tim Bauer; Martin Erwig (Software Language Engineering, Second International Conference, SLE 2009, Denver, CO, USA, October 5-6, 2009, Revised Selected Papers, 2009)

Visual explanations of probabilistic reasoning - Martin Erwig; Eric Walkingshaw (IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2009, Corvallis, OR, USA, 20-24 September 2009, Proceedings, 2009)

Combining spatial and semantic label analysis - Chris Chambers; Martin Erwig (IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2009, Corvallis, OR, USA, 20-24 September 2009, Proceedings, 2009)

A visual language for representing and explaining strategies in game theory - Martin Erwig; Eric Walkingshaw (IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2008, Herrsching am Ammersee, Germany, 15-19 September 2008, Proceedings, 2008)

Dimension inference in spreadsheets - Chris Chambers; Martin Erwig (IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2008, Herrsching am Ammersee, Germany, 15-19 September 2008, Proceedings, 2008)

Test-driven goal-directed debugging in spreadsheets - Robin Abraham; Martin Erwig (IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2008, Herrsching am Ammersee, Germany, 15-19 September 2008, Proceedings, 2008)

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

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)

GoalDebug: A Spreadsheet Debugger for End Users - Robin Abraham; Martin Erwig (29th International Conference on Software Engineering (ICSE 2007), Minneapolis, MN, USA, May 20-26, 2007, 2007)

Understanding and Building Spreadsheet Tools - Martin Erwig; Robin Abraham (2007 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2007), 23-27 September 2007, Coeur d'Alene, Idaho, USA, 2007)

A Type System Based on End-User Vocabulary - Robin Abraham; Martin Erwig; Scott Andrew (2007 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2007), 23-27 September 2007, Coeur d'Alene, Idaho, USA, 2007)

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

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

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

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

A generic recursion toolbox for Haskell or: scrap your boilerplate systematically - Deling Ren; Martin Erwig (Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2006, Portland, Oregon, USA, September 17, 2006, 2006)

Inferring templates from spreadsheets - Robin Abraham; Martin Erwig (28th International Conference on Software Engineering (ICSE 2006), Shanghai, China, May 20-28, 2006, 2006)

Modeling Genome Evolution with a DSEL for Probabilistic Programming - Martin Erwig; Steve Kollmansberger (Practical Aspects of Declarative Languages, 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006, Proceedings, 2006)

Generic programming in Fortran - Martin Erwig; Zhe Fu; Ben Pflaum (Proceedings of the 2006 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2006, Charleston, South Carolina, USA, January 9-10, 2006, 2006)

Type inference for spreadsheets - Robin Abraham; Martin Erwig (Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 10-12, 2006, Venice, Italy, 2006)

Sharing reasoning about faults in spreadsheets: An empirical study - Joseph Lawrance; Robin Abraham; Margaret M. Burnett; Martin Erwig (2006 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2006), 4-8 September 2006, Brighton, UK, 2006)

AutoTest: A Tool for Automatic Test Case Generation in Spreadsheets - Robin Abraham; Martin Erwig (2006 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2006), 4-8 September 2006, Brighton, UK, 2006)

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)

How to communicate unit error messages in spreadsheets - Robin Abraham; Martin Erwig (Proceedings of the First Workshop on End-User Software Engineering, WEUSE 2005, St. Louis, Missouri, USA, May 21, 2005, 2005)

Automatic generation and maintenance of correct spreadsheets - Martin Erwig; Robin Abraham; Irene Cooperstein; Steve Kollmansberger (27th International Conference on Software Engineering (ICSE 2005), 15-21 May 2005, St. Louis, Missouri, USA, 2005)

ClassSheets: automatic generation of spreadsheet applications from object-oriented specifications - Gregor Engels; Martin Erwig (20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), November 7-11, 2005, Long Beach, CA, USA, 2005)

Goal-Directed Debugging of Spreadsheets - Robin Abraham; Martin Erwig (2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2005), 21-24 September 2005, Dallas, TX, USA, 2005)

Visual Specifications of Correct Spreadsheets - Robin Abraham; Martin Erwig; Steve Kollmansberger; Ethan Seifert (2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2005), 21-24 September 2005, Dallas, TX, USA, 2005)

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)

Parametric Fortran - A Program Generator for Customized Generic Fortran Extensions - Martin Erwig; Zhe Fu (Practical Aspects of Declarative Languages, 6th International Symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004, Proceedings, 2004)

Header and Unit Inference for Spreadsheets Through Spatial Analyses - Robin Abraham; Martin Erwig (2004 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2004), 26-29 September 2004, Rome, Italy, 2004)

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 (J. Vis. Lang. Comput., 2003)

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; 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 (Database and Expert Systems Applications, 14th International Conference, DEXA 2003, Prague, Czech Republic, September 1-5, 2003, Proceedings, 2003)

Toward the Automatic Derivation of XML Transformations - Martin Erwig (Conceptual Modeling for Novel Application Domains, ER 2003 Workshops ECOMO, IWCMQ, AOIS, and XSDM, Chicago, IL, USA, October 13, 2003, Proceedings, 2003)

Programming Type-Safe Program Updates - Martin Erwig; Deling Ren (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, 2003)

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

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

Adding Apples and Oranges - Martin Erwig; Margaret M. Burnett (Practical Aspects of Declarative Languages, 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002, Proceedings, 2002)

A rule-based language for programming software updates - Martin Erwig; Deling Ren (Proceedings of the 2002 ACM SIGPLAN Workshop on Rule-Based Programming, Pittsburgh, Pennsylvania, USA, 2002, 2002)

Visually Customizing Inference Rules About Apples and Oranges - Margaret M. Burnett; Martin Erwig (2002 IEEE CS International Symposium on Human-Centric Computing Languages and Environments (HCC 2002), 3-6 September 2002, Arlington, VA, USA, 2002)

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

Programs Are Abstract Data Types - Martin Erwig (16th IEEE International Conference on Automated Software Engineering (ASE 2001), 26-29 November 2001, Coronado Island, San Diego, CA, USA, 2001)

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; Michalis Vazirgiannis (ACM Trans. Database Syst., 2000)

Random Access to Abstract Data Types - Martin Erwig (Algebraic Methodology and Software Technology. 8th International Conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings, 2000)

Query-By-Trace: Visual Predicate Specification in Spatio-Temporal Databases - Martin Erwig; Markus Schneider (Advances in Visual Information Management, proceedings of the Fifth Working Conference on Visual Database Systems (VDB5), Fukuoka, Japan, May 10-12, 2000, 2000)

A Visual Language for XML - Martin Erwig (2000 IEEE International Symposium on Visual Languages, VL 2000, Seattle, Washington, USA, September 10-13, 2000, Proceedings, 2000)

Pattern Guards and Transformational Patterns - Martin Erwig; Simon L. Peyton Jones (Proceedings of the 2000 ACM SIGPLAN Workshop on Haskell, Haskell 2000, Satellite Event of PLI 2000, Montreal, Canada, September 17, 2000, 2000)

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

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

Developments in Spatio-Temporal Query Languages - Martin Erwig; Markus Schneider (10th International Workshop on Database & Expert Systems Applications, Florence, Italy, September 1-3, 1999, Proceedings, 1999)

The Honeycomb Model of Spatio-Temporal Partitions - Martin Erwig; Markus Schneider (Spatio-Temporal Database Management, International Workshop STDBM'99, Edinburgh, Scotland, September 10-11, 1999, Proceedings, 1999)

Visual Graphs - Martin Erwig (1999 IEEE Symposium on Visual Languages, VL 1999, Tokyo, Japan, September 13-16, 1999, Proceedings, 1999)

Visual Specification of Spatio-Temporal Developments - Martin Erwig; Markus Schneider (1999 IEEE Symposium on Visual Languages, VL 1999, Tokyo, Japan, September 13-16, 1999, Proceedings, 1999)

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

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

Categorical Programming with Abstract Data Types - Martin Erwig (Algebraic Methodology and Software Technology, 7th International Conference, AMAST '98, Amazonia, Brasil, January 4-8, 1999, Proceedings, 1998)

Temporal Objects for Spatio-Temporal Data Models and a Comparison of Their Representations - Martin Erwig; Markus Schneider; Ralf Hartmut Güting (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, 1998)

Abstract and Discrete Modeling of Spatio-Temporal Data Types - Martin Erwig; Ralf Hartmut Güting; Markus Schneider; Michalis Vazirgiannis (ACM-GIS '98, Proceedings of the 6th international symposium on Advances in Geographic Information Systems, November 6-7, 1998, Washington, DC, USA, 1998)

Visual Semantics - Or: What You See is What You Compute - Martin Erwig (Proceedings 1998 IEEE Symposium on Visual Languages, Nova Scotia, Canada, September 1-4, 1998, 1998)

Partition and Conquer - Martin Erwig; Markus Schneider (Spatial Information Theory: A Theoretical Basis for GIS, International Conference COSIT '97, Laurel Highlands, Pennsylvania, USA, October 15-18, 1997, Proceedings, 1997)

Functional Programming with Graphs - Martin Erwig (Proceedings of the 1997 ACM SIGPLAN International Conference on Functional Programming (ICFP '97), Amsterdam, The Netherlands, June 9-11, 1997, 1997)

Fully Persistent Graphs - Which One To Choose? - Martin Erwig (Implementation of Functional Languages, 9th International Workshop, IFL'97, St. Andrews, Scotland, UK, September 10-12, 1997, Selected Papers, 1997)

Vague Regions - Martin Erwig; Markus Schneider (Advances in Spatial Databases, 5th International Symposium, SSD'97, Berlin, Germany, July 15-18, 1997, Proceedings, 1997)

Semantics of Visual Languages - Martin Erwig (Proceedings 1997 IEEE Symposium on Visual Languages, Isle of Capri, Italy, September 23-26, 1997, 1997)

Active Patterns - Martin Erwig (Implementation of Functional Languages, 8th International Workshop, IFL'96, Bad Godesberg, Germany, September 16-18, 1996, Selected Papers, 1996)

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

Heterogeneous Visual Languages-Integrating Visual and Textual Programming - Martin Erwig; Bernd Meyer (Proceedings 11th International IEEE Symposium on Visual Languages, Darmstadt, Germany, September 5-9, 1995, 1995)

Graphs in spatial databases - Martin Erwig (University of Hagen, Germany, 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)

DEAL - A Language for Depicting Algorithms - Martin Erwig (Proceedings IEEE Symposium on Visual Languages, St. Louis, Missouri, USA, October 4-7, 1994, 1994)

Specifying Type Systems with Multi-Level Order-Sorted Algebra - Martin Erwig (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, 1993)

Spezifikation von Datenmodellen mittels mehrstufiger Algebra - Martin Erwig (Tagung des Arbeitskreises der GI Datenbanken: Grundlagen von Informationssystemen, GvD 1993, 1.-4.6.1993, Graal-Müritz, Germany, 1993)

Modellierung von Netzen in Geo-Datenbanken - Martin Erwig; Ralf Hartmut Güting (Kurzfassungen des 4. GI-Workshops "Grundlagen von Datenbanken", GvD 1992, Barsinghausen, Germany, 9.-12.6.1992, 1992)

Graph Algorithms = Iteration + Data Structures? The Structure of Graph Algorithms and a Corresponding Style of Programming - Martin Erwig (Graph-Theoretic Concepts in Computer Science, 18th International Workshop, WG '92, Wiesbaden-Naurod, Germany, June 19-20, 1992, Proceedings, 1992)

A Functional DBPL Revealing High Level Optimizations - Martin Erwig; Udo W. Lipeck (Database Programming Languages: Bulk Types and Persistent Data. 3rd International Workshop, August 27-30, 1991, Nafplion, Greece, Proceedings, 1991)