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.
5719 Publications
2009 | Conference Paper | LibreCat-ID: 20254
Stradner, Jürgen, Heiko Hamann, Thomas Schmickl, and Karl Crailsheim. “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. https://doi.org/10.1109/iros.2009.5354056.
LibreCat
| DOI
2009 | Journal Article | LibreCat-ID: 20255
Schmickl, Thomas, Heiko Hamann, Heinz Wörn, and Karl Crailsheim. “Two Different Approaches to a Macroscopic Model of a Bio-Inspired Robotic Swarm.” Robotics and Autonomous Systems 6, no. 9 (2009): 913–21. https://doi.org/10.1016/j.robot.2009.06.002.
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 20259
Hamann, Heiko, Inge Troch, and F. Breitenecker. “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, Heike, and Daniel Wonisch. “Compositional {CSP} Traces Refinement Checking.” Electr. Notes Theor. Comput. Sci., no. 2 (2009): 135--151. https://doi.org/10.1016/j.entcs.2009.08.022.
LibreCat
| DOI
2009 | Journal Article | LibreCat-ID: 3200
Ruhroth, Thomas, and Heike Wehrheim. “Static Class Elements for Object-Z.” Electr. Notes Theor. Comput. Sci., 2009, 193--205. https://doi.org/10.1016/j.entcs.2009.12.025.
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 3201
Ruhroth, Thomas, Hendrik Voigt, and Heike Wehrheim. “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, 360--367, 2009. https://doi.org/10.1109/SEAA.2009.39.
LibreCat
| DOI
2009 | Conference (Editor) | LibreCat-ID: 3202
Leuschel, Michael, and Heike Wehrheim, eds. Integrated Formal Methods, 7th International Conference, {IFM} 2009, D{\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings. Lecture Notes in Computer Science, 2009. https://doi.org/10.1007/978-3-642-00255-7.
LibreCat
| DOI
2009 | Bachelorsthesis | LibreCat-ID: 2880
Schröer, Carsten. Hierarchisches Clustering Mit Minimalen Cluster-Durchmessern, 2009.
LibreCat
| Files available
2009 | Bachelorsthesis | LibreCat-ID: 2896 | 
Liske, Gennadij. Analyse Und Evaluation Eines Identitätsbasierten Signcryption-Verfahrens, 2009.
LibreCat
| Files available
2009 | Mastersthesis | LibreCat-ID: 2904
Scholz, Christoph. Die Schwierigkeit Des K-Median Clusterings Für Bregman-Divergenzen, 2009.
LibreCat
| Files available
2009 | Dissertation | LibreCat-ID: 2911
Ackermann, Marcel Rudolf. Algorithms for the Bregman K-Median Problem. Universität Paderborn, 2009.
LibreCat
| Download (ext.)
2009 | Book Chapter | LibreCat-ID: 2920
Kakvi, Saqib. “Reinforcement Learning for Blackjack.” In Lecture Notes in Computer Science, 300–301. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. https://doi.org/10.1007/978-3-642-04052-8_43.
LibreCat
| DOI
2009 | Book Chapter | LibreCat-ID: 2995
Ackermann, Marcel R., and Johannes Blömer. “Coresets and Approximate Clustering for Bregman Divergences.” In Proceedings of the Twentieth Annual ACM-SIAM Symposium on Discrete Algorithms, 1088–97. Philadelphia, PA: Society for Industrial and Applied Mathematics, 2009. https://doi.org/10.1137/1.9781611973068.118.
LibreCat
| DOI
2009 | Journal Article | LibreCat-ID: 2999
Blömer, Johannes, and Stefanie Naewe. “Sampling Methods for Shortest Vectors, Closest Vectors and Successive Minima.” Theoretical Computer Science, no. 18 (2009): 1648–65. https://doi.org/10.1016/j.tcs.2008.12.045.
LibreCat
| DOI
2009 | Book Chapter | LibreCat-ID: 3000
Schrieb, Jonas, Heike Wehrheim, and Daniel Wonisch. “Three-Valued Spotlight Abstractions.” In FM 2009: Formal Methods, 106–22. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. https://doi.org/10.1007/978-3-642-05089-3_8.
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 3142
Jager, Tibor, and Jörg Schwenk. “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, 399--416, 2009. https://doi.org/10.1007/978-3-642-10366-7_24.
LibreCat
| DOI
2009 | Dissertation | LibreCat-ID: 20937
Meyer, Matthias. Musterbasiertes Re-Engineering von Softwaresystemen. Universitaetsbibliothek Paderborn, 2009.
LibreCat
| Download (ext.)
2009 | Journal Article | LibreCat-ID: 17453
Meyer auf der Heide, Friedhelm, and Franz-Josef Rammig. “Self-Organisation and Self-Optimization.” Public Service Review: Science and Technology 04 (2009).
LibreCat
2009 | Journal Article | LibreCat-ID: 19031
Briest, Patrick. “Algorithmische Und Komplexitätstheoretische Aspekte Kombinatorischer Preisoptimierung (Computational Aspects of Combinatorial Pricing Problems).” It - Information Technology 51, no. 1 (2009): 62–65. https://doi.org/10.1524/itit.2009.0524.
LibreCat
| DOI
2009 | Journal Article | LibreCat-ID: 1925
D. Kleinberg, Robert, and Christian Scheideler. “Foreword.” Theory Comput. Syst., no. 2 (2009): 187. https://doi.org/10.1007/s00224-009-9202-x.
LibreCat
| DOI