Frank Nießner

Publication Activity (10 Years)

Years Active: 1997-2008
Publications (10 Years): 0

Goethe University Frankfurt am Main (PHD)

Education History

Goethe University Frankfurt am Main

PHD

Publications

Thierry Nicola, Frank Nießner, Ulrich Ultes-Nitsche
Checking Inherently Fair Linear-Time Properties in a Non-Naïve Way. MSVVEIS (2008)
Frank Nießner, Ulrich Ultes-Nitsche
A complete characterization of deterministic regular liveness properties. Theor. Comput. Sci. 387 (2) (2007)
Frank Nießner
Specification of Deterministic Regular Liveness Properties. MSVVEIS (2006)
Frank Nießner, Ulrich Ultes-Nitsche
A Complete Characterization of Deterministic Regular Liveness Properties. DCFS (2006)
Martin Kappes, Frank Nießner
Succinct representations of languages by DFA with different levels of reliability. Theor. Comput. Sci. 330 (2) (2005)
Thierry Nicola, Frank Nießner, Ulrich Ultes-Nitsche
Model-checking Inherently Fair Linear-time Properties. MSVVEIS (2005)
Frank Nießner
Büchi Automata and Their Degrees of Nondeterminism and Ambiguity. J. Autom. Lang. Comb. 9 (2/3) (2004)
Martin Kappes, Frank Nießner
Succinct Representations of Languages by DFA With Different Levels of Reliability. DCFS (2003)
Frank Nießner
Büchi automata and their degrees of nondeterminism and ambiguity. DCFS (2002)
Frank Nießner
Nondeterministic Tree Automata. Automata, Logics, and Infinite Games (2001)
Frank Nießner, Ulrich Nitsche, Peter Ochsenschläger
Deterministic omega-regular liveness properties. Developments in Language Theory (1997)