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
@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
2004 | Journal Article | LibreCat-ID: 54336
@article{Hesse_H. Sloan_2004, title={High-order numerical integration on the sphere and extremal point systems}, volume={9}, journal={Journal of Computational Technologies}, author={Hesse, Kerstin and H. Sloan, Ian}, year={2004}, pages={4–12} }
LibreCat
2004 | Conference Paper | LibreCat-ID: 39053
@inproceedings{Müller_Schäfer_Bleul_2004, place={Waikoloa, HI, USA}, title={Interactive Multimodal User Interfaces for Mobile Devices}, DOI={10.1109/HICSS.2004.1265674}, booktitle={Proceedings of HICCS-37}, author={Müller, Wolfgang and Schäfer, Robbie and Bleul, Steffen}, year={2004} }
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39055
@inproceedings{Zambaldi_Ecker_Kruse_Müller_2004, place={Lille, France}, title={The Formal Simulation Semantics of SystemVerilog}, booktitle={Proceedings of FDL’04}, author={Zambaldi, Martin and Ecker, Wolfgang and Kruse, Thilo and Müller, Wolfgang}, year={2004} }
LibreCat
2004 | Conference Paper | LibreCat-ID: 39060
@inproceedings{Schattkowsky_Müller_2004, place={Paris}, title={Model-Based Specification and Execution of Embedded Real-Time Systems}, booktitle={Proceedings of DATE’04}, author={Schattkowsky, Tim and Müller, Wolfgang}, year={2004} }
LibreCat
2004 | Conference Paper | LibreCat-ID: 39061
@inproceedings{Krupp_Müller_Oliver_2004, place={Paris}, title={Formal Refinement and Model Checking of An Echo Cancellation Unit}, DOI={10.1109/DATE.2004.1269214}, booktitle={Proceedings of DATE’04 Designers’ Forum}, author={Krupp, Alexander and Müller, Wolfgang and Oliver, Ian}, year={2004} }
LibreCat
| DOI