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.

10451 Publications


2009 | Report | LibreCat-ID: 19825
Schindelhauer, C., Mahlmann, P., & Janson, T. (2009). 3nuts: A Locality-Aware Peer-to-Peer Network Combining Random Networks, Search Trees, and DHTs. Paderborn, Germany.
LibreCat | Files available
 

2009 | Journal Article | LibreCat-ID: 19830
Ooi, C. C., & Schindelhauer, C. (2009). Minimal Energy Path Planning for Wireless Robots. Mobile Networks and Applications (MONET), 309–321. https://doi.org/10.1007/s11036-008-0150-5
LibreCat | DOI
 

2009 | Journal Article | LibreCat-ID: 19831
Ooi, C. C., & Schindelhauer, C. (2009). Utilizing detours for energy conservation in mobile wireless networks. Telecommunication Systems, 43, 25–37. https://doi.org/10.1007/s11235-009-9188-3
LibreCat | DOI
 

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 | OA
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 | 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
 

Filters and Search Terms

department=34

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed