@inproceedingsWachsmuth_Stein_Engels_2011, title=Constructing Efficient Information Extraction Pipelines, booktitle=20th ACM International Conference on Information and Knowledge Management, author=Wachsmuth, Henning and Stein, Benno and Engels, Gregor, editor=Berendt, Bettina and de Vries, Arjen and Fan, Wenfei and Macdonald, Craig and Ounis, Iadh and Ruthven, IanEditors, year=2011, pages=2237–2240 
LibreCat: /record/3875

@bookMärtens_2011, title=The Monotone Complexity of Computing k-Clique on Random Graphs, author=Märtens, Marcus, year=2011 
LibreCat: /record/2902

@bookNaewe_2011, title=Algorithms for lattice problems with respect to general norms, publisher=Universität Paderborn, author=Naewe, Stefanie, year=2011 
LibreCat: /record/2910

@articleAckermann_Blömer_Scholz_2011, series=Electronic Colloquium on Computational Complexity (ECCC), title=Hardness and Non-Approximability of Bregman Clustering Problems., author=Ackermann, Marcel R and Blömer, Johannes and Scholz, Christoph, year=2011, collection=Electronic Colloquium on Computational Complexity (ECCC) 
LibreCat: /record/2985

@inbookBlömer_2011, place=Berlin, Heidelberg, title=How to Share a Secret, DOI=10.1007/978-3-642-15328-0_17, booktitle=Algorithms Unplugged, publisher=Springer Berlin Heidelberg, author=Blömer, Johannes, year=2011, pages=159–168 
LibreCat: /record/2986
DOI: 10.1007/978-3-642-15328-0_17

@articleBlömer_Naewe_2011, title=Solving the Closest Vector Problem with respect to Lp Norms, journal=arXiv:1104.3720, author=Blömer, Johannes and Naewe, Stefanie, year=2011 
LibreCat: /record/2987

@inproceedingsHofheinz_Jager_Kiltz_2011, title=Short Signatures from Weaker Assumptions, DOI=10.1007/978-3-642-25385-0_35, booktitle=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, author=Hofheinz, Dennis and Jager, Tibor and Kiltz, Eike, year=2011, pages=647--666 
LibreCat: /record/3137
DOI: 10.1007/978-3-642-25385-0_35

@inproceedingsJager_Somorovsky_2011, title=How to break XML encryption, DOI=10.1145/2046707.2046756, booktitle=Proceedings of the 18th ACM Conference on Computer and Communications Security, CCS 2011, Chicago, Illinois, USA, October 17-21, 2011, author=Jager, Tibor and Somorovsky, Juraj, year=2011, pages=413--422 
LibreCat: /record/3138
DOI: 10.1145/2046707.2046756

@articleSchneider_Treharne_Wehrheim_2011, title=Bounded Retransmission in Event-B\'70arallelCSP: a Case Study, DOI=10.1016/j.entcs.2011.11.019, journal=Electr. Notes Theor. Comput. Sci., author=Schneider, Steve and Treharne, Helen and Wehrheim, Heike, year=2011, pages=69--80 
LibreCat: /record/3183
DOI: 10.1016/j.entcs.2011.11.019

@articleDerrick_Schellhorn_Wehrheim_2011, title=Mechanically verified proof obligations for linearizability, DOI=10.1145/1889997.1890001, number=1, journal=ACM Trans. Program. Lang. Syst., author=Derrick, John and Schellhorn, Gerhard and Wehrheim, Heike, year=2011, pages=4:1--4:43 
LibreCat: /record/3184
DOI: 10.1145/1889997.1890001

@inproceedingsRuhroth_Wehrheim_Ziegert_2011, title=ReL: A Generic Refactoring Language for Specification and Execution, DOI=10.1109/SEAA.2011.22, booktitle=37th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2011, Oulu, Finland, August 30 - September 2, 2011, author=Ruhroth, Thomas and Wehrheim, Heike and Ziegert, Steffen, year=2011, pages=83--90 
LibreCat: /record/3185
DOI: 10.1109/SEAA.2011.22

