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.
1363 Publications
2011 | Conference Paper | LibreCat-ID: 3138
Jager T, Somorovsky J. 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:413--422. doi:10.1145/2046707.2046756
LibreCat
| DOI
2011 | Journal Article | LibreCat-ID: 3183
Schneider S, Treharne H, Wehrheim H. Bounded Retransmission in Event-B{\(\parallel\)}CSP: a Case Study. Electr Notes Theor Comput Sci. 2011:69--80. doi:10.1016/j.entcs.2011.11.019
LibreCat
| DOI
2011 | Journal Article | LibreCat-ID: 3184
Derrick J, Schellhorn G, Wehrheim H. Mechanically verified proof obligations for linearizability. {ACM} Trans Program Lang Syst. 2011;(1):4:1--4:43. doi:10.1145/1889997.1890001
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 3185
Ruhroth T, Wehrheim H, Ziegert S. 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:83--90. doi:10.1109/SEAA.2011.22
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 3186
Derrick J, Schellhorn G, Wehrheim H. Verifying Linearisability with Potential Linearisation Points. In: J. Butler M, Schulte W, eds. {FM} 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings. Lecture Notes in Computer Science. ; 2011:323--337. doi:10.1007/978-3-642-21437-0_25
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 3187
Steenken D, Wehrheim H, Wonisch D. Sound and Complete Abstract Graph Transformation. In: da Silva Sim{\~{a}}o A, Morgan C, eds. Formal Methods, Foundations and Applications - 14th Brazilian Symposium, {SBMF} 2011, S{\~{a}}o Paulo, Brazil, September 26-30, 2011, Revised Selected Papers. Lecture Notes in Computer Science. ; 2011:92--107. doi:10.1007/978-3-642-25032-3_7
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 3188
Schneider S, Treharne H, Wehrheim H. A {CSP} Account of Event-B Refinement. In: Derrick J, A. Boiten E, Reeves S, eds. Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011. {EPTCS}. ; 2011:139--154. doi:10.4204/EPTCS.55.9
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 26981
Sondermann-Wölke C, Sextro W, Reinold P, Trächtler A. Zuverlässigkeitsorientierte Mehrzieloptimierung zur Aktorrekonfiguration eines X-by-wire-Fahrzeugs. In: Technische Zuverlässigkeit TTZ. ; 2011.
LibreCat
2011 | Dissertation | LibreCat-ID: 26982
Krol R. 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 K, Remer T, Jilani H, Kunz C, Buyken A. Associations between the macronutrient composition of the evening meal and average daily sleep duration in early childhood. Clinical Nutrition. Published online 2011:640-646. doi:10.1016/j.clnu.2011.05.004
LibreCat
| DOI
2011 | Journal Article | LibreCat-ID: 27011
Chun Yu Louie J, Buyken A, Heyer K, Flood VM. Dietary glycaemic index and glycaemic load among Australian children and adolescents. British Journal of Nutrition. Published online 2011:1273-1282. doi:10.1017/s0007114511001577
LibreCat
| DOI
2011 | Journal Article | LibreCat-ID: 27068
Libuda L, Kersting M, Alexy U. Consumption of dietary salt measured by urinary sodium excretion and its association with body weight status in healthy children and adolescents. Public Health Nutrition. Published online 2011:433-441. doi:10.1017/s1368980011002138
LibreCat
| DOI
2011 | Journal Article | LibreCat-ID: 27069
Alexy U, Cheng G, Libuda L, Hilbig A, Kersting M. 24h-Sodium excretion and hydration status in children and adolescents - Results of the DONALD Study. Clinical Nutrition. Published online 2011:78-84. doi:10.1016/j.clnu.2011.08.014
LibreCat
| DOI
2011 | Journal Article | LibreCat-ID: 27076
Muckelbauer R, Libuda L, Clausen K, Kersting M. Ansätze der Übergewichtsprävention durch verbessertes Trinkverhalten im Setting Grundschule. Bundesgesundheitsblatt - Gesundheitsforschung - Gesundheitsschutz. Published online 2011:339-348. doi:10.1007/s00103-010-1224-7
LibreCat
| DOI
2011 | Working Paper | LibreCat-ID: 2734 | 
Gries T, Redlin M. 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
Bohl B, Kepper J, Röwenstrunk D. Perspektiven Digitaler Musikeditionen aus der Sicht des Edirom-Projekts. DIE TONKUNST. 2011;5(3):270-276.
LibreCat
2011 | Book Chapter | LibreCat-ID: 27589
Muckelbauer R, Libuda L, Kersting M. Fluids and children’s health. . In: Developing Children´s Food Products. Woodhead Publishing Limited ; 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27622
Nebe K, Fischer HG, Klompmaker F, Jung H. Multi-touch, tangible and pen-based interaction in incident planning. In: Oldenbourg Wissenschaftsverlag GmbH, M {\ "u} nchen; 2011:263-273.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27623
Keil R, Selke H. Virtual Learning Spaces for Co-Active Learning. In: Proc. of Int. Conf. on Improving University Teaching. ; 2011:191-202.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27624
Paelke V, Nebe K, Klompmaker F, Jung H. Multi-Touch Interaction for Disaster Management.}. In: ; 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27625
Keil R. Hypothesis- guided technology design as the basis of contextual computer science. In: Breiter A, Wind M, eds. Lit Verlag, M {\" u} nster; 2011:165-184.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27626
Klompmaker F, Nebe Karsten, Jung H. Smart Fiducials: Advanced Tangible Interaction Techniques through Dynamic Visual Paterns. In: ; 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27627
Klompmaker F, Nebe Karsten, Busch C, Willemsen Detlev. User Centered Design Process of OSAMI-D: Developing User Interfaces for a Remote Ergometer Training Application. In: Proceedings of the International Conference on Health Informatics. ; 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27628
Laroque C, Schulte J. KoProV: A Learning Approach for Coordinated Learning of Modeling and Simulation Based on Knowledge Modules. In: Chinni MI, Weed D, eds. Proceedings of the 2011 Spring Simulation Multiconference. ; 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27629
Schulte J. WasabiBeans - Web Application Services and Business Integration. In: Zhang R, Cordeiro J, Li X, Zhang Z, Zhang J, eds. Proceedings of the 13th International Conference on Enterprise Information Systems, SciTePress - Science and Technology Publications, Beijing, China. ; 2011:348-357.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27630
Rudolph S, Niehus D. Computer scientists, ergonomists and chemists are shaping the future. E-Portofolios support {\ "u} the flow rate in education and training. In: Universit {\" a} t Paderborn; 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27631
Schulte J, Keil R, Klaholt D, Sauer J. Koi School - Towards the Next Level of Communication, Organization and Integration in Education. In: Zhang R, Cordeiro J, Li X, Zhang Z, Zhang J, eds. Proceedings of the 13th International Conference on Enterprise Information Systems, SciTePress - Science and Technology Publications, Beijing, China. ; 2011:43-52.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27632
Schulte J, Keil R, Oberhoff A. Support {\ "u} support of the co-active research discourse through synergies between e-learning and e-science. In: K {\ "o} hler Th, Neumann J, eds. Waxmann Verlag, M { \ "u} nster; 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27633
Schulte J, Keil R, Rybka J, Ferber F. Laboratory 2.0 - Towards and Integrated Research Environment for Engineering Mechanics. In: Zhang R, Cordeiro J, Li X, Zhang Z, Zhang J, eds. Proceedings of the 13th International Conference on Enterprise Information Systems, SciTePress - Science and Technology Publications, Bejing, China. ; 2011:407-412.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27634
Schulte J, Rybka J, Ferber F, Keil R. KoForum - Cooperative research environment for {\ "u} for cross-organizational scientific Laboratory work. In: K {\ "o} hler Th., Neumann J, eds. Waxmann Verlag, M {\ "u} nster; 2011:92-101.
LibreCat
2011 | Dissertation | LibreCat-ID: 27635
Erren P. Semantic Positioning - Supporting Knowledge Work through Semantic Spatial Arrangements. Heinz Nixdorf Institut, Universit{\"a}t Paderborn; 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27636
Fischer HG, Nebe Karsten, Klompmaker Florian. A Holistic Model for Integrating Usability Engineering and Software Engineering Enriched with Marketing Activities. Published online 2011:28-37.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27637
Jung H, Nebe K, Klompmaker F, Fischer HG. Authenticated entries on multi-touch tables. In: Oldenbourg Wissenschaftsverlag GmbH, M {\ "u} nchen; 2011:305-308.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27638
Nebe Karsten, Klompmaker F, Jung H, Fischer HG. Exploiting New Interaction Techniques for Disaster Control Management using Multitouch-, Tangible- and Pen-based-Interaction. Published online 2011:100-109.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27639
Fischer HG, Bogner C, Geis T, Polkehn K, Zimmermann Dirk. Der Qualit {\ “a} tsstandard f {\” u} r Usability engineering of the German UPA: Current status of the work. In: German UPA; 2011:72-74.
LibreCat
2011 | Conference Abstract | LibreCat-ID: 2771
Herrmann P, Kundisch D, Rahman M. The Impact of Delegating Decision Making to IT on the Sunk Cost Effect. In: 12th Workshop on Information Systems and Economics (WISE). ; 2011.
LibreCat
2011 | Conference Abstract | LibreCat-ID: 2772
Herrmann P, Kundisch D, Rahman M. Sunk Cost Effect: The Impact of Delegating Decision Making to IT. In: INFORMS 2011 Annual Meeting, Track Digital Channel and It Usage. ; 2011.
LibreCat
2011 | Journal Article | LibreCat-ID: 27728
Shi L, Wudy SA, Buyken A, Maser-Gluth C, Hartmann MF, Remer T. Prepubertal Glucocorticoid Status and Pubertal Timing. The Journal of Clinical Endocrinology & Metabolism. Published online 2011:E891-E898. doi:10.1210/jc.2010-2935
LibreCat
| DOI
2011 | Journal Article | LibreCat-ID: 27729
Diethelm K, Bolzenius K, Cheng G, Remer T, Buyken A. Longitudinal associations between reported sleep duration in early childhood and the development of body mass index, fat mass index and fat free mass index until age 7. International Journal of Pediatric Obesity. Published online 2011:e114-e123. doi:10.3109/17477166.2011.566338
LibreCat
| DOI
2011 | Conference Abstract | LibreCat-ID: 2773
Herrmann P, Kundisch D, Rahman M. Sunk Cost Effect: The Impact of Delegating Decision Making to IT. In: 7th Symposium on Statistical Challenges in Electronic Commerce Research. ; 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 2774
Kundisch D, Meier C. A new Perspective on Resource Interactions in IT/IS Project Portfolio Selection. In: Proceedings of the European Conference on Information Systems (ECIS). ; 2011.
LibreCat
2011 | Journal Article | LibreCat-ID: 27743
Gopinath B, Buyken A, Flood VM, Empson M, Rochtchina E, Mitchell P. Consumption of polyunsaturated fatty acids, fish, and nuts and risk of inflammatory disease mortality. The American Journal of Clinical Nutrition. Published online 2011:1073-1079. doi:10.3945/ajcn.110.009977
LibreCat
| DOI
2011 | Journal Article | LibreCat-ID: 27744
Günther ALB, Stahl LJ, Buyken A, Kroke A. Association of dietary energy density in childhood with age and body fatness at the onset of the pubertal growth spurt. British Journal of Nutrition. Published online 2011:345-349. doi:10.1017/s0007114511001772
LibreCat
| DOI
2011 | Conference Abstract | LibreCat-ID: 2775
Heinrich B, Kundisch D, Zimmermann S. The Impact of Interaction Effects Among Software Development Projects on Global Sourcing Decisions. In: 5th Global Sourcing Workshop. ; 2011.
LibreCat
2011 | Journal Article | LibreCat-ID: 27752
Sausenthaler S, Standl M, Buyken A, et al. Regional and socio-economic differences in food, nutrient and supplement intake in school-age children in Germany: results from the GINIplus and the LISAplus studies. Public Health Nutrition. Published online 2011:1724-1735. doi:10.1017/s1368980010003575
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 2776
Kundisch D, Meier C. IT/IS Project Portfolio Selection in the Presence of Project Interactions - Review and Synthesis of the Literature. In: Wirtschaftsinformatik Proceedings. ; 2011:477-486.
LibreCat
2011 | Journal Article | LibreCat-ID: 27764
Buyken A, Mitchell P, Ceriello A, Brand-Miller J. Prevention strategies for type 2 diabetes should be based on evidence-based medical nutrition data. Reply to Uusitupa M, Lindström J, Tuomilehto J [letter]. Diabetologia. Published online 2011:2471-2472. doi:10.1007/s00125-011-2230-5
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 2777
Herrmann P, Kundisch D. Partizipieren statt konsumieren, oder: Lohnt sich Engagement in Q&A-Communities? In: Wirtschaftsinformatik Proceedings. ; 2011:1022-1031.
LibreCat
2011 | Journal Article | LibreCat-ID: 27782
Brand-Miller J, Buyken A. The glycemic index issue. Current Opinion in Lipidology. Published online 2011:62-67. doi:10.1097/mol.0b013e32834ec705
LibreCat
| DOI
2011 | Journal Article | LibreCat-ID: 27884
Schlegel-Matthies K. Den Umgang mit Geld und Konsum lernen – Verbraucherbildung in der Schule. Stimme der Familie . 2011;58(3):3-6.
LibreCat