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 | Preprint | LibreCat-ID: 26235
Kolmogorov Complexity Theory over the Reals
M. Ziegler, W.M. Koolen, ArXiv:0802.2027 (2008).
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 26243
On the Stability of Fast Polynomial Arithmetic
S. Köhler, M. Ziegler, in: Proc. 8th Conference on Real Numbers and Computers, 2008, pp. 147–156.
LibreCat
 

2008 | Journal Article | LibreCat-ID: 26255
Physically-Relativized Church-Turing Hypotheses
M. Ziegler, Applied Mathematics and Computation (2008).
LibreCat | arXiv
 

2008 | Book Chapter | LibreCat-ID: 26262
A Meta-Theory of Physics and Computation
M. Ziegler, in: Verhandlungen Der Deutschen Physikalischen Gesellschaft, Deutsche Physikalische Gesellschaft (DPG), 2008, p. 145.
LibreCat
 

2008 | Journal Article | LibreCat-ID: 26280
An explicit solution to Post's Problem over the reals
K. Meer, M. Ziegler, Journal of Complexity (2008) 3–15.
LibreCat | DOI
 

2008 | Book (Editor) | LibreCat-ID: 2672
Entscheidungsprobleme im Supply Chain Management - Quantitative Lösungsansätze für den Mittelstand
S. Betz, ed., Entscheidungsprobleme Im Supply Chain Management - Quantitative Lösungsansätze Für Den Mittelstand, Hamburg, 2008.
LibreCat
 

2008 | Book (Editor) | LibreCat-ID: 26729
Lehr-Lernforschung und Grundschulpädagogik
F. Hellmich, ed., Lehr-Lernforschung und Grundschulpädagogik, Klinkhardt, Bad Heilbrunn, 2008.
LibreCat
 

2008 | Book (Editor) | LibreCat-ID: 26730
Vorschulische Bildungsprozesse in Mathematik und Naturwissenschaften
F. Hellmich, H. Köster, eds., Vorschulische Bildungsprozesse in Mathematik und Naturwissenschaften, Klinkhardt, Bad Heilbrunn, 2008.
LibreCat
 

2008 | Book Chapter | LibreCat-ID: 26765
Bedingungen für erfolgreiche Leselernprozesse bei leistungsschwächeren Kindern
F. Hellmich, in: J. Ramseger, M. Wagener (Eds.), Chancenungleichheit in der Grundschule – Ursachen und Wege aus der Krise, VS Verlag für Sozialwissenschaften, Wiesbaden, 2008, pp. 195–198.
LibreCat
 

2008 | Book Chapter | LibreCat-ID: 26766
Chancengleichheit im mathematischen Anfangsunterricht durch eine frühzeitige Diagnose mathematischer Vorläuferfähigkeiten
F. Hellmich, M. Sämisch, in: J. Ramseger, M. Wagener (Eds.), Chancenungleichheit in der Grundschule – Ursachen und Wege aus der Krise, VS Verlag für Sozialwissenschaften, Wiesbaden, 2008, pp. 223–226.
LibreCat
 

2008 | Journal Article | LibreCat-ID: 26767
Erklärungsfaktoren für Geschlechterunterschiede in der Lesekompetenz bei Grundschulkindern am Ende ihrer Grundschulzeit
F. Hellmich, Zeitschrift für Grundschulforschung. Bildung im Elementar- und Primarbereich 2 (2008) 46–58.
LibreCat
 

2008 | Book Chapter | LibreCat-ID: 26768
Empirische Bildungsforschung und Grundschulpädagogik
F. Hellmich, in: F. Hellmich (Ed.), Lehr-Lernforschung und Grundschulpädagogik , Klinkhardt, Bad Heilbrunn, 2008, pp. 46–75.
LibreCat
 

2008 | Book Chapter | LibreCat-ID: 26769
Selbstbezogene Kognitionen und Interessen von Mädchen und Jungen im Mathematikunterricht der Grundschule
F. Hellmich, S. Jahnke-Klein , in: A. Prengel, B. Rendtorff (Eds.), Kinder und ihr Geschlecht. Jahrbuch Frauen- und Geschlechterforschung in der Erziehungswissenschaft, Barbara Budrich, Opladen, 2008, pp. 111–120.
LibreCat
 

2008 | Book Chapter | LibreCat-ID: 26771
Individuelle und schulische Bedingungen im Leseunterricht der Grundschule
F. Hellmich, in: B. Hofmann, R. Valtin (Eds.), Checkpoint Literacy. Tagungsband 1 zum 15. Europäischen Lesekongress 2007 in Berlin, Deutsche Gesellschaft für Lesen und Schreiben, Berlin, 2008, pp. 172–182.
LibreCat
 

2008 | Journal Article | LibreCat-ID: 26772 LibreCat
 

2008 | Book Chapter | LibreCat-ID: 26774
Diagnose mathematischer Vorläuferfähigkeiten im vorschulischen Bereich
F. Hellmich, S. Jansen, in: F. Hellmich, H. Köster (Eds.), Vorschulische Bildungsprozesse in Mathematik und Naturwissenschaften, Klinkhardt, Bad Heilbrunn, 2008, pp. 59–81.
LibreCat
 

