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
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 | DOI
 

2011 | Journal Article | LibreCat-ID: 3183
S. Schneider, H. Treharne, and H. Wehrheim, “Bounded Retransmission in Event-B{\(\parallel\)}CSP: a Case Study,” Electr. Notes Theor. Comput. Sci., pp. 69--80, 2011.
LibreCat | DOI
 

2011 | Journal Article | LibreCat-ID: 3184
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 | DOI
 

2011 | Conference Paper | LibreCat-ID: 3185
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 | DOI
 

2011 | Conference Paper | LibreCat-ID: 3186
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 | DOI
 

2011 | Conference Paper | LibreCat-ID: 3187
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{\~{a}}o Paulo, Brazil, September 26-30, 2011, Revised Selected Papers, 2011, pp. 92--107.
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 3188
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 | DOI
 

2011 | Conference Paper | LibreCat-ID: 26981
C. Sondermann-Wölke, W. Sextro, P. Reinold, and A. Trächtler, “Zuverlässigkeitsorientierte Mehrzieloptimierung zur Aktorrekonfiguration eines X-by-wire-Fahrzeugs,” 2011.
LibreCat
 

2011 | Dissertation | LibreCat-ID: 26982
R. Krol, 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
K. Diethelm, T. Remer, H. Jilani, C. Kunz, and A. Buyken, “Associations between the macronutrient composition of the evening meal and average daily sleep duration in early childhood,” Clinical Nutrition, pp. 640–646, 2011, doi: 10.1016/j.clnu.2011.05.004.
LibreCat | DOI
 

2011 | Journal Article | LibreCat-ID: 27011
J. Chun Yu Louie, A. Buyken, K. Heyer, and V. M. Flood, “Dietary glycaemic index and glycaemic load among Australian children and adolescents,” British Journal of Nutrition, pp. 1273–1282, 2011, doi: 10.1017/s0007114511001577.
LibreCat | DOI
 

2011 | Journal Article | LibreCat-ID: 27068
L. Libuda, M. Kersting, and U. Alexy, “Consumption of dietary salt measured by urinary sodium excretion and its association with body weight status in healthy children and adolescents,” Public Health Nutrition, pp. 433–441, 2011, doi: 10.1017/s1368980011002138.
LibreCat | DOI
 

2011 | Journal Article | LibreCat-ID: 27069
U. Alexy, G. Cheng, L. Libuda, A. Hilbig, and M. Kersting, “24h-Sodium excretion and hydration status in children and adolescents - Results of the DONALD Study,” Clinical Nutrition, pp. 78–84, 2011, doi: 10.1016/j.clnu.2011.08.014.
LibreCat | DOI
 

2011 | Journal Article | LibreCat-ID: 27076
R. Muckelbauer, L. Libuda, K. Clausen, and M. Kersting, “Ansätze der Übergewichtsprävention durch verbessertes Trinkverhalten im Setting Grundschule,” Bundesgesundheitsblatt - Gesundheitsforschung - Gesundheitsschutz, pp. 339–348, 2011, doi: 10.1007/s00103-010-1224-7.
LibreCat | DOI
 

2011 | Working Paper | LibreCat-ID: 2734 | OA
T. Gries and M. Redlin, 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
B. Bohl, J. Kepper, and D. Röwenstrunk, “Perspektiven Digitaler Musikeditionen aus der Sicht des Edirom-Projekts,” DIE TONKUNST, vol. 5, no. 3, pp. 270–276, 2011.
LibreCat
 

2011 | Book Chapter | LibreCat-ID: 27589
R. Muckelbauer, L. Libuda, and M. Kersting, “Fluids and children’s health. ,” in Developing Children´s Food Products., Woodhead Publishing Limited , 2011.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 27622
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
 

2011 | Conference Paper | LibreCat-ID: 27623
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
 

2011 | Conference Paper | LibreCat-ID: 27624
V. Paelke, K. Nebe, F. Klompmaker, and H. Jung, “Multi-Touch Interaction for Disaster Management.},” 2011.
LibreCat
 

Filters and Search Terms

year=2011

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed