Wolfgang Müller

Schaltungstechnik (SCT) / Heinz Nixdorf Institut
wmueller@hni.uni-paderborn.de
ID
16243

264 Publications

Mark all

[264]
2002 | Conference Paper | LibreCat-ID: 39402
Flake, S., & Müller, W. (2002). Temporale Erweiterungen der OCL - Überblick und Aussichten.
LibreCat
 
[263]
2002 | Book (Editor) | LibreCat-ID: 53586
Bücker, U., Eikerling, H. J., & Müller, W. (Eds.). (2002). Proceedings of the VHE Workshop.
LibreCat
 
[262]
2001 | Conference Paper | LibreCat-ID: 39411
Flake, S., Geiger, C., Müller, W., & Ruf, J. (2001). Customer-Oriented Systems Design through Virtual Prototyps. Proceedings of IEEE KMN 2001. Proceedings Tenth IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises. https://doi.org/10.1109/ENABL.2001.953425
LibreCat | DOI
 
[261]
2001 | Conference Paper | LibreCat-ID: 39407
Bauer, M., Eikerling, H.-J., Müller, W., Pawlak, A., Siekierska, K., Soderberg, D., & Warzee, X. (2001). Advanced Infrastructure for PAN-European Collaborative Engineering.
LibreCat
 
[260]
2001 | Conference Paper | LibreCat-ID: 39421
Müller, W., Ruf, J., Hoffmann, D. W., Gerlach, J., Kropf, T., & Rosenstiehl, W. (2001). The Simulation Semantics of SystemC. Proceedings of the Design, Automation, and Test in Europe (DATE’01). Proceedings Design, Automation and Test in Europe. Conference and Exhibition 2001. https://doi.org/10.1109/DATE.2001.915002
LibreCat | DOI
 
[259]
2001 | Conference Paper | LibreCat-ID: 39427
Flake, S., Müller, W., Pape, U., & Ruf, J. (2001). Real-Time Model Checking for the Analysis of flexible Manufacturing Systems. Proceedings of ISI 2001.
LibreCat
 
[258]
2001 | Conference Paper | LibreCat-ID: 39432
Müller, W., Meyer, A., & Zabel, H. (2001). A Language for the Rapid Prototyping of Mobile Evolving Agents. Proceedings of the 34th Annual Hawaii International Conference on System Sciences. https://doi.org/10.1109/HICSS.2001.926319
LibreCat | DOI
 
[257]
2001 | Conference Paper | LibreCat-ID: 39431
Lehrenfeld, G., Müller, W., & Tellmann, R. (2001). Security Concepts for Agent-Based Systems. Proceedings of SCASE 01.
LibreCat
 
[256]
2001 | Conference Paper | LibreCat-ID: 39406
Flake, S., & Müller, W. (2001). Spezifikation von Echtzeiteigenschaften mit OCL für eine MFERT-basierte Fallstudie.
LibreCat
 
[255]
2001 | Conference Paper | LibreCat-ID: 39425
Dangberg, A., & Müller, W. (2001). Generation of Interactive Visual Interfaces for Resource Management. Proceedings of ISI 2001.
LibreCat
 
[254]
2000 | Conference Paper | LibreCat-ID: 39434
Flake, S., Müller, W., Pape, U., & Ruf, J. (2000). Modellprüfung für den Entwurf von Fertigungssteuerungssystemen.
LibreCat
 
[253]
2000 | Conference Paper | LibreCat-ID: 39444
Braatz, A., Flake, S., Müller, W., & Westkämper, E. (2000). Prototyping einer Fahrzeug-steuerung in einer virtuellen 3D-Umgebung.
LibreCat
 
[252]
2000 | Conference Paper | LibreCat-ID: 39461
Flake, S., Müller, W., & Ruf, J. (2000). Structured English for Model Checking Specification.
LibreCat
 
[251]
2000 | Conference Paper | LibreCat-ID: 39435
Müller, W., Meyer, A., & Zabel, H. (2000). A Visual Framework for the Scripting of Parallel Agents. Proceedings of the IEEE Symposium on Visual Languages.
LibreCat
 
[250]
2000 | Conference Paper | LibreCat-ID: 39439
Bhatt, P. C. P., & Müller, W. (2000). A Methodology for the Protocol-Centered Design of Agent-Based Systems. Proceedings of IECON 2000.
LibreCat
 
[249]
2000 | Conference Paper | LibreCat-ID: 39442
Bhatt, P. C. P., & Müller, W. (2000). Morphic Nets: Model Based Design Diagrams. Proceedings of UKPEW 2000.
LibreCat
 
[248]
2000 | Conference Paper | LibreCat-ID: 39464
Flake, S., Müller, W., & Ruf, J. (2000). An Advanced Visual Capture for Model Checking Specifications. Proceedings of AVI 2000.
LibreCat
 
