Chang, Hua. A Methodology for the Identification of Technology Indicators. Vol. 233. Verlagsschriftenreihe Des Heinz Nixdorf Instituts, Paderborn. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2008.
LibreCat: /record/25848

Gehrke, Matthias, Holger Giese, and Joachim Stroop. Proceedings of the 4th Workshop on Object-Oriented Modeling of Embedded Real-Time Systems. Vol. 236. Verlagsschriftenreihe Des Heinz Nixdorf Instituts, Paderborn. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2008.
LibreCat: /record/25849

Brökelmann, Michael. Entwicklung einer Methodik zur Online-Qualitätsüberwachung des Ultraschall-Drahtbondprozesses mittels integrierter Mikrosensorik. Vol. 238. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2008.
LibreCat: /record/25851

Kettelhoit, Boris. Architektur und Entwurf dynamisch rekonfigurierbarer FPGA-Systeme. Vol. 239. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2008.
LibreCat: /record/25852

Zambaldi, Martin. Concepts for the Development of a Generic Multi-Level Test Bench Covering Different Areas of Applications. Vol. 240. Verlagsschriftenreihe Des Heinz Nixdorf Instituts, Paderborn. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2008.
LibreCat: /record/25853

Gausemeier, Jürgen, and Michael Grafe, eds. 8. Paderborner Workshop Augmented &; Virtual Reality in der Produktentstehung. Vol. 252. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2008.
LibreCat: /record/25865

Karaolis-Danckert, N, Anette Buyken, M Kulig, A Kroke, J Forster, W Kamin, A Schuster, et al. “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.”https://doi.org/10.1093/ajcn/87.5.1356__Am J Clin Nutr 87, no. 5 (2008): 1356–64.https://doi.org/10.1093/ajcn/87.5.1356 .
LibreCat: /record/25938
DOI: 10.1093/ajcn/87.5.1356
PMID: 18469259

Betz, Stefan. “Entscheidungsorientierte Planung unscharfer Erfolge von KMU in Supply Chains.” In Entscheidungsprobleme im Supply Chain Management - Quantitative Lösungsansätze für den Mittelstand, edited by Stefan Betz, 47–66. Hamburg, 2008.
LibreCat: /record/2602

Betz, Stefan. “Analyse des Bullwhip-Effekts in einer Supply Chain von KMU.” In Entscheidungsprobleme im Supply Chain Management - Quantitative Lösungsansätze für den Mittelstand, edited by Stefan Betz, 95–118. Hamburg, 2008.
LibreCat: /record/2603

Horn, M., and Hans-Joachim Schmid. “A Comprehensive Approach in Modeling Lagrangian Particle Deposition in Turbulent Boundary Layers.”https://doi.org/10.1016/j.powtec.2007.11.048__Powder Technology 186, no. 3 (2008): 189–98.https://doi.org/10.1016/j.powtec.2007.11.048 .
LibreCat: /record/26142
DOI: 10.1016/j.powtec.2007.11.048

Ziegler, Martin, and Wouter M. Koolen. “Kolmogorov Complexity Theory over the Reals.” ArXiv:0802.2027, 2008.
LibreCat: /record/26235

Köhler, Sven, and Martin Ziegler. “On the Stability of Fast Polynomial Arithmetic.” In Proc. 8th Conference on Real Numbers and Computers, 147–56, 2008.
LibreCat: /record/26243

Ziegler, Martin. “Physically-Relativized Church-Turing Hypotheses.” Applied Mathematics and Computation, 2008.
LibreCat: /record/26255
arXiv: 0805.1292

Ziegler, Martin. “A Meta-Theory of Physics and Computation.” In Verhandlungen Der Deutschen Physikalischen Gesellschaft, 145. Deutsche Physikalische Gesellschaft (DPG), 2008.
LibreCat: /record/26262

Meer, Klaus, and Martin Ziegler. “An Explicit Solution to Post’s Problem over the Reals.”https://doi.org/10.1016/j.jco.2006.09.004__Journal of Complexity, 2008, 3–15.https://doi.org/10.1016/j.jco.2006.09.004 .
LibreCat: /record/26280
DOI: 10.1016/j.jco.2006.09.004

Betz, Stefan, ed. Entscheidungsprobleme Im Supply Chain Management - Quantitative Lösungsansätze Für Den Mittelstand. Hamburg, 2008.
LibreCat: /record/2672

Hellmich, Frank, ed. Lehr-Lernforschung und Grundschulpädagogik. Bad Heilbrunn: Klinkhardt, 2008.
LibreCat: /record/26729

Hellmich, Frank, and Hilde Köster, eds. Vorschulische Bildungsprozesse in Mathematik und Naturwissenschaften. Bad Heilbrunn: Klinkhardt, 2008.
LibreCat: /record/26730

Hellmich, Frank. “Bedingungen für erfolgreiche Leselernprozesse bei leistungsschwächeren Kindern.” In Chancenungleichheit in der Grundschule – Ursachen und Wege aus der Krise, edited by Jörg Ramseger and Matthea Wagener, 12:195–98. Jahrbuch Grundschulforschung . Wiesbaden: VS Verlag für Sozialwissenschaften, 2008.
LibreCat: /record/26765

