@inproceedings{20226,
  author       = {{Hamann, Heiko and Meyer, Bernd and Schmickl, Thomas and Crailsheim, Karl}},
  booktitle    = {{From Animals to Animats 11}},
  isbn         = {{9783642151927}},
  issn         = {{0302-9743}},
  pages        = {{639--648}},
  publisher    = {{Springer}},
  title        = {{{A Model of Symmetry Breaking in Collective Decision-Making}}},
  doi          = {{10.1007/978-3-642-15193-4_60}},
  volume       = {{6226}},
  year         = {{2010}},
}

@inproceedings{20258,
  abstract     = {{Self-organization in natural systems demonstrates very reliable and scalable collective behavior without using any central elements. When providing collective robotic systems with self-organizing principles, we are facing new problems of making self-organization purposeful, self-adapting to changing environments and faster, in order to meet requirements from a technical perspective. This paper describes on-going work of creating such an artificial self-organization within artificial robot organisms, performed in the framework of several European projects.}},
  author       = {{Kernbach, Serge and Hamann, Heiko and Stradner, Jürgen and Thenius, Ronald and Schmickl, Thomas and Crailsheim, Karl and Rossum, A.C. van and Sebag, Michele and Bredeche, Nicolas and Yao, Yao and Baele, Guy and Peer, Yves Van de and Timmis, Jon and Mohktar, Maizura and Tyrrell, Andy and Eiben, A.E. and McKibbin, S.P. and Liu, Wenguo and Winfield, Alan F.T.}},
  booktitle    = {{2009 Computation World: Future Computing, Service Computation, Cognitive, Adaptive, Content, Patterns}},
  isbn         = {{9781424451661}},
  title        = {{{On Adaptive Self-Organization in Artificial Robot Organisms}}},
  doi          = {{10.1109/computationworld.2009.9}},
  year         = {{2010}},
}

