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.
264 Publications
1994 | Conference Paper | LibreCat-ID: 39569
Lehrenfeld, Georg, and Wolfgang Müller. “Computational Model of a Logical Visual Programming Language.” Workshop Logik in Der Informatik, Jahrestreffen Der Fachgruppe 0.1.6. Paderborn, Germany, 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39572
Felser, Winfried, and Wolfgang Müller. “EXPRESS-P - Extending EXPRESS for Process Modeling and Monitoring.” In Proceedings of the 1994 ASME Computers in Engineering Conference, 145–54. Minneapolis, MI, 1994.
LibreCat
1993 | Conference Paper | LibreCat-ID: 39578
Müller, Wolfgang, and Bernd Kleinjohann. “Tight Integration and Synchronization of Distributed Graphical Applications.” In Proceedings of the Seventh Annual Database Symposium. San Diego, USA, 1993.
LibreCat
1993 | Conference Paper | LibreCat-ID: 39580
Müller, Wolfgang. “Approaching the Denotational Semantics of Behavioral VHDL Descriptions.” In Proc. of the 1st Asian Pacific Conference on Hardware Description Languages, Standards and Applications. Brisbane, Australia, 1993.
LibreCat
1993 | Conference Paper | LibreCat-ID: 39579
Müller, Wolfgang, Georg Lehrenfeld, and N. Wiechers. “Parallel Validation of STEP Files.” In Proceedings of the 3nd EXPRESS User’s Group Conference. Berlin, 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.” In Proceedings of the 2nd EXPRESS User’s Group Conference. Dallas TX, 1992.
LibreCat
1991 | Conference Paper | LibreCat-ID: 39584
Müller, Wolfgang. “Contract-Oriented System Design and Specification.” In Proceedings of the Workshop on Practical Computer Based Systems Engineering - Its Scope and Methods. Grassau Germany, 1991.
LibreCat
1991 | Conference Paper | LibreCat-ID: 39583
Lehrenfeld, Georg, and Wolfgang Müller. “Validation of EXPRESS Models Using Prolog.” In Proceedings of the 1st EXPRESS User’s Group Conference. Houston TX, USA, 1991.
LibreCat
1989 | Conference Paper | LibreCat-ID: 39585
Rammig, Franz Josef, and Wolfgang Müller. “ODICE: Object-Oriented Hardware Description in CAD Environment.” In Proc. of the Ninth IFIP Symposium on CHDLs and Their Application. Washington DC, 1989.
LibreCat