[247]
2000 | Patent | LibreCat-ID: 53588
Dangberg, A., & Müller, W. (2000). Verfahren zur Steuerung der Anordnung von graphischen Elementen.
LibreCat
 
[246]
1999 | Conference Paper | LibreCat-ID: 39481
Geiger, C., Lehrenfeld, G., & Müller, W. (1999). Virtuelles Prototyping einer Robotersteuerung durch interaktive 3D-Simulation.
LibreCat
 
[245]
1999 | Conference Paper | LibreCat-ID: 39488
Dücker, M., Müller, W., & Rubart, J. (1999). Innovative Concepts for Configurating Shared Workspaces through Visual Programming. Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences. Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences. 1999. HICSS-32, Maui, HI, USA . https://doi.org/10.1109/HICSS.1999.773046
LibreCat | DOI
 
[244]
1999 | Conference Paper | LibreCat-ID: 39487
Geiger, C., Lehrenfeld, G., & Müller, W. (1999). Visual Specification, Modeling, and Illustrations of Complex Systems. Proceedings of HICSS-32. Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences 1999, Maui, Hawaii. https://doi.org/10.1109/HICSS.1999.772621
LibreCat | DOI
 
[243]
1999 | Conference Paper | LibreCat-ID: 39468
Dücker, M., Flake, S., Geiger, C., Müller, W., Paelke, V., Reimann, C., Rosenbach, W., Zimmermann, D., & Zelder, S. (1999). Wissenbasierte Konzepte und visuelle interaktive Systeme. 23rd German Annual Symposium on Artificial Intelligence, Bonn.
LibreCat
 
[242]
1999 | Conference Paper | LibreCat-ID: 39471
Dangberg, A., & Müller, W. (1999). Generation of Interactive Visual Environments for Direct Manipulation of Database Content. Proceedings of the IEEE Symposium on Visual Languages.
LibreCat
 
[241]
1999 | Conference Paper | LibreCat-ID: 39474
Flake, S., Geiger, C., Lehrenfeld, G., Müller, W., & Paelke, V. (1999). Agent-Based Modeling for Holonic Manufacturing Systems with Fuzzy Control. Proceedings of NAFIPS’99, 18th International Conference of the North American Fuzzy Information Processing Society. 18th International Conference of the North American Fuzzy Information Processing Society - NAFIPS, New York, NY, USA . https://doi.org/10.1109/NAFIPS.1999.781697
LibreCat | DOI
 
[240]
1999 | Conference Paper | LibreCat-ID: 39477
Müller, W., & Ullmann, F. (1999). Scalable System for 3D Audio Raytracing. Proceedings IEEE International Conference on Multimedia Computing and Systems. https://doi.org/10.1109/MMCS.1999.778592
LibreCat | DOI
 
[239]
1998 | Journal Article | LibreCat-ID: 34578
Müller, W., & Sturm, J. (1998). Visuelle Spezifikations- und Modellierungstechniken. It - Information Technology, 32–36. https://doi.org/10.1524/itit.1998.40.3.32
LibreCat | DOI
 
[238]
1998 | Conference Paper | LibreCat-ID: 39496
Dücker, M., Müller, W., & Rubart, J. (1998). VIPspace - A Visually Programmable Shared Workspace. Proceedings. 1998 IEEE Symposium on Visual Languages . 1998 IEEE Symposium on Visual Languages , Halifax, NS, Canada . https://doi.org/10.1109/VL.1998.706150
LibreCat | DOI
 
[237]
1998 | Conference Paper | LibreCat-ID: 39499
Geiger, C., Lehrenfeld, G., & Müller, W. (1998). Authoring Communicating Agents in Virtual Environments. Proceedings of the Annual Conference for the Computer Human Interaction.
LibreCat
 
[236]
1998 | Conference Paper | LibreCat-ID: 39493
Geiger, C., Müller, W., & Rosenbach, W. (1998). SAM - An Animated 3D Programming Language. Proceedings of the IEEE Symposium on Visual Languages. 1998 IEEE Symposium on Visual Languages, Halifax, Canada. https://doi.org/10.1109/VL.1998.706167
LibreCat | DOI
 
[235]
1998 | Conference Paper | LibreCat-ID: 39489
Geiger, C., & Müller, W. (1998). Visuelle Spezifikation, Modellierung und Animation im Systementwurf.
LibreCat
 
[234]
1998 | Book | LibreCat-ID: 23938
Müller, W., & Rammig, F.-J. (1998). Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (Vol. 36). Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn.
LibreCat
 
[233]
1998 | Book (Editor) | LibreCat-ID: 53587
Müller, W., & Rammig, F. J. (Eds.). (1998). Proceedings des Workshops Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen.
LibreCat
 
