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.
7552 Publications
2007 | Conference Paper | LibreCat-ID: 3215
Engels G, Soltenborn C, Wehrheim H. Analysis of {UML} Activities Using Dynamic Meta Modeling. In: M. Bonsangue M, Broch Johnsen E, 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. Lecture Notes in Computer Science. ; 2007:76--90. doi:10.1007/978-3-540-72952-5_5
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 3216
Ruhroth T, Wehrheim H. Refactoring Object-Oriented Specifications with Data and Processes. In: M. Bonsangue M, Broch Johnsen E, 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. Lecture Notes in Computer Science. ; 2007:236--251. doi:10.1007/978-3-540-72952-5_15
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 3222
Derrick J, Schellhorn G, Wehrheim H. Proving Linearizability Via Non-atomic Refinement. In: Davies J, Gibbons J, eds. Integrated Formal Methods, 6th International Conference, {IFM} 2007, Oxford, UK, July 2-5, 2007, Proceedings. Lecture Notes in Computer Science. ; 2007:195--214. doi:10.1007/978-3-540-73210-5_11
LibreCat
| DOI
2007 | Book Chapter | LibreCat-ID: 3293
Gries T. Global Shift – The European Union, the United States, and the Emergence of China. In: Tilly R, Welfens PJJ, Heise M, eds. 50 Years of EU Economic Dynamics. Springer; 2007:25-45.
LibreCat
2007 | Book Chapter | LibreCat-ID: 3002 | 
Blömer J, Krummel V. Analysis of Countermeasures Against Access Driven Cache Attacks on AES. In: Selected Areas in Cryptography. Berlin, Heidelberg: Springer Berlin Heidelberg; 2007:96-109. doi:10.1007/978-3-540-77360-3_7
LibreCat
| DOI
| Download (ext.)
2007 | Book Chapter | LibreCat-ID: 3019
May A. Cryptanalysis of Unbalanced RSA with Small CRT-Exponent. In: Advances in Cryptology — CRYPTO 2002. Berlin, Heidelberg: Springer Berlin Heidelberg; 2007:242-256. doi:10.1007/3-540-45708-9_16
LibreCat
| DOI
2007 | Book Chapter | LibreCat-ID: 3020
Blömer J, May A. Low Secret Exponent RSA Revisited. In: Lecture Notes in Computer Science. Berlin, Heidelberg: Springer Berlin Heidelberg; 2007:4-19. doi:10.1007/3-540-44670-2_2
LibreCat
| DOI
2007 | Book Chapter | LibreCat-ID: 3021
Blömer J, May A. Key Revocation with Interval Cover Families. In: Selected Areas in Cryptography. Berlin, Heidelberg: Springer Berlin Heidelberg; 2007:325-341. doi:10.1007/3-540-45537-x_26
LibreCat
| DOI
2007 | Book Chapter | LibreCat-ID: 3022
May A, Silverman JH. Dimension Reduction Methods for Convolution Modular Lattices. In: Lecture Notes in Computer Science. Berlin, Heidelberg: Springer Berlin Heidelberg; 2007:110-125. doi:10.1007/3-540-44670-2_10
LibreCat
| DOI
2007 | Book Chapter | LibreCat-ID: 3026
Blömer J. A Probabilistic Zero-Test for Expressions Involving Roots of Rational Numbers. In: Algorithms — ESA’ 98. Berlin, Heidelberg: Springer Berlin Heidelberg; 2007:151-162. doi:10.1007/3-540-68530-8_13
LibreCat
| DOI
2007 | Journal Article | LibreCat-ID: 27138
Libuda L, Alexy U, Sichert-Hellert W, et al. Pattern of beverage consumption and long-term association with body-weight status in German adolescents – results from the DONALD study. British Journal of Nutrition. Published online 2007:1370-1379. doi:10.1017/s0007114507862362
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 1107
Bsiri S, Geierhos M. Informationsextraktion aus Stellenanzeigen im Internet. In: Hinneburg A, ed. LWA 2007: Lernen - Wissen - Adaption, Halle, September 2007, Workshop Proceedings. Halle-Wittenberg, Germany: Martin-Luther-University; 2007:229-236.
LibreCat
2007 | Conference Paper | LibreCat-ID: 18928
Dynia M, Łopuszański J, Schindelhauer C. Why Robots Need Maps. In: Proc. of the 14th Colloquium on Structural Information and Communication Complexity (SIROCCO). ; 2007:37-- 46. doi:10.1007/978-3-540-72951-8_5
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 18929
Dynia M, Korzeniowski M, Kutyłowski J. Competitive Maintenance of Minimum Spanning Trees in Dynamic Graphs. In: Proc. of the 33rd International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM’07). Vol 4362. ; 2007:260--271. doi:10.1007/978-3-540-69507-3_21
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 2389
Lietsch S, Marquardt O. A CUDA-Supported Approach to Remote Rendering. In: Proc. Int. Symp. on Visual Computing (ISVC). Vol 4841. Lecture Notes in Computer Science (LNCS). Berlin / Heidelberg: Springer; 2007:724-733.
LibreCat
2007 | Conference Paper | LibreCat-ID: 2396
Voss K, Djemame K, Gourlay I, Padgett J. AssessGrid, Economic Issues Underlying Risk Awareness in Grids. In: Altmann J, Veit D, eds. Proc. Int. Worksh. on Grid Economics and Business Models (GECON). Vol 4685. Lecture Notes in Computer Science (LNCS). Berlin / Heidelberg: Springer; 2007:170-175. doi:10.1007/978-3-540-74430-6_14
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 2400
Berssenbrügge J, Lietsch S. Verteilte Berechnung und Darstellung automobiler Scheinwerfer. In: Proc. Worksh. Augmented & Virtual Reality in Der Produktentstehung. Vol 209. Verlagsschriftenreihe des Heinz Nixdorf Instituts. Paderborn, Germany: Heinz Nixdorf Institut; 2007:67-80.
LibreCat
2007 | Conference Paper | LibreCat-ID: 20431
Hamann H, Wörn H, Sahin E, Spears W, Winfield W. An analytical and spatial model of foraging in a swarm of robots. In: Swarm Robotics - Second SAB 2006 International Workshop. Vol 4433. ; 2007:43--55. doi:10.1007/978-3-540-71541-2_4
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 20434
Hamann H, Szymanski M, Wörn H, Estana R, Xie M, Dubowsky S. From Micro to Nano and Swarm Robotics. In: Advances in Climbing and Walking Robots. Proceedings of 10th International Conference (CLAWAR’07), Singapore, July 16-18. ; 2007:15--24. doi:10.1142/9789812770189_0003
LibreCat
| DOI
2007 | Book Chapter | LibreCat-ID: 17982
Ziegler M. (Short) Survey of Real Hypercomputation. In: Lecture Notes in Computer Science. Berlin, Heidelberg; 2007. doi:10.1007/978-3-540-73001-9_86
LibreCat
| DOI