On Some Aspects of Mixed Horn Formulas. - Stefan Porschen; Tatjana Schmidt; Ewald Speckenmeyer (SAT, 2009)

On Some SAT-Variants over Linear Formulas. - Stefan Porschen; Tatjana Schmidt (SOFSEM, 2009)

Complexity Results for Linear XSAT-Problems. - Stefan Porschen; Tatjana Schmidt; Ewald Speckenmeyer (SAT, 2010)

Computational complexity of SAT, XSAT and NAE-SAT for linear and mixed Horn CNF formulas. - Tatjana Schmidt (2010)

XSAT and NAE-SAT of linear CNF classes. - Stefan Porschen; Tatjana Schmidt; Ewald Speckenmeyer; Andreas Wotzlaw (Discret. Appl. Math., 2014)

Making Use of Foresight to Capture the Co-Evolution of Security Technologies and Societal Development. - Lars Gerhold; Tatjana Schmidt; Edda Brandes (ISTAS, 2019)