Distribution in the BirliX Operating System. - Hermann Härtig; Winfried E. Kühnhauser (ARCS, 1986)

Distribution and Recovery in the BirliX Operating System. - Hermann Härtig; Winfried E. Kühnhauser; Wolfgang Lux; Hermann Streich; Gerhard Goos (Kommunikation in Verteilten Systemen, 1987)

On the Implementation of Abstract Data Types in BirliX. - Wolfgang Lux; Hermann Härtig; Winfried E. Kühnhauser (Process in Distributed Operating Systems and Distributed Systems Management, 1989)

The Architecture of the BIRLIX Operating System. - Hermann Härtig; Winfried E. Kühnhauser; Oliver C. Kowalski; Wolfgang Lux; W. Reck; Hermann Streich; Gerhard Goos (ARCS, 1990)

Mechanisms for Persistence and Security in BirliX. - Winfried E. Kühnhauser; Hermann Härtig; Oliver C. Kowalski; Wolfgang Lux (Security and Persistence, 1990)

Issues in Security and Fault Tolerance. - Hermann Härtig; Winfried E. Kühnhauser; Jochen Liedtke (Operating Systems of the 90s and Beyond, 1991)

Namensräume in verteilten Systemen. - Winfried E. Kühnhauser (Oldenbourg, 1991)

Performance of the BirLiX Operating System. - Peter Schüller; Hermann Härtig; Winfried E. Kühnhauser; Hermann Streich (USENIX Workshop on Microkernels and Other Kernel Architectures, 1992)

Models and paradigms for distributed systems structuring: the BirliX approach. - Hermann Härtig; Winfried E. Kühnhauser; Wolfgang Lux; Oliver C. Kowalski; Hermann Streich; A. Bäcker (ACM SIGOPS European Workshop, 1992)

The BirliX Security Architecture. - Hermann Härtig; Oliver C. Kowalski; Winfried E. Kühnhauser (J. Comput. Secur., 1993)

Adaptability using Reflection. - Susann Sonntag; Hermann Härtig; Oliver C. Kowalski; Winfried E. Kühnhauser; Wolfgang Lux (HICSS (2), 1994)

A Paradigm for User-Defined Security Policies. - Winfried E. Kühnhauser (SRDS, 1995)

CWASAR: a European Infrastructure for Secure Electronic Commerce. - Ciarán Bryce; Winfried E. Kühnhauser; Rémy Amouroux; Mauricio López; Harry Rudnik (J. Comput. Secur., 1997)

A Classification of Interdomain Actions. - Winfried E. Kühnhauser (ACM SIGOPS Oper. Syst. Rev., 1998)

Policy Groups. - Winfried E. Kühnhauser (Comput. Secur., 1999)

Embedding Security Policies into a Distributed Compuiting Environment. - Udo Halfmann; Winfried E. Kühnhauser (ACM SIGOPS Oper. Syst. Rev., 1999)

A Comment on S. Kang's and H. Lee's paper on "Analysis and Solution of Non-Preemptive Policies for Scheduling Readers and Writers". - Winfried E. Kühnhauser (ACM SIGOPS Oper. Syst. Rev., 1999)

Root Kits. - Winfried E. Kühnhauser (Datenschutz und Datensicherheit, 2003)

Root Kits: an operating systems viewpoint. - Winfried E. Kühnhauser (ACM SIGOPS Oper. Syst. Rev., 2004)

Towards a structure-aware failure semantics for streaming media communication models. - Martin Hoffmann; Winfried E. Kühnhauser (J. Parallel Distributed Comput., 2005)

A Time Model for Distributed Multimedia Applications. - Winfried E. Kühnhauser; Martin Süßkraut (ICDCN, 2006)

Software Architectural Design Meets Security Engineering. - Stephan Bode; Anja Fischer; Winfried E. Kühnhauser; Matthias Riebisch (ECBS, 2009)

Efficient Algorithmic Safety Analysis of HRU Security Models. - Anja Fischer; Winfried E. Kühnhauser (SECRYPT, 2010)

Towards Access Control Model Engineering. - Winfried E. Kühnhauser; Anja Pölck (ICISS, 2011)

Model-based safety analysis of SELinux security policies. - Peter Amthor 001; Winfried E. Kühnhauser; Anja Pölck (NSS, 2011)

Heuristic safety analysis of access control models. - Peter Amthor 001; Winfried E. Kühnhauser; Anja Pölck (SACMAT, 2013)

WorSE: A Workbench for Model-based Security Engineering. - Peter Amthor 001; Winfried E. Kühnhauser; Anja Pölck (Comput. Secur., 2014)

Security Policy Synthesis in Mobile Systems. - Peter Amthor 001; Winfried E. Kühnhauser (SERVICES, 2015)

Mapping CAN-to-ethernet communication channels within virtualized embedded environments. - Dominik Reinhardt; Maximilian Güntner; Markus Kucera; Thomas Waas; Winfried E. Kühnhauser (SIES, 2015)

Automated Cyber Threat Sensing and Responding: Integrating Threat Intelligence into Security-Policy-Controlled Systems. - Peter Amthor 001; Daniel Fischer 003; Winfried E. Kühnhauser; Dirk Stelzer (ARES, 2019)

Static Termination Analysis for Event-driven Distributed Algorithms. - Felix Wiemuth; Peter Amthor 001; Winfried E. Kühnhauser (DEBS, 2019)

Exploiting Hot Spots in Heuristic Safety Analysis of Dynamic Access Control Models. - Marius Schlegel; Winfried E. Kühnhauser (ICETE (2), 2020)