@article{24282,
  author       = {{Grza̧ślewicz, Ryszard and Kutyłowski, Jarosław and Kutyłowski, Mirosław and Pietkiewicz, Wojciech}},
  issn         = {{0302-9743}},
  journal      = {{ICCSA'05: Proceedings of the 2005 international conference on Computational Science and Its Applications}},
  title        = {{{Robust Undetectable Interference Watermarks}}},
  doi          = {{10.1007/11424826_55}},
  year         = {{2010}},
}

@inproceedings{3195,
  author       = {{Schneider, Steve and Treharne, Helen and Wehrheim, Heike}},
  booktitle    = {{Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings}},
  editor       = {{M{\'{e}}ry, Dominique and Merz, Stephan}},
  pages        = {{260----274}},
  title        = {{{A {CSP} Approach to Control in Event-B}}},
  doi          = {{10.1007/978-3-642-16265-7_19}},
  year         = {{2010}},
}

@inproceedings{3196,
  author       = {{Dräger, Klaus and Kupriyanov, Andrey and Finkbeiner, Bernd and Wehrheim, Heike}},
  booktitle    = {{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}},
  editor       = {{Esparza, Javier and Majumdar, Rupak}},
  pages        = {{271----274}},
  title        = {{{{SLAB:} {A} Certifying Model Checker for Infinite-State Concurrent Systems}}},
  doi          = {{10.1007/978-3-642-12002-2_22}},
  year         = {{2010}},
}

@article{3198,
  author       = {{Steenken, Dominik and Wehrheim, Heike and Wonisch, Daniel}},
  journal      = {{CoRR}},
  title        = {{{Towards {A} Shape Analysis for Graph Transformation Systems}}},
  year         = {{2010}},
}

@inproceedings{3810,
  author       = {{Wachsmuth, Henning and Prettenhofer, Peter and Stein, Benno}},
  booktitle    = {{Proceedings of the 23rd International Conference on Computational Linguistics (Coling 2010)}},
  pages        = {{1128--1136}},
  title        = {{{Efficient Statement Identification for Automatic Market Forecasting}}},
  year         = {{2010}},
}

@inbook{2988,
  author       = {{Ackermann, Marcel R. and Blömer, Johannes}},
  booktitle    = {{SWAT 2010}},
  isbn         = {{9783642137303}},
  issn         = {{0302-9743}},
  pages        = {{212--223}},
  publisher    = {{Springer Berlin Heidelberg}},
  title        = {{{Bregman Clustering for Separable Instances}}},
  doi          = {{10.1007/978-3-642-13731-0_21}},
  year         = {{2010}},
}

@article{2990,
  author       = {{Ackermann, Marcel R. and Blömer, Johannes and Sohler, Christian}},
  issn         = {{1549-6325}},
  journal      = {{ACM Trans. Algorithms}},
  keywords     = {{k-means clustering, k-median clustering, Approximation algorithm, Bregman divergences, Itakura-Saito divergence, Kullback-Leibler divergence, Mahalanobis distance, random sampling}},
  number       = {{4}},
  pages        = {{59:1----59:26}},
  title        = {{{Clustering for Metric and Nonmetric Distance Measures}}},
  doi          = {{10.1145/1824777.1824779}},
  year         = {{2010}},
}

@article{2991,
  author       = {{Krueger, Alexander and Leutnant, Volker and Haeb-Umbach, Reinhold and Ackermann, Marcel and Blömer, Johannes}},
  journal      = {{Proc. of ITG Fachtagung Sprachkommunikation. ITG, Bochum, Germany}},
  title        = {{{On the initialization of dynamic models for speech features}}},
  year         = {{2010}},
}

@inproceedings{2993,
  author       = {{Schrieb, Jonas}},
  title        = {{{Efficient and Compact CCA Security from Partitioned IBKEM}}},
  year         = {{2010}},
}

@inproceedings{2994,
  author       = {{Schäfer, Wilhelm and Trächtler, Ansgar and Birattari, Mauro and Blömer, Johannes and Dorigo, Marco and Engels, Gregor and O'Grady, Rehan and Platzner, Marco and Rammig, Franz and Reif, Wolfgang}},
  booktitle    = {{Proceedings of the FSE/SDP workshop on Future of software engineering research - FoSER '10}},
  isbn         = {{9781450304276}},
  publisher    = {{ACM Press}},
  title        = {{{Engineering self-coordinating software intensive systems}}},
  doi          = {{10.1145/1882362.1882428}},
  year         = {{2010}},
}

@inproceedings{3139,
  author       = {{Jager, Tibor and Kohlar, Florian and Schäge, Sven and Schwenk, Jörg}},
  booktitle    = {{Advances in Cryptology - ASIACRYPT 2010 - 16th International Conference on the Theory and Application of Cryptology and Information Security, Singapore, December 5-9, 2010. Proceedings}},
  pages        = {{232----249}},
  title        = {{{Generic Compilers for Authenticated Key Exchange}}},
  doi          = {{10.1007/978-3-642-17373-8_14}},
  year         = {{2010}},
}

@inproceedings{3140,
  author       = {{Jager, Tibor and Rupp, Andy}},
  booktitle    = {{Advances in Cryptology - ASIACRYPT 2010 - 16th International Conference on the Theory and Application of Cryptology and Information Security, Singapore, December 5-9, 2010. Proceedings}},
  pages        = {{539----556}},
  title        = {{{The Semi-Generic Group Model and Applications to Pairing-Based Cryptography}}},
  doi          = {{10.1007/978-3-642-17373-8_31}},
  year         = {{2010}},
}

@inproceedings{3141,
  author       = {{Haralambiev, Kristiyan and Jager, Tibor and Kiltz, Eike and Shoup, Victor}},
  booktitle    = {{Public Key Cryptography - PKC 2010, 13th International Conference on Practice and Theory in Public Key Cryptography, Paris, France, May 26-28, 2010. Proceedings}},
  pages        = {{1----18}},
  title        = {{{Simple and Efficient Public-Key Encryption from Computational Diffie-Hellman in the Standard Model}}},
  doi          = {{10.1007/978-3-642-13013-7_1}},
  year         = {{2010}},
}

@article{3189,
  author       = {{Derrick, John and Wehrheim, Heike}},
  journal      = {{Sci. Comput. Program.}},
  number       = {{3}},
  pages        = {{192----210}},
  title        = {{{Model transformations across views}}},
  doi          = {{10.1016/j.scico.2009.11.004}},
  year         = {{2010}},
}

@inproceedings{3191,
  author       = {{Schäfer, Wilhelm and Wehrheim, Heike}},
  booktitle    = {{Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday}},
  editor       = {{Engels, Gregor and Lewerentz, Claus and Sch{\"{a}}fer, Wilhelm and Sch{\"{u}}rr, Andy and Westfechtel, Bernhard}},
  pages        = {{533----554}},
  title        = {{{Model-Driven Development with Mechatronic {UML}}}},
  doi          = {{10.1007/978-3-642-17322-6_23}},
  year         = {{2010}},
}

@inproceedings{3193,
  author       = {{Timm, Nils and Wehrheim, Heike}},
  booktitle    = {{Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November 17-19, 2010. Proceedings}},
  editor       = {{Song Dong, Jin and Zhu, Huibiao}},
  pages        = {{534----548}},
  title        = {{{On Symmetries and Spotlights - Verifying Parameterised Systems}}},
  doi          = {{10.1007/978-3-642-16901-4_35}},
  year         = {{2010}},
}

@inproceedings{3194,
  author       = {{Hülsbusch, Mathias and König, Barbara and Rensink, Arend and Semenyak, Maria and Soltenborn, Christian and Wehrheim, Heike}},
  booktitle    = {{Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings}},
  editor       = {{M{\'{e}}ry, Dominique and Merz, Stephan}},
  pages        = {{183----198}},
  title        = {{{Showing Full Semantics Preservation in Model Transformation - {A} Comparison of Techniques}}},
  doi          = {{10.1007/978-3-642-16265-7_14}},
  year         = {{2010}},
}

@inproceedings{27159,
  author       = {{Samara, Sufyan and Schomaker, Gunnar}},
  booktitle    = {{2010 10th IEEE International Conference on Computer and Information Technology}},
  title        = {{{Real-time Adaptation and Load Balancing Aware OS Services for Distributed Reconfigurable System on Chip}}},
  doi          = {{10.1109/cit.2010.304}},
  year         = {{2010}},
}