Lambek Calculus Proofs and Tree Automata. - Hans-Jörg Tiede (LACL, 1998)

Basic Simple Type Theory, J. Roger Hindley. - Hans-Jörg Tiede (J. Log. Lang. Inf., 1999)

The Mathematics by of Language Marcus Kracht. - Hans-Jörg Tiede (Comput. Linguistics, 2004)

Review of "Automata theory and its applications" by Bakhadyr Khoussainov and Anil Nerode. Birkhäuser Boston, Inc. 2001.: and "Automata, logics, and infinite games" by E.Grädel, W. Thomas, and T. Wilke. Springer-Verlag. - Lawrence S. Moss; Hans-Jörg Tiede (SIGACT News, 2004)

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

Applications of modal logic in linguistics. - Lawrence S. Moss; Hans-Jörg Tiede (Handbook of Modal Logic, 2007)

Inessential Features, Ineliminable Features, and Modal Logics for Model Theoretic Syntax. - Hans-Jörg Tiede (J. Log. Lang. Inf., 2008)

Book Review. - Hans-Jörg Tiede (J. Log. Lang. Inf., 2008)