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.
6948 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 | 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 | Conference Paper | LibreCat-ID: 2389
A CUDA-Supported Approach to Remote Rendering
S. Lietsch, O. Marquardt, in: Proc. Int. Symp. on Visual Computing (ISVC), Springer, Berlin / Heidelberg, 2007, pp. 724–733.
LibreCat
S. Lietsch, O. Marquardt, in: Proc. Int. Symp. on Visual Computing (ISVC), Springer, Berlin / Heidelberg, 2007, pp. 724–733.
2007 | Conference Paper | LibreCat-ID: 2396
AssessGrid, Economic Issues Underlying Risk Awareness in Grids
K. Voss, K. Djemame, I. Gourlay, J. Padgett, in: J. Altmann, D. Veit (Eds.), Proc. Int. Worksh. on Grid Economics and Business Models (GECON), Springer, Berlin / Heidelberg, 2007, pp. 170–175.
LibreCat
| DOI
K. Voss, K. Djemame, I. Gourlay, J. Padgett, in: J. Altmann, D. Veit (Eds.), Proc. Int. Worksh. on Grid Economics and Business Models (GECON), Springer, Berlin / Heidelberg, 2007, pp. 170–175.
2007 | Conference Paper | LibreCat-ID: 2400
Verteilte Berechnung und Darstellung automobiler Scheinwerfer
J. Berssenbrügge, S. Lietsch, in: Proc. Worksh. Augmented & Virtual Reality in Der Produktentstehung, Heinz Nixdorf Institut, Paderborn, Germany, 2007, pp. 67–80.
LibreCat
J. Berssenbrügge, S. Lietsch, in: Proc. Worksh. Augmented & Virtual Reality in Der Produktentstehung, Heinz Nixdorf Institut, Paderborn, Germany, 2007, pp. 67–80.
2007 | Conference Paper | LibreCat-ID: 20431
An analytical and spatial model of foraging in a swarm of robots
H. Hamann, H. Wörn, E. Sahin, W. Spears, W. Winfield, in: Swarm Robotics - Second SAB 2006 International Workshop, 2007, pp. 43--55.
LibreCat
| DOI
H. Hamann, H. Wörn, E. Sahin, W. Spears, W. Winfield, in: Swarm Robotics - Second SAB 2006 International Workshop, 2007, pp. 43--55.
2007 | Conference Paper | LibreCat-ID: 20434
From Micro to Nano and Swarm Robotics
H. Hamann, M. Szymanski, H. Wörn, R. Estana, M. Xie, S. Dubowsky, in: Advances in Climbing and Walking Robots. Proceedings of 10th International Conference (CLAWAR’07), Singapore, July 16-18, 2007, pp. 15--24.
LibreCat
| DOI
H. Hamann, M. Szymanski, H. Wörn, R. Estana, M. Xie, S. Dubowsky, in: Advances in Climbing and Walking Robots. Proceedings of 10th International Conference (CLAWAR’07), Singapore, July 16-18, 2007, pp. 15--24.
2007 | Book Chapter | LibreCat-ID: 17982
(Short) Survey of Real Hypercomputation
M. Ziegler, in: Lecture Notes in Computer Science, Berlin, Heidelberg, 2007.
LibreCat
| DOI
M. Ziegler, in: Lecture Notes in Computer Science, Berlin, Heidelberg, 2007.
2007 | Book Chapter | LibreCat-ID: 17983
Real Computational Universality: The Word Problem for a Class of Groups with Infinite Presentation
K. Meer, M. Ziegler, in: Mathematical Foundations of Computer Science 2007, Berlin, Heidelberg, 2007.
LibreCat
| DOI
K. Meer, M. Ziegler, in: Mathematical Foundations of Computer Science 2007, Berlin, Heidelberg, 2007.