Negative Application Conditions for Reconfigurable Algebraic High-Level Systems. - Alexander Rein (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008)

Negative Application Conditions for Reconfigurable Place/Transition Systems. - Alexander Rein; Ulrike Prange; Leen Lambers; Kathrin Hoffmann; Julia Padberg (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008)

Feature link propagation across variability representations with Isabelle/HOL. - Florian Kammüller; Alexander Rein; Mark-Oliver Reiser (PLEASE@ICSE, 2010)

Functorial Analysis of Algebraic Higher-Order Net Systems with Applications to Mobile Ad-Hoc Networks. - Ulrike Golas; Kathrin Hoffmann; Hartmut Ehrig; Alexander Rein; Julia Padberg (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)