@articleMüller_Lehrenfeld_Wiechers_1994, place=Aachen, series=TAT’94, title=Implementierung eines parallelen Validierungswerkzeugs für STEP-Produktdaten unter PVM, author=Müller, Wolfgang and Lehrenfeld, Georg and Wiechers, N., year=1994, collection=TAT’94 

@inproceedingsBörger_Glässer_Müller_1994, place=Grenoble, France, title=The Semantics of Behavioral VHDL’93 Descriptions, booktitle=Proceedings of EURO-DAC’94/EURO-VHDL’94, author=Börger, Egon and Glässer, Uwe and Müller, Wolfgang, year=1994 

@articleLehrenfeld_Müller_Wiechers_1994, series=Tagungsband: CA, title=Ein paralleles Framework fuer die Validierung von STEP-Produktdaten, author=Lehrenfeld, Georg and Müller, Wolfgang and Wiechers, N., year=1994, collection=Tagungsband: CA 

@inproceedingsLehrenfeld_Müller_Wiechers_1994, place=Poole, UK, title=Parallel Validation of STEP Files, booktitle=Proceedings of the 2nd International Conference on Concurrent Engineering &; Electronic Design Automation (CEED), author=Lehrenfeld, Georg and Müller, Wolfgang and Wiechers, N., year=1994 

@articleLehrenfeld_Müller_1994, place=Paderborn, Germany, series=Workshop Logik in der Informatik, Jahrestreffen der Fachgruppe 0.1.6, title=Computational Model of a Logical Visual Programming Language, author=Lehrenfeld, Georg and Müller, Wolfgang, year=1994, collection=Workshop Logik in der Informatik, Jahrestreffen der Fachgruppe 0.1.6 

@inproceedingsFelser_Müller_1994, place=Minneapolis, MI, title=EXPRESS-P - Extending EXPRESS for Process Modeling and Monitoring, booktitle=Proceedings of the 1994 ASME Computers in Engineering Conference, author=Felser, Winfried and Müller, Wolfgang, year=1994, pages=145–154 

@articleFlögel_Kleine Büning_Lettmann_1993, title=On the restricted equivalence for subclasses of propositional logic, DOI=10.1051/ita/1993270403271, journal=RAIRO - Theoretical Informatics and Applications, author=Flögel, A. and Kleine Büning, H. and Lettmann, Theodor, year=1993, pages=327–340 

@bookBlömer_1993, title=On Kummer theory and the number of roots of unity in radical extensions of Q, publisher=Technical Report, Freie Universität Berlin, Fachbereich Mathematik und Informatik, author=Blömer, Johannes, year=1993 

@bookMeyer auf der Heide_Monien_Rosenberg_1993, place=Berlin, Heidelberg, title=Parallel Architectures and Their Efficient Use, DOI=10.1007/3-540-56731-3, publisher=Springer, year=1993 

@inproceedingsKastens_Meyer auf der Heide_Wachsmann_Wichmann_1993, title=OCCAM-light: A Language Combining Shared Memory and Message Passing (A First Report), booktitle=Proc. 3rd PASA Workshop, PARS Mitteilungen, author=Kastens, Uwe and Meyer auf der Heide, Friedhelm and Wachsmann, Alf and Wichmann, Friedrich, year=1993, pages=50–55 

@inproceedingsEngels_Verrijn-Stuart_1993, series=Reihe 10: Informatik/Kommunikationstechnik, title=Integrationsaspekte bei verteilter Software-Entwicklung, number=251, booktitle=Fortschritt-Berichte VDI, publisher=VDI Verlag, author=Engels, Gregor and Verrijn-Stuart, A.A., year=1993, pages=45–53, collection=Reihe 10: Informatik/Kommunikationstechnik 

@bookAndries_Engels_1993, title=A Hybrid Query Language for the Extended Entity Relationship Model, publisher=Vakgroep Informatica, Rijksuniversiteit Leiden, author=Andries, Marc and Engels, Gregor, year=1993 

@bookEhrig_Engels_1993, title=Towards a Module Concept for Graph Transformation Systems, publisher=Vakgroep Informatica, Rijksuniversiteit Leiden, author=Ehrig, Hartmut and Engels, Gregor, year=1993 

@bookEngels_Rozenberg_1993, title=Abstracts COMPUGRAPH II Workshop, publisher=Vakgroep Informatica, Rijksuniversiteit Leiden, author=Engels, Gregor and Rozenberg, Grzegorz, year=1993 

@inproceedingsEngels_Groenewegen_1993, place=Washington, DC, USA, title=Modular, Visual Specifications of Software Processes, booktitle=Proceedings of the Workshop on Software Process (ISPW 1993), Wadern (Germany), publisher=IEEE Computer Society, author=Engels, Gregor and Groenewegen, Luuk, year=1993, pages=66–68 

@articleDietzfelbinger_Meyer auf der Heide_1993, title=An Optimal Parallel Dictionary, DOI=10.1006/inco.1993.1007, journal=Information and Computation, author=Dietzfelbinger, M. and Meyer auf der Heide, Friedhelm, year=1993, pages=196–217 

@inbookMeyer auf der Heide_Oesterdiekhoff_Wanka_1993, place=Berlin, Heidelberg, title=Strongly adaptive token distribution, DOI=10.1007/3-540-56939-1_89, booktitle=Automata, Languages and Programming, author=Meyer auf der Heide, Friedhelm and Oesterdiekhoff, Brigitte and Wanka, Rolf, year=1993 

@inproceedingsDietzfelbinger_Meyer auf der Heide_1993, title=Simple, efficient shared memory simulations, DOI=10.1145/165231.165246, booktitle=Proceedings of the fifth annual ACM symposium on Parallel algorithms and architectures  - SPAA ’93, author=Dietzfelbinger, Martin and Meyer auf der Heide, Friedhelm, year=1993 

@inbookLürwer-Brüggemeier_Meyer auf der Heide_1993, place=Berlin, Heidelberg, title=Capabilities and complexity of computations with integer division, DOI=10.1007/3-540-56503-5_46, booktitle=Lecture Notes in Computer Science, author=Lürwer-Brüggemeier, Katharina and Meyer auf der Heide, Friedhelm, year=1993 

@inproceedingsDomik_1993, series=IFIP Transactions, title=Education in Scientific Visualization, volume=A-48, booktitle=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, publisher=North-Holland, author=Domik, Gitta, editor=D. Franklin, Stephen and R. Stubberud, Allen and P. Wiedeman, LyleEditors, year=1993, pages=25–32, collection=IFIP Transactions