Gnokam Defo, Gilles Bertrand, and Wolfgang Müller. “Synchronisation Eines SystemC Restbus-Simulators Mit Einem Hardware-In-the-Loop FlexRay Netzwerk.” In Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV), 2011.

Khaluf, Lial, Christian Gerth, and Gregor Engels. “Pattern-Based Modeling and Formalizing of Business Process Quality Constraints.” In Proceedings of the 23rd International Conference on Advanced Information Systems Engineering (CAiSE’11), 521–35. Springer Verlag, 2011.

Kuznik, Christoph, and Wolfgang Müller. “Native Binary Mutation Analysis for Embedded Software and Virtual Prototypes in SystemC.” In Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing, 2011.

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

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.

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 .

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 .

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.

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.

Märtens, Marcus. The Monotone Complexity of Computing K-Clique on Random Graphs, 2011.

Naewe, Stefanie. Algorithms for Lattice Problems with Respect to General Norms. Universität Paderborn, 2011.

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

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 .

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

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 .

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 .

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 .

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 .

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 .

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 .