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.
10426 Publications
2004 | Conference Paper | LibreCat-ID: 30438
@inproceedings{Li_Pottharst_Fröhleke_Böcker_2004, title={Analysis and Design of Improved Isolated Full-Bridge Bi-Directional DC-DC Converter}, booktitle={PESC 2004, Aachen, Germany}, author={Li, R. and Pottharst, A. and Fröhleke, N. and Böcker, Joachim}, year={2004} }
LibreCat
2004 | Conference Paper | LibreCat-ID: 30440
@inproceedings{Pottharst_Schulz_Böcker_2004, title={Kommunikationssystem einer Anlage mit doppelt gespeistem Linearmotor}, booktitle={SPS/IPC/DRIVES 2004, Nürnberg, Deutschland}, author={Pottharst, A. and Schulz, B. and Böcker, Joachim}, year={2004} }
LibreCat
2004 | Conference Paper | LibreCat-ID: 30436
@inproceedings{Kauczor_Schulte_Grotstollen_2004, title={Piezoelectric Transformer of Travelling Wave Type}, booktitle={ACTUATOR 2004, Bremen, Germany}, author={Kauczor, C. and Schulte, T. and Grotstollen, H.}, year={2004} }
LibreCat
2004 | Dissertation | LibreCat-ID: 30442
@book{Yang_2004, title={Regelung der Längs- und Vertikalbewegung des Linearmotors für ein vollaktives spurgeführtes Bahnfahrzeug}, author={Yang, Bo}, year={2004} }
LibreCat
| Download (ext.)
2004 | Dissertation | LibreCat-ID: 30441
@book{Schulte_2004, title={Stromrichter- und Regelungskonzepte für Ultraschall-Wanderwellenmotoren}, author={Schulte, T.}, year={2004} }
LibreCat
| Download (ext.)
2004 | Conference Paper | LibreCat-ID: 13001
@inproceedings{Wuertenberger_S. Tautermann_Hellebrand_2004, place={Charlotte, NC, USA}, title={Data Compression for Multiple Scan Chains Using Dictionaries with Corrections}, DOI={10.1109/test.2004.1387357}, booktitle={IEEE International Test Conference (ITC’04)}, publisher={IEEE}, author={Wuertenberger, Armin and S. Tautermann, Christofer and Hellebrand, Sybille}, year={2004}, pages={926–935} }
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 29921 | 
@inproceedings{Böcker_2004, title={Advanced Hysteresis Control of Brushless DC Motors}, booktitle={German-Korean Symposium 2004 on Power Electronics and Electrical Drives, Aachen}, author={Böcker, Joachim}, year={2004} }
LibreCat
| Download (ext.)
2004 | Book Chapter | LibreCat-ID: 33825
@inbook{Flake_Müller_Pape_Ruf_2004, place={Berlin, Heidelberg}, series={Lecture Notes in Computer Science}, title={Specification and Formal Verification of Temporal Properties of Production Automation Systems}, volume={3147}, DOI={10.1007/978-3-540-27863-4_13}, booktitle={Integration of Software Specification Techniques for Applications in Engineering}, publisher={Springer-Verlag}, author={Flake, Stephan and Müller, Wolfgang and Pape, Ulrich and Ruf, Jürgen}, editor={Ehrig, Hartmut and Damm, Werner and Desel, Jörg and Große-Rhode, Martin and Reif, Wolfgang and Schnieder, Eckehard and Westkämper, Engelbert}, year={2004}, pages={206–226}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2004 | Book Chapter | LibreCat-ID: 33827
@inbook{Schattkowsky_Müller_Pawlak_2004, place={Lighthouse Point, FL, USA}, title={Workflow Management Middleware for Secure Distance-Spanning Collaborative Engineering}, booktitle={Workflow Handbook 2004}, publisher={Workflow Management Coalition (WfMC)}, author={Schattkowsky, Tim and Müller, Wolfgang and Pawlak, Adam}, editor={Fischer, Layna}, year={2004} }
LibreCat
2004 | Book Chapter | LibreCat-ID: 33830
@inbook{Krupp_Müller_2004, place={Dordrecht}, title={Refinement of Finite State Machines with Complementary Model Checking}, booktitle={UML-B System Specification for Proven Electronic Design}, publisher={Kluwer}, author={Krupp, Alexander and Müller, Wolfgang}, editor={Mermet, J.}, year={2004}, pages={155–168} }
LibreCat
2004 | Book Chapter | LibreCat-ID: 33829
@inbook{Krupp_Müller_Oliver_2004, place={Dordrecht}, title={Combining Formal Refinement and Model Checking for Analysis of Realtime Systems}, booktitle={Best of FDL’03}, publisher={Kluwer}, author={Krupp, Alexander and Müller, Wolfgang and Oliver, Ian}, editor={Grimm, Ch.}, year={2004}, pages={301–314} }
LibreCat
2004 | Book Chapter | LibreCat-ID: 33832
@inbook{Krupp_Müller_Oliver_2004, place={Dordrecht}, title={The Echo Cancellation Unit Case Study}, booktitle={UML-B System Specification for Proven Electronic Design}, publisher={Kluwer}, author={Krupp, Alexander and Müller, Wolfgang and Oliver, Ian}, editor={Mermet, J.}, year={2004}, pages={227–240} }
LibreCat
2004 | Bachelorsthesis | LibreCat-ID: 47645
@book{Dumrauf_2004, title={Neue Schranken für die Coppersmith-Methode über den ganzen Zahlen}, author={Dumrauf, Dominic}, year={2004} }
LibreCat
2004 | Bachelorsthesis | LibreCat-ID: 47642
@book{Herden_2004, title={Implementierung und Evaluierung eines Angriffs auf DSA}, author={Herden, Tim}, year={2004} }
LibreCat
2004 | Bachelorsthesis | LibreCat-ID: 47644 |
@book{Gesemann_2004, title={Implementierung eines Verfahrens zur Berechnung optimaler längenbeschränkter Präfix-Codes}, author={Gesemann, Sebastian}, year={2004} }
LibreCat
| Files available
2004 | Bachelorsthesis | LibreCat-ID: 47643 |
@book{Gorski_2004, title={Implementierung und Evaluation einiger Algorithmen für Kryptosysteme auf elliptischen Kurven}, author={Gorski, Michael}, year={2004} }
LibreCat
| Files available
2004 | Book Chapter | LibreCat-ID: 51469
@inbook{Hilgert_Mayer_2004, series={Contemporary Mathematics}, title={The Dynamical Zeta Function and Transfer Operators for the Kac-Baker Model}, volume={364}, booktitle={Complex Analysis and Dynamical Systems}, author={Hilgert, Joachim and Mayer, D.}, editor={Agranowsky, M. and et al.}, year={2004}, collection={Contemporary Mathematics} }
LibreCat
2004 | Preprint | LibreCat-ID: 51548
@article{Hilgert_Deitmar_2004, title={The Lewis Correspondence for submodular groups}, author={Hilgert, Joachim and Deitmar, A.}, year={2004} }
LibreCat
| Download (ext.)
2004 | Book (Editor) | LibreCat-ID: 53585
@book{Müller_Martin_2004, place={San Diego CA, USA}, title={Proceedings of the 1st International DAC Workshop of UML for SoC Design}, year={2004} }
LibreCat
2004 | Patent | LibreCat-ID: 53589
@article{Dangberg_Müller_2004, title={Control method for disposing graphical elements}, author={Dangberg, Andreas and Müller, Wolfgang}, year={2004} }
LibreCat