Dücker, M., Lehrenfeld, G., &; Müller, W. (1996). Specification and Analysis of Concurrent Systems in a Complete Visual Environment. Proceedings of the 10th European Simulation Multiconference (ESM’96).
LibreCat: /record/39517

Geiger, C., Hunstock, R., Lehrenfeld, G., Müller, W., Quintanilla, J., Tahedl, C., &; Weber, A. (1996). Visual Modeling and 3D-Representation with a Complete Visual Programming Language --- A Case Study in Manufacturing. Proceedings of the 1996 IEEE Symposium on Visual Languages.https://doi.org/10.1109/VL.1996.545302 
LibreCat: /record/39526
DOI: 10.1109/VL.1996.545302

Börger, E., Glässer, U., &; Müller, W. (1995). A Formal Definition of an Abstract VHDL’93 Simulator by EA-Machines. In C. Delgado Kloos &; P. T. Breuer (Eds.), Semantics of VHDL (pp. 107–139). Kluwer Academic Publishers.https://doi.org/10.1007/978-1-4615-2237-9_5 
LibreCat: /record/34448
DOI: 10.1007/978-1-4615-2237-9_5

Lehrenfeld, G., Müller, W., &; Wiechers, N. (1995). Conformance Tests of Very Large STEP Files. Proceedings of the 4th EXPRESS User’s Group.
LibreCat: /record/39532

Zhao, R., Kaufmann, H. J., Kern, T., &; Müller, W. (1995). Pen-based Interfaces for Engineering Environments. 6th Human-Computer Interaction International, Tokyo, Japan.
LibreCat: /record/39535

Lehrenfeld, G., Müller, W., &; Tahedl, C. (1995). Transforming SDL Diagrams Into a Complete Visual Representation. Proceedings of Symposium on Visual Languages.https://doi.org/10.1109/VL.1995.520803 
LibreCat: /record/39541
DOI: 10.1109/VL.1995.520803

Müller, W., Lehrenfeld, G., &; Wiechers, N. (1995). Validation of EXPRESS Models.
LibreCat: /record/39546

Müller, W., Felser, W., &; Buijs, F. (1995). Guide to EXPRESS-P. Proceedings of the 4th EXPRESS User’s Group.
LibreCat: /record/39531

Müller, W., Lehrenfeld, G., &; Tahedl, C. (1995). Complete Visual Specification and Animations of Protocols. Proceedings of ASP-DAC’95/CHDL’95/VLSI’95 with EDA Technofair.https://doi.org/10.1109/ASPDAC.1995.486383 
LibreCat: /record/39538
DOI: 10.1109/ASPDAC.1995.486383

Zhao, R., Müller, W., Kaufmann, H. J., Kern, Th., &; Buijs, F. (1995). An Editor for the Rapid Prototyping of EXPRESS-G Models. Proceedings of the 5th EXPRESS User’s Group.
LibreCat: /record/39543

Müller, W., Felser, W., &; Wiechers, N. (1995). The Process Modeling Language EXPRESS-P.
LibreCat: /record/39550

Felser, W., &; Müller, W. (1994). EXPRESS-P - Eine Erweiterung von ISO 10303-11 zur Prozessmodellierung.
LibreCat: /record/39557

Eikerling, J., &; Müller, W. (1994). FADE: A Layout Facility for Graph-Based Diagrams. Proceedings of the 17th Annual Computer Science Conference, 331–342.
LibreCat: /record/39560

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

Müller, W., Lehrenfeld, G., &; Wiechers, N. (1994). Implementierung eines parallelen Validierungswerkzeugs für STEP-Produktdaten unter PVM.
LibreCat: /record/39577

Börger, E., Glässer, U., &; Müller, W. (1994). The Semantics of Behavioral VHDL’93 Descriptions. Proceedings of EURO-DAC’94/EURO-VHDL’94.
LibreCat: /record/39575

Lehrenfeld, G., Müller, W., &; Wiechers, N. (1994). Ein paralleles Framework fuer die Validierung von STEP-Produktdaten.
LibreCat: /record/39554

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

Lehrenfeld, G., &; Müller, W. (1994). Computational Model of a Logical Visual Programming Language.
LibreCat: /record/39569

Felser, W., &; Müller, W. (1994). EXPRESS-P - Extending EXPRESS for Process Modeling and Monitoring. Proceedings of the 1994 ASME Computers in Engineering Conference, 145–154.
LibreCat: /record/39572