@inproceedingsDerrick_Schellhorn_Wehrheim_2011, series=Lecture Notes in Computer Science, title=Verifying Linearisability with Potential Linearisation Points, DOI=10.1007/978-3-642-21437-0_25, booktitle=FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings, author=Derrick, John and Schellhorn, Gerhard and Wehrheim, Heike, editor=J. Butler, Michael and Schulte, WolframEditors, year=2011, pages=323--337, collection=Lecture Notes in Computer Science 
LibreCat: /record/3186
DOI: 10.1007/978-3-642-21437-0_25

@inproceedingsSteenken_Wehrheim_Wonisch_2011, series=Lecture Notes in Computer Science, title=Sound and Complete Abstract Graph Transformation, DOI=10.1007/978-3-642-25032-3_7, booktitle=Formal Methods, Foundations and Applications - 14th Brazilian Symposium, SBMF 2011, S\'7eao Paulo, Brazil, September 26-30, 2011, Revised Selected Papers, author=Steenken, Dominik and Wehrheim, Heike and Wonisch, Daniel, editor=da Silva Sim\'7eao, Adenilso and Morgan, CarrollEditors, year=2011, pages=92--107, collection=Lecture Notes in Computer Science 
LibreCat: /record/3187
DOI: 10.1007/978-3-642-25032-3_7

@inproceedingsSchneider_Treharne_Wehrheim_2011, series=EPTCS, title=A CSP Account of Event-B Refinement, DOI=10.4204/EPTCS.55.9, booktitle=Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011., author=Schneider, Steve and Treharne, Helen and Wehrheim, Heike, editor=Derrick, John and A. Boiten, Eerke and Reeves, SteveEditors, year=2011, pages=139--154, collection=EPTCS 
LibreCat: /record/3188
DOI: 10.4204/EPTCS.55.9

@inproceedingsNebe_Fischer_Klompmaker_Jung_2011, title=Multi-touch, tangible and pen-based interaction in incident planning, publisher=Oldenbourg Wissenschaftsverlag GmbH, M  "u nchen, author=Nebe, Karsten and Fischer, Holger Gerhard and Klompmaker, Florian  and Jung, Helge, year=2011, pages=263–273 
LibreCat: /record/27622

@inproceedingsKeil_Selke_2011, title=Virtual Learning Spaces for Co-Active Learning, booktitle=Proc. of Int. Conf. on Improving University Teaching, author=Keil, Reinhard and Selke, Harald, year=2011, pages=191–202 
LibreCat: /record/27623

@inproceedingsPaelke_Nebe_Klompmaker_Jung_2011, title=Multi-Touch Interaction for Disaster Management., author=Paelke, Volker and Nebe, Karsten and Klompmaker, Florian and Jung, Helge, year=2011 
LibreCat: /record/27624

@inproceedingsKeil_2011, title=Hypothesis- guided technology design as the basis of contextual computer science, publisher=Lit Verlag, M \'22 u nster, author=Keil, Reinhard, editor=Breiter, A and Wind, M, year=2011, pages=165–184 
LibreCat: /record/27625

@inproceedingsKlompmaker_Nebe_Jung_2011, title=Smart Fiducials: Advanced Tangible Interaction Techniques through Dynamic Visual Paterns, author=Klompmaker, Florian and Nebe,  Karsten and Jung, H, year=2011 
LibreCat: /record/27626

@inproceedingsKlompmaker_Nebe _Busch_Willemsen_2011, title=User Centered Design Process of OSAMI-D: Developing User Interfaces for a Remote Ergometer Training Application, booktitle=Proceedings of the International Conference on Health Informatics, author=Klompmaker, Florian  and Nebe,  Karsten and  Busch, Clemens and Willemsen,  Detlev, year=2011 
LibreCat: /record/27627