Esau, Natascha, and Lisa Kleinjohann. “Emotional Robot Competence and Its Use in Robot Behavior Control.” In Emotional Engineering, 119–42. Springer-Verlag London, 2011.
LibreCat: /record/26792

Jungmann, Alexander, Jan Lutterbeck, Benjamin Werdehausen, Bernd Kleinjohann, and Lisa Kleinjohann. “Towards a Real-World Scenario for Investigating Organic Computing Principles in Heterogeneous Societies of Robots.” In Proceedings of the 2011 Workshop on Organic Computing, 41–50. ACM, 2011.
LibreCat: /record/26794

Jungmann, Alexander, Bernd Kleinjohann, and Willi Richert. “A Fast Hierarchical Learning Approach for Autonomous Robots.”https://doi.org/10.1007/978-3-0348-0130-0_36__In Organic Computing — A Paradigm Shift for Complex Systems, Autonomic Systems, 545–58. Springer Basel, 2011.https://doi.org/10.1007/978-3-0348-0130-0_36 .
LibreCat: /record/26805
DOI: 10.1007/978-3-0348-0130-0_36

Jungmann, Alexander, Bernd Kleinjohann, and Willi Richert. “Increasing Learning Speed by Imitation in Multi-Robot Societies.”https://doi.org/10.1007/978-3-0348-0130-0_19__In Organic Computing — A Paradigm Shift for Complex Systems, Autonomic Systems, Band 1 , 295–307. Springer Basel, 2011.https://doi.org/10.1007/978-3-0348-0130-0_19 .
LibreCat: /record/26810
DOI: 10.1007/978-3-0348-0130-0_19

Wachsmuth, Henning, and Kathrin Bujna. “Back to the Roots of Genres: Text Classification by Language Function.” In Proceedings of 5th International Joint Conference on Natural Language Processing, edited by Bettina Berendt, Arjen de Vries, Wenfei Fan, Craig Macdonald, Iadh Ounis, and Ian Ruthven, 632–40, 2011.
LibreCat: /record/3811

Wachsmuth, Henning, Benno Stein, and Gregor Engels. “Constructing Efficient Information Extraction Pipelines.” In 20th ACM International Conference on Information and Knowledge Management, edited by Bettina Berendt, Arjen de Vries, Wenfei Fan, Craig Macdonald, Iadh Ounis, and Ian Ruthven, 2237–40, 2011.
LibreCat: /record/3875

Märtens, Marcus. The Monotone Complexity of Computing K-Clique on Random Graphs, 2011.
LibreCat: /record/2902

Naewe, Stefanie. Algorithms for Lattice Problems with Respect to General Norms. Universität Paderborn, 2011.
LibreCat: /record/2910

Ackermann, Marcel R, Johannes Blömer, and Christoph Scholz. “Hardness and Non-Approximability of Bregman Clustering Problems.” Electronic Colloquium on Computational Complexity (ECCC), 2011.
LibreCat: /record/2985

Blömer, Johannes. “How to Share a Secret.”https://doi.org/10.1007/978-3-642-15328-0_17__In Algorithms Unplugged, 159–68. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011.https://doi.org/10.1007/978-3-642-15328-0_17 .
LibreCat: /record/2986
DOI: 10.1007/978-3-642-15328-0_17

Blömer, Johannes, and Stefanie Naewe. “Solving the Closest Vector Problem with Respect to Lp Norms.” ArXiv:1104.3720, 2011.
LibreCat: /record/2987

Hofheinz, Dennis, Tibor Jager, and Eike Kiltz. “Short Signatures from Weaker Assumptions.”https://doi.org/10.1007/978-3-642-25385-0_35__In Advances in Cryptology - ASIACRYPT 2011 - 17th International Conference on the Theory and Application of Cryptology and Information Security, Seoul, South Korea, December 4-8, 2011. Proceedings, 647--666, 2011.https://doi.org/10.1007/978-3-642-25385-0_35 .
LibreCat: /record/3137
DOI: 10.1007/978-3-642-25385-0_35

Jager, Tibor, and Juraj Somorovsky. “How to Break XML Encryption.”https://doi.org/10.1145/2046707.2046756__In Proceedings of the 18th ACM Conference on Computer and Communications Security, CCS 2011, Chicago, Illinois, USA, October 17-21, 2011, 413--422, 2011.https://doi.org/10.1145/2046707.2046756 .
LibreCat: /record/3138
DOI: 10.1145/2046707.2046756

Schneider, Steve, Helen Treharne, and Heike Wehrheim. “Bounded Retransmission in Event-B\'70arallelCSP: A Case Study.”https://doi.org/10.1016/j.entcs.2011.11.019__Electr. Notes Theor. Comput. Sci., 2011, 69--80.https://doi.org/10.1016/j.entcs.2011.11.019 .
LibreCat: /record/3183
DOI: 10.1016/j.entcs.2011.11.019

Derrick, John, Gerhard Schellhorn, and Heike Wehrheim. “Mechanically Verified Proof Obligations for Linearizability.”https://doi.org/10.1145/1889997.1890001__ACM Trans. Program. Lang. Syst., no. 1 (2011): 4:1--4:43.https://doi.org/10.1145/1889997.1890001 .
LibreCat: /record/3184
DOI: 10.1145/1889997.1890001

Ruhroth, Thomas, Heike Wehrheim, and Steffen Ziegert. “ReL: A Generic Refactoring Language for Specification and Execution.”https://doi.org/10.1109/SEAA.2011.22__In 37th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2011, Oulu, Finland, August 30 - September 2, 2011, 83--90, 2011.https://doi.org/10.1109/SEAA.2011.22 .
LibreCat: /record/3185
DOI: 10.1109/SEAA.2011.22

Derrick, John, Gerhard Schellhorn, and Heike Wehrheim. “Verifying Linearisability with Potential Linearisation Points.”https://doi.org/10.1007/978-3-642-21437-0_25__In FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings, edited by Michael J. Butler and Wolfram Schulte, 323--337. Lecture Notes in Computer Science, 2011.https://doi.org/10.1007/978-3-642-21437-0_25 .
LibreCat: /record/3186
DOI: 10.1007/978-3-642-21437-0_25

Steenken, Dominik, Heike Wehrheim, and Daniel Wonisch. “Sound and Complete Abstract Graph Transformation.”https://doi.org/10.1007/978-3-642-25032-3_7__In Formal Methods, Foundations and Applications - 14th Brazilian Symposium, SBMF 2011, S\'7eao Paulo, Brazil, September 26-30, 2011, Revised Selected Papers, edited by Adenilso da Silva Sim\'7eao and Carroll Morgan, 92--107. Lecture Notes in Computer Science, 2011.https://doi.org/10.1007/978-3-642-25032-3_7 .
LibreCat: /record/3187
DOI: 10.1007/978-3-642-25032-3_7

Schneider, Steve, Helen Treharne, and Heike Wehrheim. “A CSP Account of Event-B Refinement.”https://doi.org/10.4204/EPTCS.55.9__In Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011., edited by John Derrick, Eerke A. Boiten, and Steve Reeves, 139--154. EPTCS, 2011.https://doi.org/10.4204/EPTCS.55.9 .
LibreCat: /record/3188
DOI: 10.4204/EPTCS.55.9

Nebe, Karsten, Holger Gerhard Fischer, Florian  Klompmaker, and Helge Jung. “Multi-Touch, Tangible and Pen-Based Interaction in Incident Planning,” 263–73. Oldenbourg Wissenschaftsverlag GmbH, M  "u nchen, 2011.
LibreCat: /record/27622