dblp.uni-trier.dewww.uni-trier.de

Frank Nießner

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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
7EEFrank 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
4EEMartin 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
2EEFrank 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

Coauthor Index

1Martin Kappes [4]
2Thierry Nicola [5] [8]
3Peter Ochsenschläger [1]
4Ulrich Ultes-Nitsche (Ulrich Nitsche) [1] [5] [7] [8]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)