arrow
返回
T

Thomas Thüm

Braunschweig University of Technology

35H指数
212论文数
5.1K被引数
收录论文 11
发表时间
UVL: Feature modelling with the Universal Variability Language☆UVL: 具有通用可变性语言的特征建模 ☆
err2025-07-01
err0
errOAAI
errBenavides, David; Sundermann, Chico; Feichtinger, Kevin; Galindo, Jose A.; Rabiser, Rick; Thuem, Thomas
err分享
err收藏
How Low Can We Go? Minimizing Interaction Samples for Configurable Systems我们能走多低?为可配置系统最小化交互样本
err2025-07-01
err0
PREAI
errDominik M. Krupke; Ahmad Moradi; Michael Perk; Phillip Keldenich; Gabriel Gehrke; Sebastian Krieter; Thomas Thüm; Sándor P. Fekete
err分享
err收藏
Reusing d-DNNFs for Efficient Feature-Model Counting
err2024-11-23
err0
errOAAI
errSundermann, Chico; Raab, Heiko; Hess, Tobias; Thuem, Thomas; Schaefer, Ina
err分享
err收藏
Evaluating state-of-the-art # SAT solvers on industrial configuration spaces
err2023-01-13
err13
errOAAI
errSundermann, Chico; Hess, Tobias; Nieke, Michael; Bittner, Paul Maximilian; Young, Jeffrey M.; Thuem, Thomas; Schaefer, Ina
err分享
err收藏
Variational satisfiability solving: efficiently solving lots of related SAT problems
err2022-11-28
err2
errOAAI
errYoung, Jeffrey M.; Bittner, Paul Maximilian; Walkingshaw, Eric; Thuem, Thomas
err分享
err收藏
Foreword to the Special Issue on Configurable Systems
err2021-05-19
err0
errOAAI
errDuchien, Laurence; Gruenbacher, Paul; Thuem, Thomas
err分享
err收藏
Feature-oriented contract composition
err2019-06-01
err6
PREAI
errThuem, Thomas; Knueppel, Alexander; Krueger, Stefan; Bolle, Stefanie; Schaefer, Ina
err分享
err收藏
A Classification and Survey of Analysis Strategies for Software Product Lines
err2014-06-01
err328
errOAAI
errThuem, Thomas; Apel, Sven; Kaestner, Christian; Schaefer, Ina; Saake, Gunter
err分享
err收藏
Type Checking Annotation-Based Product Lines
err2012-07-03
err93
errOAAI
errKaestner, Christian; Apel, Sven; Thuem, Thomas; Saake, Gunter
err分享
err收藏