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.
9931 Publications
2009 | Conference Paper | LibreCat-ID: 19901
Raptopoulos, C. L., Nikoletseas, S. E., & Spirakis, P. G. (2009). Colouring Non-sparse Random Intersection Graphs. In 34st International Symposium on Mathematical Foundations of Computer Science (pp. 600--611). https://doi.org/10.1007/978-1-4939-2864-4_597
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 19904
Nikoletseas, S. E., Raptopoulos, C. L., & Spirakis, P. G. (2009). Combinatorial Properties for Efficient Communication in Distributed Networks with Local Interactions. In Proceedings of IPDPS - IEEE International Parallel & Distributed Processing Symposium (pp. 1--11). https://doi.org/10.1109/IPDPS.2009.5161002
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 19934
Deveci, D., Kortenjan, M., & Schomaker, G. (2009). Distributed Heterogeneous Hashing and Deterministic Dynamical Decompositions. In Parallel and Distributed Computing and Systems, Nr. 21.
LibreCat
2009 | Conference Paper | LibreCat-ID: 20254
Stradner, J., Hamann, H., Schmickl, T., & Crailsheim, K. (2009). 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. https://doi.org/10.1109/iros.2009.5354056
LibreCat
| DOI
2009 | Journal Article | LibreCat-ID: 20255
Schmickl, T., Hamann, H., Wörn, H., & Crailsheim, K. (2009). Two different approaches to a macroscopic model of a bio-inspired robotic swarm. Robotics and Autonomous Systems, 6(9), 913–921. https://doi.org/10.1016/j.robot.2009.06.002
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 20259
Hamann, H., Troch, I., & Breitenecker, F. (2009). 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.
LibreCat
2009 | Journal Article | LibreCat-ID: 3199
Wehrheim, H., & Wonisch, D. (2009). Compositional {CSP} Traces Refinement Checking. Electr. Notes Theor. Comput. Sci., (2), 135--151. https://doi.org/10.1016/j.entcs.2009.08.022
LibreCat
| DOI
2009 | Journal Article | LibreCat-ID: 3200
Ruhroth, T., & Wehrheim, H. (2009). Static Class Elements for Object-Z. Electr. Notes Theor. Comput. Sci., 193--205. https://doi.org/10.1016/j.entcs.2009.12.025
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 3201
Ruhroth, T., Voigt, H., & Wehrheim, H. (2009). 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 (pp. 360--367). https://doi.org/10.1109/SEAA.2009.39
LibreCat
| DOI
2009 | Conference (Editor) | LibreCat-ID: 3202
Leuschel, M., & Wehrheim, H. (Eds.). (2009). Integrated Formal Methods, 7th International Conference, {IFM} 2009, D{\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings. https://doi.org/10.1007/978-3-642-00255-7
LibreCat
| DOI
2009 | Bachelorsthesis | LibreCat-ID: 2880
Schröer, C. (2009). Hierarchisches Clustering mit minimalen Cluster-Durchmessern.
LibreCat
| Files available
2009 | Bachelorsthesis | LibreCat-ID: 2896 | 
Liske, G. (2009). Analyse und Evaluation eines identitätsbasierten Signcryption-Verfahrens.
LibreCat
| Files available
2009 | Mastersthesis | LibreCat-ID: 2904
Scholz, C. (2009). Die Schwierigkeit des k-Median Clusterings für Bregman-Divergenzen.
LibreCat
| Files available
2009 | Dissertation | LibreCat-ID: 2911
Ackermann, M. R. (2009). Algorithms for the Bregman k-Median Problem. Universität Paderborn.
LibreCat
| Download (ext.)
2009 | Book Chapter | LibreCat-ID: 2920
Kakvi, S. (2009). Reinforcement Learning for Blackjack. In Lecture Notes in Computer Science (pp. 300–301). Berlin, Heidelberg: Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-04052-8_43
LibreCat
| DOI
2009 | Book Chapter | LibreCat-ID: 2995
Ackermann, M. R., & Blömer, J. (2009). Coresets and Approximate Clustering for Bregman Divergences. In Proceedings of the Twentieth Annual ACM-SIAM Symposium on Discrete Algorithms (pp. 1088–1097). Philadelphia, PA: Society for Industrial and Applied Mathematics. https://doi.org/10.1137/1.9781611973068.118
LibreCat
| DOI
2009 | Journal Article | LibreCat-ID: 2999
Blömer, J., & Naewe, S. (2009). Sampling methods for shortest vectors, closest vectors and successive minima. Theoretical Computer Science, (18), 1648–1665. https://doi.org/10.1016/j.tcs.2008.12.045
LibreCat
| DOI
2009 | Book Chapter | LibreCat-ID: 3000
Schrieb, J., Wehrheim, H., & Wonisch, D. (2009). Three-Valued Spotlight Abstractions. In FM 2009: Formal Methods (pp. 106–122). Berlin, Heidelberg: Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-05089-3_8
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 3142
Jager, T., & Schwenk, J. (2009). 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 (pp. 399--416). https://doi.org/10.1007/978-3-642-10366-7_24
LibreCat
| DOI
2009 | Dissertation | LibreCat-ID: 20937
Meyer, M. (2009). Musterbasiertes Re-Engineering von Softwaresystemen. Universitaetsbibliothek Paderborn.
LibreCat
| Download (ext.)