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.
842 Publications
2007 | Book Chapter | LibreCat-ID: 26781
Hellmich F, Sämisch M. Augen zu und durch!? – Wie lernen angehende Grundschullehrerinnen und -lehrer im Studium? In: Möller K, Hanke P, Beinbrech C, Hein AK, Kleickmann T, Schagers R, eds. Qualität von Grundschulunterricht entwickeln, erfassen und bewerten. Vol 11. Jahrbuch Grundschulforschung . VS Verlag für Sozialwissenschaften; 2007:115-118.
LibreCat
2007 | Journal Article | LibreCat-ID: 26786
Hellmich F. Bedingungen anschlussfähiger Bildungsprozesse von Kindern beim Übergang vom Kindergarten in die Grundschule. Bildungsforschung . 2007;4.1. doi:10.25539/BILDUNGSFORSCHUN.V1I0.59
LibreCat
| DOI
2007 | Journal Article | LibreCat-ID: 26788
Hellmich F. Möglichkeiten der Förderung mathematischer Vorläuferfähigkeiten im vorschulischen Bereich. Bildungsforschung . 2007;4.1. doi:10.25656/01:4628
LibreCat
| DOI
2007 | Book Chapter | LibreCat-ID: 26790
Hellmich F, Grüßing M. Standards und Perspektiven für das Mathematiklernen in der Vor- und Grundschulzeit. In: Hellmich F, ed. Perspektiven für das Lehren und Lernen in der Grundschule. Theorie und Praxis der Grundschule. Schneider Hohengehren; 2007:119-140.
LibreCat
2007 | Book Chapter | LibreCat-ID: 26791
Hellmich F. Standards, Perspektiven und Tendenzen in der Grundschulpädagogik – Einleitung. In: Hellmich F, ed. Perspektiven für das Lehren und Lernen in der Grundschule. Theorie und Praxis der Grundschule. Schneider Hohengehren; 2007:3-7.
LibreCat
2007 | Book Chapter | LibreCat-ID: 26793
Hellmich F. „Nach dem Spiel ist vor dem Spiel!?“ – Grundschulpädagogik nach IGLU. In: Hellmich F, ed. Perspektiven für das Lehren und Lernen in der Grundschule. Theorie und Praxis der Grundschule . Schneider Hohengehren; 2007:11-32.
LibreCat
2007 | Journal Article | LibreCat-ID: 3211
Derrick J, Wehrheim H. On using data abstractions for model checking refinements. Acta Inf. 2007;(1):41--71. doi:10.1007/s00236-007-0042-3
LibreCat
| DOI
2007 | Journal Article | LibreCat-ID: 3212
Metzler B, Wehrheim H. Extending a Component Specification Language with Time. Electr Notes Theor Comput Sci. 2007;(2):47--67. doi:10.1016/j.entcs.2006.02.031
LibreCat
| DOI
2007 | Journal Article | LibreCat-ID: 3213
Estler H.-}Christian, Ruhroth T, Wehrheim H. Modelchecking Correctness of Refactorings - Some Experiments. Electr Notes Theor Comput Sci. 2007:3--17. doi:10.1016/j.entcs.2006.08.041
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 3214
Engels G, Güldali B, Soltenborn C, Wehrheim H. Assuring Consistency of Business Process Models and Web Services Using Visual Contracts. In: Sch{\"{u}}rr A, Nagl M, Z{\"{u}}ndorf A, eds. Applications of Graph Transformations with Industrial Relevance, Third International Symposium, {AGTIVE} 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers. Lecture Notes in Computer Science. ; 2007:17--31. doi:10.1007/978-3-540-89020-1_2
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 3215
Engels G, Soltenborn C, Wehrheim H. Analysis of {UML} Activities Using Dynamic Meta Modeling. In: M. Bonsangue M, Broch Johnsen E, eds. Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings. Lecture Notes in Computer Science. ; 2007:76--90. doi:10.1007/978-3-540-72952-5_5
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 3216
Ruhroth T, Wehrheim H. Refactoring Object-Oriented Specifications with Data and Processes. In: M. Bonsangue M, Broch Johnsen E, eds. Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings. Lecture Notes in Computer Science. ; 2007:236--251. doi:10.1007/978-3-540-72952-5_15
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 3221
Schäfer W, Wehrheim H. The Challenges of Building Advanced Mechatronic Systems. In: C. Briand L, L. Wolf A, eds. International Conference on Software Engineering, {ISCE} 2007, Workshop on the Future of Software Engineering, {FOSE} 2007, May 23-25, 2007, Minneapolis, MN, {USA}. ; 2007:72--84. doi:10.1109/FOSE.2007.28
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 3222
Derrick J, Schellhorn G, Wehrheim H. Proving Linearizability Via Non-atomic Refinement. In: Davies J, Gibbons J, eds. Integrated Formal Methods, 6th International Conference, {IFM} 2007, Oxford, UK, July 2-5, 2007, Proceedings. Lecture Notes in Computer Science. ; 2007:195--214. doi:10.1007/978-3-540-73210-5_11
LibreCat
| DOI
2007 | Book Chapter | LibreCat-ID: 3293
Gries T. Global Shift – The European Union, the United States, and the Emergence of China. In: Tilly R, Welfens PJJ, Heise M, eds. 50 Years of EU Economic Dynamics. Springer; 2007:25-45.
LibreCat
2007 | Book Chapter | LibreCat-ID: 3294
Gries T, Xue J. Educational Disparity and Income Inequality in Urban China. In: The Economic Science. Vol 55, No. 3. ; 2007:101-116.
LibreCat
2007 | Journal Article | LibreCat-ID: 3470
Beran J, Feng Y. Local Polynomial Estimation with a FARIMA-GARCH Error Process. Bernoulli. 2007;7(5). doi:10.2307/3318539
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 3481
Klose K, Knackstedt R, Beverungen D. Identification of services --- A stakeholder-based approach to SOA development and its application in the area of production planning. In: Proceedings of the 15th European Conference on Information System. St. Gallen, Switzerland; 2007.
LibreCat
2007 | Journal Article | LibreCat-ID: 3508
Becker J, Winkelmann A, Beverungen D, Janiesch C. Bereitstellung von Artikelstammdaten. HMD --- Praxis der Wirtschaftsinformatik. 2007;(258):45--56.
LibreCat
2007 | Book Chapter | LibreCat-ID: 3611
Bauer J, Rehrl M, Harteis C. Measurement of learning culture: a motivational approach. In: Gruber H, Palonen T, eds. Learning in the Workplace--New Developments. Turku: Turun Yliopisto; 2007:21--50.
LibreCat
2007 | Book Chapter | LibreCat-ID: 3612
Gruber H, Harteis C, Hasanbegovic J, Lehner F. Über die Rolle epistemischer Überzeugungen für die Gestaltung von E-Learning—eine empirische Studie bei Hochschullehrendenn. In: Breitner MH, Bruns B, Lehner F, eds. Neue Trends Im E-Learning. Heidelberg: Physika; 2007:123--132.
LibreCat
2007 | Book Chapter | LibreCat-ID: 3623
Harteis C, Gruber H, Hertramph H. Epistemological beliefs and their impact on the practice of e-learning in companies. In: Uskov V, ed. Computers and Advances Technologies in Education. Globalization of Education through Advanced Technology. Anaheim: ACTA; 2007:266--271.
LibreCat
2007 | Book Chapter | LibreCat-ID: 3647
Harteis C, Bauer J, Haltia P. Learning from errors in the workplace--insights from two studies in Germany and Finland. In: Gruber H, Palonen T, eds. Learning in the Workplace--New Developments. Turku: Turun Yliopisto; 2007:119--138.
LibreCat
2007 | Journal Article | LibreCat-ID: 3704
Müller J. Die steuerliche Ungleichbehandlung von Anteilen an Kapitalgesellschaften. Finanz Betrieb. 2007:415--426.
LibreCat
2007 | Book Chapter | LibreCat-ID: 3709
Festner D, Harteis C, Kyhä H, Tuominen T. Participation as predictor of responsibility in working life. In: Gruber H, Palonen T, eds. Learning in the Workplace - New Developments in the Relation between Learning and Working. Turku: FERA; 2007:65-90.
LibreCat
2007 | Dissertation | LibreCat-ID: 2912
Krummel V. Tamper Resistance of AES -- Models, Attacks and Countermeasures. Universität Paderborn; 2007.
LibreCat
| Download (ext.)
2007 | Book Chapter | LibreCat-ID: 3002 | 
Blömer J, Krummel V. Analysis of Countermeasures Against Access Driven Cache Attacks on AES. In: Selected Areas in Cryptography. Berlin, Heidelberg: Springer Berlin Heidelberg; 2007:96-109. doi:10.1007/978-3-540-77360-3_7
LibreCat
| DOI
| Download (ext.)
2007 | Book Chapter | LibreCat-ID: 3019
May A. Cryptanalysis of Unbalanced RSA with Small CRT-Exponent. In: Advances in Cryptology — CRYPTO 2002. Berlin, Heidelberg: Springer Berlin Heidelberg; 2007:242-256. doi:10.1007/3-540-45708-9_16
LibreCat
| DOI
2007 | Book Chapter | LibreCat-ID: 3020
Blömer J, May A. Low Secret Exponent RSA Revisited. In: Lecture Notes in Computer Science. Berlin, Heidelberg: Springer Berlin Heidelberg; 2007:4-19. doi:10.1007/3-540-44670-2_2
LibreCat
| DOI
2007 | Book Chapter | LibreCat-ID: 3021
Blömer J, May A. Key Revocation with Interval Cover Families. In: Selected Areas in Cryptography. Berlin, Heidelberg: Springer Berlin Heidelberg; 2007:325-341. doi:10.1007/3-540-45537-x_26
LibreCat
| DOI
2007 | Book Chapter | LibreCat-ID: 3022
May A, Silverman JH. Dimension Reduction Methods for Convolution Modular Lattices. In: Lecture Notes in Computer Science. Berlin, Heidelberg: Springer Berlin Heidelberg; 2007:110-125. doi:10.1007/3-540-44670-2_10
LibreCat
| DOI
2007 | Book Chapter | LibreCat-ID: 3026
Blömer J. A Probabilistic Zero-Test for Expressions Involving Roots of Rational Numbers. In: Algorithms — ESA’ 98. Berlin, Heidelberg: Springer Berlin Heidelberg; 2007:151-162. doi:10.1007/3-540-68530-8_13
LibreCat
| DOI
2007 | Journal Article | LibreCat-ID: 3063
Gries T, Jungblut S. Employment Effects of International Factor Mobility - A Theoretical Approach with Heterogenous Labor. Journal of Economic Integration. 2007;22(2):339-368. doi:10.11130/jei.2007.22.2.339
LibreCat
| DOI
2007 | Journal Article | LibreCat-ID: 27138
Libuda L, Alexy U, Sichert-Hellert W, et al. Pattern of beverage consumption and long-term association with body-weight status in German adolescents – results from the DONALD study. British Journal of Nutrition. Published online 2007:1370-1379. doi:10.1017/s0007114507862362
LibreCat
| DOI
2007 | Journal Article | LibreCat-ID: 27588
Libuda L, Alexey U. DONALD News: Zuckerhaltige Getränke und Übergewicht bei Kindern. Monatsschriften Kinderheilkunde. 2007;155:684.
LibreCat
2007 | Journal Article | LibreCat-ID: 27710
Buyken A, Liese AD. Dietary Glycemic Index, Glycemic Load, Fiber, Simple Sugars, and Insulin Resistance: The Inter99 Study: Response to Lau et al. Diabetes Care. Published online 2007:2986-2986. doi:10.2337/diacare.28.12.2986
LibreCat
| DOI
2007 | Journal Article | LibreCat-ID: 27789
Buyken A, von Eckardstein A, Schulte H, Cullen P, Assmann G. Type 2 diabetes mellitus and risk of coronary heart disease: results of the 10-year follow-up of the PROCAM study. European Journal of Cardiovascular Prevention & Rehabilitation. Published online 2007:230-236. doi:10.1097/hjr.0b013e3280142037
LibreCat
| DOI
2007 | Journal Article | LibreCat-ID: 27889
Schlegel-Matthies K. Zum Umgang mit Vielfalt im haushaltsbezogenen Unterricht. Haushalt & Bildung. 2007;84(1):35-46.
LibreCat
2007 | Journal Article | LibreCat-ID: 27890
Schlegel-Matthies K. Vermittlung von Konsum- und Finanzkompetenzen für Kinder und Jugendliche - Möglichkeiten und Grenzen pädagogischen Handelns. Der pädagogische Blick Zeitschrift für Wissenschaft und Praxis in pädagogischen Berufen. 2007;15(2):89-96.
LibreCat
2007 | Book | LibreCat-ID: 27891
Oepping A, Schlegel-Matthies K. REVIS - Moderne Ernährungs- und Verbraucherbildung. aid; 2007.
LibreCat
2007 | Book | LibreCat-ID: 1106 |
Geierhos M. Grammatik der Menschenbezeichner in biographischen Kontexten. Vol 2. 1st ed. München: Ludwig-Maximilians-Universität; 2007.
LibreCat
| Download (ext.)
2007 | Conference Paper | LibreCat-ID: 1107
Bsiri S, Geierhos M. Informationsextraktion aus Stellenanzeigen im Internet. In: Hinneburg A, ed. LWA 2007: Lernen - Wissen - Adaption, Halle, September 2007, Workshop Proceedings. Halle-Wittenberg, Germany: Martin-Luther-University; 2007:229-236.
LibreCat
2007 | Conference Paper | LibreCat-ID: 20949
Delic A, Avdagic Z, Schäfer W, Boskovic D, Meyer M. Program evaluation using fuzzy logic with bad smells as inputs. In: Proc. of the 21st International Symposium on Information, Communication and Automation Technologies (ICAT 2007), Sarajevo, Bosnia Herzegovina. Faculty of Electrical Engineering, University of Sarajevo; 2007.
LibreCat
2007 | Conference Paper | LibreCat-ID: 17315
Brennecke A, Finke S, König J, Oevel G. Flexible dezentrale Administration überschneidender Benutzergruppen – Informationelle Selbstbestimmung durch benutzerkontrollierte Provisionierung. In: Konferenzband der 20. DFN-Jahrestagung DFN2006. Berlin: Humboldt Universität; 2007:267-281.
LibreCat
2007 | Book | LibreCat-ID: 17448
Ebbinghaus H-D, Peckhaus V. Ernst Zermelo. An Approach to His Life and Work. Berlin/Heidelberg: Springer; 2007.
LibreCat
2007 | Book (Editor) | LibreCat-ID: 17461
Peckhaus V, ed. Der Mathematikunterricht 53, H. 5: Schwerpunkt: Philosophie und Mathematik.; 2007.
LibreCat
2007 | Journal Article | LibreCat-ID: 1755
Nau D, Schönhardt A, Bauer C, et al. Correlation Effects in Disordered Metallic Photonic Crystal Slabs. Physical Review Letters. 2007;98(13). doi:10.1103/physrevlett.98.133902
LibreCat
| DOI
2007 | Journal Article | LibreCat-ID: 1756
Meyrath TP, Zentgraf T, Giessen H. Lorentz model for metamaterials: Optical frequency resonance circuits. Physical Review B. 2007;75(20). doi:10.1103/physrevb.75.205102
LibreCat
| DOI
2007 | Journal Article | LibreCat-ID: 17567
Leonardi S, Mahlmann P, Meyer auf der Heide F, Spirakis PG, Weikum G. Guarding our digital society’s well-being. e-Strategies, www.britishpublishers.com. 2007;3-10-2007.
LibreCat
2007 | Journal Article | LibreCat-ID: 1757
Zentgraf T, Huber R, Nielsen NC, Chemla DS, Kaindl RA. Ultrabroadband 50-130 THz pulses generated via phase-matched difference frequency mixing in LiIO_3. Optics Express. 2007;15(9). doi:10.1364/oe.15.005775
LibreCat
| DOI