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)

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)

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

Adaptable Object Migration: Concept and Implementation. - Wolfgang Lux (ACM SIGOPS Oper. Syst. Rev., 1995)

Adaptierbare Objektmigration und eine Realisierung im Betriebssystem BirliX. - Wolfgang Lux (Oldenbourg, 1995)

Implementing Encapsulated Search for a Lazy Functional Logic Language. - Wolfgang Lux (Fuji International Symposium on Functional and Logic Programming, 1999)

An Efficient Abstract Machine for Curry. - Wolfgang Lux; Herbert Kuchen (GI Jahrestagung, 1999)

Adding Linear Constraints over Real Numbers to Curry. - Wolfgang Lux (FLOPS, 2001)

Declarative Debugging for Encapsulated Search. - Rafael Caballero 001; Wolfgang Lux (WFLP, 2002)

Declarative Debugging Meets the World. - Wolfgang Lux (WFLP@RDP, 2007)