Flake, S., Müller, W., Pape, U., &; Ruf, J. (2004). Specification and Formal Verification of Temporal Properties of Production Automation Systems. In H. Ehrig, W. Damm, J. Desel, M. Große-Rhode, W. Reif, E. Schnieder, &; E. Westkämper (Eds.), Integration of Software Specification Techniques for Applications in Engineering (Vol. 3147, pp. 206–226). Springer-Verlag.https://doi.org/10.1007/978-3-540-27863-4_13 

Krupp, A., &; Müller, W. (2004). Refinement of Finite State Machines with Complementary Model Checking. In J. Mermet (Ed.), UML-B System Specification for Proven Electronic Design (pp. 155–168). Kluwer.

Schlegel-Matthies, K. (2004). eLiebe geht durch den Magen“: Mahlzeit und Familienglück im Strom der Zeit. In H.-J. Teuteberg (Ed.), Die Revolution am Esstisch. Neue Studien zur Nahrungskultur im 19./20. Jahrhundert (pp. 1483161). Steiner-Verlag.

de los Arcos de Pedro, M. T., Garnier, M. G., Seo, J. W., Oelhafen, P., Thommen, V., &; Mathys, D. (2004). The Influence of Catalyst Chemical State and Morphology on Carbon Nanotube Growth. The Journal of Physical Chemistry B, 7728–7734.https://doi.org/10.1021/jp049495v 

Müller, W., Schäfer, R., &; Bleul, S. (2004). Interactive Multimodal User Interfaces for Mobile Devices. Proceedings of HICCS-37. 37th Annual Hawaii International Conference on System Sciences, Waikoloa, HI, USA.https://doi.org/10.1109/HICSS.2004.1265674 

Zambaldi, M., Ecker, W., Kruse, T., &; Müller, W. (2004). The Formal Simulation Semantics of SystemVerilog. Proceedings of FDL’04.  Forum on specification and Design Languages, Lille, France.

Krupp, A., Müller, W., &; Oliver, I. (2004). Formal Refinement and Model Checking of An Echo Cancellation Unit. Proceedings of DATE’04 Designers’ Forum. Proceedings Design, Automation and Test in Europe Conference and Exhibition.https://doi.org/10.1109/DATE.2004.1269214 

Flake, S., &; Müller, W. (2004). Past- and Future-Oriented Time-Bound Temporal Properties with OCL. Proceedings of SEFM´04.https://doi.org/10.1109/SEFM.2004.1347516__Proceedings of the Second International Conference on Software Engineering and Formal Methods.https://doi.org/10.1109/SEFM.2004.1347516 

Flake, S., &; Müller, W. (2004). An ASM Definition of the Dynamic OCL 2.0 Semantics. Proceedings of the UML 2004.https://doi.org/10.1007/978-3-540-30187-5_17 

Enzler, R., Plessl, C., &; Platzner, M. (2003). Virtualizing Hardware with Multi-Context Reconfigurable Arrays. In Proc. Int. Conf. on Field Programmable Logic and Applications (FPL) (Vol. 2778, pp. 151–160). Springer.https://doi.org/10.1007/b12007 

Rasch, H., &; Wehrheim, H. (2003). Checking Consistency in UML Diagramms: Classes and State Machines. In E. Najm, U. Nestmann, &; P. Stevens (Eds.), Formal Methods for Open Object-Based Distributed Systems, 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings (pp. 229--243).https://doi.org/10.1007/978-3-540-39958-2_16 

Schlegel-Matthies, K. (2003). Bildung für Lebensführung – eine neue Aufgabe für die Schule?! In B. Methfessel &; K. Schlegel-Matthies (Eds.), Fokus Haushalt. Beiträge zur Sozioökonomie des Haushalts (pp. 71–83). Baltmannsweiler .

Rust, C., Stappert, F., &; Lukovszki, T. (2003). A Petri Net Model for the Network Layer of a Mobile Ad Hoc Network Architecture. In 7th World Multiconference on Systemics, Cybernetics and Informatics.

Ziegler, M. (2003). Fast Relative Approximation of Potential Fields. In F. Dehne, J. Sack, M. Smid, &; Algorithms and Data Structures. WADS 2003 (Eds.), Lecture Notes in Computer Science (Vol. 2748). Berlin, Heidelberg: Springer.https://doi.org/10.1007/978-3-540-45078-8_13 

Dangelmaier, W.,  Franke, W., Mueck, B., &; Fischer, M. (2003). Komponenten zur aktiven Unterstützung der Analyse von Materialflusssimulationen in virtuellen Umgebungen. In 2. Paderborner Workshop Augmented &; Virtual Reality in der Produktentstehung (Vol. 123, pp. 141–151).

Fischer, M., Grafe, M., Matysczok, C., Schoo, M., &; Mueck, B. (2003). Planung von komplexen Fertigungssystemen durch Einsatz einer VR/AR-unterstützten Simulation. 2. Paderborner Workshop Augmented &; Virtual Reality in Der Produktentstehung, 123, 153–166.

Goetz, F., &; Domik, G. (2003). A Framework for Video-based and Hardware-Accelerated Remote 3D-Visualization. In M. Chover, H. Hagen, &; D. Tost (Eds.), Eurographics 2003 - Short Presentations. Eurographics Association.https://doi.org/10.2312/egs.20031071 

Küster, J., &; Stehr, J. (2003). Towards Explicit Behavioral Consistency Concepts in the UML. In Proceedings of 2nd ICSE Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (Portland, USA).

Schneider, S., Borri, P., Langbein, W., Woggon, U., Förstner, J., Knorr, A.,https://doi.org/10.1063/1.1624492__Bimberg, D. (2003). Self-induced transparency in InGaAs quantum-dot waveguides. Applied Physics Letters, 83(18), 3668–3670.https://doi.org/10.1063/1.1624492 

Schryen, G., Herstell, J., &; Schoenen, M. (2003). Online Marktforschung im Mittelstand: Analyse von Konsumentenverhalten in 3D-Internet-Welten. Wiesbaden: Deutscher Universitäts-Verlag.