@inproceedingsSchomaker_Oberthur_Kortenjan_2010, title=Distributed and dynamic resource management for self-optimizing mechatronic systems, DOI=10.1109/indin.2010.5549647, booktitle=8th IEEE International Conference on Industrial Informatics (INDIN’2010), author=Schomaker, Gunnar and Oberthur, Simon and Kortenjan, Michael, year=2010 
LibreCat: /record/19933
DOI: 10.1109/indin.2010.5549647

@bookHamann_2010, place=Berlin, Germany, title=Space-Time Continuous Models of Swarm Robotics Systems: Supporting Global-to-Local Programming, DOI=10.1007/978-3-642-13377-0, publisher=Springer, author=Hamann, Heiko, year=2010 
LibreCat: /record/20182
DOI: 10.1007/978-3-642-13377-0

@inproceedingsHamann_Schmickl_Stradner_Crailsheim_2010, title=A Hormone-Based Controller for Evolutionary Multi-Modular Robotics: From Single Modules to Gait Learning, DOI=10.1109/CEC.2010.5585994, booktitle=Proceedings of the IEEE Congress on Evolutionary Computation (CEC’10), author=Hamann, Heiko and Schmickl, Thomas and Stradner, Jürgen and Crailsheim, Karl, year=2010, pages=244--251 
LibreCat: /record/20220
DOI: 10.1109/CEC.2010.5585994

@inproceedingsSchmickl_Hamann_Stradner_Mayet_Crailsheim_2010, title=Complex Taxis-Behaviour in a Novel Bio-Inspired Robot Controller, booktitle=Proc. of the ALife XII Conference, publisher=MIT Press, author=Schmickl, Thomas and Hamann, Heiko and Stradner, Jürgen and Mayet, Ralf and Crailsheim, Karl, year=2010, pages=648--655 
LibreCat: /record/20222

@inproceedingsHamann_Stradner_Schmickl_Crailsheim_2010, title=Artificial Hormone Reaction Networks: Towards Higher Evolvability in  Evolutionary Multi-Modular Robotics, booktitle=Artificial Life XII (ALife XII), Odense, Denmark, publisher=MIT  Press, author=Hamann, Heiko and Stradner, Jürgen and Schmickl, Thomas and Crailsheim, Karl, year=2010, pages=773–780 
LibreCat: /record/20223
arXiv: 1011.3912

@inproceedingsHamann_Meyer_Schmickl_Crailsheim_2010, title=A Model of Symmetry Breaking in Collective Decision-Making, volume=6226, DOI=10.1007/978-3-642-15193-4_60, booktitle=From Animals to Animats 11, publisher=Springer, author=Hamann, Heiko and Meyer, Bernd and Schmickl, Thomas and Crailsheim, Karl, year=2010, pages=639–648 
LibreCat: /record/20226
DOI: 10.1007/978-3-642-15193-4_60

@inproceedingsKernbach_Hamann_Stradner_Thenius_Schmickl_Crailsheim_Rossum_Sebag_Bredeche_Yao_et al._2010, title=On Adaptive Self-Organization in Artificial Robot Organisms, DOI=10.1109/computationworld.2009.9, booktitle=2009 Computation World: Future Computing, Service Computation, Cognitive, Adaptive, Content, Patterns, 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 et al., year=2010 
LibreCat: /record/20258
DOI: 10.1109/computationworld.2009.9

@articleGrzablewicz_Kutyowski_Kutyowski_Pietkiewicz_2010, title=Robust Undetectable Interference Watermarks, DOI=10.1007/11424826_55, journal=ICCSA’05: Proceedings of the 2005 international conference on Computational Science and Its Applications, author=Grzablewicz, Ryszard and Kutyowski, Jarosaw and Kutyowski, Mirosaw and Pietkiewicz, Wojciech, year=2010 
LibreCat: /record/24282
DOI: 10.1007/11424826_55

