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.
10473 Publications
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
2004 | Conference Paper | LibreCat-ID: 39063
@inproceedings{Müller_Paelke_2004, place={Magdeburg}, title={A Formal Model of a Framework for Simulation-Based Animation}, booktitle={Proceedings of the Simulation and Visualisation 2004}, author={Müller, Wolfgang and Paelke, Volker}, year={2004} }
LibreCat
2004 | Conference Paper | LibreCat-ID: 39071
@inproceedings{Schattkowsky_Loeser_Müller_2004, place={Fukuoka, Japan }, title={Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks}, DOI={10.1109/AINA.2004.1283977}, booktitle={Proceedings of AINA2004}, publisher={IEEE}, author={Schattkowsky, Tim and Loeser, Chris and Müller, Wolfgang}, year={2004} }
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39069
@inproceedings{Flake_Müller_2004, place={Beijing, China}, title={Past- and Future-Oriented Time-Bound Temporal Properties with OCL}, DOI={10.1109/SEFM.2004.1347516}, booktitle={Proceedings of SEFM´04}, publisher={IEEE}, author={Flake, Stephan and Müller, Wolfgang}, year={2004} }
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39065
@inproceedings{Gausemeier_Müller_Bauch_Radkowski_Shen_Paelke_2004, place={Magdeburg}, title={Lösungselementbasiertes Virtual Prototyping von Selbstoptimierenden Mechatronischen Systemen in Virtual Reality}, booktitle={Proceedings of the Simulation and Visualisation 2004}, author={Gausemeier, Jürgen and Müller, Wolfgang and Bauch, Jürgen and Radkowski, W. and Shen, T. and Paelke, Volker}, year={2004} }
LibreCat
2004 | Conference Paper | LibreCat-ID: 39068
@inproceedings{Schattkowsky_Müller_2004, place={WIen}, title={Model-Based Design of Embedded Systems}, booktitle={Proceedings of ISORC’04}, author={Schattkowsky, Tim and Müller, Wolfgang}, year={2004} }
LibreCat
2004 | Conference Paper | LibreCat-ID: 39078
@inproceedings{Gausemeier_Müller_Paelke_Bauch_Shen_Radkowski_2004, place={Dubrovnik}, title={Virtual Prototyping Of Self-Optimizing Mechatronic Systems}, booktitle={Proceedings of the Design 2004}, author={Gausemeier, Jürgen and Müller, Wolfgang and Paelke, Volker and Bauch, Jürgen and Shen, Q. and Radkowski, R. }, year={2004} }
LibreCat
2004 | Conference Paper | LibreCat-ID: 39075
@inproceedings{Loeser_Schäfer_Müller_Borowski_2004, place={Orlando, USA}, title={RTMC - An Adaptive Fraemwork for Remote Tool Monitoring and Control}, booktitle={Proceedings of SCI’04}, author={Loeser, Chris and Schäfer, Robbie and Müller, Wolfgang and Borowski, Marek}, year={2004} }
LibreCat
2004 | Conference Paper | LibreCat-ID: 39082
@inproceedings{Bleul_Müller_Schäfer_2004, place={Gallipoli, Italy}, title={Multimodal Dialog Description for Mobile Devices}, booktitle={Proceedings of AVI 2004}, author={Bleul, Steffen and Müller, Wolfgang and Schäfer, Robbie}, year={2004} }
LibreCat