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