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.
5711 Publications
2009 | Conference Paper | LibreCat-ID: 19904
Nikoletseas SE, Raptopoulos CL, Spirakis PG. Combinatorial Properties for Efficient Communication in Distributed Networks with Local Interactions. In: Proceedings of IPDPS - IEEE International Parallel & Distributed Processing Symposium. ; 2009:1--11. doi:10.1109/IPDPS.2009.5161002
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 19934
Deveci D, Kortenjan M, Schomaker G. Distributed Heterogeneous Hashing and Deterministic Dynamical Decompositions. In: Parallel and Distributed Computing and Systems, Nr. 21. ; 2009.
LibreCat
2009 | Conference Paper | LibreCat-ID: 20254
Stradner J, Hamann H, Schmickl T, Crailsheim K. Analysis and implementation of an Artificial Homeostatic Hormone System: A first case study in robotic hardware. In: 2009 IEEE/RSJ International Conference on Intelligent Robots and Systems. ; 2009. doi:10.1109/iros.2009.5354056
LibreCat
| DOI
2009 | Journal Article | LibreCat-ID: 20255
Schmickl T, Hamann H, Wörn H, Crailsheim K. Two different approaches to a macroscopic model of a bio-inspired robotic swarm. Robotics and Autonomous Systems. 2009;6(9):913-921. doi:10.1016/j.robot.2009.06.002
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 20259
Hamann H, Troch I, Breitenecker F. Pattern Formation as a Transient Phenomenon in the Nonlinear Dynamics of a Multi-Agent System. In: MATHMOD 2009 - 6th Vienna International Conference on Mathematical Modelling. ; 2009.
LibreCat
2009 | Journal Article | LibreCat-ID: 3199
Wehrheim H, Wonisch D. Compositional {CSP} Traces Refinement Checking. Electr Notes Theor Comput Sci. 2009;(2):135--151. doi:10.1016/j.entcs.2009.08.022
LibreCat
| DOI
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