Propositional Linear Temporal Logic and Language Homomorphisms. - Ulrich Nitsche (LFCS, 1994)

A Verification Method Based on Homomorphic Model Abstractions (Abstract). - Ulrich Nitsche (PODC, 1994)

A Finitary-Language Semantics for Propositional Linear Temporal Logic. - Ulrich Nitsche (Developments in Language Theory, 1995)

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 Ochsenschläger (CAV, 1996)

Approximaely Satisfied Properties of Systems and Simple Language Homomorphisms. - Ulrich Nitsche; Peter Ochsenschläger (Inf. Process. Lett., 1996)

Verification and behavior abstraction towards a tractable verification technique for large distributed systems. - Ulrich Nitsche (J. Syst. Softw., 1996)

Security Concerns for Mobile Information Systems in Health Care. - Othmar Morger; Ulrich Nitsche; Stephanie Teufel (DEXA Workshop, 1997)

Deterministic omega-regular liveness properties. - Frank Nießner; Ulrich Nitsche; Peter Ochsenschläger (Developments in Language Theory, 1997)

Interpretation of the Full Computation Tree Logic CTL* on Sets of Infinite Sequences. - Ulrich Nitsche (LFCS, 1997)

Relative Liveness and Behavior Abstraction (Extended Abstract). - Ulrich Nitsche; Pierre Wolper (PODC, 1997)

On the Border of Universality and Non-Universality in Restricted High-Level Petri Nets. - Ulrich Nitsche (MCU (2), 1998)

Privacy and Efficiency in Patient Focused Health Care Processes. - Othmar Morger; Ulrich Nitsche; Stephanie Teufel (MedInfo, 1998)

Towards the Construction of an Abstract State-Space from a Partial-Order Representation of the Concrete One. - Ulrich Ultes-Nitsche (MFCS Workshop on Concurrency, 1998)

The SH-Verification Tool - Abstraction-Based Verification of Co-operating Systems. - Peter Ochsenschläger; Jürgen Repp; Roland Rieke; Ulrich Nitsche (Formal Aspects Comput., 1998)

Application of formal verification and behaviour abstraction to the service interaction problem in intelligent networks. - Ulrich Ultes-Nitsche (J. Syst. Softw., 1998)

Verification of co-operating-systems and behaviour abstraction. - Ulrich Nitsche (1998)

Security aspects of a Java-servlet-based web-hosted e-mail system. - Eleanor Hepworth; Ulrich Ultes-Nitsche (Conference on Information Security Management & Small Systems Security, 1999)

A Persistent-Set Approach to Abstract Stat-Space Construction in Verification. - Ulrich Ultes-Nitsche (SOFSEM, 1999)

Secure Access to Medical Data over the Internet. - Ulrich Ultes-Nitsche; Stephanie Teufel (ECIS, 2000)

Satisfaction up to Liveness. - Ulrich Ultes-Nitsche (FORTE, 2000)

Testing Liveness Properties: Approximating Liveness Properties by Safety Properties. - Ulrich Ultes-Nitsche; Simon St. James (FORTE, 2001)

Computing property-preserving behaviour abstractions from trace reductions: abstraction-based verification of linear-time properties under fairness. - Simon St. James; Ulrich Ultes-Nitsche (PODC, 2001)

Checking Properties within Fairness and Behavior Abstractions - Ulrich Ultes-Nitsche; Pierre Wolper (CoRR, 2001)

Configuring Firewalls - An XML-based Approach to Modelling and Implementing Firewall Configurations. - Simon R. Chudley; Ulrich Ultes-Nitsche (ISSA, 2002)

An Integrated Network Security Approach - Pairing Detecting Malicious Patterns with Anomaly Detection. - Ulrich Ultes-Nitsche; InSeon Yoo (ISSA, 2002)

Do We Need Liveness? - Approximation of Liveness Properties by Safety Properties. - Ulrich Ultes-Nitsche (SOFSEM, 2002)

An Optimised Partial-Order Approach to the Verification of System Components. - Simon St. James; Ulrich Ultes-Nitsche (NDDL/VVEIS, 2003)

Improved verification of linear-time properties within fairness: weakly continuation-closed behaviour abstractions computed from trace reductions. - Ulrich Ultes-Nitsche; Simon St. James (Softw. Test. Verification Reliab., 2003)

Towards Run-Time Protocol Anomaly Detection and Verification. - InSeon Yoo; Ulrich Ultes-Nitsche (ICETE (2), 2004)

How to predict e-mail viruses under uncertainty. - InSeon Yoo; Ulrich Ultes-Nitsche (IPCCC, 2004)

Run-Time Protocol Conformance Verification In Firewalls. - Ulrich Ultes-Nitsche (ISSA, 2004)

Introduction to the Special Issue on Verification and Computational Logic. - Michael Leuschel; Andreas Podelski; C. R. Ramakrishnan 001; Ulrich Ultes-Nitsche (Theory Pract. Log. Program., 2004)

