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.

On the restricted equivalence for subclasses of propositional logic
A. Flögel, H. Kleine Büning, T. Lettmann, RAIRO - Theoretical Informatics and Applications (1993) 327–340.

On Kummer theory and the number of roots of unity in radical extensions of Q
J. Blömer, 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.

Parallel Architectures and Their Efficient Use
F. Meyer auf der Heide, B. Monien, A.L. Rosenberg, eds., Parallel Architectures and Their Efficient Use, Springer, Berlin, Heidelberg, 1993.

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

Integrationsaspekte bei verteilter Software-Entwicklung
G. Engels, A.A. Verrijn-Stuart, in: Fortschritt-Berichte VDI, VDI Verlag, 1993, pp. 45–53.

A Hybrid Query Language for the Extended Entity Relationship Model
M. Andries, G. Engels, A Hybrid Query Language for the Extended Entity Relationship Model, Vakgroep Informatica, Rijksuniversiteit Leiden, 1993.

Towards a Module Concept for Graph Transformation Systems
H. Ehrig, G. Engels, Towards a Module Concept for Graph Transformation Systems, Vakgroep Informatica, Rijksuniversiteit Leiden, 1993.

Abstracts COMPUGRAPH II Workshop
G. Engels, G. Rozenberg, Abstracts COMPUGRAPH II Workshop, Vakgroep Informatica, Rijksuniversiteit Leiden, 1993.

Modular, Visual Specifications of Software Processes
G. Engels, L. Groenewegen, in: Proceedings of the Workshop on Software Process (ISPW 1993), Wadern (Germany), IEEE Computer Society, Washington, DC, USA, 1993, pp. 66–68.

An Optimal Parallel Dictionary
M. Dietzfelbinger, F. Meyer auf der Heide, Information and Computation (1993) 196–217.

Strongly adaptive token distribution
F. Meyer auf der Heide, B. Oesterdiekhoff, R. Wanka, in: Automata, Languages and Programming, Berlin, Heidelberg, 1993.

Simple, efficient shared memory simulations
M. Dietzfelbinger, F. Meyer auf der Heide, in: Proceedings of the Fifth Annual ACM Symposium on Parallel Algorithms and Architectures  - SPAA ’93, 1993.

Capabilities and complexity of computations with integer division
K. Lürwer-Brüggemeier, F. Meyer auf der Heide, in: Lecture Notes in Computer Science, Berlin, Heidelberg, 1993.

Education in Scientific Visualization
G. Domik, in: S. D. Franklin, A. R. Stubberud, L. P. Wiedeman (Eds.), University Education Uses of Visualization in Scientific Computing, Proceedings of the IFIP W.2 Working Conference on Visualization in Scientific Computing: Uses in University Education, Irvine, CA, USA, 28-30 July, 1993, North-Holland, 1993, pp. 25–32.