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.

1769 Publications


2007 | Conference Paper | LibreCat-ID: 3222
J. Derrick, G. Schellhorn, and H. Wehrheim, “Proving Linearizability Via Non-atomic Refinement,” in Integrated Formal Methods, 6th International Conference, {IFM} 2007, Oxford, UK, July 2-5, 2007, Proceedings, 2007, pp. 195--214.
LibreCat | DOI
 

2007 | Book Chapter | LibreCat-ID: 3293
T. Gries, “Global Shift – The European Union, the United States, and the Emergence of China,” in 50 Years of EU Economic Dynamics, R. Tilly, P. J. J. Welfens, and M. Heise, Eds. Springer, 2007, pp. 25–45.
LibreCat
 

2007 | Book Chapter | LibreCat-ID: 3002 | OA
J. Blömer and V. Krummel, “Analysis of Countermeasures Against Access Driven Cache Attacks on AES,” in Selected Areas in Cryptography, Berlin, Heidelberg: Springer Berlin Heidelberg, 2007, pp. 96–109.
LibreCat | DOI | Download (ext.)
 

2007 | Book Chapter | LibreCat-ID: 3019
A. May, “Cryptanalysis of Unbalanced RSA with Small CRT-Exponent,” in Advances in Cryptology — CRYPTO 2002, Berlin, Heidelberg: Springer Berlin Heidelberg, 2007, pp. 242–256.
LibreCat | DOI
 

2007 | Book Chapter | LibreCat-ID: 3020
J. Blömer and A. May, “Low Secret Exponent RSA Revisited,” in Lecture Notes in Computer Science, Berlin, Heidelberg: Springer Berlin Heidelberg, 2007, pp. 4–19.
LibreCat | DOI
 

2007 | Book Chapter | LibreCat-ID: 3021
J. Blömer and A. May, “Key Revocation with Interval Cover Families,” in Selected Areas in Cryptography, Berlin, Heidelberg: Springer Berlin Heidelberg, 2007, pp. 325–341.
LibreCat | DOI
 

2007 | Book Chapter | LibreCat-ID: 3022
A. May and J. H. Silverman, “Dimension Reduction Methods for Convolution Modular Lattices,” in Lecture Notes in Computer Science, Berlin, Heidelberg: Springer Berlin Heidelberg, 2007, pp. 110–125.
LibreCat | DOI
 

2007 | Book Chapter | LibreCat-ID: 3026
J. Blömer, “A Probabilistic Zero-Test for Expressions Involving Roots of Rational Numbers,” in Algorithms — ESA’ 98, Berlin, Heidelberg: Springer Berlin Heidelberg, 2007, pp. 151–162.
LibreCat | DOI
 

2007 | Conference Paper | LibreCat-ID: 1107
S. Bsiri and M. Geierhos, “Informationsextraktion aus Stellenanzeigen im Internet,” in LWA 2007: Lernen - Wissen - Adaption, Halle, September 2007, Workshop Proceedings, Halle (Saale), Germany, 2007, pp. 229–236.
LibreCat
 

2007 | Book | LibreCat-ID: 17448
H.-D. Ebbinghaus and V. Peckhaus, Ernst Zermelo. An Approach to His Life and Work. Berlin/Heidelberg: Springer, 2007.
LibreCat
 

2007 | Conference Paper | LibreCat-ID: 18928
M. Dynia, J. Łopuszański, and C. Schindelhauer, “Why Robots Need Maps,” in Proc. of the 14th Colloquium on Structural Information and Communication Complexity (SIROCCO), 2007, pp. 37-- 46.
LibreCat | DOI
 

2007 | Conference Paper | LibreCat-ID: 18929
M. Dynia, M. Korzeniowski, and J. Kutyłowski, “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), 2007, vol. 4362, pp. 260--271.
LibreCat | DOI
 

2007 | Book Chapter | LibreCat-ID: 19139
E.-M. Seng, “„Zwischen Utopie und Realität. Die ‚Idealstadt’ Jülich als Ausdruck des frühneuzeitlichen Ordnungsdenkens“,” in Jülicher Geschichtsblätter Bd. 73, vol. Bd. 73, 2007.
LibreCat
 

2007 | Book Chapter | LibreCat-ID: 19140
E.-M. Seng, “Jörg Held (um 1454-1527), Petrarca-Meister, Vogelschau der Stadt Augsburg,” in Geschichte der bildenden Kunst in Deutschland, Bd. 4 Spätgotik und Renaissance, K. Krause, Ed. München, Berlin, London, New York, 2007, p. 266f.
LibreCat
 

2007 | Conference Paper | LibreCat-ID: 2389
S. Lietsch and O. Marquardt, “A CUDA-Supported Approach to Remote Rendering,” in Proc. Int. Symp. on Visual Computing (ISVC), 2007, vol. 4841, pp. 724–733.
LibreCat
 

2007 | Conference Paper | LibreCat-ID: 2396
K. Voss, K. Djemame, I. Gourlay, and J. Padgett, “AssessGrid, Economic Issues Underlying Risk Awareness in Grids,” in Proc. Int. Worksh. on Grid Economics and Business Models (GECON), 2007, vol. 4685, pp. 170–175.
LibreCat | DOI
 

2007 | Conference Paper | LibreCat-ID: 2400
J. Berssenbrügge and S. Lietsch, “Verteilte Berechnung und Darstellung automobiler Scheinwerfer,” in Proc. Worksh. Augmented & Virtual Reality in der Produktentstehung, 2007, vol. 209, pp. 67–80.
LibreCat
 

2007 | Conference Paper | LibreCat-ID: 20431
H. Hamann, H. Wörn, E. Sahin, W. Spears, and W. Winfield, “An analytical and spatial model of foraging in a swarm of robots,” in Swarm Robotics - Second SAB 2006 International Workshop, 2007, vol. 4433, pp. 43--55.
LibreCat | DOI
 

2007 | Journal Article | LibreCat-ID: 17981
M. Ziegler, “Real Hypercomputation and Continuity,” Theory of Computing Systems, pp. 177–206, 2007.
LibreCat | DOI
 

2007 | Book Chapter | LibreCat-ID: 17982
M. Ziegler, “(Short) Survey of Real Hypercomputation,” in Lecture Notes in Computer Science, Berlin, Heidelberg, 2007.
LibreCat | DOI
 

Filters and Search Terms

isbn%3D3-540-32158-6

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed