| U. Ultes-Nitsche and S. Teufel. Secure Access to Medical Data over the Internet. Trends in Information and Communication Systems for the 21st Century - Proceedings of the 8th European Conference on Information Systems (ECIS'2000), Vienna, Austria, 2000. |
| P. Ochsenschläger, J. Repp, R. Rieke, and U. Nitsche. The SH-Verification Tool - Abstraction-based Verification of Co-operating Systems. Journal on Formal Aspects of Computing. |
| U. Ultes-Nitsche. Towards the Construction of an Abstract State-Space from a Partial-Order Representation of the Concrete One. Electronic Notes in Theoretical Computer Science 18, 1998. |
| U. Nitsche, R. Holbein, O. Morger, and S. Teufel. Realization of a Context-Dependent Access Control Mechanism on a Commercial Platform. 14th International Information Security Conference (IFIP/Sec) '98, 15th IFIP World Computer Congress, Vienna/Budapest, Austria/Hungary, 1998. |
| U. Nitsche. Application of Formal Verification and Behaviour Abstraction to the Service Interaction Problem in Intelligent Networks. Journal of Systems and Software (JSS) 40(3), pages 227-248, March 1998. |
| F. Niessner, U. Nitsche, and P. Ochsenschläger. Deterministic OMEGA-Regular Liveness Properties. 3rd Internationial Conference on Developments in Language Theory (DLT) '97, Thessaloniki, Greece, pages 237-247, 1997. |
| U. Nitsche and P. Wolper. Relative Liveness Properties and Behavior Abstraction. 16th ACM Symposium on Principles of Distributed Computing (PODC) '97, Santa Barbara, CA, pages 45-52, 1997. This paper received the best student paper award of PODC'97. |
| U. Nitsche. Interpretation of the Full Computation Tree Logic CTL* on Sets of Infinite Sequences. 4th International Symposium on Logical Foundations of Computer Science (LFCS) '97, Yaroslavl, Russia, pages 276-282, 1997. |
| U. Nitsche and P. Ochsenschläger. Approximately Satisfied Properties of Systems and Simple Language Homomorphisms. Information Processing Letters (IPL) 60, pages 201-206, December 1996. |
| U. Nitsche. Verification and Behavior Abstraction - Towards a Tractable Verification Technique for Large Distributed Systems. Journal of Systems and Software (JSS) 33(3), pages 273-285, June 1996. |
| U. Nitsche. Propositional Linear Temporal Logic and Language Homomorphisms. 3rd International Symposium on Logical Foundations of Computer Science (LFCS) '94, St. Petersburg, Russia, pages 265-277, 1994. |