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.
9692 Publications
2003 | Journal Article | LibreCat-ID: 26815
Viele Inhalte, viele Kontexte, viele Aktivitäten – eine Rahmenkonzeption für Sachaufgaben
M. Grüßing, F. Hellmich, Grundschulunterricht 2 (2003) 13–15.
LibreCat
M. Grüßing, F. Hellmich, Grundschulunterricht 2 (2003) 13–15.
2003 | Book Chapter | LibreCat-ID: 26818
Was interessiert Grundschulkinder an Mathematikaufgaben?
F. Hellmich, B. Moschner, in: H.-W. Henn (Ed.), Beiträge zum Mathematikunterricht 2003, Franzbecker, Hildesheim, 2003, pp. 285–288.
LibreCat
F. Hellmich, B. Moschner, in: H.-W. Henn (Ed.), Beiträge zum Mathematikunterricht 2003, Franzbecker, Hildesheim, 2003, pp. 285–288.
2003 | Journal Article | LibreCat-ID: 3236
Behavioral Subtyping Relations for Active Objects
H. Wehrheim, Formal Methods in System Design (2003) 143--170.
LibreCat
| DOI
H. Wehrheim, Formal Methods in System Design (2003) 143--170.
2003 | Conference Paper | LibreCat-ID: 3237
Preserving Properties Under Change
H. Wehrheim, in: F. S. de Boer, M. M. Bonsangue, S. Graf, W. P. de Roever (Eds.), Formal Methods for Components and Objects, Second International Symposium, {FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures, 2003, pp. 330--343.
LibreCat
| DOI
H. Wehrheim, in: F. S. de Boer, M. M. Bonsangue, S. Graf, W. P. de Roever (Eds.), Formal Methods for Components and Objects, Second International Symposium, {FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures, 2003, pp. 330--343.
2003 | Conference Paper | LibreCat-ID: 3238
Inheritance of Temporal Logic Properties
H. Wehrheim, in: E. Najm, U. Nestmann, P. Stevens (Eds.), Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings, 2003, pp. 79--93.
LibreCat
| DOI
H. Wehrheim, in: E. Najm, U. Nestmann, P. Stevens (Eds.), Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings, 2003, pp. 79--93.
2003 | Conference Paper | LibreCat-ID: 3239
Checking Consistency in {UML} Diagramms: Classes and State Machines
H. Rasch, H. Wehrheim, in: E. Najm, U. Nestmann, P. Stevens (Eds.), Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings, 2003, pp. 229--243.
LibreCat
| DOI
H. Rasch, H. Wehrheim, in: E. Najm, U. Nestmann, P. Stevens (Eds.), Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings, 2003, pp. 229--243.
2003 | Conference Paper | LibreCat-ID: 3240
Using Coupled Simulations in Non-atomic Refinement
J. Derrick, H. Wehrheim, in: D. Bert, J. P. Bowen, S. King, M. A. Wald{\’{e}}n (Eds.), {ZB} 2003: Formal Specification and Development in {Z} and B, Third International Conference of {B} and {Z} Users, Turku, Finland, June 4-6, 2003, Proceedings, 2003, pp. 127--147.
LibreCat
| DOI
J. Derrick, H. Wehrheim, in: D. Bert, J. P. Bowen, S. King, M. A. Wald{\’{e}}n (Eds.), {ZB} 2003: Formal Specification and Development in {Z} and B, Third International Conference of {B} and {Z} Users, Turku, Finland, June 4-6, 2003, Proceedings, 2003, pp. 127--147.
2003 | Book | LibreCat-ID: 3379
Neue Wachstums- und Innovationspolitik in Europa
T. Gries, A. Jungmittag, P.J.J. Welfens, Neue Wachstums- Und Innovationspolitik in Europa, Physica-Verlag, Heidelberg, 2003.
LibreCat
T. Gries, A. Jungmittag, P.J.J. Welfens, Neue Wachstums- Und Innovationspolitik in Europa, Physica-Verlag, Heidelberg, 2003.
2003 | Book Chapter | LibreCat-ID: 3652
Evaluation von Online-Seminaren--warum und wie?
H. Gruber, D. Festner, C. Harteis, B. Meier, P. Meling, E. Stamouli, in: H. Apel, S. Kraft (Eds.), Online-Lehre Und Lernen in Der Weiterbildung. Gestaltung Und Perspektiven, W Bertelsmann, Bielefeld, 2003, pp. 261–274.
LibreCat
H. Gruber, D. Festner, C. Harteis, B. Meier, P. Meling, E. Stamouli, in: H. Apel, S. Kraft (Eds.), Online-Lehre Und Lernen in Der Weiterbildung. Gestaltung Und Perspektiven, W Bertelsmann, Bielefeld, 2003, pp. 261–274.
2003 | Journal Article | LibreCat-ID: 3707
Lernende Organisationen zwischen Anspruch und Wirklichkeit
C. Harteis, Wirtschaft Und Erziehung 55 (2003) 306–312.
LibreCat
C. Harteis, Wirtschaft Und Erziehung 55 (2003) 306–312.
2003 | Journal Article | LibreCat-ID: 3708
Learning organizations as seen by workers
C. Harteis, European Journal for Vocational Training 29 (2003) 15–24.
LibreCat
C. Harteis, European Journal for Vocational Training 29 (2003) 15–24.
2003 | Dissertation | LibreCat-ID: 2914
New RSA Vulnerabilities Using Lattice Reduction Methods
A. May, New RSA Vulnerabilities Using Lattice Reduction Methods, Universität Paderborn, 2003.
LibreCat
| Download (ext.)
A. May, New RSA Vulnerabilities Using Lattice Reduction Methods, Universität Paderborn, 2003.
2003 | Book Chapter | LibreCat-ID: 3016
New Partial Key Exposure Attacks on RSA
J. Blömer, A. May, in: Advances in Cryptology - CRYPTO 2003, Springer Berlin Heidelberg, Berlin, Heidelberg, 2003, pp. 27–43.
LibreCat
| DOI
J. Blömer, A. May, in: Advances in Cryptology - CRYPTO 2003, Springer Berlin Heidelberg, Berlin, Heidelberg, 2003, pp. 27–43.
2003 | Book Chapter | LibreCat-ID: 3018
Fault Based Cryptanalysis of the Advanced Encryption Standard (AES)
J. Blömer, J.-P. Seifert, in: Financial Cryptography, Springer Berlin Heidelberg, Berlin, Heidelberg, 2003, pp. 162–181.
LibreCat
| DOI
J. Blömer, J.-P. Seifert, in: Financial Cryptography, Springer Berlin Heidelberg, Berlin, Heidelberg, 2003, pp. 162–181.
2003 | Book Chapter | LibreCat-ID: 27927
Bildung für Lebensführung – eine neue Aufgabe für die Schule?!
K. Schlegel-Matthies, in: B. Methfessel, K. Schlegel-Matthies (Eds.), Fokus Haushalt. Beiträge zur Sozioökonomie des Haushalts, Baltmannsweiler , 2003, pp. 71–83.
LibreCat
K. Schlegel-Matthies, in: B. Methfessel, K. Schlegel-Matthies (Eds.), Fokus Haushalt. Beiträge zur Sozioökonomie des Haushalts, Baltmannsweiler , 2003, pp. 71–83.
2003 | Conference Paper | LibreCat-ID: 21056
Kleben und Mechanisches Fügen – Verbindungstechniken im Produktlebenszyklus von Leichtbaustrukturen
G. Meschut, in: Stuttgart, 2003.
LibreCat
G. Meschut, in: Stuttgart, 2003.
2003 | Conference Paper | LibreCat-ID: 21057
Fügeverbindungen für Magnesium im Automobilbau aus Sicht der VOLKSWAGEN AG
A. Amedick, G. Meschut, in: Bremen, 2003.
LibreCat
A. Amedick, G. Meschut, in: Bremen, 2003.
2003 | Conference Paper | LibreCat-ID: 21058
Autovision – Zukünftige Werkstoffe und Fügekonzepte im Automobilbau
H.E. Friedrich, G. Meschut, in: DVS-Berichte, Band 222, DVS-Verlag GmbH, Düsseldorf, 2003, pp. 5–10.
LibreCat
H.E. Friedrich, G. Meschut, in: DVS-Berichte, Band 222, DVS-Verlag GmbH, Düsseldorf, 2003, pp. 5–10.
2003 | Journal Article | LibreCat-ID: 21059
Multi-Material-Design (Teil 1) Thermische Beanspruchung in Lacktrocknungsprozessen
O. Kläger, H. Wetter, G. Meschut, Adhäsion 47 (2003) 30–35.
LibreCat
O. Kläger, H. Wetter, G. Meschut, Adhäsion 47 (2003) 30–35.
2003 | Journal Article | LibreCat-ID: 21060
Direktverschrauben ohne Vorlochen zur Realisierung einseitig zugänglicher Verbindungen im Karosseriebau
J. Küting, G. Meschut, Blech Rohre Profile 02.2003 (2003) 33.
LibreCat
J. Küting, G. Meschut, Blech Rohre Profile 02.2003 (2003) 33.