H. Wachsmuth, B. Stein, and G. Engels, “Constructing Efficient Information Extraction Pipelines,” in 20th ACM International Conference on Information and Knowledge Management, 2011, pp. 2237–2240.
LibreCat: /record/3875

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

S. Naewe, Algorithms for lattice problems with respect to general norms. Universität Paderborn, 2011.
LibreCat: /record/2910

M. R. Ackermann, J. Blömer, and C. Scholz, “Hardness and Non-Approximability of Bregman Clustering Problems.” 2011.
LibreCat: /record/2985

J. Blömer, “How to Share a Secret,” in Algorithms Unplugged, Berlin, Heidelberg: Springer Berlin Heidelberg, 2011, pp. 159–168.
LibreCat: /record/2986
DOI: 10.1007/978-3-642-15328-0_17

J. Blömer and S. Naewe, “Solving the Closest Vector Problem with respect to Lp Norms,” arXiv:1104.3720. 2011.
LibreCat: /record/2987

D. Hofheinz, T. Jager, and E. Kiltz, “Short Signatures from Weaker Assumptions,” 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, 2011, pp. 647--666.
LibreCat: /record/3137
DOI: 10.1007/978-3-642-25385-0_35

T. Jager and J. Somorovsky, “How to break XML encryption,” in Proceedings of the 18th ACM Conference on Computer and Communications Security, CCS 2011, Chicago, Illinois, USA, October 17-21, 2011, 2011, pp. 413--422.
LibreCat: /record/3138
DOI: 10.1145/2046707.2046756

S. Schneider, H. Treharne, and H. Wehrheim, “Bounded Retransmission in Event-B\'70arallelCSP: a Case Study,” Electr. Notes Theor. Comput. Sci., pp. 69--80, 2011.
LibreCat: /record/3183
DOI: 10.1016/j.entcs.2011.11.019

J. Derrick, G. Schellhorn, and H. Wehrheim, “Mechanically verified proof obligations for linearizability,” ACM Trans. Program. Lang. Syst., no. 1, pp. 4:1--4:43, 2011.
LibreCat: /record/3184
DOI: 10.1145/1889997.1890001

T. Ruhroth, H. Wehrheim, and S. Ziegert, “ReL: A Generic Refactoring Language for Specification and Execution,” in 37th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2011, Oulu, Finland, August 30 - September 2, 2011, 2011, pp. 83--90.
LibreCat: /record/3185
DOI: 10.1109/SEAA.2011.22

J. Derrick, G. Schellhorn, and H. Wehrheim, “Verifying Linearisability with Potential Linearisation Points,” in FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings, 2011, pp. 323--337.
LibreCat: /record/3186
DOI: 10.1007/978-3-642-21437-0_25

D. Steenken, H. Wehrheim, and D. Wonisch, “Sound and Complete Abstract Graph Transformation,” in Formal Methods, Foundations and Applications - 14th Brazilian Symposium, SBMF 2011, S\'7eao Paulo, Brazil, September 26-30, 2011, Revised Selected Papers, 2011, pp. 92--107.
LibreCat: /record/3187
DOI: 10.1007/978-3-642-25032-3_7

S. Schneider, H. Treharne, and H. Wehrheim, “A CSP Account of Event-B Refinement,” in Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011., 2011, pp. 139--154.
LibreCat: /record/3188
DOI: 10.4204/EPTCS.55.9

K. Nebe, H. G. Fischer, F. Klompmaker, and H. Jung, “Multi-touch, tangible and pen-based interaction in incident planning,” 2011, pp. 263–273.
LibreCat: /record/27622

R. Keil and H. Selke, “Virtual Learning Spaces for Co-Active Learning,” in Proc. of Int. Conf. on Improving University Teaching, 2011, pp. 191–202.
LibreCat: /record/27623

V. Paelke, K. Nebe, F. Klompmaker, and H. Jung, “Multi-Touch Interaction for Disaster Management.,” 2011.
LibreCat: /record/27624

R. Keil, “Hypothesis- guided technology design as the basis of contextual computer science,” 2011, pp. 165–184.
LibreCat: /record/27625

F. Klompmaker,  Karsten Nebe, and H. Jung, “Smart Fiducials: Advanced Tangible Interaction Techniques through Dynamic Visual Paterns,” 2011.
LibreCat: /record/27626

F. Klompmaker,  Karsten Nebe, C.  Busch, and  Detlev Willemsen, “User Centered Design Process of OSAMI-D: Developing User Interfaces for a Remote Ergometer Training Application,” 2011.
LibreCat: /record/27627