[232]
1997 | Conference Paper | LibreCat-ID: 39510
Dücker, M., Geiger, C., Lehrenfeld, G., Müller, W., & Tahedl, C. (1997). A Visual Programming Language for Qualitative Data. Proceedings of the 1997 IEEE Symposium on Visual Languages. https://doi.org/10.1109/VL.1997.626593
LibreCat | DOI
 
[231]
1997 | Conference Paper | LibreCat-ID: 39505
Dücker, M., Geiger, C., Hunstock, R., Lehrenfeld, G., & Müller, W. (1997). Visual-Textual Prototyping of 4D Scenes. Proceedings of the 1997 IEEE Symposium on Visual Languages. 1997 IEEE Symposium on Visual Languages. https://doi.org/10.1109/VL.1997.626601
LibreCat | DOI
 
[230]
1997 | Conference Paper | LibreCat-ID: 39502
Dücker, M., Lehrenfeld, G., Müller, W., & Tahedl, C. (1997). A Generic System for Interactive Real--Time Animation. Proceedings International Conference and Workshop on Engineering of Computer-Based Systems. https://doi.org/10.1109/ECBS.1997.581876
LibreCat | DOI
 
[229]
1996 | Conference Paper | LibreCat-ID: 39513
Aisch, H., Joosten, M., Müller, W., & Buijs, F. (1996). Interaktiver Produktdatenaustausch mit EDIFACT.
LibreCat
 
[228]
1996 | Conference Paper | LibreCat-ID: 39521
Griebel, P., Lehrenfeld, G., Müller, W., Tahedl, C., & Uhr, H. (1996). Integrating a Constraint Solver into a Real-Time Animation Environment. Proceedings of the 1996 IEEE Symposium on Visual Languages. https://doi.org/10.1109/VL.1996.545262
LibreCat | DOI
 
[227]
1996 | Conference Paper | LibreCat-ID: 39517
Dücker, M., Lehrenfeld, G., & Müller, W. (1996). Specification and Analysis of Concurrent Systems in a Complete Visual Environment. Proceedings of the 10th European Simulation Multiconference (ESM’96).
LibreCat
 
[226]
1996 | Conference Paper | LibreCat-ID: 39526
Geiger, C., Hunstock, R., Lehrenfeld, G., Müller, W., Quintanilla, J., Tahedl, C., & Weber, A. (1996). 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. https://doi.org/10.1109/VL.1996.545302
LibreCat | DOI
 
[225]
1995 | Book Chapter | LibreCat-ID: 34448
Börger, E., Glässer, U., & Müller, W. (1995). A Formal Definition of an Abstract VHDL’93 Simulator by EA-Machines. In C. Delgado Kloos & P. T. Breuer (Eds.), Semantics of VHDL (pp. 107–139). Kluwer Academic Publishers. https://doi.org/10.1007/978-1-4615-2237-9_5
LibreCat | DOI
 
[224]
1995 | Conference Paper | LibreCat-ID: 39532
Lehrenfeld, G., Müller, W., & Wiechers, N. (1995). Conformance Tests of Very Large STEP Files. Proceedings of the 4th EXPRESS User’s Group.
LibreCat
 
[223]
1995 | Conference Paper | LibreCat-ID: 39535
Zhao, R., Kaufmann, H. J., Kern, T., & Müller, W. (1995). Pen-based Interfaces for Engineering Environments. 6th Human-Computer Interaction International, Tokyo, Japan.
LibreCat
 
[222]
1995 | Conference Paper | LibreCat-ID: 39541
Lehrenfeld, G., Müller, W., & Tahedl, C. (1995). Transforming SDL Diagrams Into a Complete Visual Representation. Proceedings of Symposium on Visual Languages. https://doi.org/10.1109/VL.1995.520803
LibreCat | DOI
 
[221]
1995 | Conference Paper | LibreCat-ID: 39546
Müller, W., Lehrenfeld, G., & Wiechers, N. (1995). Validation of EXPRESS Models.
LibreCat
 
[220]
1995 | Conference Paper | LibreCat-ID: 39531
Müller, W., Felser, W., & Buijs, F. (1995). Guide to EXPRESS-P. Proceedings of the 4th EXPRESS User’s Group.
LibreCat
 
[219]
1995 | Conference Paper | LibreCat-ID: 39538
Müller, W., Lehrenfeld, G., & Tahedl, C. (1995). Complete Visual Specification and Animations of Protocols. Proceedings of ASP-DAC’95/CHDL’95/VLSI’95 with EDA Technofair. https://doi.org/10.1109/ASPDAC.1995.486383
LibreCat | DOI
 
