Skip to content
cs-conference-ranking.org

Ulrich Ultes-Nitsche

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

11

Venues

9

Active years

1999–2026

Best venue rank

A*

Where they publish

Papers

11 indexed papers, newest first.

YearVenueTitleAuthors
2026DLTThe Joker Game Only Characterizes History-Determinism in Parity Automata With up to Two Priorities.Dorian Guyot, Ulrich Ultes-Nitsche
2018LICSA Simple and Optimal Complementation Algorithm for Bchi Automata.Jol D. Allred, Ulrich Ultes-Nitsche
2008ICSoftJava Nio Framework - Introducing a High-Performance I/O Framework for Java.Ronny Standtke, Ulrich Ultes-Nitsche
2008LCNTowards a zero configuration authentication scheme for 802.11 based networks.Carolin Latze, Ulrich Ultes-Nitsche, Florian Baumgartner
2007AINAAssessment of Code Quality through Classification of Unit Tests in VeriNeC.Dominik Jungo, David Buchmann, Ulrich Ultes-Nitsche
2004IPCCCHow to predict e-mail viruses under uncertainty.InSeon Yoo, Ulrich Ultes-Nitsche
2002SOFSEMDo We Need Liveness? - Approximation of Liveness Properties by Safety Properties.Ulrich Ultes-Nitsche
2001FORTETesting Liveness Properties: Approximating Liveness Properties by Safety Properties.Ulrich Ultes-Nitsche, Simon St. James
2001PODCComputing property-preserving behaviour abstractions from trace reductions: abstraction-based verification of linear-time properties under fairness.Simon St. James, Ulrich Ultes-Nitsche
2000FORTESatisfaction up to Liveness.Ulrich Ultes-Nitsche
1999SOFSEMA Persistent-Set Approach to Abstract Stat-Space Construction in Verification.Ulrich Ultes-Nitsche