Frank Nießner

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