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.
9762 Publications
2003 | Journal Article | LibreCat-ID: 19785
Algorithmic Approaches for Storage Networks
K.A. Salzwedel, Algorithms for Memory Hierarchies 2625 (2003).
LibreCat
| DOI
K.A. Salzwedel, Algorithms for Memory Hierarchies 2625 (2003).
2003 | Conference Paper | LibreCat-ID: 19790
Storage Management as Means to cope with Exponential Information Growth
C. Scheideler, K. Salzwedel, F. Meyer auf der Heide, A. Brinkmann, M. Vodisek, U. Rückert, in: Proceedings of SSGRR 2003, 2003.
LibreCat
| Files available
C. Scheideler, K. Salzwedel, F. Meyer auf der Heide, A. Brinkmann, M. Vodisek, U. Rückert, in: Proceedings of SSGRR 2003, 2003.
2003 | Conference Paper | LibreCat-ID: 19806
Performance of distributed algorithms for topology control in wireless networks
S. Rührup, C. Schindelhauer, K. Volbert, M. Grünewald, in: Proceedings of the International Parallel and Distributed Processing Symposium (IPDPS), 2003.
LibreCat
| DOI
S. Rührup, C. Schindelhauer, K. Volbert, M. Grünewald, in: Proceedings of the International Parallel and Distributed Processing Symposium (IPDPS), 2003.
2003 | Conference Paper | LibreCat-ID: 19833
Directed power-variable infrared communication for the mini robot Khepera
K. Volbert, M. Grünewald, C. Schindelhauer, U. Rückert, in: Proceedings of the 2nd International Conference on Autonomous Minirobots for Research and Edutainment, 2003, pp. 113–122.
LibreCat
K. Volbert, M. Grünewald, C. Schindelhauer, U. Rückert, in: Proceedings of the 2nd International Conference on Autonomous Minirobots for Research and Edutainment, 2003, pp. 113–122.
2003 | Conference Paper | LibreCat-ID: 19925
LibreCat
2003 | Journal Article | LibreCat-ID: 2420
Instance-Specific Accelerators for Minimum Covering
C. Plessl, M. Platzner, Journal of Supercomputing 26 (2003) 109–129.
LibreCat
| DOI
C. Plessl, M. Platzner, Journal of Supercomputing 26 (2003) 109–129.
2003 | Conference Paper | LibreCat-ID: 2422
Co-simulation of a Hybrid Multi-Context Architecture
R. Enzler, C. Plessl, M. Platzner, in: Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA), CSREA Press, 2003, pp. 174–180.
LibreCat
R. Enzler, C. Plessl, M. Platzner, in: Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA), CSREA Press, 2003, pp. 174–180.
2003 | Book | LibreCat-ID: 24607
1. Paderborner Workshop Intelligente mechatronische Systeme
J. Gausemeier, J. Lückel, J. Wallaschek, 1. Paderborner Workshop Intelligente mechatronische Systeme, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2003.
LibreCat
J. Gausemeier, J. Lückel, J. Wallaschek, 1. Paderborner Workshop Intelligente mechatronische Systeme, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2003.
2003 | Journal Article | LibreCat-ID: 26159
On the relevance of accounting for the evolution of the fractal dimension in aerosol process simulations
C. Artelt, H.-J. Schmid, W. Peukert, Journal of Aerosol Science 34 (2003) 511–534.
LibreCat
| DOI
C. Artelt, H.-J. Schmid, W. Peukert, Journal of Aerosol Science 34 (2003) 511–534.
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: 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 | 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: 21148
Autovision – Zukünftige Werkstoffe und Fügekonzepte im Automobilbau (Teil 1)
H.E. Friedrich, G. Meschut, Stahl 4 (2003) 18–21.
LibreCat
H.E. Friedrich, G. Meschut, Stahl 4 (2003) 18–21.
2003 | Conference Paper | LibreCat-ID: 21154
Mechanisches Fügen und Kleben – Schlüsseltechnologien für die Mischbauweise
S. Brüdgam, G. Meschut, in: Tagungsband Zum 10. Paderborner Symposium Fügetechnik „Mechanisches Fügen Und Kleben“, Paderborn, 2003, pp. 1–9.
LibreCat
S. Brüdgam, G. Meschut, in: Tagungsband Zum 10. Paderborner Symposium Fügetechnik „Mechanisches Fügen Und Kleben“, Paderborn, 2003, pp. 1–9.