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.
1073 Publications
2009 | Journal Article | LibreCat-ID: 26896
Dietary Protein Intake throughout Childhood Is Associated with the Timing of Puberty
A.L.B. Günther, N. Karaolis-Danckert, A. Kroke, T. Remer, A. Buyken, The Journal of Nutrition (2009) 565–571.
LibreCat
| DOI
A.L.B. Günther, N. Karaolis-Danckert, A. Kroke, T. Remer, A. Buyken, The Journal of Nutrition (2009) 565–571.
2009 | Journal Article | LibreCat-ID: 3199
Compositional {CSP} Traces Refinement Checking
H. Wehrheim, D. Wonisch, Electr. Notes Theor. Comput. Sci. (2009) 135--151.
LibreCat
| DOI
H. Wehrheim, D. Wonisch, Electr. Notes Theor. Comput. Sci. (2009) 135--151.
2009 | Journal Article | LibreCat-ID: 3200
Static Class Elements for Object-Z
T. Ruhroth, H. Wehrheim, Electr. Notes Theor. Comput. Sci. (2009) 193--205.
LibreCat
| DOI
T. Ruhroth, H. Wehrheim, Electr. Notes Theor. Comput. Sci. (2009) 193--205.
2009 | Conference Paper | LibreCat-ID: 3201
Measure, Diagnose, Refactor: {A} Formal Quality Cycle for Software Models
T. Ruhroth, H. Voigt, H. Wehrheim, in: 35th Euromicro Conference on Software Engineering and Advanced Applications, {SEAA} 2009, Patras, Greece, August 27-29, 2009, Proceedings, 2009, pp. 360--367.
LibreCat
| DOI
T. Ruhroth, H. Voigt, H. Wehrheim, in: 35th Euromicro Conference on Software Engineering and Advanced Applications, {SEAA} 2009, Patras, Greece, August 27-29, 2009, Proceedings, 2009, pp. 360--367.
2009 | Conference (Editor) | LibreCat-ID: 3202
Integrated Formal Methods, 7th International Conference, {IFM} 2009, D{\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings
M. Leuschel, H. Wehrheim, eds., Integrated Formal Methods, 7th International Conference, {IFM} 2009, D{\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings, 2009.
LibreCat
| DOI
M. Leuschel, H. Wehrheim, eds., Integrated Formal Methods, 7th International Conference, {IFM} 2009, D{\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings, 2009.
2009 | Conference Paper | LibreCat-ID: 3473
Productivity management for customer solutions --- Towards a performance management system for efficient service value networks
J. Becker, D. Beverungen, N. Blinn, R. Knackstedt, M. Nüttgens, O. Thomas, M. Fellmann, in: 29th International RESER Conference, Budapest, Hungary, 2009.
LibreCat
J. Becker, D. Beverungen, N. Blinn, R. Knackstedt, M. Nüttgens, O. Thomas, M. Fellmann, in: 29th International RESER Conference, Budapest, Hungary, 2009.
2009 | Conference Paper | LibreCat-ID: 3474
Configurative Service Engineering --- A Rule-Based Configuration Approach for Versatile Service Processes in Corrective Maintenance
J. Becker, D. Beverungen, R. Knackstedt, M. Matzner, in: Proceedings of the 42th Hawaii International Conference on System Sciences, Waikoloa, HI, USA, 2009.
LibreCat
| DOI
J. Becker, D. Beverungen, R. Knackstedt, M. Matzner, in: Proceedings of the 42th Hawaii International Conference on System Sciences, Waikoloa, HI, USA, 2009.
2009 | Conference Paper | LibreCat-ID: 3475
A Framework for Design Research in the Service Science Discipline
J. Becker, D. Beverungen, R. Knackstedt, M. Matzner, O. Müller, J. Pöppelbuß, in: Americas Conference on Information Systems, San Francisco, USA, 2009.
LibreCat
| Download (ext.)
J. Becker, D. Beverungen, R. Knackstedt, M. Matzner, O. Müller, J. Pöppelbuß, in: Americas Conference on Information Systems, San Francisco, USA, 2009.
2009 | Conference Paper | LibreCat-ID: 3476
Design Requirements to Support Information Flows for Providing Customer Solutions: A Case Study in the Mechanical Engineering Sector
J. Becker, D. Beverungen, M. Matzner, O. Müller, in: R. Alt, K.-P. Fähnrich, B. Franczyk (Eds.), Proceedings of the First International Symposium on Services Science (ISSS’09), Berlin, 2009, pp. 75--85.
LibreCat
J. Becker, D. Beverungen, M. Matzner, O. Müller, in: R. Alt, K.-P. Fähnrich, B. Franczyk (Eds.), Proceedings of the First International Symposium on Services Science (ISSS’09), Berlin, 2009, pp. 75--85.
2009 | Journal Article | LibreCat-ID: 3506
Model-Based Decision Support for the Customer-Specific Configuration of Value Bundles
J. Becker, D. Beverungen, R. Knackstedt, O. Müller, Enterprise Modelling and Information Systems Architectures (2009) 26--38.
LibreCat
| Download (ext.)
J. Becker, D. Beverungen, R. Knackstedt, O. Müller, Enterprise Modelling and Information Systems Architectures (2009) 26--38.