[218]
1995 | Conference Paper | LibreCat-ID: 39543
Zhao, R., Müller, W., Kaufmann, H. J., Kern, Th., & Buijs, F. (1995). An Editor for the Rapid Prototyping of EXPRESS-G Models. Proceedings of the 5th EXPRESS User’s Group.
LibreCat
 
[217]
1995 | Conference Paper | LibreCat-ID: 39550
Müller, W., Felser, W., & Wiechers, N. (1995). The Process Modeling Language EXPRESS-P.
LibreCat
 
[216]
1994 | Conference Paper | LibreCat-ID: 39557
Felser, W., & Müller, W. (1994). EXPRESS-P - Eine Erweiterung von ISO 10303-11 zur Prozessmodellierung.
LibreCat
 
[215]
1994 | Conference Paper | LibreCat-ID: 39560
Eikerling, J., & Müller, W. (1994). FADE: A Layout Facility for Graph-Based Diagrams. Proceedings of the 17th Annual Computer Science Conference, 331–342.
LibreCat
 
[214]
1994 | Conference Paper | LibreCat-ID: 39565
Hyhuis, D., & Müller, W. (1994). Implementing Simultaneous Design: A Case Study. Proceedings of the 2nd International Conference on Concurrent Engineering & Electronic Design Automation (CEEDA94).
LibreCat
 
[213]
1994 | Conference Paper | LibreCat-ID: 39577
Müller, W., Lehrenfeld, G., & Wiechers, N. (1994). Implementierung eines parallelen Validierungswerkzeugs für STEP-Produktdaten unter PVM.
LibreCat
 
[212]
1994 | Conference Paper | LibreCat-ID: 39575
Börger, E., Glässer, U., & Müller, W. (1994). The Semantics of Behavioral VHDL’93 Descriptions. Proceedings of EURO-DAC’94/EURO-VHDL’94.
LibreCat
 
[211]
1994 | Conference Paper | LibreCat-ID: 39554
Lehrenfeld, G., Müller, W., & Wiechers, N. (1994). Ein paralleles Framework fuer die Validierung von STEP-Produktdaten.
LibreCat
 
[210]
1994 | Conference Paper | LibreCat-ID: 39566
Lehrenfeld, G., Müller, W., & Wiechers, N. (1994). Parallel Validation of STEP Files. Proceedings of the 2nd International Conference on Concurrent Engineering & Electronic Design Automation (CEEDA94).
LibreCat
 
[209]
1994 | Conference Paper | LibreCat-ID: 39569
Lehrenfeld, G., & Müller, W. (1994). Computational Model of a Logical Visual Programming Language.
LibreCat
 
[208]
1994 | Conference Paper | LibreCat-ID: 39572
Felser, W., & Müller, W. (1994). EXPRESS-P - Extending EXPRESS for Process Modeling and Monitoring. Proceedings of the 1994 ASME Computers in Engineering Conference, 145–154.
LibreCat
 
[207]
1993 | Conference Paper | LibreCat-ID: 39578
Müller, W., & Kleinjohann, B. (1993). Tight Integration and Synchronization of Distributed Graphical Applications. Proceedings of the Seventh Annual Database Symposium.
LibreCat
 
[206]
1993 | Conference Paper | LibreCat-ID: 39580
Müller, W. (1993). Approaching the Denotational Semantics of Behavioral VHDL Descriptions. Proc. of the 1st Asian Pacific Conference on Hardware Description Languages, Standards and Applications.
LibreCat
 
[205]
1993 | Conference Paper | LibreCat-ID: 39579
Müller, W., Lehrenfeld, G., & Wiechers, N. (1993). Parallel Validation of STEP Files. Proceedings of the 3nd EXPRESS User’s Group Conference.
LibreCat
 
[204]
1992 | Conference Paper | LibreCat-ID: 39582
Müller, W., & Kleinjohann, B. (1992). The EXPRESS Information Modeling Workbench - A New Approach to Graphical Design Environments. Proceedings of the 2nd EXPRESS User’s Group Conference.
LibreCat
 
[203]
1991 | Conference Paper | LibreCat-ID: 39584
Müller, W. (1991). Contract-Oriented System Design and Specification. Proceedings of the Workshop on Practical Computer Based Systems Engineering - Its Scope and Methods.
LibreCat
 
[202]
1991 | Conference Paper | LibreCat-ID: 39583
Lehrenfeld, G., & Müller, W. (1991). Validation of EXPRESS Models Using Prolog. Proceedings of the 1st EXPRESS User’s Group Conference.
LibreCat
 
[201]
1989 | Conference Paper | LibreCat-ID: 39585
Rammig, F. J., & Müller, W. (1989). ODICE: Object-Oriented Hardware Description in CAD Environment. Proc. of the Ninth IFIP Symposium on CHDLs and Their Application.
LibreCat
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed

