Supporting multiple feature binding strategies in NX. - Stefan Sobernig; Gustaf Neumann; Stephan Adelsberger (FOSD, 2012)

Towards assessing the complexity of object migration in dynamic, feature-oriented software product lines. - Stephan Adelsberger; Stefan Sobernig; Gustaf Neumann (VaMoS, 2014)

The Cayley-Hamilton Theorem. - Stephan Adelsberger; Stefan Hetzl; Florian Pollak (Arch. Formal Proofs, 2014)

Interactive programming in Agda - Objects and graphical user interfaces. - Andreas Abel 001; Stephan Adelsberger; Anton Setzer (J. Funct. Program., 2017)

Formal Verification for Feature-Based Composition of Workflows. - Stephan Adelsberger; Bashar Igried; Markus Moser; Vadim Savenkov; Anton Setzer (EDCC, 2018)

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)