Ulrich Nitsche
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
5
Active years
1994–1998
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1998 | MCU | On the Border of Universality and Non-Universality in Restricted High-Level Petri Nets. | Ulrich Nitsche |
| 1997 | DLT | Deterministic omega-regular liveness properties. | Frank Niener, Ulrich Nitsche, Peter Ochsenschlger |
| 1997 | LFCS | Interpretation of the Full Computation Tree Logic CTL* on Sets of Infinite Sequences. | Ulrich Nitsche |
| 1997 | PODC | Relative Liveness and Behavior Abstraction (Extended Abstract). | Ulrich Nitsche, Pierre Wolper |
| 1996 | CAV | Verification by Behaviour Abstraction - A Case Study of Service Interaction Detection in Intelligent Telephone Networks. | Carla Capellmann, Ralph Demant, Farhad Fatahi-Vanani, Rafael Galvez-Estrada, Ulrich Nitsche, Peter Ochsenschlger |
| 1995 | DLT | A Finitary-Language Semantics for Propositional Linear Temporal Logic. | Ulrich Nitsche |
| 1994 | LFCS | Propositional Linear Temporal Logic and Language Homomorphisms. | Ulrich Nitsche |
| 1994 | PODC | A Verification Method Based on Homomorphic Model Abstractions (Abstract). | Ulrich Nitsche |