Müller, Wolfgang, Georg Lehrenfeld, and N. Wiechers. “Implementierung Eines Parallelen Validierungswerkzeugs Für STEP-Produktdaten Unter PVM.” TAT’94. Aachen, 1994.
LibreCat: /record/39577

Börger, Egon, Uwe Glässer, and Wolfgang Müller. “The Semantics of Behavioral VHDL’93 Descriptions.” In Proceedings of EURO-DAC’94/EURO-VHDL’94. Grenoble, France, 1994.
LibreCat: /record/39575

Lehrenfeld, Georg, Wolfgang Müller, and N. Wiechers. “Ein Paralleles Framework Fuer Die Validierung von STEP-Produktdaten.” Tagungsband: CA, 1994.
LibreCat: /record/39554

Lehrenfeld, Georg, Wolfgang Müller, and N. Wiechers. “Parallel Validation of STEP Files.” In Proceedings of the 2nd International Conference on Concurrent Engineering &; Electronic Design Automation (CEED). Poole, UK, 1994.
LibreCat: /record/39566

Lehrenfeld, Georg, and Wolfgang Müller. “Computational Model of a Logical Visual Programming Language.” Workshop Logik in Der Informatik, Jahrestreffen Der Fachgruppe 0.1.6. Paderborn, Germany, 1994.
LibreCat: /record/39569

Felser, Winfried, and Wolfgang Müller. “EXPRESS-P - Extending EXPRESS for Process Modeling and Monitoring.” In Proceedings of the 1994 ASME Computers in Engineering Conference, 145–54. Minneapolis, MI, 1994.
LibreCat: /record/39572

Flögel, A., H. Kleine Büning, and Theodor Lettmann. “On the Restricted Equivalence for Subclasses of Propositional Logic.”https://doi.org/10.1051/ita/1993270403271__RAIRO - Theoretical Informatics and Applications, 1993, 327–40.https://doi.org/10.1051/ita/1993270403271 .
LibreCat: /record/19814
DOI: 10.1051/ita/1993270403271

Blömer, Johannes. 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.
LibreCat: /record/3045

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

Kastens, Uwe, Friedhelm Meyer auf der Heide, Alf Wachsmann, and Friedrich Wichmann. “OCCAM-Light: A Language Combining Shared Memory and Message Passing (A First Report).” In Proc. 3rd PASA Workshop, PARS Mitteilungen, 50–55, 1993.
LibreCat: /record/17479

Engels, Gregor, and A.A. Verrijn-Stuart. “Integrationsaspekte Bei Verteilter Software-Entwicklung.” In Fortschritt-Berichte VDI, 45–53. Reihe 10: Informatik/Kommunikationstechnik. VDI Verlag, 1993.
LibreCat: /record/7826

Andries, Marc, and Gregor Engels. A Hybrid Query Language for the Extended Entity Relationship Model. Vakgroep Informatica, Rijksuniversiteit Leiden, 1993.
LibreCat: /record/8190

Ehrig, Hartmut, and Gregor Engels. Towards a Module Concept for Graph Transformation Systems. Vakgroep Informatica, Rijksuniversiteit Leiden, 1993.
LibreCat: /record/8191

Engels, Gregor, and Grzegorz Rozenberg. Abstracts COMPUGRAPH II Workshop. Vakgroep Informatica, Rijksuniversiteit Leiden, 1993.
LibreCat: /record/8192

Engels, Gregor, and Luuk Groenewegen. “Modular, Visual Specifications of Software Processes.” In Proceedings of the Workshop on Software Process (ISPW 1993), Wadern (Germany), 66–68. Washington, DC, USA: IEEE Computer Society, 1993.
LibreCat: /record/8262

Dietzfelbinger, M., and Friedhelm Meyer auf der Heide. “An Optimal Parallel Dictionary.”https://doi.org/10.1006/inco.1993.1007__Information and Computation, 1993, 196–217.https://doi.org/10.1006/inco.1993.1007 .
LibreCat: /record/16729
DOI: 10.1006/inco.1993.1007

Meyer auf der Heide, Friedhelm, Brigitte Oesterdiekhoff, and Rolf Wanka. “Strongly Adaptive Token Distribution.”https://doi.org/10.1007/3-540-56939-1_89__In Automata, Languages and Programming. Berlin, Heidelberg, 1993.https://doi.org/10.1007/3-540-56939-1_89 .
LibreCat: /record/16730
DOI: 10.1007/3-540-56939-1_89

Dietzfelbinger, Martin, and Friedhelm Meyer auf der Heide. “Simple, Efficient Shared Memory Simulations.”https://doi.org/10.1145/165231.165246__In Proceedings of the Fifth Annual ACM Symposium on Parallel Algorithms and Architectures  - SPAA ’93, 1993.https://doi.org/10.1145/165231.165246 .
LibreCat: /record/16731
DOI: 10.1145/165231.165246

Lürwer-Brüggemeier, Katharina, and Friedhelm Meyer auf der Heide. “Capabilities and Complexity of Computations with Integer Division.”https://doi.org/10.1007/3-540-56503-5_46__In Lecture Notes in Computer Science. Berlin, Heidelberg, 1993.https://doi.org/10.1007/3-540-56503-5_46 .
LibreCat: /record/16732
DOI: 10.1007/3-540-56503-5_46

Domik, Gitta. “Education in Scientific Visualization.” In 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, edited by Stephen D. Franklin, Allen R. Stubberud, and Lyle P. Wiedeman, A-48:25–32. IFIP Transactions. North-Holland, 1993.
LibreCat: /record/16828