Ziegler, M., &; Koolen, W. M. (2008). Kolmogorov Complexity Theory over the Reals. In arXiv:0802.2027.
LibreCat: /record/26235

Köhler, S., &; Ziegler, M. (2008). On the Stability of Fast Polynomial Arithmetic. Proc. 8th Conference on Real Numbers and Computers, 147–156.
LibreCat: /record/26243

Ziegler, M. (2008). Physically-Relativized Church-Turing Hypotheses. Applied Mathematics and Computation.
LibreCat: /record/26255
arXiv: 0805.1292

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

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: /record/26280
DOI: 10.1016/j.jco.2006.09.004

Betz, S. (Ed.). (2008). Entscheidungsprobleme im Supply Chain Management - Quantitative Lösungsansätze für den Mittelstand. Hamburg.
LibreCat: /record/2672

Hellmich, F. (Ed.). (2008). Lehr-Lernforschung und Grundschulpädagogik. Klinkhardt.
LibreCat: /record/26729

Hellmich, F., &; Köster, H. (Eds.). (2008). Vorschulische Bildungsprozesse in Mathematik und Naturwissenschaften. Klinkhardt.
LibreCat: /record/26730

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: /record/26765

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: /record/26766

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: /record/26767

Hellmich, F. (2008). Empirische Bildungsforschung und Grundschulpädagogik. In F. Hellmich (Ed.), Lehr-Lernforschung und Grundschulpädagogik  (pp. 46–75). Klinkhardt.
LibreCat: /record/26768

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: /record/26769

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: /record/26771

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: /record/26772

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: /record/26774

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: /record/26776

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: /record/26891
DOI: 10.3945/ajcn.2008.26733

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: /record/26892
DOI: 10.1017/s0007114508094671

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: /record/3203
DOI: 10.1016/j.entcs.2008.02.023

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: /record/3204
DOI: 10.1016/j.entcs.2008.06.015

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: /record/3205
DOI: 10.1007/s00165-007-0042-7

Brückner, I., Dräger, K., Finkbeiner, B., &; Wehrheim, H. (2008). Slicing Abstractions. Fundam. Inform., (4), 369--392.
LibreCat: /record/3206

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: /record/3207
DOI: 10.1007/978-3-540-69100-6_7

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: /record/3208
DOI: 10.1007/978-3-540-68863-1_6

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: /record/3209
DOI: 10.1007/978-3-540-88194-0_9

Wehrheim, H. (2008). Bounded Model Checking for Partial Kripke Structures. In J. S. Fitzgerald, A. Elisabeth Haxthausen, &; H. Yenig\'22un (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: /record/3210
DOI: 10.1007/978-3-540-85762-4_26

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: /record/3477

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: /record/3478

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: /record/3479

Winkelmann, A., Beverungen, D., Janiesch, C., &; Becker, J. (2008). 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.
LibreCat: /record/3480

Beverungen, D., Knackstedt, R., &; Müller, O. (2008). Entwicklung Serviceorientierter Architekturen zur Integration von Produktion und Dienstleistung --- Eine Konzeptionsmethode und ihre Anwendung am Beispiel des Recyclings elektronischer Geräte. Wirtschaftsinformatik, (3), 220--234.
LibreCat: /record/3507

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

Harteis, C., &; Gruber, H. (2008). Intuition and professional competence: Intuitive versus rational forecasting of the stock market. Vocations and Learning, (1), 71--85.
LibreCat: /record/3597

Billett, S., Harteis, C., &; Eteläpelto, A. (Eds.). (2008). Emerging perspectives of workplace learning. Rotterdam: Sense.
LibreCat: /record/3598

Harteis, C., Bauer, J., &; Gruber, H. (2008). The culture of learning from mistakes: How employees handle mistakes in everyday work. International Journal of Educational Research, (4), 223--231.
LibreCat: /record/3604

Harteis, C., &; Billett, S. (2008). The workplace as learning environment: Introduction. International Journal of Educational Research, (4), 209--212.
LibreCat: /record/3605

Harteis, C., &; Gruber, H. (2008). How important is intuition for teaching expertise in the field of adult education? Studies in the Education of Adults, (1), 96--109.
LibreCat: /record/3610

