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, Marita, et al. “Specification and Analysis of Concurrent Systems in a Complete Visual Environment.” Proceedings of the 10th European Simulation Multiconference (ESM’96), 1996.
LibreCat
1996 | Conference Paper | LibreCat-ID: 39526
Geiger, Christian, et al. “Visual Modeling and 3D-Representation with a Complete Visual Programming Language --- A Case Study in Manufacturing.” 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, Egon, et al. “A Formal Definition of an Abstract VHDL’93 Simulator by EA-Machines.” Semantics of VHDL, edited by C. Delgado Kloos and Peter T. Breuer, Kluwer Academic Publishers, 1995, pp. 107–39, doi:10.1007/978-1-4615-2237-9_5.
LibreCat
| DOI
1995 | Conference Paper | LibreCat-ID: 39532
Lehrenfeld, Georg, et al. “Conformance Tests of Very Large STEP Files.” Proceedings of the 4th EXPRESS User’s Group, 1995.
LibreCat
1995 | Conference Paper | LibreCat-ID: 39535
Zhao, R., et al. Pen-Based Interfaces for Engineering Environments. 1995.
LibreCat
1995 | Conference Paper | LibreCat-ID: 39541
Lehrenfeld, Georg, et al. “Transforming SDL Diagrams Into a Complete Visual Representation.” Proceedings of Symposium on Visual Languages, 1995, doi:10.1109/VL.1995.520803.
LibreCat
| DOI
1995 | Conference Paper | LibreCat-ID: 39546
Müller, Wolfgang, et al. Validation of EXPRESS Models. 1995.
LibreCat
1995 | Conference Paper | LibreCat-ID: 39531
Müller, Wolfgang, et al. “Guide to EXPRESS-P.” Proceedings of the 4th EXPRESS User’s Group, 1995.
LibreCat
1995 | Conference Paper | LibreCat-ID: 39538
Müller, Wolfgang, et al. “Complete Visual Specification and Animations of Protocols.” 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., et al. “An Editor for the Rapid Prototyping of EXPRESS-G Models.” Proceedings of the 5th EXPRESS User’s Group, 1995.
LibreCat
1995 | Conference Paper | LibreCat-ID: 39550
Müller, Wolfgang, et al. The Process Modeling Language EXPRESS-P. 1995.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39557
Felser, W., and Wolfgang Müller. EXPRESS-P - Eine Erweiterung von ISO 10303-11 Zur Prozessmodellierung. 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39560
Eikerling, Josef, and Wolfgang Müller. “FADE: A Layout Facility for Graph-Based Diagrams.” Proceedings of the 17th Annual Computer Science Conference, 1994, pp. 331–42.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39565
Hyhuis, D., and Wolfgang Müller. “Implementing Simultaneous Design: A Case Study.” Proceedings of the 2nd International Conference on Concurrent Engineering & Electronic Design Automation (CEEDA94), 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39577
Müller, Wolfgang, et al. Implementierung Eines Parallelen Validierungswerkzeugs Für STEP-Produktdaten Unter PVM. 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39575
Börger, Egon, et al. “The Semantics of Behavioral VHDL’93 Descriptions.” Proceedings of EURO-DAC’94/EURO-VHDL’94, 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39554
Lehrenfeld, Georg, et al. Ein Paralleles Framework Fuer Die Validierung von STEP-Produktdaten. 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39566
Lehrenfeld, Georg, et al. “Parallel Validation of STEP Files.” Proceedings of the 2nd International Conference on Concurrent Engineering & Electronic Design Automation (CEEDA94), 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39569
Lehrenfeld, Georg, and Wolfgang Müller. Computational Model of a Logical Visual Programming Language. 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39572
Felser, Winfried, and Wolfgang Müller. “EXPRESS-P - Extending EXPRESS for Process Modeling and Monitoring.” Proceedings of the 1994 ASME Computers in Engineering Conference, 1994, pp. 145–54.
LibreCat
1993 | Conference Paper | LibreCat-ID: 39578
Müller, Wolfgang, and Bernd Kleinjohann. “Tight Integration and Synchronization of Distributed Graphical Applications.” Proceedings of the Seventh Annual Database Symposium, 1993.
LibreCat
1993 | Conference Paper | LibreCat-ID: 39580
Müller, Wolfgang. “Approaching the Denotational Semantics of Behavioral VHDL Descriptions.” Proc. of the 1st Asian Pacific Conference on Hardware Description Languages, Standards and Applications, 1993.
LibreCat
1993 | Conference Paper | LibreCat-ID: 39579
Müller, Wolfgang, et al. “Parallel Validation of STEP Files.” Proceedings of the 3nd EXPRESS User’s Group Conference, 1993.
LibreCat
1992 | Conference Paper | LibreCat-ID: 39582
Müller, Wolfgang, and Bernd Kleinjohann. “The EXPRESS Information Modeling Workbench - A New Approach to Graphical Design Environments.” Proceedings of the 2nd EXPRESS User’s Group Conference, 1992.
LibreCat
1991 | Conference Paper | LibreCat-ID: 39584
Müller, Wolfgang. “Contract-Oriented System Design and Specification.” Proceedings of the Workshop on Practical Computer Based Systems Engineering - Its Scope and Methods, 1991.
LibreCat
1991 | Conference Paper | LibreCat-ID: 39583
Lehrenfeld, Georg, and Wolfgang Müller. “Validation of EXPRESS Models Using Prolog.” Proceedings of the 1st EXPRESS User’s Group Conference, 1991.
LibreCat
1989 | Conference Paper | LibreCat-ID: 39585
Rammig, Franz Josef, and Wolfgang Müller. “ODICE: Object-Oriented Hardware Description in CAD Environment.” Proc. of the Ninth IFIP Symposium on CHDLs and Their Application, 1989.
LibreCat