@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 

@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 

@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 

@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 

@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 

@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 

@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 

@inproceedingsSondermann-Wölke_Sextro_Reinold_Trächtler_2011, title=Zuverlässigkeitsorientierte Mehrzieloptimierung zur Aktorrekonfiguration eines X-by-wire-Fahrzeugs, booktitle=Technische Zuverlässigkeit –TTZ, author=Sondermann-Wölke, Christoph and Sextro, Walter and Reinold, Peter and Trächtler, Ansgar, year=2011 

@bookKrol_2011, title=Eine Reduktionsmethode zur Ableitung elektromechanischer Ersatzmodelle für piezoelektrische Wandler unter Verwendung der Finite-Elemente- Methode (FEM), volume=Band 293, publisher=Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 293, author=Krol, Rafal, year=2011 

@articleDiethelm_Remer_Jilani_Kunz_Buyken_2011, title=Associations between the macronutrient composition of the evening meal and average daily sleep duration in early childhood, DOI=10.1016/j.clnu.2011.05.004, journal=Clinical Nutrition, author=Diethelm, Katharina and Remer, Thomas and Jilani, Hannah and Kunz, Clemens and Buyken, Anette, year=2011, pages=640–646 

@articleChun Yu Louie_Buyken_Heyer_Flood_2011, title=Dietary glycaemic index and glycaemic load among Australian children and adolescents, DOI=10.1017/s0007114511001577, journal=British Journal of Nutrition, author=Chun Yu Louie, Jimmy and Buyken, Anette and Heyer, Kristina and Flood, Victoria M., year=2011, pages=1273–1282 

@articleLibuda_Kersting_Alexy_2011, title=Consumption of dietary salt measured by urinary sodium excretion and its association with body weight status in healthy children and adolescents, DOI=10.1017/s1368980011002138, journal=Public Health Nutrition, author=Libuda, Lars and Kersting, Mathilde and Alexy, Ute, year=2011, pages=433–441 

@articleAlexy_Cheng_Libuda_Hilbig_Kersting_2011, title=24h-Sodium excretion and hydration status in children and adolescents - Results of the DONALD Study, DOI=10.1016/j.clnu.2011.08.014, journal=Clinical Nutrition, author=Alexy, Ute and Cheng, Guo and Libuda, Lars and Hilbig, Annett and Kersting, Mathilde, year=2011, pages=78–84 

@articleMuckelbauer_Libuda_Clausen_Kersting_2011, title=Ansätze der Übergewichtsprävention durch verbessertes Trinkverhalten im Setting Grundschule, DOI=10.1007/s00103-010-1224-7, journal=Bundesgesundheitsblatt - Gesundheitsforschung - Gesundheitsschutz, author=Muckelbauer, R. and Libuda, Lars and Clausen, K. and Kersting, M., year=2011, pages=339–348 

@bookGries_Redlin_2011, series=Working Papers CIE, title=Trade Openness and Economic Growth: A Panel Causality Analysis, volume=2011–06, publisher=Paderborn University, CIE Center for International Economics, author=Gries, Thomas and Redlin, Margarete, year=2011, collection=Working Papers CIE 

@articleBohl_Kepper_Röwenstrunk_2011, title=Perspektiven Digitaler Musikeditionen aus der Sicht des Edirom-Projekts, volume=5, number=3, journal=DIE TONKUNST, author=Bohl, Benjamin and Kepper, Johannes and Röwenstrunk, Daniel, year=2011, pages=270–276 

@inbookMuckelbauer_Libuda_Kersting_2011, title=Fluids and children’s health. , booktitle=Developing Children´s Food Products., publisher=Woodhead Publishing Limited , author=Muckelbauer, R. and Libuda, Lars and Kersting, M., year=2011 

@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 

@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 

@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