2008 | Book Chapter | LibreCat-ID: 26776
Förderung mathematischer Vorläuferfähigkeiten im vorschulischen Bereich – Konzepte, empirische Befunde und Forschungsperspektiven
F. Hellmich, in: F. Hellmich, H. Köster (Eds.), Vorschulische Bildungsprozesse in Mathematik und Naturwissenschaften , Klinkhardt, Bad Heilbrunn, 2008, pp. 83–102.
LibreCat
 

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

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

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

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

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

2008 | Journal Article | LibreCat-ID: 3206
Slicing Abstractions
I. Brückner, K. Dräger, B. Finkbeiner, H. Wehrheim, Fundam. Inform. (2008) 369--392.
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 3207
From {UML} Activities to {TAAL} - Towards Behaviour-Preserving Model Transformations
G. Engels, A. Kleppe, A. Rensink, M. Semenyak, C. Soltenborn, H. Wehrheim, 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, 2008, pp. 94--109.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 3208
Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack
J. Derrick, G. Schellhorn, H. Wehrheim, 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, 2008, pp. 78--95.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 3209
Decomposition for Compositional Verification
B. Metzler, H. Wehrheim, D. Wonisch, 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, 2008, pp. 105--125.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 3210
Bounded Model Checking for Partial Kripke Structures
H. Wehrheim, 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, 2008, pp. 380--394.
LibreCat | DOI
 

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

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

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

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

2008 | Book | LibreCat-ID: 3558
Unternehmensbewertung für substanzsteuerliche Zwecke - eine empirische Analyse des Stuttgarter Verfahrens und alternativer Ansätze
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 LibreCat
 

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

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

2008 | Journal Article | LibreCat-ID: 3605
The workplace as learning environment: Introduction
C. Harteis, S. Billett, International Journal of Educational Research (2008) 209--212.
LibreCat
 

2008 | Journal Article | LibreCat-ID: 3610
How important is intuition for teaching expertise in the field of adult education?
C. Harteis, H. Gruber, Studies in the Education of Adults (2008) 96--109.
LibreCat
 

2008 | Journal Article | LibreCat-ID: 3616
How Intuition Contributes to High Performance: An Educational Perspective.
C. Harteis, T. Koch, B. Morgenthaler, US-China Education Review 5 (2008) 68--80.
LibreCat
 

2008 | Report | LibreCat-ID: 3631
Lernende Region Cham Programmvertiefung II Kommunale Kooperation Waldmünchen
H. Gruber, C. Harteis, N.-V. Paetz, S. Keil, Lernende Region Cham Programmvertiefung II Kommunale Kooperation Waldmünchen, Universität Regensburg, Regensburg, 2008.
LibreCat
 

2008 | Book Chapter | LibreCat-ID: 3642
Lernen und Lehren im Erwachsenenalter
H. Gruber, C. Harteis, in: A. Renkl (Ed.), Lehrbuch Pädagogische Psychologie, Huber, Bern, 2008, pp. 205--261.
LibreCat
 

2008 | Journal Article | LibreCat-ID: 3695 LibreCat
 

2008 | Conference Paper | LibreCat-ID: 3001
Reliable Evidence of Data Integrity from an Untrusted Storage Service
C. Stern, P. Adelt, V. Krummel, M.R. Ackermann, in: Fourth International Conference on Networking and Services (Icns 2008), IEEE, 2008.
LibreCat | DOI
 

2008 | Journal Article | LibreCat-ID: 3061
Regional Determinants of Entrepreneurial Start-Ups in a Developing Country
T. Gries, W. Naudé, E. Wood, A. Meintjes, Entrepreneurship & Regional Development 20 (2008) 111–124.
LibreCat | DOI
 

2008 | Journal Article | LibreCat-ID: 3062
Trade and Endogenous Formation of Regions in a Developing Country
T. Gries, W. Naudé, Review of Developing Economics 12 (2008) 248–275.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 3143
A Browser-Based Kerberos Authentication Scheme
S. Gajek, T. Jager, M. Manulis, J. Schwenk, in: Computer Security - ESORICS 2008, 13th European Symposium on Research in Computer Security, Málaga, Spain, October 6-8, 2008. Proceedings, 2008, pp. 115--129.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 3144
On Black-Box Ring Extraction and Integer Factorization
K. Altmann, T. Jager, A. Rupp, 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, 2008, pp. 437--448.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 3145
On the Equivalence of Generic Group Models
T. Jager, J. Schwenk, in: Provable Security, Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings, 2008, pp. 200--209.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 3146
Nutzung von selbstsignierten Client-Zertifikaten zur Authentifikation bei SSL/TLS
T. Jager, H. Jäkel, J. Schwenk, 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., 2008, pp. 127--136.
LibreCat
 

2008 | Journal Article | LibreCat-ID: 27137
Association between long-term consumption of soft drinks and variables of bone modeling and remodeling in a sample of healthy German children and adolescents
L. Libuda, U. Alexy, T. Remer, P. Stehle, E. Schoenau, M. Kersting, The American Journal of Clinical Nutrition (2008) 1670–1677.
LibreCat | DOI
 

Filters and Search Terms

year=2008

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed