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.
5792 Publications
2010 | Conference Paper | LibreCat-ID: 19824
Janson T, Mahlmann P, Schindelhauer C. A Self-Stabilizing Locality-Aware Peer-to-Peer Network Combining Random Networks, Search Trees, and DHTs. In: Proceedings of the 16th International Conference on Parallel and Distributed Systems. ; 2010. doi:10.1109/icpads.2010.42
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 19829
Miao H, Ooi CC, Wu X, Schindelhauer C. Coverage-hole trap model in target tracking using distributed relay-robot network. In: Proceedings of the 2010 ACM Symposium on Applied Computing - SAC ’10. ; 2010:1299-1304. doi:10.1145/1774088.1774365
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 19933
Schomaker G, Oberthur S, Kortenjan M. Distributed and dynamic resource management for self-optimizing mechatronic systems. In: 8th IEEE International Conference on Industrial Informatics (INDIN’2010). ; 2010. doi:10.1109/indin.2010.5549647
LibreCat
| DOI
2010 | Book | LibreCat-ID: 20182
Hamann H. Space-Time Continuous Models of Swarm Robotics Systems: Supporting Global-to-Local Programming. Berlin, Germany: Springer; 2010. doi:10.1007/978-3-642-13377-0
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 20220
Hamann H, Schmickl T, Stradner J, Crailsheim K. A Hormone-Based Controller for Evolutionary Multi-Modular Robotics: From Single Modules to Gait Learning. In: Proceedings of the IEEE Congress on Evolutionary Computation (CEC’10). ; 2010:244--251. doi:10.1109/CEC.2010.5585994
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 20222
Schmickl T, Hamann H, Stradner J, Mayet R, Crailsheim K. Complex Taxis-Behaviour in a Novel Bio-Inspired Robot Controller. In: Proc. of the ALife XII Conference. MIT Press; 2010:648--655.
LibreCat
2010 | Conference Paper | LibreCat-ID: 20226
Hamann H, Meyer B, Schmickl T, Crailsheim K. A Model of Symmetry Breaking in Collective Decision-Making. In: From Animals to Animats 11. Vol 6226. Springer; 2010:639-648. doi:10.1007/978-3-642-15193-4_60
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 20258
Kernbach S, Hamann H, Stradner J, et al. On Adaptive Self-Organization in Artificial Robot Organisms. In: 2009 Computation World: Future Computing, Service Computation, Cognitive, Adaptive, Content, Patterns. ; 2010. doi:10.1109/computationworld.2009.9
LibreCat
| DOI
2010 | Journal Article | LibreCat-ID: 24282
Grza̧ślewicz R, Kutyłowski J, Kutyłowski M, Pietkiewicz W. Robust Undetectable Interference Watermarks. ICCSA’05: Proceedings of the 2005 international conference on Computational Science and Its Applications. Published online 2010. doi:10.1007/11424826_55
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 3195
Schneider S, Treharne H, Wehrheim H. A {CSP} Approach to Control in Event-B. In: M{\’{e}}ry D, Merz S, eds. Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings. Lecture Notes in Computer Science. ; 2010:260--274. doi:10.1007/978-3-642-16265-7_19
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 3196
Dräger K, Kupriyanov A, Finkbeiner B, Wehrheim H. {SLAB:} {A} Certifying Model Checker for Infinite-State Concurrent Systems. In: Esparza J, Majumdar R, eds. Tools and Algorithms for the Construction and Analysis of Systems, 16th International Conference, {TACAS} 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings. Lecture Notes in Computer Science. ; 2010:271--274. doi:10.1007/978-3-642-12002-2_22
LibreCat
| DOI
2010 | Journal Article | LibreCat-ID: 3198
Steenken D, Wehrheim H, Wonisch D. Towards {A} Shape Analysis for Graph Transformation Systems. CoRR. 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 3810
Wachsmuth H, Prettenhofer P, Stein B. Efficient Statement Identification for Automatic Market Forecasting. In: Proceedings of the 23rd International Conference on Computational Linguistics (Coling 2010). ; 2010:1128-1136.
LibreCat
| Download (ext.)
2010 | Book Chapter | LibreCat-ID: 2988
Ackermann MR, Blömer J. Bregman Clustering for Separable Instances. In: SWAT 2010. Lecture Notes in Computer Science. Berlin, Heidelberg: Springer Berlin Heidelberg; 2010:212-223. doi:10.1007/978-3-642-13731-0_21
LibreCat
| DOI
2010 | Journal Article | LibreCat-ID: 2990
Ackermann MR, Blömer J, Sohler C. Clustering for Metric and Nonmetric Distance Measures. ACM Trans Algorithms. 2010;(4):59:1--59:26. doi:10.1145/1824777.1824779
LibreCat
| DOI
2010 | Journal Article | LibreCat-ID: 2991
Krueger A, Leutnant V, Haeb-Umbach R, Ackermann M, Blömer J. On the initialization of dynamic models for speech features. Proc of ITG Fachtagung Sprachkommunikation ITG, Bochum, Germany. 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 2993
Schrieb J. Efficient and Compact CCA Security from Partitioned IBKEM. 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 2994
Schäfer W, Trächtler A, Birattari M, et al. Engineering self-coordinating software intensive systems. In: Proceedings of the FSE/SDP Workshop on Future of Software Engineering Research - FoSER ’10. ACM Press; 2010. doi:10.1145/1882362.1882428
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 3139
Jager T, Kohlar F, Schäge S, Schwenk J. Generic Compilers for Authenticated Key Exchange. In: Advances in Cryptology - ASIACRYPT 2010 - 16th International Conference on the Theory and Application of Cryptology and Information Security, Singapore, December 5-9, 2010. Proceedings. ; 2010:232--249. doi:10.1007/978-3-642-17373-8_14
LibreCat
| DOI