Harteis, C., Koch, T., &; Morgenthaler, B. (2008). How Intuition Contributes to High Performance: An Educational Perspective. US-China Education Review, 5(1), 68--80.
LibreCat: /record/3616

Gruber, H., Harteis, C., Paetz, N.-V., &; Keil, S. (2008). Lernende Region Cham Programmvertiefung II Kommunale Kooperation Waldmünchen. Regensburg: Universität Regensburg.
LibreCat: /record/3631

Gruber, H., &; Harteis, C. (2008). Lernen und Lehren im Erwachsenenalter. In A. Renkl (Ed.), Lehrbuch Pädagogische Psychologie (pp. 205--261). Bern: Huber.
LibreCat: /record/3642

Sureth-Sloane, C., Müller, J., Houben, H., &; Maiterth, R. (2008). Auswirkungen einer Reform des Erbschaft-und Schenkungsteuergesetzes auf das Steueraufkommen unter besonderer Berücksichtigung einer verkehrswertorientierten Bewertung von Unternehmens-und Grundvermögen. Unternehmensbesteuerung, 183--200.
LibreCat: /record/3695

Stern, C., Adelt, P., Krummel, V., &; Ackermann, M. R. (2008). Reliable Evidence of Data Integrity from an Untrusted Storage Service. In Fourth International Conference on Networking and Services (icns 2008). IEEE.https://doi.org/10.1109/icns.2008.28 
LibreCat: /record/3001
DOI: 10.1109/icns.2008.28

Gries, T., Naudé, W., Wood, E., &; Meintjes, A. (2008). Regional Determinants of Entrepreneurial Start-Ups in a Developing Country. Entrepreneurship &; Regional Development, 20(2), 111–124.https://doi.org/10.1080/08985620701631498 
LibreCat: /record/3061
DOI: 10.1080/08985620701631498

Gries, T., &; Naudé, W. (2008). Trade and Endogenous Formation of Regions in a Developing Country. Review of Developing Economics, 12(2), 248–275.https://doi.org/10.1111/j.1467-9361.2007.00382.x 
LibreCat: /record/3062
DOI: 10.1111/j.1467-9361.2007.00382.x

Gajek, S., Jager, T., Manulis, M., &; Schwenk, J. (2008). A Browser-Based Kerberos Authentication Scheme. In Computer Security - ESORICS 2008, 13th European Symposium on Research in Computer Security, Málaga, Spain, October 6-8, 2008. Proceedings (pp. 115--129).https://doi.org/10.1007/978-3-540-88313-5_8 
LibreCat: /record/3143
DOI: 10.1007/978-3-540-88313-5_8

Altmann, K., Jager, T., &; Rupp, A. (2008). On Black-Box Ring Extraction and Integer Factorization. In Automata, Languages and Programming, 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II - Track B: Logic, Semantics, and Theory of Programming &; Track C: Security and Cryptography Foundations (pp. 437--448).https://doi.org/10.1007/978-3-540-70583-3_36 
LibreCat: /record/3144
DOI: 10.1007/978-3-540-70583-3_36

Jager, T., &; Schwenk, J. (2008). On the Equivalence of Generic Group Models. In Provable Security, Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings (pp. 200--209).https://doi.org/10.1007/978-3-540-88733-1_14 
LibreCat: /record/3145
DOI: 10.1007/978-3-540-88733-1_14

Jager, T., Jäkel, H., &; Schwenk, J. (2008). Nutzung von selbstsignierten Client-Zertifikaten zur Authentifikation bei SSL/TLS. In Sicherheit 2008: Sicherheit, Schutz und Zuverlässigkeit. Konferenzband der 4. Jahrestagung des Fachbereichs Sicherheit der Gesellschaft für Informatik e.V. (GI), 2.-4. April 2008 im Saarbrücker Schloss. (pp. 127--136).
LibreCat: /record/3146

Libuda, L., Alexy, U., Remer, T., Stehle, P., Schoenau, E., &; Kersting, M. (2008). Association between long-term consumption of soft drinks and variables of bone modeling and remodeling in a sample of healthy German children and adolescents. The American Journal of Clinical Nutrition, 1670–1677.https://doi.org/10.3945/ajcn.2008.26414 
LibreCat: /record/27137
DOI: 10.3945/ajcn.2008.26414