Hellmich, Frank, and Markus  Sämisch. “Chancengleichheit im mathematischen Anfangsunterricht durch eine frühzeitige Diagnose mathematischer Vorläuferfähigkeiten.” In Chancenungleichheit in der Grundschule – Ursachen und Wege aus der Krise, edited by Jörg Ramseger and Matthea Wagener, 12:223–26. Jahrbuch Grundschulforschung . Wiesbaden: VS Verlag für Sozialwissenschaften, 2008.
LibreCat: /record/26766

Hellmich, Frank. “Erklärungsfaktoren für Geschlechterunterschiede in der Lesekompetenz bei Grundschulkindern am Ende ihrer Grundschulzeit.” Zeitschrift für Grundschulforschung. Bildung im Elementar- und Primarbereich 2 (2008): 46–58.
LibreCat: /record/26767

Hellmich, Frank. “Empirische Bildungsforschung und Grundschulpädagogik.” In Lehr-Lernforschung und Grundschulpädagogik , edited by Frank Hellmich, 46–75. Bad Heilbrunn: Klinkhardt, 2008.
LibreCat: /record/26768

Hellmich, Frank, and Sylvia Jahnke-Klein . “Selbstbezogene Kognitionen und Interessen von Mädchen und Jungen im Mathematikunterricht der Grundschule.” In Kinder und ihr Geschlecht. Jahrbuch Frauen- und Geschlechterforschung in der Erziehungswissenschaft, edited by Annedore Prengel and Barbara Rendtorff, 111–20. Opladen: Barbara Budrich, 2008.
LibreCat: /record/26769

Hellmich, Frank. “Individuelle und schulische Bedingungen im Leseunterricht der Grundschule.” In Checkpoint Literacy. Tagungsband 1 zum 15. Europäischen Lesekongress 2007 in Berlin, edited by Bernhard Hofmann and Renate Valtin, 172–82. Berlin: Deutsche Gesellschaft für Lesen und Schreiben, 2008.
LibreCat: /record/26771

