Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
1363 Publications
2011 | Conference Paper | LibreCat-ID: 3138
Jager T, Somorovsky J. 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:413--422. doi:10.1145/2046707.2046756
LibreCat
| DOI
2011 | Journal Article | LibreCat-ID: 3183
Schneider S, Treharne H, Wehrheim H. Bounded Retransmission in Event-B{\(\parallel\)}CSP: a Case Study. Electr Notes Theor Comput Sci. 2011:69--80. doi:10.1016/j.entcs.2011.11.019
LibreCat
| DOI
2011 | Journal Article | LibreCat-ID: 3184
Derrick J, Schellhorn G, Wehrheim H. Mechanically verified proof obligations for linearizability. {ACM} Trans Program Lang Syst. 2011;(1):4:1--4:43. doi:10.1145/1889997.1890001
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 3185
Ruhroth T, Wehrheim H, Ziegert S. 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:83--90. doi:10.1109/SEAA.2011.22
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 3186
Derrick J, Schellhorn G, Wehrheim H. Verifying Linearisability with Potential Linearisation Points. In: J. Butler M, Schulte W, eds. {FM} 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings. Lecture Notes in Computer Science. ; 2011:323--337. doi:10.1007/978-3-642-21437-0_25
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 3187
Steenken D, Wehrheim H, Wonisch D. Sound and Complete Abstract Graph Transformation. In: da Silva Sim{\~{a}}o A, Morgan C, eds. Formal Methods, Foundations and Applications - 14th Brazilian Symposium, {SBMF} 2011, S{\~{a}}o Paulo, Brazil, September 26-30, 2011, Revised Selected Papers. Lecture Notes in Computer Science. ; 2011:92--107. doi:10.1007/978-3-642-25032-3_7
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 3188
Schneider S, Treharne H, Wehrheim H. A {CSP} Account of Event-B Refinement. In: Derrick J, A. Boiten E, Reeves S, eds. Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011. {EPTCS}. ; 2011:139--154. doi:10.4204/EPTCS.55.9
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 26981
Sondermann-Wölke C, Sextro W, Reinold P, Trächtler A. Zuverlässigkeitsorientierte Mehrzieloptimierung zur Aktorrekonfiguration eines X-by-wire-Fahrzeugs. In: Technische Zuverlässigkeit TTZ. ; 2011.
LibreCat
2011 | Dissertation | LibreCat-ID: 26982
Krol R. Eine Reduktionsmethode Zur Ableitung Elektromechanischer Ersatzmodelle Für Piezoelektrische Wandler Unter Verwendung Der Finite-Elemente- Methode (FEM). Vol Band 293. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 293; 2011.
LibreCat
2011 | Journal Article | LibreCat-ID: 27010
Diethelm K, Remer T, Jilani H, Kunz C, Buyken A. Associations between the macronutrient composition of the evening meal and average daily sleep duration in early childhood. Clinical Nutrition. Published online 2011:640-646. doi:10.1016/j.clnu.2011.05.004
LibreCat
| DOI
2011 | Journal Article | LibreCat-ID: 27011
Chun Yu Louie J, Buyken A, Heyer K, Flood VM. Dietary glycaemic index and glycaemic load among Australian children and adolescents. British Journal of Nutrition. Published online 2011:1273-1282. doi:10.1017/s0007114511001577
LibreCat
| DOI
2011 | Journal Article | LibreCat-ID: 27068
Libuda L, Kersting M, Alexy U. Consumption of dietary salt measured by urinary sodium excretion and its association with body weight status in healthy children and adolescents. Public Health Nutrition. Published online 2011:433-441. doi:10.1017/s1368980011002138
LibreCat
| DOI
2011 | Journal Article | LibreCat-ID: 27069
Alexy U, Cheng G, Libuda L, Hilbig A, Kersting M. 24h-Sodium excretion and hydration status in children and adolescents - Results of the DONALD Study. Clinical Nutrition. Published online 2011:78-84. doi:10.1016/j.clnu.2011.08.014
LibreCat
| DOI
2011 | Journal Article | LibreCat-ID: 27076
Muckelbauer R, Libuda L, Clausen K, Kersting M. Ansätze der Übergewichtsprävention durch verbessertes Trinkverhalten im Setting Grundschule. Bundesgesundheitsblatt - Gesundheitsforschung - Gesundheitsschutz. Published online 2011:339-348. doi:10.1007/s00103-010-1224-7
LibreCat
| DOI
2011 | Working Paper | LibreCat-ID: 2734 | 
Gries T, Redlin M. Trade Openness and Economic Growth: A Panel Causality Analysis. Vol 2011-06. Paderborn University, CIE Center for International Economics; 2011.
LibreCat
| Download (ext.)
2011 | Journal Article | LibreCat-ID: 27466
Bohl B, Kepper J, Röwenstrunk D. Perspektiven Digitaler Musikeditionen aus der Sicht des Edirom-Projekts. DIE TONKUNST. 2011;5(3):270-276.
LibreCat
2011 | Book Chapter | LibreCat-ID: 27589
Muckelbauer R, Libuda L, Kersting M. Fluids and children’s health. . In: Developing Children´s Food Products. Woodhead Publishing Limited ; 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27622
Nebe K, Fischer HG, Klompmaker F, Jung H. Multi-touch, tangible and pen-based interaction in incident planning. In: Oldenbourg Wissenschaftsverlag GmbH, M {\ "u} nchen; 2011:263-273.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27623
Keil R, Selke H. Virtual Learning Spaces for Co-Active Learning. In: Proc. of Int. Conf. on Improving University Teaching. ; 2011:191-202.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27624
Paelke V, Nebe K, Klompmaker F, Jung H. Multi-Touch Interaction for Disaster Management.}. In: ; 2011.
LibreCat