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
How to break XML encryption
T. Jager, J. Somorovsky, 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
T. Jager, J. Somorovsky, 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.
2011 | Journal Article | LibreCat-ID: 3183
Bounded Retransmission in Event-B{\(\parallel\)}CSP: a Case Study
S. Schneider, H. Treharne, H. Wehrheim, Electr. Notes Theor. Comput. Sci. (2011) 69--80.
LibreCat
| DOI
S. Schneider, H. Treharne, H. Wehrheim, Electr. Notes Theor. Comput. Sci. (2011) 69--80.
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.
2011 | Conference Paper | LibreCat-ID: 27627
User Centered Design Process of OSAMI-D: Developing User Interfaces for a Remote Ergometer Training Application
F. Klompmaker, Karsten Nebe, C. Busch, Detlev Willemsen, in: Proceedings of the International Conference on Health Informatics, 2011.
LibreCat
F. Klompmaker, Karsten Nebe, C. Busch, Detlev Willemsen, in: Proceedings of the International Conference on Health Informatics, 2011.
2011 | Conference Paper | LibreCat-ID: 27628
KoProV: A Learning Approach for Coordinated Learning of Modeling and Simulation Based on Knowledge Modules
C. Laroque, J. Schulte, in: M.I. Chinni, D. Weed (Eds.), Proceedings of the 2011 Spring Simulation Multiconference, 2011.
LibreCat
C. Laroque, J. Schulte, in: M.I. Chinni, D. Weed (Eds.), Proceedings of the 2011 Spring Simulation Multiconference, 2011.
2011 | Conference Paper | LibreCat-ID: 27629
WasabiBeans - Web Application Services and Business Integration
J. Schulte, in: R. Zhang, J. Cordeiro, X. Li, Z. Zhang, J. Zhang (Eds.), Proceedings of the 13th International Conference on Enterprise Information Systems, SciTePress - Science and Technology Publications, Beijing, China, 2011, pp. 348–357.
LibreCat
J. Schulte, in: R. Zhang, J. Cordeiro, X. Li, Z. Zhang, J. Zhang (Eds.), Proceedings of the 13th International Conference on Enterprise Information Systems, SciTePress - Science and Technology Publications, Beijing, China, 2011, pp. 348–357.
2011 | Conference Paper | LibreCat-ID: 27630
Computer scientists, ergonomists and chemists are shaping the future. E-Portofolios support {\ "u} the flow rate in education and training
S. Rudolph, D. Niehus, in: Universit {\" a} t Paderborn, 2011.
LibreCat
S. Rudolph, D. Niehus, in: Universit {\" a} t Paderborn, 2011.
2011 | Conference Paper | LibreCat-ID: 27631
Koi School - Towards the Next Level of Communication, Organization and Integration in Education
J. Schulte, R. Keil, D. Klaholt, J. Sauer, in: R. Zhang, J. Cordeiro, X. Li, Z. Zhang, J. Zhang (Eds.), Proceedings of the 13th International Conference on Enterprise Information Systems, SciTePress - Science and Technology Publications, Beijing, China, 2011, pp. 43–52.
LibreCat
J. Schulte, R. Keil, D. Klaholt, J. Sauer, in: R. Zhang, J. Cordeiro, X. Li, Z. Zhang, J. Zhang (Eds.), Proceedings of the 13th International Conference on Enterprise Information Systems, SciTePress - Science and Technology Publications, Beijing, China, 2011, pp. 43–52.
2011 | Conference Paper | LibreCat-ID: 27632
Support {\ "u} support of the co-active research discourse through synergies between e-learning and e-science
J. Schulte, R. Keil, A. Oberhoff, in: Th. K {\ "o} hler, J. Neumann (Eds.), Waxmann Verlag, M { \ "u} nster, 2011.
LibreCat
J. Schulte, R. Keil, A. Oberhoff, in: Th. K {\ "o} hler, J. Neumann (Eds.), Waxmann Verlag, M { \ "u} nster, 2011.
2011 | Conference Paper | LibreCat-ID: 27633
Laboratory 2.0 - Towards and Integrated Research Environment for Engineering Mechanics
J. Schulte, R. Keil, J. Rybka, F. Ferber, in: R. Zhang, J. Cordeiro, X. Li, Z. Zhang, J. Zhang (Eds.), Proceedings of the 13th International Conference on Enterprise Information Systems, SciTePress - Science and Technology Publications, Bejing, China, 2011, pp. 407–412.
LibreCat
J. Schulte, R. Keil, J. Rybka, F. Ferber, in: R. Zhang, J. Cordeiro, X. Li, Z. Zhang, J. Zhang (Eds.), Proceedings of the 13th International Conference on Enterprise Information Systems, SciTePress - Science and Technology Publications, Bejing, China, 2011, pp. 407–412.
2011 | Conference Paper | LibreCat-ID: 27634
KoForum - Cooperative research environment for {\ "u} for cross-organizational scientific Laboratory work
J. Schulte, J. Rybka, F. Ferber, R. Keil, in: Th. K {\ "o} hler, J. Neumann (Eds.), Waxmann Verlag, M {\ "u} nster, 2011, pp. 92–101.
LibreCat
J. Schulte, J. Rybka, F. Ferber, R. Keil, in: Th. K {\ "o} hler, J. Neumann (Eds.), Waxmann Verlag, M {\ "u} nster, 2011, pp. 92–101.
2011 | Dissertation | LibreCat-ID: 27635
Semantic Positioning - Supporting Knowledge Work through Semantic Spatial Arrangements
P. Erren, Semantic Positioning - Supporting Knowledge Work through Semantic Spatial Arrangements, Heinz Nixdorf Institut, Universit{\"a}t Paderborn, 2011.
LibreCat
P. Erren, Semantic Positioning - Supporting Knowledge Work through Semantic Spatial Arrangements, Heinz Nixdorf Institut, Universit{\"a}t Paderborn, 2011.
2011 | Conference Paper | LibreCat-ID: 27636
A Holistic Model for Integrating Usability Engineering and Software Engineering Enriched with Marketing Activities
H.G. Fischer, Karsten Nebe, Florian Klompmaker, (2011) 28–37.
LibreCat
H.G. Fischer, Karsten Nebe, Florian Klompmaker, (2011) 28–37.
2011 | Conference Paper | LibreCat-ID: 27637
Authenticated entries on multi-touch tables
H. Jung, K. Nebe, F. Klompmaker, H.G. Fischer, in: Oldenbourg Wissenschaftsverlag GmbH, M {\ "u} nchen, 2011, pp. 305–308.
LibreCat
H. Jung, K. Nebe, F. Klompmaker, H.G. Fischer, in: Oldenbourg Wissenschaftsverlag GmbH, M {\ "u} nchen, 2011, pp. 305–308.
2011 | Conference Paper | LibreCat-ID: 27638
Exploiting New Interaction Techniques for Disaster Control Management using Multitouch-, Tangible- and Pen-based-Interaction
Karsten Nebe, F. Klompmaker, H. Jung, H.G. Fischer, (2011) 100–109.
LibreCat
Karsten Nebe, F. Klompmaker, H. Jung, H.G. Fischer, (2011) 100–109.
2011 | Conference Paper | LibreCat-ID: 27639
Der Qualit {\ "a} tsstandard f {\" u} r Usability engineering of the German UPA: Current status of the work
H.G. Fischer, C. Bogner, T. Geis, K. Polkehn, Dirk Zimmermann, in: German UPA, 2011, pp. 72–74.
LibreCat
H.G. Fischer, C. Bogner, T. Geis, K. Polkehn, Dirk Zimmermann, in: German UPA, 2011, pp. 72–74.
2011 | Conference Abstract | LibreCat-ID: 2771
The Impact of Delegating Decision Making to IT on the Sunk Cost Effect
P. Herrmann, D. Kundisch, M. Rahman, in: 12th Workshop on Information Systems and Economics (WISE), 2011.
LibreCat
P. Herrmann, D. Kundisch, M. Rahman, in: 12th Workshop on Information Systems and Economics (WISE), 2011.
2011 | Conference Abstract | LibreCat-ID: 2772
Sunk Cost Effect: The Impact of Delegating Decision Making to IT
P. Herrmann, D. Kundisch, M. Rahman, in: INFORMS 2011 Annual Meeting, Track Digital Channel and It Usage, 2011.
LibreCat
P. Herrmann, D. Kundisch, M. Rahman, in: INFORMS 2011 Annual Meeting, Track Digital Channel and It Usage, 2011.
2011 | Journal Article | LibreCat-ID: 27728
Prepubertal Glucocorticoid Status and Pubertal Timing
L. Shi, S.A. Wudy, A. Buyken, C. Maser-Gluth, M.F. Hartmann, T. Remer, The Journal of Clinical Endocrinology & Metabolism (2011) E891–E898.
LibreCat
| DOI
L. Shi, S.A. Wudy, A. Buyken, C. Maser-Gluth, M.F. Hartmann, T. Remer, The Journal of Clinical Endocrinology & Metabolism (2011) E891–E898.
2011 | Journal Article | LibreCat-ID: 27729
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
K. Diethelm, K. Bolzenius, G. Cheng, T. Remer, A. Buyken, International Journal of Pediatric Obesity (2011) e114–e123.
LibreCat
| DOI
K. Diethelm, K. Bolzenius, G. Cheng, T. Remer, A. Buyken, International Journal of Pediatric Obesity (2011) e114–e123.
2011 | Conference Abstract | LibreCat-ID: 2773
Sunk Cost Effect: The Impact of Delegating Decision Making to IT
P. Herrmann, D. Kundisch, M. Rahman, in: 7th Symposium on Statistical Challenges in Electronic Commerce Research, 2011.
LibreCat
P. Herrmann, D. Kundisch, M. Rahman, in: 7th Symposium on Statistical Challenges in Electronic Commerce Research, 2011.
2011 | Conference Paper | LibreCat-ID: 2774
A new Perspective on Resource Interactions in IT/IS Project Portfolio Selection
D. Kundisch, C. Meier, in: Proceedings of the European Conference on Information Systems (ECIS), 2011.
LibreCat
D. Kundisch, C. Meier, in: Proceedings of the European Conference on Information Systems (ECIS), 2011.
2011 | Journal Article | LibreCat-ID: 27743
Consumption of polyunsaturated fatty acids, fish, and nuts and risk of inflammatory disease mortality
B. Gopinath, A. Buyken, V.M. Flood, M. Empson, E. Rochtchina, P. Mitchell, The American Journal of Clinical Nutrition (2011) 1073–1079.
LibreCat
| DOI
B. Gopinath, A. Buyken, V.M. Flood, M. Empson, E. Rochtchina, P. Mitchell, The American Journal of Clinical Nutrition (2011) 1073–1079.
2011 | Journal Article | LibreCat-ID: 27744
Association of dietary energy density in childhood with age and body fatness at the onset of the pubertal growth spurt
A.L.B. Günther, L.J. Stahl, A. Buyken, A. Kroke, British Journal of Nutrition (2011) 345–349.
LibreCat
| DOI
A.L.B. Günther, L.J. Stahl, A. Buyken, A. Kroke, British Journal of Nutrition (2011) 345–349.
2011 | Conference Abstract | LibreCat-ID: 2775
The Impact of Interaction Effects Among Software Development Projects on Global Sourcing Decisions
B. Heinrich, D. Kundisch, S. Zimmermann, in: 5th Global Sourcing Workshop, 2011.
LibreCat
B. Heinrich, D. Kundisch, S. Zimmermann, in: 5th Global Sourcing Workshop, 2011.
2011 | Journal Article | LibreCat-ID: 27752
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
S. Sausenthaler, M. Standl, A. Buyken, P. Rzehak, S. Koletzko, C.P. Bauer, B. Schaaf, A. von Berg, D. Berdel, M. Borte, O. Herbarth, I. Lehmann, U. Krämer, H.-E. Wichmann, J. Heinrich, Public Health Nutrition (2011) 1724–1735.
LibreCat
| DOI
S. Sausenthaler, M. Standl, A. Buyken, P. Rzehak, S. Koletzko, C.P. Bauer, B. Schaaf, A. von Berg, D. Berdel, M. Borte, O. Herbarth, I. Lehmann, U. Krämer, H.-E. Wichmann, J. Heinrich, Public Health Nutrition (2011) 1724–1735.
2011 | Conference Paper | LibreCat-ID: 2776
IT/IS Project Portfolio Selection in the Presence of Project Interactions - Review and Synthesis of the Literature
D. Kundisch, C. Meier, in: Wirtschaftsinformatik Proceedings, 2011, pp. 477–486.
LibreCat
D. Kundisch, C. Meier, in: Wirtschaftsinformatik Proceedings, 2011, pp. 477–486.
2011 | Journal Article | LibreCat-ID: 27764
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]
A. Buyken, P. Mitchell, A. Ceriello, J. Brand-Miller, Diabetologia (2011) 2471–2472.
LibreCat
| DOI
A. Buyken, P. Mitchell, A. Ceriello, J. Brand-Miller, Diabetologia (2011) 2471–2472.
2011 | Conference Paper | LibreCat-ID: 2777
Partizipieren statt konsumieren, oder: Lohnt sich Engagement in Q&A-Communities?
P. Herrmann, D. Kundisch, in: Wirtschaftsinformatik Proceedings, 2011, pp. 1022–1031.
LibreCat
P. Herrmann, D. Kundisch, in: Wirtschaftsinformatik Proceedings, 2011, pp. 1022–1031.
2011 | Journal Article | LibreCat-ID: 27782
The glycemic index issue
J. Brand-Miller, A. Buyken, Current Opinion in Lipidology (2011) 62–67.
LibreCat
| DOI
J. Brand-Miller, A. Buyken, Current Opinion in Lipidology (2011) 62–67.
2011 | Journal Article | LibreCat-ID: 27884
Den Umgang mit Geld und Konsum lernen – Verbraucherbildung in der Schule
K. Schlegel-Matthies, Stimme der Familie 58 (2011) 3–6.
LibreCat
K. Schlegel-Matthies, Stimme der Familie 58 (2011) 3–6.