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
2000 | Patent | LibreCat-ID: 53588
A. Dangberg and W. Müller, “Verfahren zur Steuerung der Anordnung von graphischen Elementen.” 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39434
S. Flake, W. Müller, U. Pape, and J. Ruf, “Modellprüfung für den Entwurf von Fertigungssteuerungssystemen.” Siegen, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39444
A. Braatz, S. Flake, W. Müller, and E. Westkämper, “Prototyping einer Fahrzeug-steuerung in einer virtuellen 3D-Umgebung.” Magdeburg, Germany, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39461
S. Flake, W. Müller, and J. Ruf, “Structured English for Model Checking Specification.” Frankfurt, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39435
W. Müller, A. Meyer, and H. Zabel, “A Visual Framework for the Scripting of Parallel Agents,” 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39439
P. C. P. Bhatt and W. Müller, “A Methodology for the Protocol-Centered Design of Agent-Based Systems,” 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39442
P. C. P. Bhatt and W. Müller, “Morphic Nets: Model Based Design Diagrams,” 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39464
S. Flake, W. Müller, and J. Ruf, “An Advanced Visual Capture for Model Checking Specifications,” 2000.
LibreCat
1999 | Conference Paper | LibreCat-ID: 39481
C. Geiger, G. Lehrenfeld, and W. Müller, “Virtuelles Prototyping einer Robotersteuerung durch interaktive 3D-Simulation.” Magdeburg, Germany, 1999.
LibreCat
1999 | Conference Paper | LibreCat-ID: 39488
M. Dücker, W. Müller, and J. Rubart, “Innovative Concepts for Configurating Shared Workspaces through Visual Programming,” presented at the Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences. 1999. HICSS-32, Maui, HI, USA , 1999, doi: 10.1109/HICSS.1999.773046.
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 39487
C. Geiger, G. Lehrenfeld, and W. Müller, “Visual Specification, Modeling, and Illustrations of Complex Systems,” presented at the Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences 1999, Maui, Hawaii, 1999, doi: 10.1109/HICSS.1999.772621.
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 39468
M. Dücker et al., “Wissenbasierte Konzepte und visuelle interaktive Systeme.” Bonn, 1999.
LibreCat
1999 | Conference Paper | LibreCat-ID: 39471
A. Dangberg and W. Müller, “Generation of Interactive Visual Environments for Direct Manipulation of Database Content,” 1999.
LibreCat
1999 | Conference Paper | LibreCat-ID: 39474
S. Flake, C. Geiger, G. Lehrenfeld, W. Müller, and V. Paelke, “Agent-Based Modeling for Holonic Manufacturing Systems with Fuzzy Control,” presented at the 18th International Conference of the North American Fuzzy Information Processing Society - NAFIPS, New York, NY, USA , 1999, doi: 10.1109/NAFIPS.1999.781697.
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 39477
W. Müller and F. Ullmann, “Scalable System for 3D Audio Raytracing,” 1999, doi: 10.1109/MMCS.1999.778592.
LibreCat
| DOI
1998 | Journal Article | LibreCat-ID: 34578
W. Müller and J. Sturm, “Visuelle Spezifikations- und Modellierungstechniken,” it - Information Technology, pp. 32–36, 1998, doi: 10.1524/itit.1998.40.3.32.
LibreCat
| DOI
1998 | Book | LibreCat-ID: 23938
W. Müller and F.-J. Rammig, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, vol. 36. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 1998.
LibreCat
1998 | Book (Editor) | LibreCat-ID: 53587
W. Müller and F. J. Rammig, Eds., Proceedings des Workshops Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen. Paderborn, Germany, 1998.
LibreCat
1998 | Conference Paper | LibreCat-ID: 39496
M. Dücker, W. Müller, and J. Rubart, “VIPspace - A Visually Programmable Shared Workspace,” presented at the 1998 IEEE Symposium on Visual Languages , Halifax, NS, Canada , 1998, doi: 10.1109/VL.1998.706150.
LibreCat
| DOI
1998 | Conference Paper | LibreCat-ID: 39499
C. Geiger, G. Lehrenfeld, and W. Müller, “Authoring Communicating Agents in Virtual Environments,” 1998.
LibreCat