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.
10447 Publications
2005 | Bachelorsthesis | LibreCat-ID: 47647
@book{Hornkamp_2005, title={Implementierung von wichtigen Teilen des Schoof-Elkies-Atkin Algorithmus zum Bestimmen der Punktanzahl einer elliptischen Kurve}, author={Hornkamp, Christian}, year={2005} }
LibreCat
2005 | Bachelorsthesis | LibreCat-ID: 47646
@book{Süß_2005, title={Laufzeitanalyse- und vergleich verschiedener Algorithmen zur schnellen skalaren Multiplikation auf elliptischen Kurven}, author={Süß, Tim}, year={2005} }
LibreCat
2005 | Misc | LibreCat-ID: 47693
@book{Ernst_2005, title={Analyse von RSA mittels Coppersmith Methode}, author={Ernst, Matthias}, year={2005} }
LibreCat
2005 | Misc | LibreCat-ID: 47694 | 
@book{Spanke_2005, title={Implementierung der Coppersmith-Methode zur Untersuchung von Schwachstellen bei RSA}, author={Spanke, Christoph}, year={2005} }
LibreCat
| Files available
2005 | Conference Paper | LibreCat-ID: 11802 |
@inproceedings{Haeb-Umbach_Schmalenstroeer_2005, place={Lisboa}, title={Speech Processing in the Networked Home Environment - A View on the Amigo Project}, booktitle={Interspeech 2005}, author={Haeb-Umbach, Reinhold and Schmalenstroeer, Joerg}, year={2005} }
LibreCat
| Download (ext.)
2005 | Conference Paper | LibreCat-ID: 11801 |
@inproceedings{Haeb-Umbach_Schmalenstroeer_2005, title={A Comparison of Particle Filtering Variants for Speech Feature Enhancement}, booktitle={Interspeech 2005}, author={Haeb-Umbach, Reinhold and Schmalenstroeer, Joerg}, year={2005} }
LibreCat
| Download (ext.)
2005 | Book Chapter | LibreCat-ID: 51468
@inbook{Hilgert_2005, place={Singapore}, title={An Ergodic Arnold-Liouville Theorem for Symmetric Spaces}, booktitle={Twenty Years of Bialowieza: A Mathematical Antology}, publisher={World Scientific}, author={Hilgert, Joachim}, editor={Ali, S.T. and et al.}, year={2005} }
LibreCat
2005 | Journal Article | LibreCat-ID: 51410
@article{Hilgert_Movasati_Mayer_2005, title={Transfer Operators for Gamma_0(n) and the Hecke Operators for the Period Functions of PSL(2,Z)}, volume={139}, journal={Math. Proc. Camb. Phil. Soc.}, author={Hilgert, Joachim and Movasati, H. and Mayer, D.}, year={2005}, pages={81–116} }
LibreCat
2005 | Book Review | LibreCat-ID: 51578
@article{Hilgert_2005, title={Dungey, N., A. ter Elst, D. Robinson. Analysis on Lie Groups with Polynomial Growth (Birkhäuser, Boston, 2003)}, volume={107}, journal={JBer. DMV}, author={Hilgert, Joachim}, year={2005} }
LibreCat
2005 | Journal Article | LibreCat-ID: 51409
@article{Hilgert_Deitmar_2005, title={Cohomology of Arithmetic Groups with Infinite Dimensional Coefficient Spaces}, volume={10}, journal={Documanta Math.}, author={Hilgert, Joachim and Deitmar, A.}, year={2005}, pages={199–216} }
LibreCat
2005 | Book (Editor) | LibreCat-ID: 53592
@book{Lavagno_Müller_2005, place={Anaheim CA, USA}, title={Proceedings of the 2nd International DAC Workshop on UML for SoC Design}, year={2005} }
LibreCat
2005 | Book Chapter | LibreCat-ID: 54339
@inbook{Hesse_H. Sloan_2005, series={Series in Contemporary Applied Mathematics CAM 6 }, title={Optimal order integration on the sphere}, booktitle={Frontiers and Prospects of Contemporary Applied Mathematics}, publisher={Higher Education Press und World Scientific}, author={Hesse, Kerstin and H. Sloan, Ian}, editor={Li , Tatsien and Zhang, Pingwen}, year={2005}, pages={59–70}, collection={Series in Contemporary Applied Mathematics CAM 6 } }
LibreCat
2005 | Journal Article | LibreCat-ID: 54334
@article{Hesse_H. Sloan_2005, title={Worst-case errors in a Sobolev space setting for cubature over the sphere S2}, volume={71}, journal={Bulletin of the Australian Mathematical Society}, author={Hesse, Kerstin and H. Sloan, Ian}, year={2005}, pages={81–105} }
LibreCat
2005 | Journal Article | LibreCat-ID: 54333
@article{Hesse_H. Sloan_2005, title={Optimal lower bounds for cubature error on the sphere S2}, volume={21}, journal={Journal of Complexity}, author={Hesse, Kerstin and H. Sloan, Ian}, year={2005}, pages={790–803} }
LibreCat
2005 | Conference Paper | LibreCat-ID: 39029
@inproceedings{Schattkowsky_Müller_Rettberg_2005, place={Munich, Germany }, title={A Model-Based Approach for Executable Specification on Reconfigurable Hardware}, DOI={10.1109/DATE.2005.20}, booktitle={Proceedings of DATE’05}, publisher={IEEE}, author={Schattkowsky, Tim and Müller, Wolfgang and Rettberg, Achim}, year={2005} }
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 39030
@inproceedings{Schattkowsky_Müller_2005, place={Las Vegas, NV}, title={A UML Virtual Machine for Embedded Systems}, booktitle={Proceedings of ISNG 05}, author={Schattkowsky, Tim and Müller, Wolfgang}, year={2005} }
LibreCat
2005 | Conference Paper | LibreCat-ID: 39032
@inproceedings{Schattkowsky_Müller_2005, place={Dallas, TX, USA}, title={Transformation of UML State Machines for Direct Execution}, DOI={10.1109/VLHCC.2005.64}, booktitle={Proceedings of VL/HCC 05}, author={Schattkowsky, Tim and Müller, Wolfgang}, year={2005} }
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 39036
@article{Krupp_Müller_2005, place={Bonn}, series={Automotive Software Engineering}, title={Testmuster für nichtkontinuierliche Reglerelemente in der Klassifikationsbaummethode für eingebettete Systeme}, author={Krupp, Alexander and Müller, Wolfgang}, year={2005}, collection={Automotive Software Engineering} }
LibreCat
2005 | Conference Paper | LibreCat-ID: 39038
@article{Krupp_Müller_2005, place={Munich, Germany}, series={Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)}, title={Modelchecking von Klassifikationsbaum-Testsequenzen}, author={Krupp, Alexander and Müller, Wolfgang}, year={2005}, collection={Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)} }
LibreCat
2005 | Conference Paper | LibreCat-ID: 39039
@article{Zabel_Müller_2005, place={Munich, Germany}, series={Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)}, title={Analyse von synchronen Kommunikationsnetzwerken durch laufzeiteffiziente formale Verifikation}, author={Zabel, Henning and Müller, Wolfgang}, year={2005}, collection={Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)} }
LibreCat