|
Search the dblp DataBase
Frank Nießner:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Frank Nießner
Nondeterministic Tree Automata. [Citation Graph (0, 0)][DBLP] Automata, Logics, and Infinite Games, 2001, pp:135-152 [Conf]
- Thierry Nicola, Frank Nießner, Ulrich Ultes-Nitsche
Model-checking Inherently Fair Linear-time Properties. [Citation Graph (0, 0)][DBLP] MSVVEIS, 2005, pp:3-8 [Conf]
- Frank Nießner
Specification of Deterministic Regular Liveness Properties. [Citation Graph (0, 0)][DBLP] MSVVEIS, 2006, pp:173-178 [Conf]
- Martin Kappes, Frank Nießner
Succinct representations of languages by DFA with different levels of reliability. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2005, v:330, n:2, pp:299-310 [Journal]
Deterministic omega-regular liveness properties. [Citation Graph (, )][DBLP]
Checking Inherently Fair Linear-Time Properties in a Non-Naïve Way. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.003secs
|