Space-Time Continuous Models of Swarm Robotics Systems: Supporting Global-to-Local Programming
H. Hamann, Space-Time Continuous Models of Swarm Robotics Systems: Supporting Global-to-Local Programming, Springer, Berlin, Germany, 2010.
LibreCat: /record/20182
DOI: 10.1007/978-3-642-13377-0

A Hormone-Based Controller for Evolutionary Multi-Modular Robotics: From Single Modules to Gait Learning
H. Hamann, T. Schmickl, J. Stradner, K. Crailsheim, in: Proceedings of the IEEE Congress on Evolutionary Computation (CEC’10), 2010, pp. 244--251.
LibreCat: /record/20220
DOI: 10.1109/CEC.2010.5585994

Complex Taxis-Behaviour in a Novel Bio-Inspired Robot Controller
T. Schmickl, H. Hamann, J. Stradner, R. Mayet, K. Crailsheim, in: Proc. of the ALife XII Conference, MIT Press, 2010, pp. 648--655.
LibreCat: /record/20222

Artificial Hormone Reaction Networks: Towards Higher Evolvability in  Evolutionary Multi-Modular Robotics
H. Hamann, J. Stradner, T. Schmickl, K. Crailsheim, in: Artificial Life XII (ALife XII), Odense, Denmark, MIT  Press, 2010, pp. 773–780.
LibreCat: /record/20223
arXiv: 1011.3912

A Model of Symmetry Breaking in Collective Decision-Making
H. Hamann, B. Meyer, T. Schmickl, K. Crailsheim, in: From Animals to Animats 11, Springer, 2010, pp. 639–648.
LibreCat: /record/20226
DOI: 10.1007/978-3-642-15193-4_60

On Adaptive Self-Organization in Artificial Robot Organisms
S. Kernbach, H. Hamann, J. Stradner, R. Thenius, T. Schmickl, K. Crailsheim, A.C. van Rossum, M. Sebag, N. Bredeche, Y. Yao, G. Baele, Y.V. de Peer, J. Timmis, M. Mohktar, A. Tyrrell, A.E. Eiben, S.P. McKibbin, W. Liu, A.F.T. Winfield, in: 2009 Computation World: Future Computing, Service Computation, Cognitive, Adaptive, Content, Patterns, 2010.
LibreCat: /record/20258
DOI: 10.1109/computationworld.2009.9

Robust Undetectable Interference Watermarks
R. Grzablewicz, J. Kutyowski, M. Kutyowski, W. Pietkiewicz, ICCSA’05: Proceedings of the 2005 International Conference on Computational Science and Its Applications (2010).
LibreCat: /record/24282
DOI: 10.1007/11424826_55

A CSP Approach to Control in Event-B
S. Schneider, H. Treharne, H. Wehrheim, in: D. M\rquote ery, S. Merz (Eds.), Integrated Formal Methods - 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings, 2010, pp. 260--274.
LibreCat: /record/3195
DOI: 10.1007/978-3-642-16265-7_19

SLAB: A Certifying Model Checker for Infinite-State Concurrent Systems
K. Dräger, A. Kupriyanov, B. Finkbeiner, H. Wehrheim, in: J. Esparza, R. Majumdar (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, 2010, pp. 271--274.
LibreCat: /record/3196
DOI: 10.1007/978-3-642-12002-2_22

Towards A Shape Analysis for Graph Transformation Systems
D. Steenken, H. Wehrheim, D. Wonisch, CoRR (2010).
LibreCat: /record/3198

Efficient Statement Identification for Automatic Market Forecasting
H. Wachsmuth, P. Prettenhofer, B. Stein, in: Proceedings of the 23rd International Conference on Computational Linguistics (Coling 2010), 2010, pp. 1128–1136.
LibreCat: /record/3810

Bregman Clustering for Separable Instances
M.R. Ackermann, J. Blömer, in: SWAT 2010, Springer Berlin Heidelberg, Berlin, Heidelberg, 2010, pp. 212–223.
LibreCat: /record/2988
DOI: 10.1007/978-3-642-13731-0_21

Clustering for Metric and Nonmetric Distance Measures
M.R. Ackermann, J. Blömer, C. Sohler, ACM Trans. Algorithms (2010) 59:1--59:26.
LibreCat: /record/2990
DOI: 10.1145/1824777.1824779

On the initialization of dynamic models for speech features
A. Krueger, V. Leutnant, R. Haeb-Umbach, M. Ackermann, J. Blömer, Proc. of ITG Fachtagung Sprachkommunikation. ITG, Bochum, Germany (2010).
LibreCat: /record/2991

Efficient and Compact CCA Security from Partitioned IBKEM
J. Schrieb, (2010).
LibreCat: /record/2993

Engineering self-coordinating software intensive systems
W. Schäfer, A. Trächtler, M. Birattari, J. Blömer, M. Dorigo, G. Engels, R. O’Grady, M. Platzner, F. Rammig, W. Reif, in: Proceedings of the FSE/SDP Workshop on Future of Software Engineering Research - FoSER ’10, ACM Press, 2010.
LibreCat: /record/2994
DOI: 10.1145/1882362.1882428

Generic Compilers for Authenticated Key Exchange
T. Jager, F. Kohlar, S. Schäge, J. Schwenk, 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, pp. 232--249.
LibreCat: /record/3139
DOI: 10.1007/978-3-642-17373-8_14

The Semi-Generic Group Model and Applications to Pairing-Based Cryptography
T. Jager, A. Rupp, 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, pp. 539--556.
LibreCat: /record/3140
DOI: 10.1007/978-3-642-17373-8_31

Simple and Efficient Public-Key Encryption from Computational Diffie-Hellman in the Standard Model
K. Haralambiev, T. Jager, E. Kiltz, V. Shoup, in: 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.
LibreCat: /record/3141
DOI: 10.1007/978-3-642-13013-7_1

Model transformations across views
J. Derrick, H. Wehrheim, Sci. Comput. Program. (2010) 192--210.
LibreCat: /record/3189
DOI: 10.1016/j.scico.2009.11.004