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.
9908 Publications
2004 | Conference Paper | LibreCat-ID: 30439
Inverter topologies for ultrasonic piezoelectric transducers with high mechanical Q-factor
C. Kauczor, N. Fröhleke, in: 2004 IEEE 35th Annual Power Electronics Specialists Conference (IEEE Cat. No.04CH37551), IEEE, 2004.
LibreCat
| DOI
C. Kauczor, N. Fröhleke, in: 2004 IEEE 35th Annual Power Electronics Specialists Conference (IEEE Cat. No.04CH37551), IEEE, 2004.
2004 | Conference Paper | LibreCat-ID: 30432
Low Voltage Asymmetrical Half-Bridge Converter with Integrated Magnetics
H. Wetzel, A. Siegel, H. Njiende, N. Fröhleke, J. Böcker, in: 11th International Power Electronics and Motion Control Conferences, Riga, Latvia, 2004.
LibreCat
H. Wetzel, A. Siegel, H. Njiende, N. Fröhleke, J. Böcker, in: 11th International Power Electronics and Motion Control Conferences, Riga, Latvia, 2004.
2004 | Conference Paper | LibreCat-ID: 30433
Modelling of Influences to a Linear-Drive-System
B. Schulz, A. Pottharst, N. Fröhleke, J. Böcker, in: 11th International Power Electronics and Motion Control Conferences, Riga, Latvia, 2004.
LibreCat
B. Schulz, A. Pottharst, N. Fröhleke, J. Böcker, in: 11th International Power Electronics and Motion Control Conferences, Riga, Latvia, 2004.
2004 | Conference Paper | LibreCat-ID: 30434
Operating Point Assignment of a Linear Motor Driven Vehicle Using Multiobjective Optimization Methods
A. Pottharst, K. Baptist, O. Schütze, J. Böcker, N. Fröhleke, M. Dellnitz, in: 11th International Power Electronics and Motion Control Conferences, Riga, Latvia, 2004.
LibreCat
A. Pottharst, K. Baptist, O. Schütze, J. Böcker, N. Fröhleke, M. Dellnitz, in: 11th International Power Electronics and Motion Control Conferences, Riga, Latvia, 2004.
2004 | Conference Paper | LibreCat-ID: 30435
Energy Storage Scheme for Rail-guided Shuttle using Ultracapacitor and Battery
R. Li, A. Pottharst, N. Fröhleke, J. Böcker, in: 11th International Power Electronics and Motion Control Conferences, Riga, Latvia, 2004.
LibreCat
R. Li, A. Pottharst, N. Fröhleke, J. Böcker, in: 11th International Power Electronics and Motion Control Conferences, Riga, Latvia, 2004.
2004 | Conference Paper | LibreCat-ID: 30438
Analysis and Design of Improved Isolated Full-Bridge Bi-Directional DC-DC Converter
R. Li, A. Pottharst, N. Fröhleke, J. Böcker, in: PESC 2004, Aachen, Germany, 2004.
LibreCat
R. Li, A. Pottharst, N. Fröhleke, J. Böcker, in: PESC 2004, Aachen, Germany, 2004.
2004 | Conference Paper | LibreCat-ID: 30440
Kommunikationssystem einer Anlage mit doppelt gespeistem Linearmotor
A. Pottharst, B. Schulz, J. Böcker, in: SPS/IPC/DRIVES 2004, Nürnberg, Deutschland, 2004.
LibreCat
A. Pottharst, B. Schulz, J. Böcker, in: SPS/IPC/DRIVES 2004, Nürnberg, Deutschland, 2004.
2004 | Conference Paper | LibreCat-ID: 30436
Piezoelectric Transformer of Travelling Wave Type
C. Kauczor, T. Schulte, H. Grotstollen, in: ACTUATOR 2004, Bremen, Germany, 2004.
LibreCat
C. Kauczor, T. Schulte, H. Grotstollen, in: ACTUATOR 2004, Bremen, Germany, 2004.
2004 | Dissertation | LibreCat-ID: 30442
Regelung der Längs- und Vertikalbewegung des Linearmotors für ein vollaktives spurgeführtes Bahnfahrzeug
B. Yang, Regelung der Längs- und Vertikalbewegung des Linearmotors für ein vollaktives spurgeführtes Bahnfahrzeug, 2004.
LibreCat
| Download (ext.)
B. Yang, Regelung der Längs- und Vertikalbewegung des Linearmotors für ein vollaktives spurgeführtes Bahnfahrzeug, 2004.
2004 | Dissertation | LibreCat-ID: 30441
Stromrichter- und Regelungskonzepte für Ultraschall-Wanderwellenmotoren
T. Schulte, Stromrichter- und Regelungskonzepte für Ultraschall-Wanderwellenmotoren, 2004.
LibreCat
| Download (ext.)
T. Schulte, Stromrichter- und Regelungskonzepte für Ultraschall-Wanderwellenmotoren, 2004.
2004 | Conference Paper | LibreCat-ID: 13001
Data Compression for Multiple Scan Chains Using Dictionaries with Corrections
A. Wuertenberger, C. S. Tautermann, S. Hellebrand, in: IEEE International Test Conference (ITC’04), IEEE, Charlotte, NC, USA, 2004, pp. 926–935.
LibreCat
| DOI
A. Wuertenberger, C. S. Tautermann, S. Hellebrand, in: IEEE International Test Conference (ITC’04), IEEE, Charlotte, NC, USA, 2004, pp. 926–935.
2004 | Conference Paper | LibreCat-ID: 29921 | 
Advanced Hysteresis Control of Brushless DC Motors
J. Böcker, in: German-Korean Symposium 2004 on Power Electronics and Electrical Drives, Aachen, 2004.
LibreCat
| Download (ext.)
J. Böcker, in: German-Korean Symposium 2004 on Power Electronics and Electrical Drives, Aachen, 2004.
2004 | Book Chapter | LibreCat-ID: 33825
Specification and Formal Verification of Temporal Properties of Production Automation Systems
S. Flake, W. Müller, U. Pape, J. Ruf, in: H. Ehrig, W. Damm, J. Desel, M. Große-Rhode, W. Reif, E. Schnieder, E. Westkämper (Eds.), Integration of Software Specification Techniques for Applications in Engineering, Springer-Verlag, Berlin, Heidelberg, 2004, pp. 206–226.
LibreCat
| DOI
S. Flake, W. Müller, U. Pape, J. Ruf, in: H. Ehrig, W. Damm, J. Desel, M. Große-Rhode, W. Reif, E. Schnieder, E. Westkämper (Eds.), Integration of Software Specification Techniques for Applications in Engineering, Springer-Verlag, Berlin, Heidelberg, 2004, pp. 206–226.
2004 | Book Chapter | LibreCat-ID: 33827
Workflow Management Middleware for Secure Distance-Spanning Collaborative Engineering
T. Schattkowsky, W. Müller, A. Pawlak, in: L. Fischer (Ed.), Workflow Handbook 2004, Workflow Management Coalition (WfMC), Lighthouse Point, FL, USA, 2004.
LibreCat
T. Schattkowsky, W. Müller, A. Pawlak, in: L. Fischer (Ed.), Workflow Handbook 2004, Workflow Management Coalition (WfMC), Lighthouse Point, FL, USA, 2004.
2004 | Book Chapter | LibreCat-ID: 33830
Refinement of Finite State Machines with Complementary Model Checking
A. Krupp, W. Müller, in: J. Mermet (Ed.), UML-B System Specification for Proven Electronic Design, Kluwer, Dordrecht, 2004, pp. 155–168.
LibreCat
A. Krupp, W. Müller, in: J. Mermet (Ed.), UML-B System Specification for Proven Electronic Design, Kluwer, Dordrecht, 2004, pp. 155–168.
2004 | Book Chapter | LibreCat-ID: 33829
Combining Formal Refinement and Model Checking for Analysis of Realtime Systems
A. Krupp, W. Müller, I. Oliver, in: Ch. Grimm (Ed.), Best of FDL’03, Kluwer, Dordrecht, 2004, pp. 301–314.
LibreCat
A. Krupp, W. Müller, I. Oliver, in: Ch. Grimm (Ed.), Best of FDL’03, Kluwer, Dordrecht, 2004, pp. 301–314.
2004 | Book Chapter | LibreCat-ID: 33832
The Echo Cancellation Unit Case Study
A. Krupp, W. Müller, I. Oliver, in: J. Mermet (Ed.), UML-B System Specification for Proven Electronic Design, Kluwer, Dordrecht, 2004, pp. 227–240.
LibreCat
A. Krupp, W. Müller, I. Oliver, in: J. Mermet (Ed.), UML-B System Specification for Proven Electronic Design, Kluwer, Dordrecht, 2004, pp. 227–240.
2004 | Conference Paper | LibreCat-ID: 39053
Interactive Multimodal User Interfaces for Mobile Devices
W. Müller, R. Schäfer, S. Bleul, in: Proceedings of HICCS-37, Waikoloa, HI, USA, 2004.
LibreCat
| DOI
W. Müller, R. Schäfer, S. Bleul, in: Proceedings of HICCS-37, Waikoloa, HI, USA, 2004.
2004 | Conference Paper | LibreCat-ID: 39055
The Formal Simulation Semantics of SystemVerilog
M. Zambaldi, W. Ecker, T. Kruse, W. Müller, in: Proceedings of FDL’04, Lille, France, 2004.
LibreCat
M. Zambaldi, W. Ecker, T. Kruse, W. Müller, in: Proceedings of FDL’04, Lille, France, 2004.
2004 | Conference Paper | LibreCat-ID: 39060
Model-Based Specification and Execution of Embedded Real-Time Systems
T. Schattkowsky, W. Müller, in: Proceedings of DATE’04, Paris, 2004.
LibreCat
T. Schattkowsky, W. Müller, in: Proceedings of DATE’04, Paris, 2004.