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.

10944 Publications


2008 | Journal Article | LibreCat-ID: 26891
A. Buyken, N. Karaolis-Danckert, and T. Remer, “Association of prepubertal body composition in healthy girls and boys with the timing of early and late pubertal markers,” The American Journal of Clinical Nutrition, pp. 221–230, 2008, doi: 10.3945/ajcn.2008.26733.
LibreCat | DOI
 

2008 | Journal Article | LibreCat-ID: 26892
L. Libuda, U. Alexy, A. Buyken, W. Sichert-Hellert, P. Stehle, and M. Kersting, “Consumption of sugar-sweetened beverages and its association with nutrient intakes and diet quality in German children and adolescents,” British Journal of Nutrition, Art. no. 1549, 2008, doi: 10.1017/s0007114508094671.
LibreCat | DOI
 

2008 | Journal Article | LibreCat-ID: 3203
H. Wehrheim, “Refinement in the Presence of Unknowns,” Electr. Notes Theor. Comput. Sci., pp. 255--264, 2008.
LibreCat | DOI
 

2008 | Journal Article | LibreCat-ID: 3204
H. .-}Christian Estler and H. Wehrheim, “Alloy as a Refactoring Checker?,” Electr. Notes Theor. Comput. Sci., pp. 331--357, 2008.
LibreCat | DOI
 

2008 | Journal Article | LibreCat-ID: 3205
M. Möller, E.-R. Olderog, H. Rasch, and H. Wehrheim, “Integrating a formal method into a software engineering process with {UML} and Java,” Formal Asp. Comput., no. 2, pp. 161--204, 2008.
LibreCat | DOI
 

2008 | Journal Article | LibreCat-ID: 3206
I. Brückner, K. Dräger, B. Finkbeiner, and H. Wehrheim, “Slicing Abstractions,” Fundam. Inform., no. 4, pp. 369--392, 2008.
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 3207
G. Engels, A. Kleppe, A. Rensink, M. Semenyak, C. Soltenborn, and H. Wehrheim, “From {UML} Activities to {TAAL} - Towards Behaviour-Preserving Model Transformations,” in Model Driven Architecture - Foundations and Applications, 4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings, 2008, pp. 94--109.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 3208
J. Derrick, G. Schellhorn, and H. Wehrheim, “Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack,” in Formal Methods for Open Object-Based Distributed Systems, 10th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2008, Oslo, Norway, June 4-6, 2008, Proceedings, 2008, pp. 78--95.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 3209
B. Metzler, H. Wehrheim, and D. Wonisch, “Decomposition for Compositional Verification,” in Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings, 2008, pp. 105--125.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 3210
H. Wehrheim, “Bounded Model Checking for Partial Kripke Structures,” in Theoretical Aspects of Computing - {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings, 2008, pp. 380--394.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 3477
J. Becker, D. Beverungen, and R. Knackstedt, “Reference Models and Modeling Languages for Product-Service Systems --- Status-Quo and Perspectives for Further Research,” in Proceedings of the 41th Hawai’i International Conference on System Sciences, Waikoloa, Hawaii, 2008.
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 3478
J. Becker, D. Beverungen, R. Knackstedt, and O. Müller, “Modeling, Customer-Specific Configuration and Calculation of Value Bundles,” in Americas Conference on Information Systems, Toronto, Canada, 2008.
LibreCat | Download (ext.)
 

2008 | Conference Paper | LibreCat-ID: 3479
D. Beverungen, U. Kaiser, R. Knackstedt, R. Krings, and A. Stein, “Konfigurative Prozessmodellierung der hybriden Leistungserstellung in Unternehmensnetzwerken des Maschinen- und Anlagenbaus,” in Proceedings of the Multikonferenz Wirtschaftsinformatik (MKWI 2008), München, 2008, pp. 735--747.
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 3480
A. Winkelmann, D. Beverungen, C. Janiesch, and J. Becker, “Improving the Quality of Article Master Data --- Specification of an Integrated Master Data Platform for Promotions in Retail,” in Proceedings of the 16th European Conference on Information Systems, Galway, Ireland, 2008.
LibreCat
 

2008 | Journal Article | LibreCat-ID: 3507
D. Beverungen, R. Knackstedt, and O. Müller, “Entwicklung Serviceorientierter Architekturen zur Integration von Produktion und Dienstleistung --- Eine Konzeptionsmethode und ihre Anwendung am Beispiel des Recyclings elektronischer Geräte,” Wirtschaftsinformatik, no. 3, pp. 220--234, 2008.
LibreCat | Download (ext.)
 

2008 | Book | LibreCat-ID: 3558
J. Müller, Unternehmensbewertung für substanzsteuerliche Zwecke - eine empirische Analyse des Stuttgarter Verfahrens und alternativer Ansätze. Springer Gabler, 2008.
LibreCat
 

2008 | Journal Article | LibreCat-ID: 3597
C. Harteis and H. Gruber, “Intuition and professional competence: Intuitive versus rational forecasting of the stock market,” Vocations and Learning, no. 1, pp. 71--85, 2008.
LibreCat
 

2008 | Book (Editor) | LibreCat-ID: 3598
S. Billett, C. Harteis, and A. Eteläpelto, Eds., Emerging perspectives of workplace learning. Rotterdam: Sense, 2008.
LibreCat
 

2008 | Journal Article | LibreCat-ID: 3604
C. Harteis, J. Bauer, and H. Gruber, “The culture of learning from mistakes: How employees handle mistakes in everyday work,” International Journal of Educational Research, no. 4, pp. 223--231, 2008.
LibreCat
 

2008 | Journal Article | LibreCat-ID: 3605
C. Harteis and S. Billett, “The workplace as learning environment: Introduction,” International Journal of Educational Research, no. 4, pp. 209--212, 2008.
LibreCat
 

Filters and Search Terms

year<=2010

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed