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

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

Weakly Continuation Closed Homomorphisms on Automata. - Thierry Nicola; Ulrich Ultes-Nitsche (MSVVEIS, 2008)