Hellmich, Frank. “‘Ich mach` das so, wie machst du das eigentlich?’ – Diagnose und Förderung von Lernstrategien bei Kindern im Grundschulalter.” Sache - Wort - Zahl 92 (2008): 48–53.
LibreCat: /record/26772

Hellmich, Frank, and Sven Jansen. “Diagnose mathematischer Vorläuferfähigkeiten im vorschulischen Bereich.” In Vorschulische Bildungsprozesse in Mathematik und Naturwissenschaften, edited by Frank  Hellmich and Hilde Köster, 59–81. Bad Heilbrunn: Klinkhardt, 2008.
LibreCat: /record/26774

Hellmich, Frank. “Förderung mathematischer Vorläuferfähigkeiten im vorschulischen Bereich – Konzepte, empirische Befunde und Forschungsperspektiven.” In Vorschulische Bildungsprozesse in Mathematik und Naturwissenschaften , edited by Frank Hellmich and Hilde Köster, 83–102. Bad Heilbrunn: Klinkhardt, 2008.
LibreCat: /record/26776

Buyken, Anette, Nadina Karaolis-Danckert, and Thomas Remer. “Association of Prepubertal Body Composition in Healthy Girls and Boys with the Timing of Early and Late Pubertal Markers.”https://doi.org/10.3945/ajcn.2008.26733__The American Journal of Clinical Nutrition, 2008, 221–30.https://doi.org/10.3945/ajcn.2008.26733 .
LibreCat: /record/26891
DOI: 10.3945/ajcn.2008.26733

Libuda, Lars, Ute Alexy, Anette Buyken, Wolfgang Sichert-Hellert, Peter Stehle, and Mathilde Kersting. “Consumption of Sugar-Sweetened Beverages and Its Association with Nutrient Intakes and Diet Quality in German Children and Adolescents.”https://doi.org/10.1017/s0007114508094671__British Journal of Nutrition, 2008.https://doi.org/10.1017/s0007114508094671 .
LibreCat: /record/26892
DOI: 10.1017/s0007114508094671

Wehrheim, Heike. “Refinement in the Presence of Unknowns.”https://doi.org/10.1016/j.entcs.2008.02.023__Electr. Notes Theor. Comput. Sci., 2008, 255--264.https://doi.org/10.1016/j.entcs.2008.02.023 .
LibreCat: /record/3203
DOI: 10.1016/j.entcs.2008.02.023

Estler, H.-Christian, and Heike Wehrheim. “Alloy as a Refactoring Checker?”https://doi.org/10.1016/j.entcs.2008.06.015__Electr. Notes Theor. Comput. Sci., 2008, 331--357.https://doi.org/10.1016/j.entcs.2008.06.015 .
LibreCat: /record/3204
DOI: 10.1016/j.entcs.2008.06.015

Möller, Michael, Ernst-Rüdiger Olderog, Holger Rasch, and Heike Wehrheim. “Integrating a Formal Method into a Software Engineering Process with UML and Java.”https://doi.org/10.1007/s00165-007-0042-7__Formal Asp. Comput., no. 2 (2008): 161--204.https://doi.org/10.1007/s00165-007-0042-7 .
LibreCat: /record/3205
DOI: 10.1007/s00165-007-0042-7

Brückner, Ingo, Klaus Dräger, Bernd Finkbeiner, and Heike Wehrheim. “Slicing Abstractions.” Fundam. Inform., no. 4 (2008): 369--392.
LibreCat: /record/3206

Engels, Gregor, Anneke Kleppe, Arend Rensink, Maria Semenyak, Christian Soltenborn, and Heike Wehrheim. “From UML Activities to TAAL - Towards Behaviour-Preserving Model Transformations.”https://doi.org/10.1007/978-3-540-69100-6_7__In Model Driven Architecture - Foundations and Applications, 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings, edited by Ina Schieferdecker and Alan Hartman, 94--109. Lecture Notes in Computer Science, 2008.https://doi.org/10.1007/978-3-540-69100-6_7 .
LibreCat: /record/3207
DOI: 10.1007/978-3-540-69100-6_7

Derrick, John, Gerhard Schellhorn, and Heike Wehrheim. “Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack.”https://doi.org/10.1007/978-3-540-68863-1_6__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, edited by Gilles Barthe and Frank S. de Boer, 78--95. Lecture Notes in Computer Science, 2008.https://doi.org/10.1007/978-3-540-68863-1_6 .
LibreCat: /record/3208
DOI: 10.1007/978-3-540-68863-1_6

Metzler, Björn, Heike Wehrheim, and Daniel Wonisch. “Decomposition for Compositional Verification.”https://doi.org/10.1007/978-3-540-88194-0_9__In Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings, edited by Shaoying Liu, T. S. E. Maibaum, and Keijiro Araki, 105--125. Lecture Notes in Computer Science, 2008.https://doi.org/10.1007/978-3-540-88194-0_9 .
LibreCat: /record/3209
DOI: 10.1007/978-3-540-88194-0_9

Wehrheim, Heike. “Bounded Model Checking for Partial Kripke Structures.”https://doi.org/10.1007/978-3-540-85762-4_26__In Theoretical Aspects of Computing - ICTAC 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings, edited by John S. Fitzgerald, Anne Elisabeth Haxthausen, and H\'22usn\'22u Yenig\'22un, 380--394. Lecture Notes in Computer Science, 2008.https://doi.org/10.1007/978-3-540-85762-4_26 .
LibreCat: /record/3210
DOI: 10.1007/978-3-540-85762-4_26

Becker, Jörg, Daniel Beverungen, and Ralf 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: /record/3477

Becker, Jörg, Daniel Beverungen, Ralf Knackstedt, and Oliver Müller. “Modeling, Customer-Specific Configuration and Calculation of Value Bundles.” In Americas Conference on Information Systems. Toronto, Canada, 2008.
LibreCat: /record/3478

Beverungen, Daniel, Uwe Kaiser, Ralf Knackstedt, Robin Krings, and Armin Stein. “Konfigurative Prozessmodellierung Der Hybriden Leistungserstellung in Unternehmensnetzwerken Des Maschinen- Und Anlagenbaus.” In Proceedings of the Multikonferenz Wirtschaftsinformatik (MKWI 2008), 735--747. München, 2008.
LibreCat: /record/3479

Winkelmann, Axel, Daniel Beverungen, Christian Janiesch, and Jörg 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: /record/3480

Beverungen, Daniel, Ralf Knackstedt, and Oliver 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 (2008): 220--234.
LibreCat: /record/3507

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

Harteis, Christian, and Hans Gruber. “Intuition and Professional Competence: Intuitive versus Rational Forecasting of the Stock Market.” Vocations and Learning, no. 1 (2008): 71--85.
LibreCat: /record/3597

Billett, Stephen, Christian Harteis, and Anneli Eteläpelto, eds. Emerging Perspectives of Workplace Learning. Rotterdam: Sense, 2008.
LibreCat: /record/3598

Harteis, Christian, Johannes Bauer, and Hans Gruber. “The Culture of Learning from Mistakes: How Employees Handle Mistakes in Everyday Work.” International Journal of Educational Research, no. 4 (2008): 223--231.
LibreCat: /record/3604

Harteis, Christian, and Stephen Billett. “The Workplace as Learning Environment: Introduction.” International Journal of Educational Research, no. 4 (2008): 209--212.
LibreCat: /record/3605

Harteis, Christian, and Hans Gruber. “How Important Is Intuition for Teaching Expertise in the Field of Adult Education?” Studies in the Education of Adults, no. 1 (2008): 96--109.
LibreCat: /record/3610

Harteis, Christian, Tina Koch, and Barbara Morgenthaler. “How Intuition Contributes to High Performance: An Educational Perspective.” US-China Education Review 5, no. 1 (2008): 68--80.
LibreCat: /record/3616

Gruber, Hans, Christian Harteis, Nadja-Verena Paetz, and Stefanie Keil. Lernende Region Cham Programmvertiefung II Kommunale Kooperation Waldmünchen. Regensburg: Universität Regensburg, 2008.
LibreCat: /record/3631