@inproceedings{16819,
  author       = {{Domik, Gitta and Gutkauf, Bernd}},
  booktitle    = {{Proceedings IEEE Visualization '94, Washington, DC, USA, October 17-21, 1994}},
  editor       = {{Daniel Bergeron, R. and E. Kaufman, Arie}},
  pages        = {{217--223}},
  publisher    = {{IEEE Computer Society}},
  title        = {{{User Modeling for Adaptive Visualization Systems}}},
  doi          = {{10.1109/VISUAL.1994.346316}},
  year         = {{1994}},
}

@inproceedings{15296,
  author       = {{Hüllermeier, Eyke}},
  booktitle    = {{in Proceedings EUFIT-94 2nd European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany}},
  editor       = {{Zimmermann, H.J.}},
  pages        = {{195--199}},
  title        = {{{Approximate solution of a linear programming problem using a modified perceptron-algorithm.}}},
  year         = {{1994}},
}

@inproceedings{13468,
  author       = {{Platzner, Marco and Steger, Christian and Weiss, Reinhold}},
  booktitle    = {{Proceedings of the 7th Mediterranean Electrotechnical Conference}},
  publisher    = {{IEEE Press}},
  title        = {{{Experimental Evaluation of Multi-DSP Architectures in High Performance Applications}}},
  year         = {{1994}},
}

@inproceedings{39557,
  author       = {{Felser, W. and Müller, Wolfgang}},
  title        = {{{EXPRESS-P - Eine Erweiterung von ISO 10303-11 zur Prozessmodellierung}}},
  year         = {{1994}},
}

@inproceedings{39560,
  abstract     = {{In this paper we present a novel approach to the layout problem of dimensional graph based dia grams We introduce a framework for e ciently solving constrained layout problems encompassing geometrical and graph based algorithms especially dedicated to the generation of diagrams These concepts as well as the aesthetics for the read ability of diagrams are presented by introducing FADE FADE is a user parametrizable frame work for the generation of EXPRESS G diagrams Our present implementation is discussed consider ing extensions to other classes of graphs and layout problems Additionally competitive approaches in this domain and their limitations are critically reviewed.}},
  author       = {{Eikerling, Josef and Müller, Wolfgang}},
  booktitle    = {{Proceedings of the 17th Annual Computer Science Conference}},
  pages        = {{331--342}},
  title        = {{{FADE: A Layout Facility for Graph-Based Diagrams}}},
  year         = {{1994}},
}

@inproceedings{39565,
  author       = {{Hyhuis, D. and Müller, Wolfgang}},
  booktitle    = {{Proceedings of the 2nd International Conference on Concurrent Engineering & Electronic Design Automation (CEEDA94)}},
  title        = {{{Implementing Simultaneous Design: A Case Study}}},
  year         = {{1994}},
}

@inproceedings{39577,
  author       = {{Müller, Wolfgang and Lehrenfeld, Georg and Wiechers, N.}},
  title        = {{{Implementierung eines parallelen Validierungswerkzeugs für STEP-Produktdaten unter PVM}}},
  year         = {{1994}},
}

@inproceedings{39575,
  author       = {{Börger, Egon and Glässer, Uwe and Müller, Wolfgang}},
  booktitle    = {{Proceedings of EURO-DAC'94/EURO-VHDL'94}},
  title        = {{{The Semantics of Behavioral VHDL'93 Descriptions}}},
  year         = {{1994}},
}

@inproceedings{39554,
  author       = {{Lehrenfeld, Georg and Müller, Wolfgang and Wiechers, N.}},
  title        = {{{Ein paralleles Framework fuer die Validierung von STEP-Produktdaten}}},
  year         = {{1994}},
}

@inproceedings{39566,
  author       = {{Lehrenfeld, Georg and Müller, Wolfgang and Wiechers, N.}},
  booktitle    = {{Proceedings of the 2nd International Conference on Concurrent Engineering & Electronic Design Automation (CEEDA94)}},
  title        = {{{Parallel Validation of STEP Files}}},
  year         = {{1994}},
}

@inproceedings{39569,
  author       = {{Lehrenfeld, Georg and Müller, Wolfgang}},
  title        = {{{Computational Model of a Logical Visual Programming Language}}},
  year         = {{1994}},
}

@inproceedings{39572,
  abstract     = {{The upcoming ISO standard EXPRESS has been de- #ned as a data speci#cation language for the use within STEP. EXPRESS supports the modeling of static structural relationships and consistency constraints whereas the applicability of EXPRESS for the modeling of behavior is very limited. Thus, at present there is an ongoing discussion by which means EXPRESS should be extended with.}},
  author       = {{Felser, Winfried and Müller, Wolfgang}},
  booktitle    = {{Proceedings of the 1994 ASME Computers in Engineering Conference}},
  pages        = {{145--154}},
  title        = {{{EXPRESS-P - Extending EXPRESS for Process Modeling and Monitoring}}},
  year         = {{1994}},
}

@article{19814,
  author       = {{Flögel, A. and Kleine Büning, H. and Lettmann, Theodor}},
  issn         = {{0988-3754}},
  journal      = {{RAIRO - Theoretical Informatics and Applications}},
  pages        = {{327--340}},
  title        = {{{On the restricted equivalence for subclasses of propositional logic}}},
  doi          = {{10.1051/ita/1993270403271}},
  year         = {{1993}},
}

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

@book{17477,
  editor       = {{Meyer auf der Heide, Friedhelm and Monien, B. and Rosenberg, A. L.}},
  isbn         = {{9783540567318}},
  issn         = {{0302-9743}},
  publisher    = {{Springer}},
  title        = {{{Parallel Architectures and Their Efficient Use}}},
  doi          = {{10.1007/3-540-56731-3}},
  year         = {{1993}},
}

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

@inproceedings{7826,
  author       = {{Engels, Gregor and Verrijn-Stuart, A.A.}},
  booktitle    = {{Fortschritt-Berichte VDI}},
  number       = {{251}},
  pages        = {{45--53}},
  publisher    = {{VDI Verlag}},
  title        = {{{Integrationsaspekte bei verteilter Software-Entwicklung}}},
  year         = {{1993}},
}

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

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

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