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.
9903 Publications
2004 | Conference Paper | LibreCat-ID: 30438
R. Li, A. Pottharst, N. Fröhleke, and J. Böcker, “Analysis and Design of Improved Isolated Full-Bridge Bi-Directional DC-DC Converter,” presented at the PESC 2004, Aachen, Germany, 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 30440
A. Pottharst, B. Schulz, and J. Böcker, “Kommunikationssystem einer Anlage mit doppelt gespeistem Linearmotor,” presented at the SPS/IPC/DRIVES 2004, Nürnberg, Deutschland, 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 30436
C. Kauczor, T. Schulte, and H. Grotstollen, “Piezoelectric Transformer of Travelling Wave Type,” presented at the ACTUATOR 2004, Bremen, Germany, 2004.
LibreCat
2004 | Dissertation | LibreCat-ID: 30442
B. Yang, Regelung der Längs- und Vertikalbewegung des Linearmotors für ein vollaktives spurgeführtes Bahnfahrzeug. 2004.
LibreCat
| Download (ext.)
2004 | Dissertation | LibreCat-ID: 30441
T. Schulte, Stromrichter- und Regelungskonzepte für Ultraschall-Wanderwellenmotoren. 2004.
LibreCat
| Download (ext.)
2004 | Conference Paper | LibreCat-ID: 13001
A. Wuertenberger, C. S. Tautermann, and S. Hellebrand, “Data Compression for Multiple Scan Chains Using Dictionaries with Corrections,” in IEEE International Test Conference (ITC’04), 2004, pp. 926–935, doi: 10.1109/test.2004.1387357.
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 29921 | 
J. Böcker, “Advanced Hysteresis Control of Brushless DC Motors,” presented at the Germany-Korea Symposium, Aachen, Germany, 2004.
LibreCat
| Download (ext.)
2004 | Book Chapter | LibreCat-ID: 33825
S. Flake, W. Müller, U. Pape, and J. Ruf, “Specification and Formal Verification of Temporal Properties of Production Automation Systems,” in Integration of Software Specification Techniques for Applications in Engineering, vol. 3147, H. Ehrig, W. Damm, J. Desel, M. Große-Rhode, W. Reif, E. Schnieder, and E. Westkämper, Eds. Berlin, Heidelberg: Springer-Verlag, 2004, pp. 206–226.
LibreCat
| DOI
2004 | Book Chapter | LibreCat-ID: 33827
T. Schattkowsky, W. Müller, and A. Pawlak, “Workflow Management Middleware for Secure Distance-Spanning Collaborative Engineering,” in Workflow Handbook 2004, L. Fischer, Ed. Lighthouse Point, FL, USA: Workflow Management Coalition (WfMC), 2004.
LibreCat
2004 | Book Chapter | LibreCat-ID: 33830
A. Krupp and W. Müller, “Refinement of Finite State Machines with Complementary Model Checking,” in UML-B System Specification for Proven Electronic Design, J. Mermet, Ed. Dordrecht: Kluwer, 2004, pp. 155–168.
LibreCat
2004 | Book Chapter | LibreCat-ID: 33829
A. Krupp, W. Müller, and I. Oliver, “Combining Formal Refinement and Model Checking for Analysis of Realtime Systems,” in Best of FDL’03, Ch. Grimm, Ed. Dordrecht: Kluwer, 2004, pp. 301–314.
LibreCat
2004 | Book Chapter | LibreCat-ID: 33832
A. Krupp, W. Müller, and I. Oliver, “The Echo Cancellation Unit Case Study,” in UML-B System Specification for Proven Electronic Design, J. Mermet, Ed. Dordrecht: Kluwer, 2004, pp. 227–240.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39053
W. Müller, R. Schäfer, and S. Bleul, “Interactive Multimodal User Interfaces for Mobile Devices,” presented at the 37th Annual Hawaii International Conference on System Sciences, Waikoloa, HI, USA, 2004, doi: 10.1109/HICSS.2004.1265674.
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39055
M. Zambaldi, W. Ecker, T. Kruse, and W. Müller, “The Formal Simulation Semantics of SystemVerilog,” presented at the Forum on specification and Design Languages, Lille, France, 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39060
T. Schattkowsky and W. Müller, “Model-Based Specification and Execution of Embedded Real-Time Systems,” 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39061
A. Krupp, W. Müller, and I. Oliver, “Formal Refinement and Model Checking of An Echo Cancellation Unit,” presented at the Proceedings Design, Automation and Test in Europe Conference and Exhibition, 2004, doi: 10.1109/DATE.2004.1269214.
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39063
W. Müller and V. Paelke, “A Formal Model of a Framework for Simulation-Based Animation,” 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39071
T. Schattkowsky, C. Loeser, and W. Müller, “Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks,” presented at the 18th International Conference on Advanced Information Networking and Applications, Fukuoka, Japan , 2004, doi: 10.1109/AINA.2004.1283977.
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39069
S. Flake and W. Müller, “Past- and Future-Oriented Time-Bound Temporal Properties with OCL,” presented at the Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004, doi: 10.1109/SEFM.2004.1347516.
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39065
J. Gausemeier, W. Müller, J. Bauch, W. Radkowski, T. Shen, and V. Paelke, “Lösungselementbasiertes Virtual Prototyping von Selbstoptimierenden Mechatronischen Systemen in Virtual Reality,” 2004.
LibreCat