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
1998 | Book | LibreCat-ID: 23938
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
W. Müller, F.-J. Rammig, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 1998.
LibreCat
W. Müller, F.-J. Rammig, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 1998.
1998 | Book (Editor) | LibreCat-ID: 53587
Proceedings des Workshops Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
W. Müller, F.J. Rammig, eds., Proceedings Des Workshops Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen, Paderborn, Germany, 1998.
LibreCat
W. Müller, F.J. Rammig, eds., Proceedings Des Workshops Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen, Paderborn, Germany, 1998.
1997 | Conference Paper | LibreCat-ID: 39510
A Visual Programming Language for Qualitative Data
M. Dücker, C. Geiger, G. Lehrenfeld, W. Müller, C. Tahedl, in: Proceedings of the 1997 IEEE Symposium on Visual Languages, Capri, Italy, 1997.
LibreCat
| DOI
M. Dücker, C. Geiger, G. Lehrenfeld, W. Müller, C. Tahedl, in: Proceedings of the 1997 IEEE Symposium on Visual Languages, Capri, Italy, 1997.
1997 | Conference Paper | LibreCat-ID: 39505
Visual-Textual Prototyping of 4D Scenes
M. Dücker, C. Geiger, R. Hunstock, G. Lehrenfeld, W. Müller, in: Proceedings of the 1997 IEEE Symposium on Visual Languages, Capri, Italy, 1997.
LibreCat
| DOI
M. Dücker, C. Geiger, R. Hunstock, G. Lehrenfeld, W. Müller, in: Proceedings of the 1997 IEEE Symposium on Visual Languages, Capri, Italy, 1997.
1997 | Conference Paper | LibreCat-ID: 39502
A Generic System for Interactive Real--Time Animation
M. Dücker, G. Lehrenfeld, W. Müller, C. Tahedl, in: Proceedings International Conference and Workshop on Engineering of Computer-Based Systems, Monterey, CA, USA , 1997.
LibreCat
| DOI
M. Dücker, G. Lehrenfeld, W. Müller, C. Tahedl, in: Proceedings International Conference and Workshop on Engineering of Computer-Based Systems, Monterey, CA, USA , 1997.
1996 | Conference Paper | LibreCat-ID: 39513
Interaktiver Produktdatenaustausch mit EDIFACT
H. Aisch, M. Joosten, W. Müller, F. Buijs, (1996).
LibreCat
H. Aisch, M. Joosten, W. Müller, F. Buijs, (1996).
1996 | Conference Paper | LibreCat-ID: 39521
Integrating a Constraint Solver into a Real-Time Animation Environment
P. Griebel, G. Lehrenfeld, W. Müller, C. Tahedl, H. Uhr, in: Proceedings of the 1996 IEEE Symposium on Visual Languages, Boulder CO, 1996.
LibreCat
| DOI
P. Griebel, G. Lehrenfeld, W. Müller, C. Tahedl, H. Uhr, in: Proceedings of the 1996 IEEE Symposium on Visual Languages, Boulder CO, 1996.
1996 | Conference Paper | LibreCat-ID: 39517
Specification and Analysis of Concurrent Systems in a Complete Visual Environment
M. Dücker, G. Lehrenfeld, W. Müller, in: Proceedings of the 10th European Simulation Multiconference (ESM’96), Budapest, Hungary, 1996.
LibreCat
M. Dücker, G. Lehrenfeld, W. Müller, in: Proceedings of the 10th European Simulation Multiconference (ESM’96), Budapest, Hungary, 1996.
1996 | Conference Paper | LibreCat-ID: 39526
Visual Modeling and 3D-Representation with a Complete Visual Programming Language --- A Case Study in Manufacturing
C. Geiger, R. Hunstock, G. Lehrenfeld, W. Müller, J. Quintanilla, C. Tahedl, A. Weber, in: Proceedings of the 1996 IEEE Symposium on Visual Languages, Boulder, CO, USA, 1996.
LibreCat
| DOI
C. Geiger, R. Hunstock, G. Lehrenfeld, W. Müller, J. Quintanilla, C. Tahedl, A. Weber, in: Proceedings of the 1996 IEEE Symposium on Visual Languages, Boulder, CO, USA, 1996.
1995 | Book Chapter | LibreCat-ID: 34448
A Formal Definition of an Abstract VHDL'93 Simulator by EA-Machines
E. Börger, U. Glässer, W. Müller, in: C. Delgado Kloos, P.T. Breuer (Eds.), Semantics of VHDL, Kluwer Academic Publishers, Dordrecht, 1995, pp. 107–139.
LibreCat
| DOI
E. Börger, U. Glässer, W. Müller, in: C. Delgado Kloos, P.T. Breuer (Eds.), Semantics of VHDL, Kluwer Academic Publishers, Dordrecht, 1995, pp. 107–139.
1995 | Conference Paper | LibreCat-ID: 39532
Conformance Tests of Very Large STEP Files
G. Lehrenfeld, W. Müller, N. Wiechers, in: Proceedings of the 4th EXPRESS User’s Group, Greenville, South Carolina, 1995.
LibreCat
G. Lehrenfeld, W. Müller, N. Wiechers, in: Proceedings of the 4th EXPRESS User’s Group, Greenville, South Carolina, 1995.
1995 | Conference Paper | LibreCat-ID: 39535
Pen-based Interfaces for Engineering Environments
R. Zhao, H.J. Kaufmann, T. Kern, W. Müller, in: 1995.
LibreCat
R. Zhao, H.J. Kaufmann, T. Kern, W. Müller, in: 1995.
1995 | Conference Paper | LibreCat-ID: 39541
Transforming SDL Diagrams Into a Complete Visual Representation
G. Lehrenfeld, W. Müller, C. Tahedl, in: Proceedings of Symposium on Visual Languages, Darmstadt, Germany , 1995.
LibreCat
| DOI
G. Lehrenfeld, W. Müller, C. Tahedl, in: Proceedings of Symposium on Visual Languages, Darmstadt, Germany , 1995.
1995 | Conference Paper | LibreCat-ID: 39546
Validation of EXPRESS Models
W. Müller, G. Lehrenfeld, N. Wiechers, (1995).
LibreCat
W. Müller, G. Lehrenfeld, N. Wiechers, (1995).
1995 | Conference Paper | LibreCat-ID: 39531
Guide to EXPRESS-P
W. Müller, W. Felser, F. Buijs, in: Proceedings of the 4th EXPRESS User’s Group, Greenville, South Carolina, 1995.
LibreCat
W. Müller, W. Felser, F. Buijs, in: Proceedings of the 4th EXPRESS User’s Group, Greenville, South Carolina, 1995.
1995 | Conference Paper | LibreCat-ID: 39538
Complete Visual Specification and Animations of Protocols
W. Müller, G. Lehrenfeld, C. Tahedl, in: Proceedings of ASP-DAC’95/CHDL’95/VLSI’95 with EDA Technofair, Chiba, Japan , 1995.
LibreCat
| DOI
W. Müller, G. Lehrenfeld, C. Tahedl, in: Proceedings of ASP-DAC’95/CHDL’95/VLSI’95 with EDA Technofair, Chiba, Japan , 1995.
1995 | Conference Paper | LibreCat-ID: 39543
An Editor for the Rapid Prototyping of EXPRESS-G Models
R. Zhao, W. Müller, H.J. Kaufmann, Th. Kern, F. Buijs, in: Proceedings of the 5th EXPRESS User’s Group, Grenoble, 1995.
LibreCat
R. Zhao, W. Müller, H.J. Kaufmann, Th. Kern, F. Buijs, in: Proceedings of the 5th EXPRESS User’s Group, Grenoble, 1995.
1995 | Conference Paper | LibreCat-ID: 39550
The Process Modeling Language EXPRESS-P
W. Müller, W. Felser, N. Wiechers, (1995).
LibreCat
W. Müller, W. Felser, N. Wiechers, (1995).
1994 | Conference Paper | LibreCat-ID: 39557
EXPRESS-P - Eine Erweiterung von ISO 10303-11 zur Prozessmodellierung
W. Felser, W. Müller, (1994).
LibreCat
W. Felser, W. Müller, (1994).
1994 | Conference Paper | LibreCat-ID: 39560
FADE: A Layout Facility for Graph-Based Diagrams
J. Eikerling, W. Müller, in: Proceedings of the 17th Annual Computer Science Conference, Christchurch, New Zealand, 1994, pp. 331–342.
LibreCat
J. Eikerling, W. Müller, in: Proceedings of the 17th Annual Computer Science Conference, Christchurch, New Zealand, 1994, pp. 331–342.