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
@article{Derrick_Schellhorn_Wehrheim_2011, title={Mechanically verified proof obligations for linearizability}, DOI={10.1145/1889997.1890001}, number={1}, journal={{ACM} Trans. Program. Lang. Syst.}, author={Derrick, John and Schellhorn, Gerhard and Wehrheim, Heike}, year={2011}, pages={4:1--4:43} }
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 3185
@inproceedings{Ruhroth_Wehrheim_Ziegert_2011, title={ReL: {A} Generic Refactoring Language for Specification and Execution}, DOI={10.1109/SEAA.2011.22}, booktitle={37th {EUROMICRO} Conference on Software Engineering and Advanced Applications, {SEAA} 2011, Oulu, Finland, August 30 - September 2, 2011}, author={Ruhroth, Thomas and Wehrheim, Heike and Ziegert, Steffen}, year={2011}, pages={83--90} }
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 3186
@inproceedings{Derrick_Schellhorn_Wehrheim_2011, series={Lecture Notes in Computer Science}, title={Verifying Linearisability with Potential Linearisation Points}, DOI={10.1007/978-3-642-21437-0_25}, booktitle={{FM} 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings}, author={Derrick, John and Schellhorn, Gerhard and Wehrheim, Heike}, editor={J. Butler, Michael and Schulte, WolframEditors}, year={2011}, pages={323--337}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 3187
@inproceedings{Steenken_Wehrheim_Wonisch_2011, series={Lecture Notes in Computer Science}, title={Sound and Complete Abstract Graph Transformation}, DOI={10.1007/978-3-642-25032-3_7}, booktitle={Formal Methods, Foundations and Applications - 14th Brazilian Symposium, {SBMF} 2011, S{\~{a}}o Paulo, Brazil, September 26-30, 2011, Revised Selected Papers}, author={Steenken, Dominik and Wehrheim, Heike and Wonisch, Daniel}, editor={da Silva Sim{\~{a}}o, Adenilso and Morgan, CarrollEditors}, year={2011}, pages={92--107}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 3188
@inproceedings{Schneider_Treharne_Wehrheim_2011, series={{EPTCS}}, title={A {CSP} Account of Event-B Refinement}, DOI={10.4204/EPTCS.55.9}, booktitle={Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011.}, author={Schneider, Steve and Treharne, Helen and Wehrheim, Heike}, editor={Derrick, John and A. Boiten, Eerke and Reeves, SteveEditors}, year={2011}, pages={139--154}, collection={{EPTCS}} }
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 26981
@inproceedings{Sondermann-Wölke_Sextro_Reinold_Trächtler_2011, title={Zuverlässigkeitsorientierte Mehrzieloptimierung zur Aktorrekonfiguration eines X-by-wire-Fahrzeugs}, booktitle={Technische Zuverlässigkeit TTZ}, author={Sondermann-Wölke, Christoph and Sextro, Walter and Reinold, Peter and Trächtler, Ansgar}, year={2011} }
LibreCat
2011 | Dissertation | LibreCat-ID: 26982
@book{Krol_2011, title={Eine Reduktionsmethode zur Ableitung elektromechanischer Ersatzmodelle für piezoelektrische Wandler unter Verwendung der Finite-Elemente- Methode (FEM)}, volume={Band 293}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 293}, author={Krol, Rafal}, year={2011} }
LibreCat
2011 | Journal Article | LibreCat-ID: 27010
@article{Diethelm_Remer_Jilani_Kunz_Buyken_2011, title={Associations between the macronutrient composition of the evening meal and average daily sleep duration in early childhood}, DOI={10.1016/j.clnu.2011.05.004}, journal={Clinical Nutrition}, author={Diethelm, Katharina and Remer, Thomas and Jilani, Hannah and Kunz, Clemens and Buyken, Anette}, year={2011}, pages={640–646} }
LibreCat
| DOI
2011 | Journal Article | LibreCat-ID: 27011
@article{Chun Yu Louie_Buyken_Heyer_Flood_2011, title={Dietary glycaemic index and glycaemic load among Australian children and adolescents}, DOI={10.1017/s0007114511001577}, journal={British Journal of Nutrition}, author={Chun Yu Louie, Jimmy and Buyken, Anette and Heyer, Kristina and Flood, Victoria M.}, year={2011}, pages={1273–1282} }
LibreCat
| DOI
2011 | Journal Article | LibreCat-ID: 27068
@article{Libuda_Kersting_Alexy_2011, title={Consumption of dietary salt measured by urinary sodium excretion and its association with body weight status in healthy children and adolescents}, DOI={10.1017/s1368980011002138}, journal={Public Health Nutrition}, author={Libuda, Lars and Kersting, Mathilde and Alexy, Ute}, year={2011}, pages={433–441} }
LibreCat
| DOI
2011 | Journal Article | LibreCat-ID: 27069
@article{Alexy_Cheng_Libuda_Hilbig_Kersting_2011, title={24h-Sodium excretion and hydration status in children and adolescents - Results of the DONALD Study}, DOI={10.1016/j.clnu.2011.08.014}, journal={Clinical Nutrition}, author={Alexy, Ute and Cheng, Guo and Libuda, Lars and Hilbig, Annett and Kersting, Mathilde}, year={2011}, pages={78–84} }
LibreCat
| DOI
2011 | Journal Article | LibreCat-ID: 27076
@article{Muckelbauer_Libuda_Clausen_Kersting_2011, title={Ansätze der Übergewichtsprävention durch verbessertes Trinkverhalten im Setting Grundschule}, DOI={10.1007/s00103-010-1224-7}, journal={Bundesgesundheitsblatt - Gesundheitsforschung - Gesundheitsschutz}, author={Muckelbauer, R. and Libuda, Lars and Clausen, K. and Kersting, M.}, year={2011}, pages={339–348} }
LibreCat
| DOI
2011 | Working Paper | LibreCat-ID: 2734 | 
@book{Gries_Redlin_2011, series={Working Papers CIE}, title={Trade Openness and Economic Growth: A Panel Causality Analysis}, volume={2011–06}, publisher={Paderborn University, CIE Center for International Economics}, author={Gries, Thomas and Redlin, Margarete}, year={2011}, collection={Working Papers CIE} }
LibreCat
| Download (ext.)
2011 | Journal Article | LibreCat-ID: 27466
@article{Bohl_Kepper_Röwenstrunk_2011, title={Perspektiven Digitaler Musikeditionen aus der Sicht des Edirom-Projekts}, volume={5}, number={3}, journal={DIE TONKUNST}, author={Bohl, Benjamin and Kepper, Johannes and Röwenstrunk, Daniel}, year={2011}, pages={270–276} }
LibreCat
2011 | Book Chapter | LibreCat-ID: 27589
@inbook{Muckelbauer_Libuda_Kersting_2011, title={Fluids and children’s health. }, booktitle={Developing Children´s Food Products.}, publisher={Woodhead Publishing Limited }, author={Muckelbauer, R. and Libuda, Lars and Kersting, M.}, year={2011} }
LibreCat
2011 | Conference Paper | LibreCat-ID: 27622
@inproceedings{Nebe_Fischer_Klompmaker_Jung_2011, title={Multi-touch, tangible and pen-based interaction in incident planning}, publisher={Oldenbourg Wissenschaftsverlag GmbH, M {\ "u} nchen}, author={Nebe, Karsten and Fischer, Holger Gerhard and Klompmaker, Florian and Jung, Helge}, year={2011}, pages={263–273} }
LibreCat
2011 | Conference Paper | LibreCat-ID: 27623
@inproceedings{Keil_Selke_2011, title={Virtual Learning Spaces for Co-Active Learning}, booktitle={Proc. of Int. Conf. on Improving University Teaching}, author={Keil, Reinhard and Selke, Harald}, year={2011}, pages={191–202} }
LibreCat
2011 | Conference Paper | LibreCat-ID: 27624
@inproceedings{Paelke_Nebe_Klompmaker_Jung_2011, title={Multi-Touch Interaction for Disaster Management.}}, author={Paelke, Volker and Nebe, Karsten and Klompmaker, Florian and Jung, Helge}, year={2011} }
LibreCat
2011 | Conference Paper | LibreCat-ID: 27625
@inproceedings{Keil_2011, title={Hypothesis- guided technology design as the basis of contextual computer science}, publisher={Lit Verlag, M {\" u} nster}, author={Keil, Reinhard}, editor={Breiter, A and Wind, M}, year={2011}, pages={165–184} }
LibreCat
2011 | Conference Paper | LibreCat-ID: 27626
@inproceedings{Klompmaker_Nebe_Jung_2011, title={Smart Fiducials: Advanced Tangible Interaction Techniques through Dynamic Visual Paterns}, author={Klompmaker, Florian and Nebe, Karsten and Jung, H}, year={2011} }
LibreCat