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
Derrick, John, Gerhard Schellhorn, and Heike Wehrheim. “Mechanically Verified Proof Obligations for Linearizability.” {ACM} Trans. Program. Lang. Syst., no. 1 (2011): 4:1--4:43. https://doi.org/10.1145/1889997.1890001.
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 3185
Ruhroth, Thomas, Heike Wehrheim, and Steffen 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, 83--90, 2011. https://doi.org/10.1109/SEAA.2011.22.
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 3186
Derrick, John, Gerhard Schellhorn, and Heike 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, edited by Michael J. Butler and Wolfram Schulte, 323--337. Lecture Notes in Computer Science, 2011. https://doi.org/10.1007/978-3-642-21437-0_25.
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 3187
Steenken, Dominik, Heike Wehrheim, and Daniel 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, edited by Adenilso da Silva Sim{\~{a}}o and Carroll Morgan, 92--107. Lecture Notes in Computer Science, 2011. https://doi.org/10.1007/978-3-642-25032-3_7.
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 3188
Schneider, Steve, Helen Treharne, and Heike Wehrheim. “A {CSP} Account of Event-B Refinement.” In Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011., edited by John Derrick, Eerke A. Boiten, and Steve Reeves, 139--154. {EPTCS}, 2011. https://doi.org/10.4204/EPTCS.55.9.
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 26981
Sondermann-Wölke, Christoph, Walter Sextro, Peter Reinold, and Ansgar Trächtler. “Zuverlässigkeitsorientierte Mehrzieloptimierung Zur Aktorrekonfiguration Eines X-by-Wire-Fahrzeugs.” In Technische Zuverlässigkeit TTZ, 2011.
LibreCat
2011 | Dissertation | LibreCat-ID: 26982
Krol, Rafal. 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, Katharina, Thomas Remer, Hannah Jilani, Clemens Kunz, and Anette Buyken. “Associations between the Macronutrient Composition of the Evening Meal and Average Daily Sleep Duration in Early Childhood.” Clinical Nutrition, 2011, 640–46. https://doi.org/10.1016/j.clnu.2011.05.004.
LibreCat
| DOI
2011 | Journal Article | LibreCat-ID: 27011
Chun Yu Louie, Jimmy, Anette Buyken, Kristina Heyer, and Victoria M. Flood. “Dietary Glycaemic Index and Glycaemic Load among Australian Children and Adolescents.” British Journal of Nutrition, 2011, 1273–82. https://doi.org/10.1017/s0007114511001577.
LibreCat
| DOI
2011 | Journal Article | LibreCat-ID: 27068
Libuda, Lars, Mathilde Kersting, and Ute 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, 2011, 433–41. https://doi.org/10.1017/s1368980011002138.
LibreCat
| DOI
2011 | Journal Article | LibreCat-ID: 27069
Alexy, Ute, Guo Cheng, Lars Libuda, Annett Hilbig, and Mathilde Kersting. “24h-Sodium Excretion and Hydration Status in Children and Adolescents - Results of the DONALD Study.” Clinical Nutrition, 2011, 78–84. https://doi.org/10.1016/j.clnu.2011.08.014.
LibreCat
| DOI
2011 | Journal Article | LibreCat-ID: 27076
Muckelbauer, R., Lars Libuda, K. Clausen, and M. Kersting. “Ansätze der Übergewichtsprävention durch verbessertes Trinkverhalten im Setting Grundschule.” Bundesgesundheitsblatt - Gesundheitsforschung - Gesundheitsschutz, 2011, 339–48. https://doi.org/10.1007/s00103-010-1224-7.
LibreCat
| DOI
2011 | Working Paper | LibreCat-ID: 2734 | 
Gries, Thomas, and Margarete Redlin. Trade Openness and Economic Growth: A Panel Causality Analysis. Vol. 2011–06. Working Papers CIE. Paderborn University, CIE Center for International Economics, 2011.
LibreCat
| Download (ext.)
2011 | Journal Article | LibreCat-ID: 27466
Bohl, Benjamin, Johannes Kepper, and Daniel Röwenstrunk. “Perspektiven Digitaler Musikeditionen Aus Der Sicht Des Edirom-Projekts.” DIE TONKUNST 5, no. 3 (2011): 270–76.
LibreCat
2011 | Book Chapter | LibreCat-ID: 27589
Muckelbauer, R., Lars 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
Nebe, Karsten, Holger Gerhard Fischer, Florian Klompmaker, and Helge Jung. “Multi-Touch, Tangible and Pen-Based Interaction in Incident Planning,” 263–73. Oldenbourg Wissenschaftsverlag GmbH, M {\ "u} nchen, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27623
Keil, Reinhard, and Harald Selke. “Virtual Learning Spaces for Co-Active Learning.” In Proc. of Int. Conf. on Improving University Teaching, 191–202, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27624
Paelke, Volker, Karsten Nebe, Florian Klompmaker, and Helge Jung. “Multi-Touch Interaction for Disaster Management.},” 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27625
Keil, Reinhard. “Hypothesis- Guided Technology Design as the Basis of Contextual Computer Science.” edited by A Breiter and M Wind, 165–84. Lit Verlag, M {\" u} nster, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27626
Klompmaker, Florian, Karsten Nebe, and H Jung. “Smart Fiducials: Advanced Tangible Interaction Techniques through Dynamic Visual Paterns,” 2011.
LibreCat