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

Flögel, A., Kleine Büning, H., &; Lettmann, T. (1993). On the restricted equivalence for subclasses of propositional logic. RAIRO - Theoretical Informatics and Applications, 327–340.https://doi.org/10.1051/ita/1993270403271 
LibreCat: /record/19814
DOI: 10.1051/ita/1993270403271

Blömer, J. (1993). 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.
LibreCat: /record/3045

Meyer auf der Heide, F., Monien, B., &; Rosenberg, A. L. (Eds.). (1993). Parallel Architectures and Their Efficient Use. Berlin, Heidelberg: Springer.https://doi.org/10.1007/3-540-56731-3 
LibreCat: /record/17477
DOI: 10.1007/3-540-56731-3

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

Engels, G., &; Verrijn-Stuart, A. A. (1993). Integrationsaspekte bei verteilter Software-Entwicklung. In Fortschritt-Berichte VDI (pp. 45–53). VDI Verlag.
LibreCat: /record/7826

Andries, M., &; Engels, G. (1993). A Hybrid Query Language for the Extended Entity Relationship Model. Vakgroep Informatica, Rijksuniversiteit Leiden.
LibreCat: /record/8190

Ehrig, H., &; Engels, G. (1993). Towards a Module Concept for Graph Transformation Systems. Vakgroep Informatica, Rijksuniversiteit Leiden.
LibreCat: /record/8191

Engels, G., &; Rozenberg, G. (1993). Abstracts COMPUGRAPH II Workshop. Vakgroep Informatica, Rijksuniversiteit Leiden.
LibreCat: /record/8192

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

Dietzfelbinger, M., &; Meyer auf der Heide, F. (1993). An Optimal Parallel Dictionary. Information and Computation, 196–217.https://doi.org/10.1006/inco.1993.1007 
LibreCat: /record/16729
DOI: 10.1006/inco.1993.1007

Meyer auf der Heide, F., Oesterdiekhoff, B., &; Wanka, R. (1993). Strongly adaptive token distribution. In Automata, Languages and Programming. Berlin, Heidelberg.https://doi.org/10.1007/3-540-56939-1_89 
LibreCat: /record/16730
DOI: 10.1007/3-540-56939-1_89

Dietzfelbinger, M., &; Meyer auf der Heide, F. (1993). Simple, efficient shared memory simulations. In Proceedings of the fifth annual ACM symposium on Parallel algorithms and architectures  - SPAA ’93.https://doi.org/10.1145/165231.165246 
LibreCat: /record/16731
DOI: 10.1145/165231.165246

Lürwer-Brüggemeier, K., &; Meyer auf der Heide, F. (1993). Capabilities and complexity of computations with integer division. In Lecture Notes in Computer Science. Berlin, Heidelberg.https://doi.org/10.1007/3-540-56503-5_46 
LibreCat: /record/16732
DOI: 10.1007/3-540-56503-5_46

Domik, G. (1993). Education in Scientific Visualization. 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 (Vol. A-48, pp. 25–32). North-Holland.
LibreCat: /record/16828