264 Publications

Mark all

[264]
2002 | Conference Paper | LibreCat-ID: 39402
Flake, S., & Müller, W. (2002). Temporale Erweiterungen der OCL - Überblick und Aussichten.
LibreCat
 
[263]
2002 | Book (Editor) | LibreCat-ID: 53586
Bücker, U., Eikerling, H. J., & Müller, W. (Eds.). (2002). Proceedings of the VHE Workshop.
LibreCat
 
[262]
2001 | Conference Paper | LibreCat-ID: 39411
Flake, S., Geiger, C., Müller, W., & Ruf, J. (2001). Customer-Oriented Systems Design through Virtual Prototyps. Proceedings of IEEE KMN 2001. Proceedings Tenth IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises. https://doi.org/10.1109/ENABL.2001.953425
LibreCat | DOI
 
[261]
2001 | Conference Paper | LibreCat-ID: 39407
Bauer, M., Eikerling, H.-J., Müller, W., Pawlak, A., Siekierska, K., Soderberg, D., & Warzee, X. (2001). Advanced Infrastructure for PAN-European Collaborative Engineering.
LibreCat
 
[260]
2001 | Conference Paper | LibreCat-ID: 39421
Müller, W., Ruf, J., Hoffmann, D. W., Gerlach, J., Kropf, T., & Rosenstiehl, W. (2001). The Simulation Semantics of SystemC. Proceedings of the Design, Automation, and Test in Europe (DATE’01). Proceedings Design, Automation and Test in Europe. Conference and Exhibition 2001. https://doi.org/10.1109/DATE.2001.915002
LibreCat | DOI
 
[259]
2001 | Conference Paper | LibreCat-ID: 39427
Flake, S., Müller, W., Pape, U., & Ruf, J. (2001). Real-Time Model Checking for the Analysis of flexible Manufacturing Systems. Proceedings of ISI 2001.
LibreCat
 
[258]
2001 | Conference Paper | LibreCat-ID: 39432
Müller, W., Meyer, A., & Zabel, H. (2001). A Language for the Rapid Prototyping of Mobile Evolving Agents. Proceedings of the 34th Annual Hawaii International Conference on System Sciences. https://doi.org/10.1109/HICSS.2001.926319
LibreCat | DOI
 
[257]
2001 | Conference Paper | LibreCat-ID: 39431
Lehrenfeld, G., Müller, W., & Tellmann, R. (2001). Security Concepts for Agent-Based Systems. Proceedings of SCASE 01.
LibreCat
 
[256]
2001 | Conference Paper | LibreCat-ID: 39406
Flake, S., & Müller, W. (2001). Spezifikation von Echtzeiteigenschaften mit OCL für eine MFERT-basierte Fallstudie.
LibreCat
 
[255]
2001 | Conference Paper | LibreCat-ID: 39425
Dangberg, A., & Müller, W. (2001). Generation of Interactive Visual Interfaces for Resource Management. Proceedings of ISI 2001.
LibreCat
 
[254]
2000 | Conference Paper | LibreCat-ID: 39434
Flake, S., Müller, W., Pape, U., & Ruf, J. (2000). Modellprüfung für den Entwurf von Fertigungssteuerungssystemen.
LibreCat
 
[253]
2000 | Conference Paper | LibreCat-ID: 39444
Braatz, A., Flake, S., Müller, W., & Westkämper, E. (2000). Prototyping einer Fahrzeug-steuerung in einer virtuellen 3D-Umgebung.
LibreCat
 
[252]
2000 | Conference Paper | LibreCat-ID: 39461
Flake, S., Müller, W., & Ruf, J. (2000). Structured English for Model Checking Specification.
LibreCat
 
[251]
2000 | Conference Paper | LibreCat-ID: 39435
Müller, W., Meyer, A., & Zabel, H. (2000). A Visual Framework for the Scripting of Parallel Agents. Proceedings of the IEEE Symposium on Visual Languages.
LibreCat
 
[250]
2000 | Conference Paper | LibreCat-ID: 39439
Bhatt, P. C. P., & Müller, W. (2000). A Methodology for the Protocol-Centered Design of Agent-Based Systems. Proceedings of IECON 2000.
LibreCat
 
[249]
2000 | Conference Paper | LibreCat-ID: 39442
Bhatt, P. C. P., & Müller, W. (2000). Morphic Nets: Model Based Design Diagrams. Proceedings of UKPEW 2000.
LibreCat
 
[248]
2000 | Conference Paper | LibreCat-ID: 39464
Flake, S., Müller, W., & Ruf, J. (2000). An Advanced Visual Capture for Model Checking Specifications. Proceedings of AVI 2000.
LibreCat
 
