The Process Modeling Language EXPRESS-P
W. Müller, W. Felser, N. Wiechers, (1995).

EXPRESS-P - Eine Erweiterung von ISO 10303-11 zur Prozessmodellierung
W. Felser, W. Müller, (1994).

FADE: A Layout Facility for Graph-Based Diagrams
J. Eikerling, W. Müller, in: Proceedings of the 17th Annual Computer Science Conference, Christchurch, New Zealand, 1994, pp. 331–342.

Implementing Simultaneous Design: A Case Study
D. Hyhuis, W. Müller, in: Proceedings of the 2nd International Conference on Concurrent Engineering &; Electronic Design Automation (CEED), PoDTe, UK, 1994.

Implementierung eines parallelen Validierungswerkzeugs für STEP-Produktdaten unter PVM
W. Müller, G. Lehrenfeld, N. Wiechers, (1994).

The Semantics of Behavioral VHDL Descriptions
E. Börger, U. Glässer, W. Müller, in: Proceedings of EURO-DAC’94/EURO-VHDL’94, Grenoble, France, 1994.

Ein paralleles Framework fuer die Validierung von STEP-Produktdaten
G. Lehrenfeld, W. Müller, N. Wiechers, (1994).

Parallel Validation of STEP Files
G. Lehrenfeld, W. Müller, N. Wiechers, in: Proceedings of the 2nd International Conference on Concurrent Engineering &; Electronic Design Automation (CEED), Poole, UK, 1994.

Computational Model of a Logical Visual Programming Language
G. Lehrenfeld, W. Müller, (1994).

EXPRESS-P - Extending EXPRESS for Process Modeling and Monitoring
W. Felser, W. Müller, in: Proceedings of the 1994 ASME Computers in Engineering Conference, Minneapolis, MI, 1994, pp. 145–154.

Tight Integration and Synchronization of Distributed Graphical Applications
W. Müller, B. Kleinjohann, in: Proceedings of the Seventh Annual Database Symposium, San Diego, USA, 1993.

Approaching the Denotational Semantics of Behavioral VHDL Descriptions
W. Müller, in: Proc. of the 1st Asian Pacific Conference on Hardware Description Languages, Standards and Applications, Brisbane, Australia, 1993.

Parallel Validation of STEP Files
W. Müller, G. Lehrenfeld, N. Wiechers, in: Proceedings of the 3nd EXPRESS User’s Group Conference, Berlin, 1993.

The EXPRESS Information Modeling Workbench - A New Approach to Graphical Design Environments
W. Müller, B. Kleinjohann, in: Proceedings of the 2nd EXPRESS User’s Group Conference, Dallas TX, 1992.

Contract-Oriented System Design and Specification
W. Müller, in: Proceedings of the Workshop on Practical Computer Based Systems Engineering - Its Scope and Methods, Grassau Germany, 1991.

Validation of EXPRESS Models Using Prolog
G. Lehrenfeld, W. Müller, in: Proceedings of the 1st EXPRESS User’s Group Conference, Houston TX, USA, 1991.

ODICE: Object-Oriented Hardware Description in CAD Environment
F.J. Rammig, W. Müller, in: Proc. of the Ninth IFIP Symposium on CHDLs and Their Application, Washington DC, 1989.