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.
9727 Publications
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: 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.
2007 | Journal Article | LibreCat-ID: 27138
Pattern of beverage consumption and long-term association with body-weight status in German adolescents – results from the DONALD study
L. Libuda, U. Alexy, W. Sichert-Hellert, P. Stehle, N. Karaolis-Danckert, A. Buyken, M. Kersting, British Journal of Nutrition (2007) 1370–1379.
LibreCat
| DOI
L. Libuda, U. Alexy, W. Sichert-Hellert, P. Stehle, N. Karaolis-Danckert, A. Buyken, M. Kersting, British Journal of Nutrition (2007) 1370–1379.
2007 | Conference Paper | LibreCat-ID: 1107
Informationsextraktion aus Stellenanzeigen im Internet
S. Bsiri, M. Geierhos, in: A. Hinneburg (Ed.), LWA 2007: Lernen - Wissen - Adaption, Halle, September 2007, Workshop Proceedings, Martin-Luther-University, Halle-Wittenberg, Germany, 2007, pp. 229–236.
LibreCat
S. Bsiri, M. Geierhos, in: A. Hinneburg (Ed.), LWA 2007: Lernen - Wissen - Adaption, Halle, September 2007, Workshop Proceedings, Martin-Luther-University, Halle-Wittenberg, Germany, 2007, pp. 229–236.
2007 | Book (Editor) | LibreCat-ID: 17461
Der Mathematikunterricht 53, H. 5: Schwerpunkt: Philosophie und Mathematik
V. Peckhaus, ed., Der Mathematikunterricht 53, H. 5: Schwerpunkt: Philosophie und Mathematik, 2007.
LibreCat
V. Peckhaus, ed., Der Mathematikunterricht 53, H. 5: Schwerpunkt: Philosophie und Mathematik, 2007.
2007 | Conference Paper | LibreCat-ID: 18928
Why Robots Need Maps
M. Dynia, J. Łopuszański, C. Schindelhauer, in: Proc. of the 14th Colloquium on Structural Information and Communication Complexity (SIROCCO), 2007, pp. 37-- 46.
LibreCat
| DOI
M. Dynia, J. Łopuszański, C. Schindelhauer, in: Proc. of the 14th Colloquium on Structural Information and Communication Complexity (SIROCCO), 2007, pp. 37-- 46.
2007 | Conference Paper | LibreCat-ID: 18929
Competitive Maintenance of Minimum Spanning Trees in Dynamic Graphs
M. Dynia, M. Korzeniowski, J. Kutyłowski, in: Proc. of the 33rd International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM’07), 2007, pp. 260--271.
LibreCat
| DOI
M. Dynia, M. Korzeniowski, J. Kutyłowski, in: Proc. of the 33rd International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM’07), 2007, pp. 260--271.
2007 | Book | LibreCat-ID: 19007
Wort/Spiele. Drama – Film – Literatur
N.O. Eke, Wort/Spiele. Drama – Film – Literatur, Erich Schmidt, Berlin, 2007.
LibreCat
N.O. Eke, Wort/Spiele. Drama – Film – Literatur, Erich Schmidt, Berlin, 2007.
2007 | Book (Editor) | LibreCat-ID: 19080
Tiere, Texte, Spuren
N.O. Eke, E. Geulen, eds., Tiere, Texte, Spuren, Erich Schmidt, Berlin, 2007.
LibreCat
N.O. Eke, E. Geulen, eds., Tiere, Texte, Spuren, Erich Schmidt, Berlin, 2007.
2007 | Book Chapter | LibreCat-ID: 19332
Grausame Spiegel. Lenaus Blick zurück nach vorn: Die Albigenser. Freie Dichtungen
N.O. Eke, in: B. Füllner, K. Füllner (Eds.), Von Sommerträumen und Wintermärchen. Versepen im Vormärz, Aisthesis, Bielefeld, 2007, pp. 49–71.
LibreCat
N.O. Eke, in: B. Füllner, K. Füllner (Eds.), Von Sommerträumen und Wintermärchen. Versepen im Vormärz, Aisthesis, Bielefeld, 2007, pp. 49–71.
2007 | Book Chapter | LibreCat-ID: 19333
Tiere, Texte, Spuren (Vorwort)
N.O. Eke, E. Geulen, in: N.O. Eke, E. Geulen (Eds.), Tiere, Texte, Spuren, Erich Schmidt, Berlin, 2007, pp. 1–3.
LibreCat
N.O. Eke, E. Geulen, in: N.O. Eke, E. Geulen (Eds.), Tiere, Texte, Spuren, Erich Schmidt, Berlin, 2007, pp. 1–3.
2007 | Book Chapter | LibreCat-ID: 19335
Im „deutschen Zauberwald“. Spiegel- und Kippfiguren des Antisemitismus in deutschsprachiger Gegenwartsliteratur
N.O. Eke, in: K.-M. Bogdal, K. Holz, M.N. Lorenz (Eds.), Literarischer Antisemitismus nach Auschwitz, Metzler, Stuttgart/Weimar, 2007, pp. 243–261.
LibreCat
N.O. Eke, in: K.-M. Bogdal, K. Holz, M.N. Lorenz (Eds.), Literarischer Antisemitismus nach Auschwitz, Metzler, Stuttgart/Weimar, 2007, pp. 243–261.
2007 | Book Chapter | LibreCat-ID: 19336
„Nichts, was einen Anfang hatte, ist unendlich.“ Robert Menasses Arbeit an der Differenz – Die Zerstörung der Welt als Wille und Vorstellung. Frankfurter Poetikvorlesungen
N.O. Eke, in: E. Schörkhuber (Ed.), Was einmal wirklich war. Zum Werk Robert Menasses, Sonderzahl, Wien, 2007, pp. 237–250.
LibreCat
N.O. Eke, in: E. Schörkhuber (Ed.), Was einmal wirklich war. Zum Werk Robert Menasses, Sonderzahl, Wien, 2007, pp. 237–250.