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.
327 Publications
1996 | Conference Paper | LibreCat-ID: 39517
Dücker M, Lehrenfeld G, Müller W. Specification and Analysis of Concurrent Systems in a Complete Visual Environment. In: Proceedings of the 10th European Simulation Multiconference (ESM’96). ; 1996.
LibreCat
1996 | Conference Paper | LibreCat-ID: 39526
Geiger C, Hunstock R, Lehrenfeld G, et al. Visual Modeling and 3D-Representation with a Complete Visual Programming Language --- A Case Study in Manufacturing. In: Proceedings of the 1996 IEEE Symposium on Visual Languages. ; 1996. doi:10.1109/VL.1996.545302
LibreCat
| DOI
1995 | Book Chapter | LibreCat-ID: 34448
Börger E, Glässer U, Müller W. A Formal Definition of an Abstract VHDL’93 Simulator by EA-Machines. In: Delgado Kloos C, Breuer PT, eds. Semantics of VHDL. Kluwer Academic Publishers; 1995:107-139. doi:10.1007/978-1-4615-2237-9_5
LibreCat
| DOI
1995 | Conference Paper | LibreCat-ID: 39532
Lehrenfeld G, Müller W, Wiechers N. Conformance Tests of Very Large STEP Files. In: Proceedings of the 4th EXPRESS User’s Group. ; 1995.
LibreCat
1995 | Conference Paper | LibreCat-ID: 39535
Zhao R, Kaufmann HJ, Kern T, Müller W. Pen-based Interfaces for Engineering Environments. In: ; 1995.
LibreCat
1995 | Conference Paper | LibreCat-ID: 39541
Lehrenfeld G, Müller W, Tahedl C. Transforming SDL Diagrams Into a Complete Visual Representation. In: Proceedings of Symposium on Visual Languages. ; 1995. doi:10.1109/VL.1995.520803
LibreCat
| DOI
1995 | Conference Paper | LibreCat-ID: 39546
Müller W, Lehrenfeld G, Wiechers N. Validation of EXPRESS Models. Published online 1995.
LibreCat
1995 | Conference Paper | LibreCat-ID: 39531
Müller W, Felser W, Buijs F. Guide to EXPRESS-P. In: Proceedings of the 4th EXPRESS User’s Group. ; 1995.
LibreCat
1995 | Conference Paper | LibreCat-ID: 39538
Müller W, Lehrenfeld G, Tahedl C. Complete Visual Specification and Animations of Protocols. In: Proceedings of ASP-DAC’95/CHDL’95/VLSI’95 with EDA Technofair. ; 1995. doi:10.1109/ASPDAC.1995.486383
LibreCat
| DOI
1995 | Conference Paper | LibreCat-ID: 39543
Zhao R, Müller W, Kaufmann HJ, Kern Th, Buijs F. An Editor for the Rapid Prototyping of EXPRESS-G Models. In: Proceedings of the 5th EXPRESS User’s Group. ; 1995.
LibreCat