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

2006

Specification of Deterministic Regular Liveness Properties.

Frank Nießner

Proceedings of the Modelling, 2006

A Complete Characterization of Deterministic Regular Liveness Properties.

Frank Nießner, Ulrich Ultes-Nitsche

Proceedings of the 8th International Workshop on Descriptional Complexity of Formal Systems - DCFS 2006, Las Cruces, New Mexico, USA, June 21, 2006

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

2003

Succinct Representations of Languages by DFA With Different Levels of Reliability.

Martin Kappes, Frank Nießner

Proceedings of the 5th International Workshop on Descriptional Complexity of Formal Systems - DCFS 2003, Budapest, Hungary, July 12, 2003

2002

Büchi automata and their degrees of nondeterminism and ambiguity.

Frank Nießner

Proceedings of the Fourth International Workshop on Descriptional Complexity of Formal Systems - DCFS 2002, London, Canada, August 21, 2002

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