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.
10436 Publications
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 | 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.
2003 | Conference Paper | LibreCat-ID: 21155
Niet- und Direktverschraubungstechniken für Fahrzeug-strukturen in Mischbauweise
J. Küting, G. Meschut, in: Tagungsband Zum 10. Paderborner Symposium Fügetechnik „Mechanisches Fügen Und Kleben“, Paderborn, 2003, pp. 22–34.
LibreCat
J. Küting, G. Meschut, in: Tagungsband Zum 10. Paderborner Symposium Fügetechnik „Mechanisches Fügen Und Kleben“, Paderborn, 2003, pp. 22–34.
2003 | Conference Paper | LibreCat-ID: 21156
Simulation thermisch beanspruchter Strukturklebungen unter dem Einfluss unterschiedlicher Alpha-Werte in Mischverbindungen
H.-G. Haldenwanger, G. Meschut, H. Wetter, O. Kläger, in: Tagungsband Zum 10. Paderborner Symposium Fügetechnik „Mechanisches Fügen Und Kleben“, Paderborn, 2003, pp. 147–162.
LibreCat
H.-G. Haldenwanger, G. Meschut, H. Wetter, O. Kläger, in: Tagungsband Zum 10. Paderborner Symposium Fügetechnik „Mechanisches Fügen Und Kleben“, Paderborn, 2003, pp. 147–162.
2003 | Conference Paper | LibreCat-ID: 2128
Smoothed Motion Complexity
V. Damerow, F. Meyer auf der Heide, H. Räcke, C. Scheideler, C. Sohler, in: ESA, Springer, 2003, pp. 161--171.
LibreCat
| DOI
V. Damerow, F. Meyer auf der Heide, H. Räcke, C. Scheideler, C. Sohler, in: ESA, Springer, 2003, pp. 161--171.
2003 | Book Chapter | LibreCat-ID: 19350
Geschichte und Gedächtnis im Drama
N.O. Eke, in: H.-T. Lehmann, P. Primavesi, O. Schmitt (Eds.), Heiner Müller Handbuch. Leben – Werk – Wirkung, Metzler, Stuttgart/Weimar, 2003, pp. 52–58.
LibreCat
N.O. Eke, in: H.-T. Lehmann, P. Primavesi, O. Schmitt (Eds.), Heiner Müller Handbuch. Leben – Werk – Wirkung, Metzler, Stuttgart/Weimar, 2003, pp. 52–58.
2003 | Book Chapter | LibreCat-ID: 19351
[Heiner Müller:] Frühe Biographie/Prägungen
N.O. Eke, in: H.-T. Lehmann, P. Primavesi, O. Schmitt (Eds.), Heiner Müller Handbuch. Leben – Werk – Wirkung, Metzler, Stuttgart/Weimar, 2003, pp. 1–9.
LibreCat
N.O. Eke, in: H.-T. Lehmann, P. Primavesi, O. Schmitt (Eds.), Heiner Müller Handbuch. Leben – Werk – Wirkung, Metzler, Stuttgart/Weimar, 2003, pp. 1–9.
2003 | Book Chapter | LibreCat-ID: 19352
Text und/im Theater. Entgrenzungsstrategien im Drama der DDR-Dramatik seit den 70er Jahren. Eine Erinnerung und ein Plädoyer für einen Wechsel der Forschungsperspektive
N.O. Eke, in: C. Balme, E. Fischer-Lichte, S. Grätzel (Eds.), Theater als Paradigma der Moderne? Positionen zwischen historischer Avantgarde und Medienzeitalter, Francke, Tübingen, Basel, 2003, pp. 243–255.
LibreCat
N.O. Eke, in: C. Balme, E. Fischer-Lichte, S. Grätzel (Eds.), Theater als Paradigma der Moderne? Positionen zwischen historischer Avantgarde und Medienzeitalter, Francke, Tübingen, Basel, 2003, pp. 243–255.
2003 | Book Chapter | LibreCat-ID: 19354
Moderne Zeit(en). Der Kampf um die Zeit in Romantik und Vormärz
N.O. Eke, in: W. Bunzel, P. Stein, F. Vaßen (Eds.), Romantik und Vormärz. Zur Archäologie literarischer Kommunikation in der ersten Hälfte des 19. Jahrhunderts, Aisthesis, Bielefeld, 2003, pp. 163–183.
LibreCat
N.O. Eke, in: W. Bunzel, P. Stein, F. Vaßen (Eds.), Romantik und Vormärz. Zur Archäologie literarischer Kommunikation in der ersten Hälfte des 19. Jahrhunderts, Aisthesis, Bielefeld, 2003, pp. 163–183.
2003 | Book Chapter | LibreCat-ID: 19355
„Optima philosophia mortis meditatio“ oder Der Weg des Dramatikers Hartmut Lange von der Geschichtsdialektik zur Endlichkeitsphilosophie
N.O. Eke, in: M. Durzak (Ed.), Der Dramatiker und Erzähler Hartmut Lange, Königshausen & Neumann, Würzburg, 2003, pp. 90–114.
LibreCat
N.O. Eke, in: M. Durzak (Ed.), Der Dramatiker und Erzähler Hartmut Lange, Königshausen & Neumann, Würzburg, 2003, pp. 90–114.
2003 | Book Chapter | LibreCat-ID: 19356
Maxim Biller [and the Shoah]
N.O. Eke, in: L. Kremer (Ed.), Holocaust Literature. An Encyclopedia of Writers and Their Work, Routledge, New York. London, 2003, pp. 155–158.
LibreCat
N.O. Eke, in: L. Kremer (Ed.), Holocaust Literature. An Encyclopedia of Writers and Their Work, Routledge, New York. London, 2003, pp. 155–158.
2003 | Book Chapter | LibreCat-ID: 19357
Edgar Hilsenrath [and the Shoah]
N.O. Eke, in: L. Kremer (Ed.), Holocaust Literature. An Encyclopedia of Writers and Their Work, Routledge, New York. London, 2003, pp. 554–558.
LibreCat
N.O. Eke, in: L. Kremer (Ed.), Holocaust Literature. An Encyclopedia of Writers and Their Work, Routledge, New York. London, 2003, pp. 554–558.
2003 | Conference Paper | LibreCat-ID: 18196
Quasi-optimal Arithmetic for Quaternion Polynomials
M. Ziegler, in: Proc. 14th Annual International Symposium on Algorithms and Computation (ISAAC’03), 2003, pp. 705–715.
LibreCat
| DOI
M. Ziegler, in: Proc. 14th Annual International Symposium on Algorithms and Computation (ISAAC’03), 2003, pp. 705–715.
2003 | Book Chapter | LibreCat-ID: 18258
Fast Relative Approximation of Potential Fields
M. Ziegler, in: F. Dehne, J. Sack, M. Smid, Algorithms and Data Structures. WADS 2003 (Eds.), Lecture Notes in Computer Science, Springer, Berlin, Heidelberg, 2003.
LibreCat
| DOI
M. Ziegler, in: F. Dehne, J. Sack, M. Smid, Algorithms and Data Structures. WADS 2003 (Eds.), Lecture Notes in Computer Science, Springer, Berlin, Heidelberg, 2003.