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.
5685 Publications
2009 | Journal Article | LibreCat-ID: 3200
Ruhroth T, Wehrheim H. Static Class Elements for Object-Z. Electr Notes Theor Comput Sci. 2009:193--205. doi:10.1016/j.entcs.2009.12.025
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 3201
Ruhroth T, Voigt H, Wehrheim H. Measure, Diagnose, Refactor: {A} Formal Quality Cycle for Software Models. In: 35th Euromicro Conference on Software Engineering and Advanced Applications, {SEAA} 2009, Patras, Greece, August 27-29, 2009, Proceedings. ; 2009:360--367. doi:10.1109/SEAA.2009.39
LibreCat
| DOI
2009 | Conference (Editor) | LibreCat-ID: 3202
Leuschel M, Wehrheim H, eds. Integrated Formal Methods, 7th International Conference, {IFM} 2009, D{\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings.; 2009. doi:10.1007/978-3-642-00255-7
LibreCat
| DOI
2009 | Bachelorsthesis | LibreCat-ID: 2880
Schröer C. Hierarchisches Clustering Mit Minimalen Cluster-Durchmessern.; 2009.
LibreCat
| Files available
2009 | Bachelorsthesis | LibreCat-ID: 2896 | 
Liske G. Analyse Und Evaluation Eines Identitätsbasierten Signcryption-Verfahrens.; 2009.
LibreCat
| Files available
2009 | Mastersthesis | LibreCat-ID: 2904
Scholz C. Die Schwierigkeit Des K-Median Clusterings Für Bregman-Divergenzen.; 2009.
LibreCat
| Files available
2009 | Dissertation | LibreCat-ID: 2911
Ackermann MR. Algorithms for the Bregman K-Median Problem. Universität Paderborn; 2009.
LibreCat
| Download (ext.)
2009 | Book Chapter | LibreCat-ID: 2920
Kakvi S. Reinforcement Learning for Blackjack. In: Lecture Notes in Computer Science. Berlin, Heidelberg: Springer Berlin Heidelberg; 2009:300-301. doi:10.1007/978-3-642-04052-8_43
LibreCat
| DOI
2009 | Book Chapter | LibreCat-ID: 2995
Ackermann MR, Blömer J. Coresets and Approximate Clustering for Bregman Divergences. In: Proceedings of the Twentieth Annual ACM-SIAM Symposium on Discrete Algorithms. Philadelphia, PA: Society for Industrial and Applied Mathematics; 2009:1088-1097. doi:10.1137/1.9781611973068.118
LibreCat
| DOI
2009 | Journal Article | LibreCat-ID: 2999
Blömer J, Naewe S. Sampling methods for shortest vectors, closest vectors and successive minima. Theoretical Computer Science. 2009;(18):1648-1665. doi:10.1016/j.tcs.2008.12.045
LibreCat
| DOI
2009 | Book Chapter | LibreCat-ID: 3000
Schrieb J, Wehrheim H, Wonisch D. Three-Valued Spotlight Abstractions. In: FM 2009: Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg; 2009:106-122. doi:10.1007/978-3-642-05089-3_8
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 3142
Jager T, Schwenk J. On the Analysis of Cryptographic Assumptions in the Generic Ring Model. In: Advances in Cryptology - ASIACRYPT 2009, 15th International Conference on the Theory and Application of Cryptology and Information Security, Tokyo, Japan, December 6-10, 2009. Proceedings. ; 2009:399--416. doi:10.1007/978-3-642-10366-7_24
LibreCat
| DOI
2009 | Dissertation | LibreCat-ID: 20937
Meyer M. Musterbasiertes Re-Engineering von Softwaresystemen. Universitaetsbibliothek Paderborn; 2009.
LibreCat
| Download (ext.)
2009 | Journal Article | LibreCat-ID: 17453
Meyer auf der Heide F, Rammig F-J. Self-Organisation and Self-Optimization. Public Service Review: Science and Technology. 2009;04.
LibreCat
2009 | Journal Article | LibreCat-ID: 19031
Briest P. Algorithmische und komplexitätstheoretische Aspekte kombinatorischer Preisoptimierung (Computational Aspects of Combinatorial Pricing Problems). it - Information Technology. 2009;51(1):62-65. doi:10.1524/itit.2009.0524
LibreCat
| DOI
2009 | Journal Article | LibreCat-ID: 1925
D. Kleinberg R, Scheideler C. Foreword. Theory Comput Syst. 2009;(2):187. doi:10.1007/s00224-009-9202-x
LibreCat
| DOI
2009 | Journal Article | LibreCat-ID: 1927
Awerbuch B, Scheideler C. Towards a Scalable and Robust DHT. Theory Comput Syst. 2009;(2):234--260. doi:10.1007/s00224-008-9099-9
LibreCat
| DOI
2009 | Journal Article | LibreCat-ID: 1928
Awerbuch B, Scheideler C. Robust random number generation for peer-to-peer systems. Theor Comput Sci. 2009;(6-7):453--466. doi:10.1016/j.tcs.2008.10.003
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 1929
Scheideler C, Schmid S. A Distributed and Oblivious Heap. In: Automata, Languages and Programming, 36th Internatilonal Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part II. Vol 5556. Lecture Notes in Computer Science. Springer; 2009:571--582. doi:10.1007/978-3-642-02930-1_47
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 1930 |
Jacob R, Ritscher S, Scheideler C, Schmid S. A Self-stabilizing and Local Delaunay Graph Construction. In: Algorithms and Computation, 20th International Symposium, ISAAC 2009, Honolulu, Hawaii, USA, December 16-18, 2009. Proceedings. Vol 5878. Lecture Notes in Computer Science. Springer; 2009:771--780. doi:10.1007/978-3-642-10631-6_78
LibreCat
| Files available
| DOI