SAT Encodings of the At-Most-k Constraint - A Case Study on Configuring University Courses. - Paul Maximilian Bittner; Thomas Thüm; Ina Schaefer (SEFM, 2019)

Gaze and Motion-aware Real-Time Dome Projection System. - Steve Grogorick; Matthias Ueberheide; Jan-Philipp Tauscher; Paul Maximilian Bittner; Marcus A. Magnor (VR, 2019)

Immersive EEG: Evaluating Electroencephalography in Virtual Reality. - Jan-Philipp Tauscher; Fabian Wolf Schottky; Steve Grogorick; Paul Maximilian Bittner; Maryam Mustafa; Marcus A. Magnor (VR, 2019)

On the use of product-line variants as experimental subjects for clone-and-own research: a case study. - Alexander Schultheiß; Paul Maximilian Bittner; Timo Kehrer; Thomas Thüm (SPLC (A), 2020)

Depth Augmented Omnidirectional Stereo for 6-DoF VR Photography. - Tobias Bertel; Moritz Mühlhausen; Moritz Kappel; Paul Maximilian Bittner; Christian Richardt; Marcus A. Magnor (VR Workshops, 2020)

Temporal Consistent Motion Parallax for Omnidirectional Stereo Panorama Video. - Moritz Mühlhausen; Moritz Kappel; Marc Kassubeck; Paul Maximilian Bittner; Susana Castillo 001; Marcus A. Magnor (VRST, 2020)

Bridging the Gap Between Clone-and-Own and Software Product Lines. - Timo Kehrer; Thomas Thüm; Alexander Schultheiß; Paul Maximilian Bittner (ICSE (NIER), 2021)

Scalable N-Way Model Matching Using Multi-Dimensional Search Trees. - Alexander Schultheiß; Paul Maximilian Bittner; Lars Grunske; Thomas Thüm; Timo Kehrer (MoDELS, 2021)

Feature trace recording. - Paul Maximilian Bittner; Alexander Schultheiß; Thomas Thüm; Timo Kehrer; Jeffrey M. Young; Lukas Linsbauer (ESEC/SIGSOFT FSE, 2021)

Applications of #SAT Solvers on Feature Models. - Chico Sundermann; Michael Nieke; Paul Maximilian Bittner; Tobias Heß; Thomas Thüm; Ina Schaefer (VaMoS, 2021)

Simulating the Evolution of Clone-and-Own Projects with VEVOS. - Alexander Schultheiß; Paul Maximilian Bittner; Sascha El-Sharkawy; Thomas Thüm; Timo Kehrer (EASE, 2022)

Quantifying the Potential to Automate the Synchronization of Variants in Clone-and-Own. - Alexander Schultheiß; Paul Maximilian Bittner; Thomas Thüm; Timo Kehrer (ICSME, 2022)

Feature Trace Recording - Summary. - Paul Maximilian Bittner; Alexander Schultheiß; Thomas Thüm; Timo Kehrer; Jeffrey M. Young; Lukas Linsbauer (Software Engineering, 2022)

Scalable N-Way Model Matching Using Multi-Dimensional Search Trees - Summary. - Alexander Schultheiß; Paul Maximilian Bittner; Thomas Thüm; Timo Kehrer (Software Engineering, 2022)

Classifying edits to variability in source code. - Paul Maximilian Bittner; Christof Tinnes; Alexander Schultheiß; Sören Viegener; Timo Kehrer; Thomas Thüm (ESEC/SIGSOFT FSE, 2022)

Derivation of subset product lines in FeatureIDE. - Lukas Linsbauer; Paul Westphal; Paul Maximilian Bittner; Sebastian Krieter; Thomas Thüm; Ina Schaefer (SPLC (B), 2022)

Classifying Edits to Variability in Source Code - Summary. - Paul Maximilian Bittner; Christof Tinnes; Alexander Schultheiß; Sören Viegener; Timo Kehrer; Thomas Thüm (Software Engineering, 2023)

Quantifying the Potential to Automate the Synchronization of Variants in Clone-and-Own - Summary. - Alexander Schultheiß; Paul Maximilian Bittner; Thomas Thüm; Timo Kehrer (Software Engineering, 2023)

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)

Views on Edits to Variational Software. - Paul Maximilian Bittner; Alexander Schultheiß; Sandra Greiner 001; Benjamin Moosherr; Sebastian Krieter; Christof Tinnes; Timo Kehrer; Thomas Thüm (SPLC (A), 2023)

Benchmark Generation with VEVOS: A Coverage Analysis of Evolution Scenarios in Variant-Rich Systems. - Alexander Schultheiß; Paul Maximilian Bittner; Sandra Greiner 001; Timo Kehrer (VaMoS, 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)

Evaluating state-of-the-art # SAT solvers on industrial configuration spaces. - Chico Sundermann; Tobias Heß; Michael Nieke; Paul Maximilian Bittner; Jeffrey M. Young; Thomas Thüm; Ina Schaefer (Empir. Softw. Eng., 2023)

RaQuN: a generic and scalable n-way model matching algorithm. - Alexander Schultheiß; Paul Maximilian Bittner; Alexander Boll; Lars Grunske; Thomas Thüm; Timo Kehrer (Softw. Syst. Model., 2023)

Variability-Aware Differencing with DiffDetective. - Paul Maximilian Bittner; Alexander Schultheiß; Benjamin Moosherr; Timo Kehrer; Thomas Thüm (SIGSOFT FSE Companion, 2024)

Give an Inch and Take a Mile? Effects of Adding Reliable Knowledge to Heuristic Feature Tracing. - Sandra Greiner 001; Alexander Schultheiß; Paul Maximilian Bittner; Thomas Thüm; Timo Kehrer (SPLC (A), 2024)

Explaining Edits to Variability Annotations in Evolving Software Product Lines. - Lukas Güthing; Paul Maximilian Bittner; Ina Schaefer; Thomas Thüm (VaMoS, 2024)

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)