Müller, W., &; Kleinjohann, B. (1993). Tight Integration and Synchronization of Distributed Graphical Applications. Proceedings of the Seventh Annual Database Symposium.

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

Müller, W., Lehrenfeld, G., &; Wiechers, N. (1993). Parallel Validation of STEP Files. Proceedings of the 3nd EXPRESS User’s Group Conference.

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

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

Lehrenfeld, G., &; Müller, W. (1991). Validation of EXPRESS Models Using Prolog. Proceedings of the 1st EXPRESS User’s Group Conference.

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