Automated configuration distribution in verinec. - David Buchmann; Dominik Jungo; Ulrich Ultes-Nitsche (ICETE, 2005)

A Unit Testing Framework for Network Configurations. - Dominik Jungo; David Buchmann; Ulrich Ultes-Nitsche (MSVVEIS, 2005)

Model-checking Inherently Fair Linear-time Properties. - Thierry Nicola; Frank Nießner; Ulrich Ultes-Nitsche (MSVVEIS, 2005)

A Complete Characterization of Deterministic Regular Liveness Properties. - Frank Nießner; Ulrich Ultes-Nitsche (DCFS, 2006)

Case Study of the Usage of an Authentication and Authorization Infrastructure (AAI) in an E-Learning Project. - Torsten Braun; Christoph Graf; Ulrich Ultes-Nitsche; Aurelius Baier; Thomas Bernoulli (ISSA, 2006)

Testing of Semantic Properties in XML Documents. - Dominik Jungo; David Buchmann; Ulrich Ultes-Nitsche (MSVVEIS, 2006)

Environmental Acquisition in Mobile Network Simulation. - David Buchmann; Dominik Jungo; Ulrich Ultes-Nitsche (WINSYS, 2006)

Non-signature based virus detection. - InSeon Yoo; Ulrich Ultes-Nitsche (J. Comput. Virol., 2006)

Assessment of Code Quality through Classification of Unit Tests in VeriNeC. - Dominik Jungo; David Buchmann; Ulrich Ultes-Nitsche (AINA Workshops (1), 2007)

Improving network reliability by avoiding misconfiguration. - David Buchmann; Dominik Jungo; Ulrich Ultes-Nitsche (DRCN, 2007)

A power-set construction for reducing Büchi automata to non-determinism degree two. - Ulrich Ultes-Nitsche (Inf. Process. Lett., 2007)

Towards more adequate EIS. - Joseph Barjis; Juan Carlos Augusto; Ulrich Ultes-Nitsche (Sci. Comput. Program., 2007)

Java Nio Framework - Introducing a High-Performance I/O Framework for Java. - Ronny Standtke; Ulrich Ultes-Nitsche (ICSOFT (PL/DPS/KE), 2008)

Immune System Based Intrusion Detection System. - Christoph Ehret; Ulrich Ultes-Nitsche (ISSA, 2008)

A Proof-of-Concept Implementation of EAP-TLS with TPM Support. - Carolin Latze; Ulrich Ultes-Nitsche (ISSA, 2008)

Towards a zero configuration authentication scheme for 802.11 based networks. - Carolin Latze; Ulrich Ultes-Nitsche; Florian Baumgartner (LCN, 2008)

Checking Inherently Fair Linear-Time Properties in a Non-Naïve Way. - Thierry Nicola; Frank Nießner; Ulrich Ultes-Nitsche (MSVVEIS, 2008)

Weakly Continuation Closed Homomorphisms on Automata. - Thierry Nicola; Ulrich Ultes-Nitsche (MSVVEIS, 2008)

A Proof of Concept Implementation of a Secure E-Commerce Authentication Scheme. - Carolin Latze; Andreas Ruppen; Ulrich Ultes-Nitsche (ISSA, 2009)

Web 3.0 - Wohin geht es mit dem World Wide Web? Grundlagen zum Social Semantic Web. - Ulrich Ultes-Nitsche (HMD Prax. Wirtsch., 2010)

cPLC - A Cryptographic Programming Language and Compiler. - Endre Bangerter; Stephan Krenn; Matrial Seifriz; Ulrich Ultes-Nitsche (ISSA, 2011)

k-Counting Automata. - Ulrich Ultes-Nitsche; Joël Allred (NCMA, 2011)

Identification of Chordless Cycles in Ecological Networks. - Nayla Sokhn; Richard Baltensperger; Louis-Félix Bersier; Jean Hennebert; Ulrich Ultes-Nitsche (Complex, 2012)

k-counting automata. - Joël Allred; Ulrich Ultes-Nitsche (RAIRO Theor. Informatics Appl., 2012)

Structural Network Properties of Niche-Overlap Graphs. - Nayla Sokhn; Richard Baltensperger; Louis-Félix Bersier; Ulrich Ultes-Nitsche; Jean Hennebert (SITIS, 2013)

Structure Comparison of Binary and Weighted Niche-Overlap Graphs. - Nayla Sokhn; Richard Baltensperger; Louis-Félix Bersier; Ulrich Ultes-Nitsche; Jean Hennebert (CompleNet, 2014)

A Simple and Optimal Complementation Algorithm for Büchi Automata. - Joël D. Allred; Ulrich Ultes-Nitsche (LICS, 2018)

Analyzing Büchi Automata with Graph Neural Networks. - Christophe Stammet; Prisca Dotti; Ulrich Ultes-Nitsche; Andreas Fischer (CoRR, 2022)

Universality of Büchi Automata: Analysis With Graph Neural Networks. - Christophe Stammet; Ulrich Ultes-Nitsche; Andreas Fischer (IEEE Access, 2023)