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.
9805 Publications
2007 | Book Chapter | LibreCat-ID: 26790
Standards und Perspektiven für das Mathematiklernen in der Vor- und Grundschulzeit
F. Hellmich, M. Grüßing , in: F. Hellmich (Ed.), Perspektiven für das Lehren und Lernen in der Grundschule. Theorie und Praxis der Grundschule, Schneider Hohengehren, Baltmannsweiler, 2007, pp. 119–140.
LibreCat
F. Hellmich, M. Grüßing , in: F. Hellmich (Ed.), Perspektiven für das Lehren und Lernen in der Grundschule. Theorie und Praxis der Grundschule, Schneider Hohengehren, Baltmannsweiler, 2007, pp. 119–140.
2007 | Book Chapter | LibreCat-ID: 26791
Standards, Perspektiven und Tendenzen in der Grundschulpädagogik – Einleitung
F. Hellmich, in: F. Hellmich (Ed.), Perspektiven für das Lehren und Lernen in der Grundschule. Theorie und Praxis der Grundschule, Schneider Hohengehren, Baltmannsweiler, 2007, pp. 3–7.
LibreCat
F. Hellmich, in: F. Hellmich (Ed.), Perspektiven für das Lehren und Lernen in der Grundschule. Theorie und Praxis der Grundschule, Schneider Hohengehren, Baltmannsweiler, 2007, pp. 3–7.
2007 | Book Chapter | LibreCat-ID: 26793
„Nach dem Spiel ist vor dem Spiel!?“ – Grundschulpädagogik nach IGLU
F. Hellmich, in: F. Hellmich (Ed.), Perspektiven für das Lehren und Lernen in der Grundschule. Theorie und Praxis der Grundschule , Schneider Hohengehren, Baltmannsweiler, 2007, pp. 11–32.
LibreCat
F. Hellmich, in: F. Hellmich (Ed.), Perspektiven für das Lehren und Lernen in der Grundschule. Theorie und Praxis der Grundschule , Schneider Hohengehren, Baltmannsweiler, 2007, pp. 11–32.
2007 | Journal Article | LibreCat-ID: 3211
On using data abstractions for model checking refinements
J. Derrick, H. Wehrheim, Acta Inf. (2007) 41--71.
LibreCat
| DOI
J. Derrick, H. Wehrheim, Acta Inf. (2007) 41--71.
2007 | Conference Paper | LibreCat-ID: 3214
Assuring Consistency of Business Process Models and Web Services Using Visual Contracts
G. Engels, B. Güldali, C. Soltenborn, H. Wehrheim, in: A. Sch{\"{u}}rr, M. Nagl, A. Z{\"{u}}ndorf (Eds.), Applications of Graph Transformations with Industrial Relevance, Third International Symposium, {AGTIVE} 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers, 2007, pp. 17--31.
LibreCat
| DOI
G. Engels, B. Güldali, C. Soltenborn, H. Wehrheim, in: A. Sch{\"{u}}rr, M. Nagl, A. Z{\"{u}}ndorf (Eds.), Applications of Graph Transformations with Industrial Relevance, Third International Symposium, {AGTIVE} 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers, 2007, pp. 17--31.
2007 | Conference Paper | LibreCat-ID: 3215
Analysis of {UML} Activities Using Dynamic Meta Modeling
G. Engels, C. Soltenborn, H. Wehrheim, in: M. M. Bonsangue, E. Broch Johnsen (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, 2007, pp. 76--90.
LibreCat
| DOI
G. Engels, C. Soltenborn, H. Wehrheim, in: M. M. Bonsangue, E. Broch Johnsen (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, 2007, pp. 76--90.
2007 | Conference Paper | LibreCat-ID: 3216
Refactoring Object-Oriented Specifications with Data and Processes
T. Ruhroth, H. Wehrheim, in: M. M. Bonsangue, E. Broch Johnsen (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, 2007, pp. 236--251.
LibreCat
| DOI
T. Ruhroth, H. Wehrheim, in: M. M. Bonsangue, E. Broch Johnsen (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, 2007, pp. 236--251.
2007 | Conference Paper | LibreCat-ID: 3222
Proving Linearizability Via Non-atomic Refinement
J. Derrick, G. Schellhorn, H. Wehrheim, in: J. Davies, J. Gibbons (Eds.), Integrated Formal Methods, 6th International Conference, {IFM} 2007, Oxford, UK, July 2-5, 2007, Proceedings, 2007, pp. 195--214.
LibreCat
| DOI
J. Derrick, G. Schellhorn, H. Wehrheim, in: J. Davies, J. Gibbons (Eds.), Integrated Formal Methods, 6th International Conference, {IFM} 2007, Oxford, UK, July 2-5, 2007, Proceedings, 2007, pp. 195--214.
2007 | Book Chapter | LibreCat-ID: 3293
Global Shift – The European Union, the United States, and the Emergence of China
T. Gries, in: R. Tilly, P.J.J. Welfens, M. Heise (Eds.), 50 Years of EU Economic Dynamics, Springer, 2007, pp. 25–45.
LibreCat
T. Gries, in: R. Tilly, P.J.J. Welfens, M. Heise (Eds.), 50 Years of EU Economic Dynamics, Springer, 2007, pp. 25–45.
2007 | Book Chapter | LibreCat-ID: 3611
Measurement of learning culture: a motivational approach
J. Bauer, M. Rehrl, C. Harteis, in: H. Gruber, T. Palonen (Eds.), Learning in the Workplace--New Developments, Turun Yliopisto, Turku, 2007, pp. 21--50.
LibreCat
J. Bauer, M. Rehrl, C. Harteis, in: H. Gruber, T. Palonen (Eds.), Learning in the Workplace--New Developments, Turun Yliopisto, Turku, 2007, pp. 21--50.
2007 | Book Chapter | LibreCat-ID: 3612
Über die Rolle epistemischer Überzeugungen für die Gestaltung von E-Learning—eine empirische Studie bei Hochschullehrendenn
H. Gruber, C. Harteis, J. Hasanbegovic, F. Lehner, in: M.H. Breitner, B. Bruns, F. Lehner (Eds.), Neue Trends Im E-Learning, Physika, Heidelberg, 2007, pp. 123--132.
LibreCat
H. Gruber, C. Harteis, J. Hasanbegovic, F. Lehner, in: M.H. Breitner, B. Bruns, F. Lehner (Eds.), Neue Trends Im E-Learning, Physika, Heidelberg, 2007, pp. 123--132.
2007 | Book Chapter | LibreCat-ID: 3623
Epistemological beliefs and their impact on the practice of e-learning in companies
C. Harteis, H. Gruber, H. Hertramph, in: V. Uskov (Ed.), Computers and Advances Technologies in Education. Globalization of Education through Advanced Technology, ACTA, Anaheim, 2007, pp. 266--271.
LibreCat
C. Harteis, H. Gruber, H. Hertramph, in: V. Uskov (Ed.), Computers and Advances Technologies in Education. Globalization of Education through Advanced Technology, ACTA, Anaheim, 2007, pp. 266--271.
2007 | Book Chapter | LibreCat-ID: 3647
Learning from errors in the workplace--insights from two studies in Germany and Finland
C. Harteis, J. Bauer, P. Haltia, in: H. Gruber, T. Palonen (Eds.), Learning in the Workplace--New Developments, Turun Yliopisto, Turku, 2007, pp. 119--138.
LibreCat
C. Harteis, J. Bauer, P. Haltia, in: H. Gruber, T. Palonen (Eds.), Learning in the Workplace--New Developments, Turun Yliopisto, Turku, 2007, pp. 119--138.
2007 | Book Chapter | LibreCat-ID: 3709
Participation as predictor of responsibility in working life
D. Festner, C. Harteis, H. Kyhä, T. Tuominen, in: H. Gruber, T. Palonen (Eds.), Learning in the Workplace - New Developments in the Relation between Learning and Working, FERA, Turku, 2007, pp. 65–90.
LibreCat
D. Festner, C. Harteis, H. Kyhä, T. Tuominen, in: H. Gruber, T. Palonen (Eds.), Learning in the Workplace - New Developments in the Relation between Learning and Working, FERA, Turku, 2007, pp. 65–90.
2007 | Book Chapter | LibreCat-ID: 3002 | 
Analysis of Countermeasures Against Access Driven Cache Attacks on AES
J. Blömer, V. Krummel, in: Selected Areas in Cryptography, Springer Berlin Heidelberg, Berlin, Heidelberg, 2007, pp. 96–109.
LibreCat
| DOI
| Download (ext.)
J. Blömer, V. Krummel, in: Selected Areas in Cryptography, Springer Berlin Heidelberg, Berlin, Heidelberg, 2007, pp. 96–109.
2007 | Book Chapter | LibreCat-ID: 3019
Cryptanalysis of Unbalanced RSA with Small CRT-Exponent
A. May, in: Advances in Cryptology — CRYPTO 2002, Springer Berlin Heidelberg, Berlin, Heidelberg, 2007, pp. 242–256.
LibreCat
| DOI
A. May, in: Advances in Cryptology — CRYPTO 2002, Springer Berlin Heidelberg, Berlin, Heidelberg, 2007, pp. 242–256.
2007 | Book Chapter | LibreCat-ID: 3020
Low Secret Exponent RSA Revisited
J. Blömer, A. May, in: Lecture Notes in Computer Science, Springer Berlin Heidelberg, Berlin, Heidelberg, 2007, pp. 4–19.
LibreCat
| DOI
J. Blömer, A. May, in: Lecture Notes in Computer Science, Springer Berlin Heidelberg, Berlin, Heidelberg, 2007, pp. 4–19.
2007 | Book Chapter | LibreCat-ID: 3021
Key Revocation with Interval Cover Families
J. Blömer, A. May, in: Selected Areas in Cryptography, Springer Berlin Heidelberg, Berlin, Heidelberg, 2007, pp. 325–341.
LibreCat
| DOI
J. Blömer, A. May, in: Selected Areas in Cryptography, Springer Berlin Heidelberg, Berlin, Heidelberg, 2007, pp. 325–341.
2007 | Book Chapter | LibreCat-ID: 3022
Dimension Reduction Methods for Convolution Modular Lattices
A. May, J.H. Silverman, in: Lecture Notes in Computer Science, Springer Berlin Heidelberg, Berlin, Heidelberg, 2007, pp. 110–125.
LibreCat
| DOI
A. May, J.H. Silverman, in: Lecture Notes in Computer Science, Springer Berlin Heidelberg, Berlin, Heidelberg, 2007, pp. 110–125.
2007 | Book Chapter | LibreCat-ID: 3026
A Probabilistic Zero-Test for Expressions Involving Roots of Rational Numbers
J. Blömer, in: Algorithms — ESA’ 98, Springer Berlin Heidelberg, Berlin, Heidelberg, 2007, pp. 151–162.
LibreCat
| DOI
J. Blömer, in: Algorithms — ESA’ 98, Springer Berlin Heidelberg, Berlin, Heidelberg, 2007, pp. 151–162.