Deterministic omega-regular liveness properties. - Frank Nießner; Ulrich Nitsche; Peter Ochsenschläger (Developments in Language Theory, 1997)

Nondeterministic Tree Automata. - Frank Nießner (Automata, Logics, and Infinite Games, 2001)

Büchi Automata and Their Degrees of Nondeterminism and Ambiguity. - Frank Nießner (J. Autom. Lang. Comb., 2004)

Effiziente Beschreibungen regulärer Sprachen und regulärer Ω-Sprachen. - Frank Nießner (2004)

Model-checking Inherently Fair Linear-time Properties. - Thierry Nicola; Frank Nießner; Ulrich Ultes-Nitsche (MSVVEIS, 2005)

Succinct representations of languages by DFA with different levels of reliability. - Martin Kappes; Frank Nießner (Theor. Comput. Sci., 2005)

Specification of Deterministic Regular Liveness Properties. - Frank Nießner (MSVVEIS, 2006)

A complete characterization of deterministic regular liveness properties. - Frank Nießner; Ulrich Ultes-Nitsche (Theor. Comput. Sci., 2007)

Checking Inherently Fair Linear-Time Properties in a Non-Naïve Way. - Thierry Nicola; Frank Nießner; Ulrich Ultes-Nitsche (MSVVEIS, 2008)