@inproceedingsSchneider_Treharne_Wehrheim_2010, series=Lecture Notes in Computer Science, title=A CSP Approach to Control in Event-B, DOI=10.1007/978-3-642-16265-7_19, booktitle=Integrated Formal Methods - 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings, author=Schneider, Steve and Treharne, Helen and Wehrheim, Heike, editor=M\rquote ery, Dominique and Merz, StephanEditors, year=2010, pages=260--274, collection=Lecture Notes in Computer Science 
LibreCat: /record/3195
DOI: 10.1007/978-3-642-16265-7_19

@inproceedingsDräger_Kupriyanov_Finkbeiner_Wehrheim_2010, series=Lecture Notes in Computer Science, title=SLAB: A Certifying Model Checker for Infinite-State Concurrent Systems, DOI=10.1007/978-3-642-12002-2_22, 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, author=Dräger, Klaus and Kupriyanov, Andrey and Finkbeiner, Bernd and Wehrheim, Heike, editor=Esparza, Javier and Majumdar, RupakEditors, year=2010, pages=271--274, collection=Lecture Notes in Computer Science 
LibreCat: /record/3196
DOI: 10.1007/978-3-642-12002-2_22

@articleSteenken_Wehrheim_Wonisch_2010, title=Towards A Shape Analysis for Graph Transformation Systems, journal=CoRR, author=Steenken, Dominik and Wehrheim, Heike and Wonisch, Daniel, year=2010 
LibreCat: /record/3198

@inproceedingsWachsmuth_Prettenhofer_Stein_2010, title=Efficient Statement Identification for Automatic Market Forecasting, booktitle=Proceedings of the 23rd International Conference on Computational Linguistics (Coling 2010), author=Wachsmuth, Henning and Prettenhofer, Peter and Stein, Benno, year=2010, pages=1128–1136 
LibreCat: /record/3810

@inbookAckermann_Blömer_2010, place=Berlin, Heidelberg, series=Lecture Notes in Computer Science, title=Bregman Clustering for Separable Instances, DOI=10.1007/978-3-642-13731-0_21, booktitle=SWAT 2010, publisher=Springer Berlin Heidelberg, author=Ackermann, Marcel R. and Blömer, Johannes, year=2010, pages=212–223, collection=Lecture Notes in Computer Science 
LibreCat: /record/2988
DOI: 10.1007/978-3-642-13731-0_21

@articleAckermann_Blömer_Sohler_2010, title=Clustering for Metric and Nonmetric Distance Measures, DOI=10.1145/1824777.1824779, number=4, journal=ACM Trans. Algorithms, author=Ackermann, Marcel R. and Blömer, Johannes and Sohler, Christian, year=2010, pages=59:1--59:26 
LibreCat: /record/2990
DOI: 10.1145/1824777.1824779

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

@articleSchrieb_2010, series=Proceedings of the 3rd Western European Workshop on Research in Cryptology, title=Efficient and Compact CCA Security from Partitioned IBKEM, author=Schrieb, Jonas, year=2010, collection=Proceedings of the 3rd Western European Workshop on Research in Cryptology 
LibreCat: /record/2993

@inproceedingsSchäfer_Trächtler_Birattari_Blömer_Dorigo_Engels_O’Grady_Platzner_Rammig_Reif_2010, title=Engineering self-coordinating software intensive systems, DOI=10.1145/1882362.1882428, booktitle=Proceedings of the FSE/SDP workshop on Future of software engineering research - FoSER ’10, publisher=ACM Press, 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, year=2010 
LibreCat: /record/2994
DOI: 10.1145/1882362.1882428

@inproceedingsJager_Kohlar_Schäge_Schwenk_2010, title=Generic Compilers for Authenticated Key Exchange, DOI=10.1007/978-3-642-17373-8_14, 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, author=Jager, Tibor and Kohlar, Florian and Schäge, Sven and Schwenk, Jörg, year=2010, pages=232--249 
LibreCat: /record/3139
DOI: 10.1007/978-3-642-17373-8_14

@inproceedingsJager_Rupp_2010, title=The Semi-Generic Group Model and Applications to Pairing-Based Cryptography, DOI=10.1007/978-3-642-17373-8_31, 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, author=Jager, Tibor and Rupp, Andy, year=2010, pages=539--556 
LibreCat: /record/3140
DOI: 10.1007/978-3-642-17373-8_31

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