[247]
2000 | Patent | LibreCat-ID: 53588
Dangberg, A., & Müller, W. (2000). Verfahren zur Steuerung der Anordnung von graphischen Elementen.
LibreCat
 
[246]
1999 | Conference Paper | LibreCat-ID: 39481
Geiger, C., Lehrenfeld, G., & Müller, W. (1999). Virtuelles Prototyping einer Robotersteuerung durch interaktive 3D-Simulation.
LibreCat
 
[245]
1999 | Conference Paper | LibreCat-ID: 39488
Dücker, M., Müller, W., & Rubart, J. (1999). Innovative Concepts for Configurating Shared Workspaces through Visual Programming. Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences. Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences. 1999. HICSS-32, Maui, HI, USA . https://doi.org/10.1109/HICSS.1999.773046
LibreCat | DOI
 
[244]
1999 | Conference Paper | LibreCat-ID: 39487
Geiger, C., Lehrenfeld, G., & Müller, W. (1999). Visual Specification, Modeling, and Illustrations of Complex Systems. Proceedings of HICSS-32. Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences 1999, Maui, Hawaii. https://doi.org/10.1109/HICSS.1999.772621
LibreCat | DOI
 
[243]
1999 | Conference Paper | LibreCat-ID: 39468
Dücker, M., Flake, S., Geiger, C., Müller, W., Paelke, V., Reimann, C., Rosenbach, W., Zimmermann, D., & Zelder, S. (1999). Wissenbasierte Konzepte und visuelle interaktive Systeme. 23rd German Annual Symposium on Artificial Intelligence, Bonn.
LibreCat
 
[242]
1999 | Conference Paper | LibreCat-ID: 39471
Dangberg, A., & Müller, W. (1999). Generation of Interactive Visual Environments for Direct Manipulation of Database Content. Proceedings of the IEEE Symposium on Visual Languages.
LibreCat
 
[241]
1999 | Conference Paper | LibreCat-ID: 39474
Flake, S., Geiger, C., Lehrenfeld, G., Müller, W., & Paelke, V. (1999). Agent-Based Modeling for Holonic Manufacturing Systems with Fuzzy Control. Proceedings of NAFIPS’99, 18th International Conference of the North American Fuzzy Information Processing Society. 18th International Conference of the North American Fuzzy Information Processing Society - NAFIPS, New York, NY, USA . https://doi.org/10.1109/NAFIPS.1999.781697
LibreCat | DOI
 
[240]
1999 | Conference Paper | LibreCat-ID: 39477
Müller, W., & Ullmann, F. (1999). Scalable System for 3D Audio Raytracing. Proceedings IEEE International Conference on Multimedia Computing and Systems. https://doi.org/10.1109/MMCS.1999.778592
LibreCat | DOI
 
[239]
1998 | Journal Article | LibreCat-ID: 34578
Müller, W., & Sturm, J. (1998). Visuelle Spezifikations- und Modellierungstechniken. It - Information Technology, 32–36. https://doi.org/10.1524/itit.1998.40.3.32
LibreCat | DOI
 
[238]
1998 | Conference Paper | LibreCat-ID: 39496
Dücker, M., Müller, W., & Rubart, J. (1998). VIPspace - A Visually Programmable Shared Workspace. Proceedings. 1998 IEEE Symposium on Visual Languages . 1998 IEEE Symposium on Visual Languages , Halifax, NS, Canada . https://doi.org/10.1109/VL.1998.706150
LibreCat | DOI
 
[237]
1998 | Conference Paper | LibreCat-ID: 39499
Geiger, C., Lehrenfeld, G., & Müller, W. (1998). Authoring Communicating Agents in Virtual Environments. Proceedings of the Annual Conference for the Computer Human Interaction.
LibreCat
 
[236]
1998 | Conference Paper | LibreCat-ID: 39493
Geiger, C., Müller, W., & Rosenbach, W. (1998). SAM - An Animated 3D Programming Language. Proceedings of the IEEE Symposium on Visual Languages. 1998 IEEE Symposium on Visual Languages, Halifax, Canada. https://doi.org/10.1109/VL.1998.706167
LibreCat | DOI
 
[235]
1998 | Conference Paper | LibreCat-ID: 39489
Geiger, C., & Müller, W. (1998). Visuelle Spezifikation, Modellierung und Animation im Systementwurf.
LibreCat
 
[234]
1998 | Book | LibreCat-ID: 23938
Müller, W., & Rammig, F.-J. (1998). Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (Vol. 36). Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn.
LibreCat
 
[233]
1998 | Book (Editor) | LibreCat-ID: 53587
Müller, W., & Rammig, F. J. (Eds.). (1998). Proceedings des Workshops Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen.
LibreCat
 
