Characterizing TC0 in Terms of Infinite Groups. - Andreas Krebs; Klaus-Jörn Lange; Stephanie Reifferscheid (Theory Comput. Syst., 2007)

Regular Languages Definable by Majority Quantifiers with Two Variables. - Christoph Behle; Andreas Krebs; Stephanie Reifferscheid (Developments in Language Theory, 2009)

Non-solvable Groups Are Not in FO+MOD+MÂJ2[REG]. - Christoph Behle; Andreas Krebs; Stephanie Reifferscheid (LATA, 2009)

An Approach to characterize the Regular Languages in TC0 with Linear Wires. - Christoph Behle; Andreas Krebs; Stephanie Reifferscheid (Electron. Colloquium Comput. Complex., 2009)

Typed Monoids - An Eilenberg-like Theorem for non regular Languages. - Christoph Behle; Andreas Krebs; Stephanie Reifferscheid (Electron. Colloquium Comput. Complex., 2011)