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.
1399 Publications
2011 | Journal Article | LibreCat-ID: 3184
Mechanically verified proof obligations for linearizability
J. Derrick, G. Schellhorn, H. Wehrheim, {ACM} Trans. Program. Lang. Syst. (2011) 4:1--4:43.
LibreCat
| DOI
J. Derrick, G. Schellhorn, H. Wehrheim, {ACM} Trans. Program. Lang. Syst. (2011) 4:1--4:43.
2011 | Conference Paper | LibreCat-ID: 3185
ReL: {A} Generic Refactoring Language for Specification and Execution
T. Ruhroth, H. Wehrheim, S. Ziegert, 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
T. Ruhroth, H. Wehrheim, S. Ziegert, in: 37th {EUROMICRO} Conference on Software Engineering and Advanced Applications, {SEAA} 2011, Oulu, Finland, August 30 - September 2, 2011, 2011, pp. 83--90.
2011 | Conference Paper | LibreCat-ID: 3186
Verifying Linearisability with Potential Linearisation Points
J. Derrick, G. Schellhorn, H. Wehrheim, in: M. J. Butler, W. Schulte (Eds.), {FM} 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings, 2011, pp. 323--337.
LibreCat
| DOI
J. Derrick, G. Schellhorn, H. Wehrheim, in: M. J. Butler, W. Schulte (Eds.), {FM} 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings, 2011, pp. 323--337.
2011 | Conference Paper | LibreCat-ID: 3187
Sound and Complete Abstract Graph Transformation
D. Steenken, H. Wehrheim, D. Wonisch, 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, 2011, pp. 92--107.
LibreCat
| DOI
D. Steenken, H. Wehrheim, D. Wonisch, 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, 2011, pp. 92--107.
2011 | Conference Paper | LibreCat-ID: 3188
A {CSP} Account of Event-B Refinement
S. Schneider, H. Treharne, H. Wehrheim, in: J. Derrick, E. A. Boiten, S. Reeves (Eds.), Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011., 2011, pp. 139--154.
LibreCat
| DOI
S. Schneider, H. Treharne, H. Wehrheim, in: J. Derrick, E. A. Boiten, S. Reeves (Eds.), Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011., 2011, pp. 139--154.
2011 | Conference Paper | LibreCat-ID: 26981
Zuverlässigkeitsorientierte Mehrzieloptimierung zur Aktorrekonfiguration eines X-by-wire-Fahrzeugs
C. Sondermann-Wölke, W. Sextro, P. Reinold, A. Trächtler, in: Technische Zuverlässigkeit TTZ, 2011.
LibreCat
C. Sondermann-Wölke, W. Sextro, P. Reinold, A. Trächtler, in: Technische Zuverlässigkeit TTZ, 2011.
2011 | Dissertation | LibreCat-ID: 26982
Eine Reduktionsmethode zur Ableitung elektromechanischer Ersatzmodelle für piezoelektrische Wandler unter Verwendung der Finite-Elemente- Methode (FEM)
R. Krol, Eine Reduktionsmethode Zur Ableitung Elektromechanischer Ersatzmodelle Für Piezoelektrische Wandler Unter Verwendung Der Finite-Elemente- Methode (FEM), Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 293, 2011.
LibreCat
R. Krol, Eine Reduktionsmethode Zur Ableitung Elektromechanischer Ersatzmodelle Für Piezoelektrische Wandler Unter Verwendung Der Finite-Elemente- Methode (FEM), Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 293, 2011.
2011 | Journal Article | LibreCat-ID: 27010
Associations between the macronutrient composition of the evening meal and average daily sleep duration in early childhood
K. Diethelm, T. Remer, H. Jilani, C. Kunz, A. Buyken, Clinical Nutrition (2011) 640–646.
LibreCat
| DOI
K. Diethelm, T. Remer, H. Jilani, C. Kunz, A. Buyken, Clinical Nutrition (2011) 640–646.
2011 | Journal Article | LibreCat-ID: 27011
Dietary glycaemic index and glycaemic load among Australian children and adolescents
J. Chun Yu Louie, A. Buyken, K. Heyer, V.M. Flood, British Journal of Nutrition (2011) 1273–1282.
LibreCat
| DOI
J. Chun Yu Louie, A. Buyken, K. Heyer, V.M. Flood, British Journal of Nutrition (2011) 1273–1282.
2011 | Journal Article | LibreCat-ID: 27068
Consumption of dietary salt measured by urinary sodium excretion and its association with body weight status in healthy children and adolescents
L. Libuda, M. Kersting, U. Alexy, Public Health Nutrition (2011) 433–441.
LibreCat
| DOI
L. Libuda, M. Kersting, U. Alexy, Public Health Nutrition (2011) 433–441.
2011 | Journal Article | LibreCat-ID: 27069
24h-Sodium excretion and hydration status in children and adolescents - Results of the DONALD Study
U. Alexy, G. Cheng, L. Libuda, A. Hilbig, M. Kersting, Clinical Nutrition (2011) 78–84.
LibreCat
| DOI
U. Alexy, G. Cheng, L. Libuda, A. Hilbig, M. Kersting, Clinical Nutrition (2011) 78–84.
2011 | Journal Article | LibreCat-ID: 27076
Ansätze der Übergewichtsprävention durch verbessertes Trinkverhalten im Setting Grundschule
R. Muckelbauer, L. Libuda, K. Clausen, M. Kersting, Bundesgesundheitsblatt - Gesundheitsforschung - Gesundheitsschutz (2011) 339–348.
LibreCat
| DOI
R. Muckelbauer, L. Libuda, K. Clausen, M. Kersting, Bundesgesundheitsblatt - Gesundheitsforschung - Gesundheitsschutz (2011) 339–348.
2011 | Working Paper | LibreCat-ID: 2734 | 
Trade Openness and Economic Growth: A Panel Causality Analysis
T. Gries, M. Redlin, Trade Openness and Economic Growth: A Panel Causality Analysis, Paderborn University, CIE Center for International Economics, 2011.
LibreCat
| Download (ext.)
T. Gries, M. Redlin, Trade Openness and Economic Growth: A Panel Causality Analysis, Paderborn University, CIE Center for International Economics, 2011.
2011 | Journal Article | LibreCat-ID: 27466
Perspektiven Digitaler Musikeditionen aus der Sicht des Edirom-Projekts
B. Bohl, J. Kepper, D. Röwenstrunk, DIE TONKUNST 5 (2011) 270–276.
LibreCat
B. Bohl, J. Kepper, D. Röwenstrunk, DIE TONKUNST 5 (2011) 270–276.
2011 | Book Chapter | LibreCat-ID: 27589
Fluids and children’s health.
R. Muckelbauer, L. Libuda, M. Kersting, in: Developing Children´s Food Products., Woodhead Publishing Limited , 2011.
LibreCat
R. Muckelbauer, L. Libuda, M. Kersting, in: Developing Children´s Food Products., Woodhead Publishing Limited , 2011.
2011 | Conference Paper | LibreCat-ID: 27622
Multi-touch, tangible and pen-based interaction in incident planning
K. Nebe, H.G. Fischer, F. Klompmaker, H. Jung, in: Oldenbourg Wissenschaftsverlag GmbH, M {\ "u} nchen, 2011, pp. 263–273.
LibreCat
K. Nebe, H.G. Fischer, F. Klompmaker, H. Jung, in: Oldenbourg Wissenschaftsverlag GmbH, M {\ "u} nchen, 2011, pp. 263–273.
2011 | Conference Paper | LibreCat-ID: 27623
Virtual Learning Spaces for Co-Active Learning
R. Keil, H. Selke, in: Proc. of Int. Conf. on Improving University Teaching, 2011, pp. 191–202.
LibreCat
R. Keil, H. Selke, in: Proc. of Int. Conf. on Improving University Teaching, 2011, pp. 191–202.
2011 | Conference Paper | LibreCat-ID: 27624
Multi-Touch Interaction for Disaster Management.}
V. Paelke, K. Nebe, F. Klompmaker, H. Jung, in: 2011.
LibreCat
V. Paelke, K. Nebe, F. Klompmaker, H. Jung, in: 2011.
2011 | Conference Paper | LibreCat-ID: 27625
Hypothesis- guided technology design as the basis of contextual computer science
R. Keil, in: A. Breiter, M. Wind (Eds.), Lit Verlag, M {\" u} nster, 2011, pp. 165–184.
LibreCat
R. Keil, in: A. Breiter, M. Wind (Eds.), Lit Verlag, M {\" u} nster, 2011, pp. 165–184.
2011 | Conference Paper | LibreCat-ID: 27626
Smart Fiducials: Advanced Tangible Interaction Techniques through Dynamic Visual Paterns
F. Klompmaker, Karsten Nebe, H. Jung, in: 2011.
LibreCat
F. Klompmaker, Karsten Nebe, H. Jung, in: 2011.