Ulrich Nitsche

ORCID

Publication Activity (10 Years)

Years Active: 1994-1998
Publications (10 Years): 0

Goethe University Frankfurt, Frankfurt am Main, Germany (PHD)

Education History

Goethe University Frankfurt, Frankfurt am Main, Germany

PHD

Publications

Othmar Morger, Ulrich Nitsche, Stephanie Teufel
Privacy and Efficiency in Patient Focused Health Care Processes. MedInfo (1998)
Peter Ochsenschläger, Jürgen Repp, Roland Rieke, Ulrich Nitsche
The SH-Verification Tool - Abstraction-Based Verification of Co-operating Systems. Formal Aspects Comput. 10 (4) (1998)
Ulrich Nitsche
On the Border of Universality and Non-Universality in Restricted High-Level Petri Nets. MCU (2) (1998)
Ulrich Nitsche
Interpretation of the Full Computation Tree Logic CTL* on Sets of Infinite Sequences. LFCS (1997)
Othmar Morger, Ulrich Nitsche, Stephanie Teufel
Security Concerns for Mobile Information Systems in Health Care. DEXA Workshop (1997)
Ulrich Nitsche, Pierre Wolper
Relative Liveness and Behavior Abstraction (Extended Abstract). PODC (1997)
Frank Nießner, Ulrich Nitsche, Peter Ochsenschläger
Deterministic omega-regular liveness properties. Developments in Language Theory (1997)
Ulrich Nitsche, Peter Ochsenschläger
Approximaely Satisfied Properties of Systems and Simple Language Homomorphisms. Inf. Process. Lett. 60 (4) (1996)
Ulrich Nitsche
Verification and behavior abstraction towards a tractable verification technique for large distributed systems. J. Syst. Softw. 33 (3) (1996)
Carla Capellmann, Ralph Demant, Farhad Fatahi-Vanani, Rafael Galvez-Estrada, Ulrich Nitsche, Peter Ochsenschläger
Verification by Behaviour Abstraction - A Case Study of Service Interaction Detection in Intelligent Telephone Networks. CAV (1996)
Ulrich Nitsche
A Finitary-Language Semantics for Propositional Linear Temporal Logic. Developments in Language Theory (1995)
Ulrich Nitsche
Propositional Linear Temporal Logic and Language Homomorphisms. LFCS (1994)
Ulrich Nitsche
A Verification Method Based on Homomorphic Model Abstractions (Abstract). PODC (1994)

Ulrich Nitsche.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Ulrich Nitsche