 | 2008 |
|---|
| 8 |       | Thierry Nicola,
Frank Nießner,
Ulrich Ultes-Nitsche:
Checking Inherently Fair Linear-Time Properties in a Non-Naïve Way.
MSVVEIS 2008: 49-58 |
| 2007 |
|---|
| 7 |  | Frank Nießner,
Ulrich Ultes-Nitsche:
A complete characterization of deterministic regular liveness properties.
Theor. Comput. Sci. 387(2): 187-195 (2007) |
| 2006 |
|---|
| 6 | | Frank Nießner:
Specification of Deterministic Regular Liveness Properties.
MSVVEIS 2006: 173-178 |
| 2005 |
|---|
| 5 | | Thierry Nicola,
Frank Nießner,
Ulrich Ultes-Nitsche:
Model-checking Inherently Fair Linear-time Properties.
MSVVEIS 2005: 3-8 |
| 4 | | Martin Kappes,
Frank Nießner:
Succinct representations of languages by DFA with different levels of reliability.
Theor. Comput. Sci. 330(2): 299-310 (2005) |
| 2004 |
|---|
| 3 | | Frank Nießner:
Büchi Automata and Their Degrees of Nondeterminism and Ambiguity.
Journal of Automata, Languages and Combinatorics 9(2/3): 347-363 (2004) |
| 2001 |
|---|
| 2 | | Frank Nießner:
Nondeterministic Tree Automata.
Automata, Logics, and Infinite Games 2001: 135-152 |
| 1997 |
|---|
| 1 | | Frank Nießner,
Ulrich Nitsche,
Peter Ochsenschläger:
Deterministic omega-regular liveness properties.
Developments in Language Theory 1997: 237-248 |
