Negation in Combining Constraint Systems. - Stephan Kepser (FroCoS, 1998)

Optimisation Techniques for Combining Constraint Solvers. - Stephan Kepser; Jörn Richts (FroCoS, 1998)

Combination of constraint systems. - Stephan Kepser (1998)

UNIMOK: A System for Combining Equational Unification Algorithm. - Stephan Kepser; Jörn Richts (RTA, 1999)

On the Complexity of RSRL. - Stephan Kepser (FGMOL, 2001)

Combination of constraint systems II: Rational amalgamation. - Klaus U. Schulz; Stephan Kepser (Theor. Comput. Sci., 2001)

Finite Structure Query: A Tool for Querying Syntactically Annotated Corpora. - Stephan Kepser (EACL, 2003)

A Simple Proof for the Turing-Completeness of XSLT and XQuery. - Stephan Kepser (Extreme Markup Languages®, 2004)

A Multi-Modal Documentation System for Warao. - Stefanie Herrmann; Hartmut Keck; Stephan Kepser (LREC, 2004)

Querying Linguistic Treebanks with Monadic Second-Order Logic in Linear Time. - Stephan Kepser (J. Log. Lang. Inf., 2004)

Using MONA for Querying Linguistic Treebanks. - Stephan Kepser (HLT/EMNLP, 2005)

Monadic Second-Order Logic and Transitive Closure Logics over Trees. - Hans-Jörg Tiede; Stephan Kepser (WoLLIC, 2006)

Closure properties of linear context-free tree languages with an application to optimality theory. - Stephan Kepser; Uwe Mönnich (Theor. Comput. Sci., 2006)

On Monadic Second-Order Theories of Multidominance Structures. - Stephan Kepser (MOL, 2009)

The Equivalence of Tree Adjoining Grammars and Monadic Linear Context-Free Tree Grammars. - Stephan Kepser; James Rogers (MOL, 2009)

The Equivalence of Tree Adjoining Grammars and Monadic Linear Context-free Tree Grammars. - Stephan Kepser; Jim Rogers (J. Log. Lang. Inf., 2011)