BibSonomy :: author  ::

bookmarks

publications

(9)

• Checking Inherently Fair Linear-Time Properties in a Non-Naïve Way.
  Thierry Nicola and Frank Nießner and Ulrich Ultes-Nitsche MSVVEIS 49-58 (2008)
  to dblp by dblp on 2008-08-18 00:00:00
  | URL | BibTeX  
• Deterministic omega-regular liveness properties.
  Frank Nießner and Ulrich Nitsche and Peter Ochsenschläger Developments in Language Theory 237-248 (1997)
  to dblp by dblp on 2008-05-20 00:00:00
  | URL | BibTeX  
• A complete characterization of deterministic regular liveness properties.
  Frank Nießner and Ulrich Ultes-Nitsche Theor. Comput. Sci. 387 187-195 (2007)
  to dblp by dblp on 2008-01-31 00:00:00
  | URL | BibTeX  
• Büchi Automata and Their Degrees of Nondeterminism and Ambiguity.
  Frank Nießner Journal of Automata, Languages and Combinatorics 9 347-363 (2004)
  to dblp by dblp on 2008-01-01 00:00:00
  | URL | BibTeX  
• Specification of Deterministic Regular Liveness Properties.
  Frank Nießner MSVVEIS 173-178 (2006)
  to dblp by dblp on 2006-09-06 00:00:00
  | URL | BibTeX  
• Model-checking Inherently Fair Linear-time Properties.
  Thierry Nicola and Frank Nießner and Ulrich Ultes-Nitsche MSVVEIS 3-8 (2005)
  to dblp by dblp on 2005-07-07 00:00:00
  | URL | BibTeX  
• Succinct representations of languages by DFA with different levels of reliability.
  Martin Kappes and Frank Nießner Theor. Comput. Sci. 330 299-310 (2005)
  to dblp by dblp on 2005-05-06 00:00:00
  | URL | BibTeX  
• Nondeterministic Tree Automata.
  Frank Nießner Automata, Logics, and Infinite Games 135-152 (2001)
  to dblp by dblp on 2002-12-04 00:00:00
  | URL | BibTeX  
• FORTRAN Programmers Can still Profit from ALGOL 60 (a Retrospective).
  H. Nießner Angewandte Informatik 24 236-243 (1982)
  to dblp by dblp on 2002-01-03 00:00:00
  | URL | BibTeX