Frank Nießner

According to our database, Frank Nießner authored at least 9 papers between 1997 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2008

Checking Inherently Fair Linear-Time Properties in a Non-Naïve Way.

Thierry Nicola, Frank Nießner, Ulrich Ultes-Nitsche

Proceedings of the Modelling, 2008

2007

A complete characterization of deterministic regular liveness properties.

Frank Nießner, Ulrich Ultes-Nitsche

Theor. Comput. Sci., 2007

2006

Specification of Deterministic Regular Liveness Properties.

Frank Nießner

Proceedings of the Modelling, 2006

2005

Succinct representations of languages by DFA with different levels of reliability.

Martin Kappes, Frank Nießner

Theor. Comput. Sci., 2005

Model-checking Inherently Fair Linear-time Properties.

Thierry Nicola, Frank Nießner, Ulrich Ultes-Nitsche

Proceedings of the Modelling, 2005

2004

Effiziente Beschreibungen regulärer Sprachen und regulärer Ω-Sprachen.

Frank Nießner

PhD thesis, 2004

Büchi Automata and Their Degrees of Nondeterminism and Ambiguity.

Frank Nießner

J. Autom. Lang. Comb., 2004

2001

Nondeterministic Tree Automata.

Frank Nießner

Proceedings of the Automata, 2001

1997

Deterministic omega-regular liveness properties.

Frank Nießner, Ulrich Nitsche, Peter Ochsenschläger

Proceedings of the 3rd International Conference Developments in Language Theory, 1997