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

Designing explanation-oriented languages. - Eric Walkingshaw (VL/HCC, 2008)

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

Varying Domain Representations in Hagl. - Eric Walkingshaw; Martin Erwig (DSL, 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)

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

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

Managing Variation in Explanation-Oriented Languages. - Eric Walkingshaw (VL/HCC, 2010)

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

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

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

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

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

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

An error-tolerant type system for variational lambda calculus. - Sheng Chen 008; Martin Erwig; Eric Walkingshaw (ICFP, 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)

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

Projectional editing of variational software. - Eric Walkingshaw; Klaus Ostermann (GPCE, 2014)

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

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

Programs for people: What we can learn from lab protocols. - Keeley Abbott; Christopher Bogart; Eric Walkingshaw (VL/HCC, 2015)

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

Concepts, Operations, and Feasibility of a Projection-Based Variation Control System. - Stefan Stanciulescu; Thorsten Berger; Eric Walkingshaw; Andrzej Wasowski (ICSME, 2016)

Formula choice calculus. - Spencer Hubbard; Eric Walkingshaw (FOSD, 2016)

Variational databases. - Parisa Ataei; Arash Termehchy; Eric Walkingshaw (DBPL, 2017)

How Good Are Your Types? Using Mutation Analysis to Evaluate the Effectiveness of Type Annotations. - Rahul Gopinath; Eric Walkingshaw (ICST Workshops, 2017)

A choice of variational stacks: exploring variational data structures. - Meng Meng; Jens Meinicke; Chu-Pan Wong; Eric Walkingshaw; Christian Kästner (VaMoS, 2017)

Declarative GUIs: Simple, Consistent, and Verified. - Stephan Adelsberger; Anton Setzer; Eric Walkingshaw (PPDP, 2018)

Developing GUI Applications in a Verified Setting. - Stephan Adelsberger; Anton Setzer; Eric Walkingshaw (SETTA, 2018)

A Domain Analysis of Data Structure and Algorithm Explanations in the Wild. - Jeffrey M. Young; Eric Walkingshaw (SIGCSE, 2018)

Managing Structurally Heterogeneous Databases in Software Product Lines. - Parisa Ataei; Arash Termehchy; Eric Walkingshaw (Poly/DMAH@VLDB, 2018)

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

Casts and costs: harmonizing safety and performance in gradual typing. - John Peter Campora III; Sheng Chen 008; Eric Walkingshaw (Proc. ACM Program. Lang., 2018)

Towards efficient analysis of variation in time and space. - Thomas Thüm; Leopoldo Teixeira; Klaus Schmid; Eric Walkingshaw; Mukelabai Mukelabai; Mahsa Varshosaz; Goetz Botterweck; Ina Schaefer; Timo Kehrer (SPLC (B), 2019)

Managing Variability in Relational Databases by VDBMS. - Parisa Ataei; Qiaoran Li; Eric Walkingshaw; Arash Termehchy (CoRR, 2019)

Third International Workshop on Variability and Evolution of Software-Intensive Systems (VariVolution 2020). - Jacob Krüger; Sofia Ananieva; Lea Gerling; Eric Walkingshaw (SPLC (A), 2020)

Variational satisfiability solving. - Jeffrey M. Young; Eric Walkingshaw; Thomas Thüm (SPLC (A), 2020)

A variational database management system. - Parisa Ataei; Fariba Khan; Eric Walkingshaw (GPCE, 2021)

Should Variation Be Encoded Explicitly in Databases? - Parisa Ataei; Qiaoran Li; Eric Walkingshaw (VaMoS, 2021)

Variational Satisfiability Solving: Efficiently Solving Lots of Related SAT Problems - Summary. - Jeffrey M. Young; Paul Maximilian Bittner; Eric Walkingshaw; Thomas Thüm (Software Engineering, 2023)

Variational satisfiability solving: efficiently solving lots of related SAT problems. - Jeffrey M. Young; Paul Maximilian Bittner; Eric Walkingshaw; Thomas Thüm (Empir. Softw. Eng., 2023)

On the Expressive Power of Languages for Static Variability. - Paul Maximilian Bittner; Alexander Schultheiß; Benjamin Moosherr; Jeffrey M. Young; Leopoldo Teixeira; Eric Walkingshaw; Parisa Ataei; Thomas Thüm (Proc. ACM Program. Lang., 2024)