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
Wuertenberger, Armin, Christofer S. Tautermann, and Sybille Hellebrand. “Data Compression for Multiple Scan Chains Using Dictionaries with Corrections.” In IEEE International Test Conference (ITC’04), 926–35. Charlotte, NC, USA: IEEE, 2004. https://doi.org/10.1109/test.2004.1387357.
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 29921 | 
Böcker, Joachim. “Advanced Hysteresis Control of Brushless DC Motors.” In German-Korean Symposium 2004 on Power Electronics and Electrical Drives, Aachen, 2004.
LibreCat
| Download (ext.)
2004 | Book Chapter | LibreCat-ID: 33825
Flake, Stephan, Wolfgang Müller, Ulrich Pape, and Jürgen Ruf. “Specification and Formal Verification of Temporal Properties of Production Automation Systems.” In Integration of Software Specification Techniques for Applications in Engineering, edited by Hartmut Ehrig, Werner Damm, Jörg Desel, Martin Große-Rhode, Wolfgang Reif, Eckehard Schnieder, and Engelbert Westkämper, 3147:206–26. Lecture Notes in Computer Science. Berlin, Heidelberg: Springer-Verlag, 2004. https://doi.org/10.1007/978-3-540-27863-4_13.
LibreCat
| DOI
2004 | Book Chapter | LibreCat-ID: 33827
Schattkowsky, Tim, Wolfgang Müller, and Adam Pawlak. “Workflow Management Middleware for Secure Distance-Spanning Collaborative Engineering.” In Workflow Handbook 2004, edited by Layna Fischer. Lighthouse Point, FL, USA: Workflow Management Coalition (WfMC), 2004.
LibreCat
2004 | Book Chapter | LibreCat-ID: 33830
Krupp, Alexander, and Wolfgang Müller. “Refinement of Finite State Machines with Complementary Model Checking.” In UML-B System Specification for Proven Electronic Design, edited by J. Mermet, 155–68. Dordrecht: Kluwer, 2004.
LibreCat
2004 | Book Chapter | LibreCat-ID: 33829
Krupp, Alexander, Wolfgang Müller, and Ian Oliver. “Combining Formal Refinement and Model Checking for Analysis of Realtime Systems.” In Best of FDL’03, edited by Ch. Grimm, 301–14. Dordrecht: Kluwer, 2004.
LibreCat
2004 | Book Chapter | LibreCat-ID: 33832
Krupp, Alexander, Wolfgang Müller, and Ian Oliver. “The Echo Cancellation Unit Case Study.” In UML-B System Specification for Proven Electronic Design, edited by J. Mermet, 227–40. Dordrecht: Kluwer, 2004.
LibreCat
2004 | Bachelorsthesis | LibreCat-ID: 47645
Dumrauf, Dominic. Neue Schranken für die Coppersmith-Methode über den ganzen Zahlen, 2004.
LibreCat
2004 | Bachelorsthesis | LibreCat-ID: 47642
Herden, Tim. Implementierung und Evaluierung eines Angriffs auf DSA, 2004.
LibreCat
2004 | Bachelorsthesis | LibreCat-ID: 47644 |
Gesemann, Sebastian. Implementierung eines Verfahrens zur Berechnung optimaler längenbeschränkter Präfix-Codes, 2004.
LibreCat
| Files available
2004 | Bachelorsthesis | LibreCat-ID: 47643 |
Gorski, Michael. Implementierung und Evaluation einiger Algorithmen für Kryptosysteme auf elliptischen Kurven, 2004.
LibreCat
| Files available
2004 | Book Chapter | LibreCat-ID: 51469
Hilgert, Joachim, and D. Mayer. “The Dynamical Zeta Function and Transfer Operators for the Kac-Baker Model.” In Complex Analysis and Dynamical Systems, edited by M. Agranowsky and et al., Vol. 364. Contemporary Mathematics, 2004.
LibreCat
2004 | Preprint | LibreCat-ID: 51548
Hilgert, Joachim, and A. Deitmar. “The Lewis Correspondence for Submodular Groups,” 2004.
LibreCat
| Download (ext.)
2004 | Book (Editor) | LibreCat-ID: 53585
Müller, Wolfgang, and Grant Martin, eds. Proceedings of the 1st International DAC Workshop of UML for SoC Design. San Diego CA, USA, 2004.
LibreCat
2004 | Patent | LibreCat-ID: 53589
Dangberg, Andreas, and Wolfgang Müller. “Control Method for Disposing Graphical Elements,” 2004.
LibreCat
2004 | Journal Article | LibreCat-ID: 54336
Hesse, Kerstin, and Ian H. Sloan. “High-Order Numerical Integration on the Sphere and Extremal Point Systems.” Journal of Computational Technologies 9 (2004): 4–12.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39053
Müller, Wolfgang, Robbie Schäfer, and Steffen Bleul. “Interactive Multimodal User Interfaces for Mobile Devices.” In Proceedings of HICCS-37. Waikoloa, HI, USA, 2004. https://doi.org/10.1109/HICSS.2004.1265674.
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39055
Zambaldi, Martin, Wolfgang Ecker, Thilo Kruse, and Wolfgang Müller. “The Formal Simulation Semantics of SystemVerilog.” In Proceedings of FDL’04. Lille, France, 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39060
Schattkowsky, Tim, and Wolfgang Müller. “Model-Based Specification and Execution of Embedded Real-Time Systems.” In Proceedings of DATE’04. Paris, 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39061
Krupp, Alexander, Wolfgang Müller, and Ian Oliver. “Formal Refinement and Model Checking of An Echo Cancellation Unit.” In Proceedings of DATE’04 Designers’ Forum. Paris, 2004. https://doi.org/10.1109/DATE.2004.1269214.
LibreCat
| DOI