[232]
1997 | Conference Paper | LibreCat-ID: 39510
Dücker, M., Geiger, C., Lehrenfeld, G., Müller, W., & Tahedl, C. (1997). A Visual Programming Language for Qualitative Data. Proceedings of the 1997 IEEE Symposium on Visual Languages. https://doi.org/10.1109/VL.1997.626593
LibreCat | DOI
 
[231]
1997 | Conference Paper | LibreCat-ID: 39505
Dücker, M., Geiger, C., Hunstock, R., Lehrenfeld, G., & Müller, W. (1997). Visual-Textual Prototyping of 4D Scenes. Proceedings of the 1997 IEEE Symposium on Visual Languages. 1997 IEEE Symposium on Visual Languages. https://doi.org/10.1109/VL.1997.626601
LibreCat | DOI
 
[230]
1997 | Conference Paper | LibreCat-ID: 39502
Dücker, M., Lehrenfeld, G., Müller, W., & Tahedl, C. (1997). A Generic System for Interactive Real--Time Animation. Proceedings International Conference and Workshop on Engineering of Computer-Based Systems. https://doi.org/10.1109/ECBS.1997.581876
LibreCat | DOI
 
[229]
1996 | Conference Paper | LibreCat-ID: 39513
Aisch, H., Joosten, M., Müller, W., & Buijs, F. (1996). Interaktiver Produktdatenaustausch mit EDIFACT.
LibreCat
 
[228]
1996 | Conference Paper | LibreCat-ID: 39521
Griebel, P., Lehrenfeld, G., Müller, W., Tahedl, C., & Uhr, H. (1996). Integrating a Constraint Solver into a Real-Time Animation Environment. Proceedings of the 1996 IEEE Symposium on Visual Languages. https://doi.org/10.1109/VL.1996.545262
LibreCat | DOI
 
[227]
1996 | Conference Paper | LibreCat-ID: 39517
Dücker, M., Lehrenfeld, G., & Müller, W. (1996). Specification and Analysis of Concurrent Systems in a Complete Visual Environment. Proceedings of the 10th European Simulation Multiconference (ESM’96).
LibreCat
 
[226]
1996 | Conference Paper | LibreCat-ID: 39526
Geiger, C., Hunstock, R., Lehrenfeld, G., Müller, W., Quintanilla, J., Tahedl, C., & Weber, A. (1996). 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. https://doi.org/10.1109/VL.1996.545302
LibreCat | DOI
 
[225]
1995 | Book Chapter | LibreCat-ID: 34448
Börger, E., Glässer, U., & Müller, W. (1995). A Formal Definition of an Abstract VHDL’93 Simulator by EA-Machines. In C. Delgado Kloos & P. T. Breuer (Eds.), Semantics of VHDL (pp. 107–139). Kluwer Academic Publishers. https://doi.org/10.1007/978-1-4615-2237-9_5
LibreCat | DOI
 
[224]
1995 | Conference Paper | LibreCat-ID: 39532
Lehrenfeld, G., Müller, W., & Wiechers, N. (1995). Conformance Tests of Very Large STEP Files. Proceedings of the 4th EXPRESS User’s Group.
LibreCat
 
[223]
1995 | Conference Paper | LibreCat-ID: 39535
Zhao, R., Kaufmann, H. J., Kern, T., & Müller, W. (1995). Pen-based Interfaces for Engineering Environments. 6th Human-Computer Interaction International, Tokyo, Japan.
LibreCat
 
[222]
1995 | Conference Paper | LibreCat-ID: 39541
Lehrenfeld, G., Müller, W., & Tahedl, C. (1995). Transforming SDL Diagrams Into a Complete Visual Representation. Proceedings of Symposium on Visual Languages. https://doi.org/10.1109/VL.1995.520803
LibreCat | DOI
 
[221]
1995 | Conference Paper | LibreCat-ID: 39546
Müller, W., Lehrenfeld, G., & Wiechers, N. (1995). Validation of EXPRESS Models.
LibreCat
 
[220]
1995 | Conference Paper | LibreCat-ID: 39531
Müller, W., Felser, W., & Buijs, F. (1995). Guide to EXPRESS-P. Proceedings of the 4th EXPRESS User’s Group.
LibreCat
 
[219]
1995 | Conference Paper | LibreCat-ID: 39538
Müller, W., Lehrenfeld, G., & Tahedl, C. (1995). Complete Visual Specification and Animations of Protocols. Proceedings of ASP-DAC’95/CHDL’95/VLSI’95 with EDA Technofair. https://doi.org/10.1109/ASPDAC.1995.486383
LibreCat | DOI
 
