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.
10471 Publications
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 | Bachelorsthesis | LibreCat-ID: 47645
Neue Schranken für die Coppersmith-Methode über den ganzen Zahlen
D. Dumrauf, Neue Schranken für die Coppersmith-Methode über den ganzen Zahlen, 2004.
LibreCat
D. Dumrauf, Neue Schranken für die Coppersmith-Methode über den ganzen Zahlen, 2004.
2004 | Bachelorsthesis | LibreCat-ID: 47642
Implementierung und Evaluierung eines Angriffs auf DSA
T. Herden, Implementierung und Evaluierung eines Angriffs auf DSA, 2004.
LibreCat
T. Herden, Implementierung und Evaluierung eines Angriffs auf DSA, 2004.
2004 | Bachelorsthesis | LibreCat-ID: 47644 |
Implementierung eines Verfahrens zur Berechnung optimaler längenbeschränkter Präfix-Codes
S. Gesemann, Implementierung eines Verfahrens zur Berechnung optimaler längenbeschränkter Präfix-Codes, 2004.
LibreCat
| Files available
S. Gesemann, Implementierung eines Verfahrens zur Berechnung optimaler längenbeschränkter Präfix-Codes, 2004.
2004 | Bachelorsthesis | LibreCat-ID: 47643 |
Implementierung und Evaluation einiger Algorithmen für Kryptosysteme auf elliptischen Kurven
M. Gorski, Implementierung und Evaluation einiger Algorithmen für Kryptosysteme auf elliptischen Kurven, 2004.
LibreCat
| Files available
M. Gorski, Implementierung und Evaluation einiger Algorithmen für Kryptosysteme auf elliptischen Kurven, 2004.
2004 | Book Chapter | LibreCat-ID: 51469
The Dynamical Zeta Function and Transfer Operators for the Kac-Baker Model
J. Hilgert, D. Mayer, in: M. Agranowsky, et al. (Eds.), Complex Analysis and Dynamical Systems, 2004.
LibreCat
J. Hilgert, D. Mayer, in: M. Agranowsky, et al. (Eds.), Complex Analysis and Dynamical Systems, 2004.
2004 | Preprint | LibreCat-ID: 51548
The Lewis Correspondence for submodular groups
J. Hilgert, A. Deitmar, (2004).
LibreCat
| Download (ext.)
J. Hilgert, A. Deitmar, (2004).
2004 | Book (Editor) | LibreCat-ID: 53585
Proceedings of the 1st International DAC Workshop of UML for SoC Design
W. Müller, G. Martin, eds., Proceedings of the 1st International DAC Workshop of UML for SoC Design, San Diego CA, USA, 2004.
LibreCat
W. Müller, G. Martin, eds., Proceedings of the 1st International DAC Workshop of UML for SoC Design, San Diego CA, USA, 2004.
2004 | Patent | LibreCat-ID: 53589
Control method for disposing graphical elements
A. Dangberg, W. Müller, (2004).
LibreCat
A. Dangberg, W. Müller, (2004).
2004 | Journal Article | LibreCat-ID: 54336
High-order numerical integration on the sphere and extremal point systems
K. Hesse, I. H. Sloan, Journal of Computational Technologies 9 (2004) 4–12.
LibreCat
K. Hesse, I. H. Sloan, Journal of Computational Technologies 9 (2004) 4–12.
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.
2004 | Conference Paper | LibreCat-ID: 39061
Formal Refinement and Model Checking of An Echo Cancellation Unit
A. Krupp, W. Müller, I. Oliver, in: Proceedings of DATE’04 Designers’ Forum, Paris, 2004.
LibreCat
| DOI
A. Krupp, W. Müller, I. Oliver, in: Proceedings of DATE’04 Designers’ Forum, Paris, 2004.