Ebert J, Engels G. Design Representation. In: Encyclopedia of Software Engineering. John Wiley &; Sons, Inc.; 1994:382-394.

Engels G, Groenewegen L. SOCCA: Specifications of Coordinated and Cooperative Activities. In: Software Process Modelling and Technology. Taunton: Research Studies Press; 1994:71-102.

Dietzfelbinger M, Karlin A, Mehlhorn K, Meyer auf der Heide F, Rohnert H, Tarjan RE. Dynamic Perfect Hashing: Upper and Lower Bounds. SIAM Journal on Computing. 1994:738-761. doi:10.1137/s0097539791194094

Domik G. Visualization education. Comput Graph. 1994;18(3):277-280. doi:10.1016/0097-8493(94)90026-4

Domik G, Gutkauf B. User Modeling for Adaptive Visualization Systems. In: Daniel Bergeron R, E. Kaufman A, eds. Proceedings IEEE Visualization ’94, Washington, DC, USA, October 17-21, 1994. IEEE Computer Society; 1994:217-223. doi:10.1109/VISUAL.1994.346316

Hüllermeier E. Approximate solution of a linear programming problem using a modified perceptron-algorithm. In: Zimmermann HJ, ed. In Proceedings EUFIT-94 2nd European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany. ; 1994:195-199.

Platzner M, Steger C, Weiss R. Experimental Evaluation of Multi-DSP Architectures in High Performance Applications. In: Proceedings of the 7th Mediterranean Electrotechnical Conference. IEEE Press; 1994.

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

Eikerling J, Müller W. FADE: A Layout Facility for Graph-Based Diagrams. In: Proceedings of the 17th Annual Computer Science Conference. ; 1994:331-342.

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

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

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

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

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

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

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

Flögel A, Kleine Büning H, Lettmann T. On the restricted equivalence for subclasses of propositional logic. RAIRO - Theoretical Informatics and Applications. 1993:327-340. doi:10.1051/ita/1993270403271

Blömer J. On Kummer Theory and the Number of Roots of Unity in Radical Extensions of Q. Technical Report, Freie Universität Berlin, Fachbereich Mathematik und Informatik; 1993.

Meyer auf der Heide F, Monien B, Rosenberg AL, eds. Parallel Architectures and Their Efficient Use. Berlin, Heidelberg: Springer; 1993. doi:10.1007/3-540-56731-3

Kastens U, Meyer auf der Heide F, Wachsmann A, Wichmann F. OCCAM-light: A Language Combining Shared Memory and Message Passing (A First Report). In: Proc. 3rd PASA Workshop, PARS Mitteilungen. ; 1993:50-55.