[218]
1995 | Conference Paper | LibreCat-ID: 39543
Zhao, R., Müller, W., Kaufmann, H. J., Kern, Th., & Buijs, F. (1995). An Editor for the Rapid Prototyping of EXPRESS-G Models. Proceedings of the 5th EXPRESS User’s Group.
LibreCat
 
[217]
1995 | Conference Paper | LibreCat-ID: 39550
Müller, W., Felser, W., & Wiechers, N. (1995). The Process Modeling Language EXPRESS-P.
LibreCat
 
[216]
1994 | Conference Paper | LibreCat-ID: 39557
Felser, W., & Müller, W. (1994). EXPRESS-P - Eine Erweiterung von ISO 10303-11 zur Prozessmodellierung.
LibreCat
 
[215]
1994 | Conference Paper | LibreCat-ID: 39560
Eikerling, J., & Müller, W. (1994). FADE: A Layout Facility for Graph-Based Diagrams. Proceedings of the 17th Annual Computer Science Conference, 331–342.
LibreCat
 
[214]
1994 | Conference Paper | LibreCat-ID: 39565
Hyhuis, D., & Müller, W. (1994). Implementing Simultaneous Design: A Case Study. Proceedings of the 2nd International Conference on Concurrent Engineering & Electronic Design Automation (CEEDA94).
LibreCat
 
[213]
1994 | Conference Paper | LibreCat-ID: 39577
Müller, W., Lehrenfeld, G., & Wiechers, N. (1994). Implementierung eines parallelen Validierungswerkzeugs für STEP-Produktdaten unter PVM.
LibreCat
 
[212]
1994 | Conference Paper | LibreCat-ID: 39575
Börger, E., Glässer, U., & Müller, W. (1994). The Semantics of Behavioral VHDL’93 Descriptions. Proceedings of EURO-DAC’94/EURO-VHDL’94.
LibreCat
 
[211]
1994 | Conference Paper | LibreCat-ID: 39554
Lehrenfeld, G., Müller, W., & Wiechers, N. (1994). Ein paralleles Framework fuer die Validierung von STEP-Produktdaten.
LibreCat
 
[210]
1994 | Conference Paper | LibreCat-ID: 39566
Lehrenfeld, G., Müller, W., & Wiechers, N. (1994). Parallel Validation of STEP Files. Proceedings of the 2nd International Conference on Concurrent Engineering & Electronic Design Automation (CEEDA94).
LibreCat
 
[209]
1994 | Conference Paper | LibreCat-ID: 39569
Lehrenfeld, G., & Müller, W. (1994). Computational Model of a Logical Visual Programming Language.
LibreCat
 
[208]
1994 | Conference Paper | LibreCat-ID: 39572
Felser, W., & Müller, W. (1994). EXPRESS-P - Extending EXPRESS for Process Modeling and Monitoring. Proceedings of the 1994 ASME Computers in Engineering Conference, 145–154.
LibreCat
 
[207]
1993 | Conference Paper | LibreCat-ID: 39578
Müller, W., & Kleinjohann, B. (1993). Tight Integration and Synchronization of Distributed Graphical Applications. Proceedings of the Seventh Annual Database Symposium.
LibreCat
 
[206]
1993 | Conference Paper | LibreCat-ID: 39580
Müller, W. (1993). Approaching the Denotational Semantics of Behavioral VHDL Descriptions. Proc. of the 1st Asian Pacific Conference on Hardware Description Languages, Standards and Applications.
LibreCat
 
[205]
1993 | Conference Paper | LibreCat-ID: 39579
Müller, W., Lehrenfeld, G., & Wiechers, N. (1993). Parallel Validation of STEP Files. Proceedings of the 3nd EXPRESS User’s Group Conference.
LibreCat
 
[204]
1992 | Conference Paper | LibreCat-ID: 39582
Müller, W., & Kleinjohann, B. (1992). The EXPRESS Information Modeling Workbench - A New Approach to Graphical Design Environments. Proceedings of the 2nd EXPRESS User’s Group Conference.
LibreCat
 
[203]
1991 | Conference Paper | LibreCat-ID: 39584
Müller, W. (1991). Contract-Oriented System Design and Specification. Proceedings of the Workshop on Practical Computer Based Systems Engineering - Its Scope and Methods.
LibreCat
 
[202]
1991 | Conference Paper | LibreCat-ID: 39583
Lehrenfeld, G., & Müller, W. (1991). Validation of EXPRESS Models Using Prolog. Proceedings of the 1st EXPRESS User’s Group Conference.
LibreCat
 
[201]
1989 | Conference Paper | LibreCat-ID: 39585
Rammig, F. J., & Müller, W. (1989). ODICE: Object-Oriented Hardware Description in CAD Environment. Proc. of the Ninth IFIP Symposium on CHDLs and Their Application.
LibreCat
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed