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
2010 | Book | LibreCat-ID: 20182
Hamann, Heiko. Space-Time Continuous Models of Swarm Robotics Systems: Supporting Global-to-Local Programming. Springer, 2010, doi:10.1007/978-3-642-13377-0.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 20220
Hamann, Heiko, et al. “A Hormone-Based Controller for Evolutionary Multi-Modular Robotics: From Single Modules to Gait Learning.” Proceedings of the IEEE Congress on Evolutionary Computation (CEC’10), 2010, pp. 244--251, doi:10.1109/CEC.2010.5585994.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 20222
Schmickl, Thomas, et al. “Complex Taxis-Behaviour in a Novel Bio-Inspired Robot Controller.” Proc. of the ALife XII Conference, MIT Press, 2010, pp. 648--655.
LibreCat
2010 | Conference Paper | LibreCat-ID: 20226
Hamann, Heiko, et al. “A Model of Symmetry Breaking in Collective Decision-Making.” From Animals to Animats 11, vol. 6226, Springer, 2010, pp. 639–48, doi:10.1007/978-3-642-15193-4_60.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 20258
Kernbach, Serge, et al. “On Adaptive Self-Organization in Artificial Robot Organisms.” 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, Ryszard, et al. “Robust Undetectable Interference Watermarks.” ICCSA’05: Proceedings of the 2005 International Conference on Computational Science and Its Applications, 2010, doi:10.1007/11424826_55.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 3195
Schneider, Steve, et al. “A {CSP} Approach to Control in Event-B.” Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings, edited by Dominique M{\’{e}}ry and Stephan Merz, 2010, pp. 260--274, doi:10.1007/978-3-642-16265-7_19.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 3196
Dräger, Klaus, et al. “{SLAB:} {A} Certifying Model Checker for Infinite-State Concurrent Systems.” 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, edited by Javier Esparza and Rupak Majumdar, 2010, pp. 271--274, doi:10.1007/978-3-642-12002-2_22.
LibreCat
| DOI
2010 | Journal Article | LibreCat-ID: 3198
Steenken, Dominik, et al. “Towards {A} Shape Analysis for Graph Transformation Systems.” CoRR, 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 3810
Wachsmuth, Henning, et al. “Efficient Statement Identification for Automatic Market Forecasting.” Proceedings of the 23rd International Conference on Computational Linguistics (Coling 2010), 2010, pp. 1128–36.
LibreCat
| Download (ext.)
2010 | Book Chapter | LibreCat-ID: 2988
Ackermann, Marcel R., and Johannes Blömer. “Bregman Clustering for Separable Instances.” SWAT 2010, Springer Berlin Heidelberg, 2010, pp. 212–23, doi:10.1007/978-3-642-13731-0_21.
LibreCat
| DOI
2010 | Journal Article | LibreCat-ID: 2990
Ackermann, Marcel R., et al. “Clustering for Metric and Nonmetric Distance Measures.” ACM Trans. Algorithms, no. 4, 2010, pp. 59:1--59:26, doi:10.1145/1824777.1824779.
LibreCat
| DOI
2010 | Journal Article | LibreCat-ID: 2991
Krueger, Alexander, et al. “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, Jonas. Efficient and Compact CCA Security from Partitioned IBKEM. 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 2994
Schäfer, Wilhelm, et al. “Engineering Self-Coordinating Software Intensive Systems.” 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, Tibor, et al. “Generic Compilers for Authenticated Key Exchange.” 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, pp. 232--249, doi:10.1007/978-3-642-17373-8_14.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 3140
Jager, Tibor, and Andy Rupp. “The Semi-Generic Group Model and Applications to Pairing-Based Cryptography.” 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, pp. 539--556, doi:10.1007/978-3-642-17373-8_31.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 3141
Haralambiev, Kristiyan, et al. “Simple and Efficient Public-Key Encryption from Computational Diffie-Hellman in the Standard Model.” Public Key Cryptography - PKC 2010, 13th International Conference on Practice and Theory in Public Key Cryptography, Paris, France, May 26-28, 2010. Proceedings, 2010, pp. 1--18, doi:10.1007/978-3-642-13013-7_1.
LibreCat
| DOI
2010 | Journal Article | LibreCat-ID: 3189
Derrick, John, and Heike Wehrheim. “Model Transformations across Views.” Sci. Comput. Program., no. 3, 2010, pp. 192--210, doi:10.1016/j.scico.2009.11.004.
LibreCat
| DOI