Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
5711 Publications
1994 | Conference Paper | LibreCat-ID: 39560
Eikerling J, Müller W. FADE: A Layout Facility for Graph-Based Diagrams. In: Proceedings of the 17th Annual Computer Science Conference. ; 1994:331-342.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39565
Hyhuis D, Müller W. Implementing Simultaneous Design: A Case Study. In: Proceedings of the 2nd International Conference on Concurrent Engineering & Electronic Design Automation (CEEDA94). ; 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39577
Müller W, Lehrenfeld G, Wiechers N. Implementierung eines parallelen Validierungswerkzeugs für STEP-Produktdaten unter PVM. Published online 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39575
Börger E, Glässer U, Müller W. The Semantics of Behavioral VHDL’93 Descriptions. In: Proceedings of EURO-DAC’94/EURO-VHDL’94. ; 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39554
Lehrenfeld G, Müller W, Wiechers N. Ein paralleles Framework fuer die Validierung von STEP-Produktdaten. Published online 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39566
Lehrenfeld G, Müller W, Wiechers N. Parallel Validation of STEP Files. In: Proceedings of the 2nd International Conference on Concurrent Engineering & Electronic Design Automation (CEEDA94). ; 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39569
Lehrenfeld G, Müller W. Computational Model of a Logical Visual Programming Language. Published online 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39572
Felser W, Müller W. EXPRESS-P - Extending EXPRESS for Process Modeling and Monitoring. In: Proceedings of the 1994 ASME Computers in Engineering Conference. ; 1994:145-154.
LibreCat
1993 | Journal Article | LibreCat-ID: 19814
Flögel A, Kleine Büning H, Lettmann T. On the restricted equivalence for subclasses of propositional logic. RAIRO - Theoretical Informatics and Applications. 1993:327-340. doi:10.1051/ita/1993270403271
LibreCat
| DOI
1993 | Report | LibreCat-ID: 3045
Blömer J. 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