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.
985 Publications
2008 | Book | LibreCat-ID: 25834
Gausemeier, J., Rammig, F.-J., & Schäfer, W. (2008). Self-optimizing Mechatronic Systems: Design the Future (Vol. 223). Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn.
LibreCat
2008 | Book | LibreCat-ID: 25835
Rath, M. (2008). Methode zur Entwicklung hybrider Technologie- und Innovationsstrategien am Beispiel des Automobils (Vol. 224). Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn.
LibreCat
2008 | Book | LibreCat-ID: 25836
Grünewald, M. (2008). Protokollverarbeitung mit integrierten Multiprozessoren in drahtlosen Ad-hoc-Netzwerken (Vol. 225). Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn.
LibreCat
2008 | Book | LibreCat-ID: 25837
Strauss, S. (2008). Theoretische und experimentelle Untersuchungen zum Einsatz gepulster Halbleiterlichtquellen in der Kraftfahrzeugbeleuchtung (Vol. 226). Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn.
LibreCat
2008 | Book | LibreCat-ID: 25838
Zeidler, C. (2008). Systematik der Materialflussplanung in der frühen Phase der Produktionssystementwicklung (Vol. 227). Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn.
LibreCat
2008 | Book | LibreCat-ID: 25839
Parisi, S. (2008). A Method for the intelligent Authoring of 3D Animations for Traimimg and Maintenance (Vol. 228). Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn.
LibreCat
2008 | Book | LibreCat-ID: 25840
Dittmann, F. (2008). Methods to Exploit Reconfigurable Fabrics (Vol. 229). Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn.
LibreCat
2008 | Book | LibreCat-ID: 25841
Tonigold, C. (2008). Programm-, Ressourcen- und Prozessoptimierung als Bestandteile der Anpassungsplanung von spanenden Fertigungssystemen in der Fließfertigung (Vol. 230). Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn.
LibreCat
2008 | Book | LibreCat-ID: 25842
Brandt, T. (2008). A Predictive Potential Field Concept for Shared Vehicle Guidance (Vol. 231). Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn.
LibreCat
2008 | Book | LibreCat-ID: 25843
Gausemeier, J., & Grafe, M. (2008). 7. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung (Vol. 232). Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn.
LibreCat
2008 | Dissertation | LibreCat-ID: 25848
Chang, H. (2008). A Methodology for the Identification of Technology Indicators (Vol. 233). Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn.
LibreCat
2008 | Book | LibreCat-ID: 25849
Gehrke, M., Giese, H., & Stroop, J. (2008). Proceedings of the 4th Workshop on Object-oriented Modeling of Embedded Real-Time Systems (Vol. 236). Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn.
LibreCat
2008 | Book | LibreCat-ID: 25851
Brökelmann, M. (2008). Entwicklung einer Methodik zur Online-Qualitätsüberwachung des Ultraschall-Drahtbondprozesses mittels integrierter Mikrosensorik (Vol. 238). Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn.
LibreCat
2008 | Dissertation | LibreCat-ID: 25852
Kettelhoit, B. (2008). Architektur und Entwurf dynamisch rekonfigurierbarer FPGA-Systeme (Vol. 239). Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn.
LibreCat
2008 | Dissertation | LibreCat-ID: 25853
Zambaldi, M. (2008). Concepts for the development of a generic Multi-Level Test Bench covering different areas of applications (Vol. 240). Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn.
LibreCat
2008 | Conference (Editor) | LibreCat-ID: 25865
Gausemeier, J., & Grafe, M. (Eds.). (2008). 8. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung (Vol. 252). Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn.
LibreCat
2008 | Journal Article | LibreCat-ID: 25938
Karaolis-Danckert, N., Buyken, A., Kulig, M., Kroke, A., Forster, J., Kamin, W., Schuster, A., Hornberg, C., Keil, T., Bergmann, R., Wahn, U., & Lau, S. (2008). How pre- and postnatal risk factors modify the effect of rapid weight gain in infancy and early childhood on subsequent fat mass development: results from the Multicenter Allergy Study 90. Am J Clin Nutr, 87(5), 1356–1364. https://doi.org/10.1093/ajcn/87.5.1356
LibreCat
| DOI
| PubMed | Europe PMC
2008 | Book Chapter | LibreCat-ID: 2602
Betz, S. (2008). Entscheidungsorientierte Planung unscharfer Erfolge von KMU in Supply Chains. In S. Betz (Ed.), Entscheidungsprobleme im Supply Chain Management - Quantitative Lösungsansätze für den Mittelstand (pp. 47–66). Hamburg.
LibreCat
2008 | Book Chapter | LibreCat-ID: 2603
Betz, S. (2008). Analyse des Bullwhip-Effekts in einer Supply Chain von KMU. In S. Betz (Ed.), Entscheidungsprobleme im Supply Chain Management - Quantitative Lösungsansätze für den Mittelstand (pp. 95–118). Hamburg.
LibreCat
2008 | Journal Article | LibreCat-ID: 26142
Horn, M., & Schmid, H.-J. (2008). A comprehensive approach in modeling Lagrangian particle deposition in turbulent boundary layers. Powder Technology, 186(3), 189–198. https://doi.org/10.1016/j.powtec.2007.11.048
LibreCat
| DOI
2008 | Preprint | LibreCat-ID: 26235
Ziegler, M., & Koolen, W. M. (2008). Kolmogorov Complexity Theory over the Reals. In arXiv:0802.2027.
LibreCat
2008 | Conference Paper | LibreCat-ID: 26243
Köhler, S., & Ziegler, M. (2008). On the Stability of Fast Polynomial Arithmetic. Proc. 8th Conference on Real Numbers and Computers, 147–156.
LibreCat
2008 | Book Chapter | LibreCat-ID: 26262
Ziegler, M. (2008). A Meta-Theory of Physics and Computation. In Verhandlungen der Deutschen Physikalischen Gesellschaft (p. 145). Deutsche Physikalische Gesellschaft (DPG).
LibreCat
2008 | Journal Article | LibreCat-ID: 26280
Meer, K., & Ziegler, M. (2008). An explicit solution to Post’s Problem over the reals. Journal of Complexity, 3–15. https://doi.org/10.1016/j.jco.2006.09.004
LibreCat
| DOI
2008 | Book (Editor) | LibreCat-ID: 2672
Betz, S. (Ed.). (2008). Entscheidungsprobleme im Supply Chain Management - Quantitative Lösungsansätze für den Mittelstand. Hamburg.
LibreCat
2008 | Book (Editor) | LibreCat-ID: 26729
Hellmich, F. (Ed.). (2008). Lehr-Lernforschung und Grundschulpädagogik. Klinkhardt.
LibreCat
2008 | Book (Editor) | LibreCat-ID: 26730
Hellmich, F., & Köster, H. (Eds.). (2008). Vorschulische Bildungsprozesse in Mathematik und Naturwissenschaften. Klinkhardt.
LibreCat
2008 | Book Chapter | LibreCat-ID: 26765
Hellmich, F. (2008). Bedingungen für erfolgreiche Leselernprozesse bei leistungsschwächeren Kindern. In J. Ramseger & M. Wagener (Eds.), Chancenungleichheit in der Grundschule – Ursachen und Wege aus der Krise (Vol. 12, pp. 195–198). VS Verlag für Sozialwissenschaften.
LibreCat
2008 | Book Chapter | LibreCat-ID: 26766
Hellmich, F., & Sämisch, M. (2008). Chancengleichheit im mathematischen Anfangsunterricht durch eine frühzeitige Diagnose mathematischer Vorläuferfähigkeiten. In J. Ramseger & M. Wagener (Eds.), Chancenungleichheit in der Grundschule – Ursachen und Wege aus der Krise (Vol. 12, pp. 223–226). VS Verlag für Sozialwissenschaften.
LibreCat
2008 | Journal Article | LibreCat-ID: 26767
Hellmich, F. (2008). Erklärungsfaktoren für Geschlechterunterschiede in der Lesekompetenz bei Grundschulkindern am Ende ihrer Grundschulzeit. Zeitschrift für Grundschulforschung. Bildung im Elementar- und Primarbereich, 2, 46–58.
LibreCat
2008 | Book Chapter | LibreCat-ID: 26768
Hellmich, F. (2008). Empirische Bildungsforschung und Grundschulpädagogik. In F. Hellmich (Ed.), Lehr-Lernforschung und Grundschulpädagogik (pp. 46–75). Klinkhardt.
LibreCat
2008 | Book Chapter | LibreCat-ID: 26769
Hellmich, F., & Jahnke-Klein , S. (2008). Selbstbezogene Kognitionen und Interessen von Mädchen und Jungen im Mathematikunterricht der Grundschule. In A. Prengel & B. Rendtorff (Eds.), Kinder und ihr Geschlecht. Jahrbuch Frauen- und Geschlechterforschung in der Erziehungswissenschaft (pp. 111–120). Barbara Budrich.
LibreCat
2008 | Book Chapter | LibreCat-ID: 26771
Hellmich, F. (2008). Individuelle und schulische Bedingungen im Leseunterricht der Grundschule. In B. Hofmann & R. Valtin (Eds.), Checkpoint Literacy. Tagungsband 1 zum 15. Europäischen Lesekongress 2007 in Berlin (pp. 172–182). Deutsche Gesellschaft für Lesen und Schreiben.
LibreCat
2008 | Journal Article | LibreCat-ID: 26772
Hellmich, F. (2008). “Ich mach` das so, wie machst du das eigentlich?” – Diagnose und Förderung von Lernstrategien bei Kindern im Grundschulalter. Sache - Wort - Zahl, 92, 48–53.
LibreCat
2008 | Book Chapter | LibreCat-ID: 26774
Hellmich, F., & Jansen, S. (2008). Diagnose mathematischer Vorläuferfähigkeiten im vorschulischen Bereich. In F. Hellmich & H. Köster (Eds.), Vorschulische Bildungsprozesse in Mathematik und Naturwissenschaften (pp. 59–81). Klinkhardt.
LibreCat
2008 | Book Chapter | LibreCat-ID: 26776
Hellmich, F. (2008). Förderung mathematischer Vorläuferfähigkeiten im vorschulischen Bereich – Konzepte, empirische Befunde und Forschungsperspektiven. In F. Hellmich & H. Köster (Eds.), Vorschulische Bildungsprozesse in Mathematik und Naturwissenschaften (pp. 83–102). Klinkhardt.
LibreCat
2008 | Journal Article | LibreCat-ID: 26891
Buyken, A., Karaolis-Danckert, N., & Remer, T. (2008). 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, 221–230. https://doi.org/10.3945/ajcn.2008.26733
LibreCat
| DOI
2008 | Journal Article | LibreCat-ID: 26892
Libuda, L., Alexy, U., Buyken, A., Sichert-Hellert, W., Stehle, P., & Kersting, M. (2008). Consumption of sugar-sweetened beverages and its association with nutrient intakes and diet quality in German children and adolescents. British Journal of Nutrition, Article 1549. https://doi.org/10.1017/s0007114508094671
LibreCat
| DOI
2008 | Journal Article | LibreCat-ID: 3203
Wehrheim, H. (2008). Refinement in the Presence of Unknowns. Electr. Notes Theor. Comput. Sci., 255--264. https://doi.org/10.1016/j.entcs.2008.02.023
LibreCat
| DOI
2008 | Journal Article | LibreCat-ID: 3204
Estler, H. .-}Christian, & Wehrheim, H. (2008). Alloy as a Refactoring Checker? Electr. Notes Theor. Comput. Sci., 331--357. https://doi.org/10.1016/j.entcs.2008.06.015
LibreCat
| DOI
2008 | Journal Article | LibreCat-ID: 3205
Möller, M., Olderog, E.-R., Rasch, H., & Wehrheim, H. (2008). Integrating a formal method into a software engineering process with {UML} and Java. Formal Asp. Comput., (2), 161--204. https://doi.org/10.1007/s00165-007-0042-7
LibreCat
| DOI
2008 | Journal Article | LibreCat-ID: 3206
Brückner, I., Dräger, K., Finkbeiner, B., & Wehrheim, H. (2008). Slicing Abstractions. Fundam. Inform., (4), 369--392.
LibreCat
2008 | Conference Paper | LibreCat-ID: 3207
Engels, G., Kleppe, A., Rensink, A., Semenyak, M., Soltenborn, C., & Wehrheim, H. (2008). From {UML} Activities to {TAAL} - Towards Behaviour-Preserving Model Transformations. In I. Schieferdecker & A. Hartman (Eds.), Model Driven Architecture - Foundations and Applications, 4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings (pp. 94--109). https://doi.org/10.1007/978-3-540-69100-6_7
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3208
Derrick, J., Schellhorn, G., & Wehrheim, H. (2008). Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack. In G. Barthe & F. S. de Boer (Eds.), Formal Methods for Open Object-Based Distributed Systems, 10th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2008, Oslo, Norway, June 4-6, 2008, Proceedings (pp. 78--95). https://doi.org/10.1007/978-3-540-68863-1_6
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3209
Metzler, B., Wehrheim, H., & Wonisch, D. (2008). Decomposition for Compositional Verification. In S. Liu, T. S. E. Maibaum, & K. Araki (Eds.), Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings (pp. 105--125). https://doi.org/10.1007/978-3-540-88194-0_9
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3210
Wehrheim, H. (2008). Bounded Model Checking for Partial Kripke Structures. In J. S. Fitzgerald, A. Elisabeth Haxthausen, & H. Yenig{\"{u}}n (Eds.), Theoretical Aspects of Computing - {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings (pp. 380--394). https://doi.org/10.1007/978-3-540-85762-4_26
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3477
Becker, J., Beverungen, D., & Knackstedt, R. (2008). 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.
LibreCat
2008 | Conference Paper | LibreCat-ID: 3478
Becker, J., Beverungen, D., Knackstedt, R., & Müller, O. (2008). Modeling, Customer-Specific Configuration and Calculation of Value Bundles. In Americas Conference on Information Systems. Toronto, Canada.
LibreCat
| Download (ext.)
2008 | Conference Paper | LibreCat-ID: 3479
Beverungen, D., Kaiser, U., Knackstedt, R., Krings, R., & Stein, A. (2008). Konfigurative Prozessmodellierung der hybriden Leistungserstellung in Unternehmensnetzwerken des Maschinen- und Anlagenbaus. In Proceedings of the Multikonferenz Wirtschaftsinformatik (MKWI 2008) (pp. 735--747). München.
LibreCat