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
Derrick, John, et al. “Proving Linearizability Via Non-Atomic Refinement.” Integrated Formal Methods, 6th International Conference, {IFM} 2007, Oxford, UK, July 2-5, 2007, Proceedings, edited by Jim Davies and Jeremy Gibbons, 2007, pp. 195--214, doi:10.1007/978-3-540-73210-5_11.
LibreCat
| DOI
2007 | Book Chapter | LibreCat-ID: 3293
Gries, Thomas. “Global Shift – The European Union, the United States, and the Emergence of China.” 50 Years of EU Economic Dynamics, edited by Richard Tilly et al., Springer, 2007, pp. 25–45.
LibreCat
2007 | Book Chapter | LibreCat-ID: 3002 | 
Blömer, Johannes, and Volker Krummel. “Analysis of Countermeasures Against Access Driven Cache Attacks on AES.” Selected Areas in Cryptography, Springer Berlin Heidelberg, 2007, pp. 96–109, doi:10.1007/978-3-540-77360-3_7.
LibreCat
| DOI
| Download (ext.)
2007 | Book Chapter | LibreCat-ID: 3019
May, Alexander. “Cryptanalysis of Unbalanced RSA with Small CRT-Exponent.” Advances in Cryptology — CRYPTO 2002, Springer Berlin Heidelberg, 2007, pp. 242–56, doi:10.1007/3-540-45708-9_16.
LibreCat
| DOI
2007 | Book Chapter | LibreCat-ID: 3020
Blömer, Johannes, and Alexander May. “Low Secret Exponent RSA Revisited.” Lecture Notes in Computer Science, Springer Berlin Heidelberg, 2007, pp. 4–19, doi:10.1007/3-540-44670-2_2.
LibreCat
| DOI
2007 | Book Chapter | LibreCat-ID: 3021
Blömer, Johannes, and Alexander May. “Key Revocation with Interval Cover Families.” Selected Areas in Cryptography, Springer Berlin Heidelberg, 2007, pp. 325–41, doi:10.1007/3-540-45537-x_26.
LibreCat
| DOI
2007 | Book Chapter | LibreCat-ID: 3022
May, Alexander, and Joseph H. Silverman. “Dimension Reduction Methods for Convolution Modular Lattices.” Lecture Notes in Computer Science, Springer Berlin Heidelberg, 2007, pp. 110–25, doi:10.1007/3-540-44670-2_10.
LibreCat
| DOI
2007 | Book Chapter | LibreCat-ID: 3026
Blömer, Johannes. “A Probabilistic Zero-Test for Expressions Involving Roots of Rational Numbers.” Algorithms — ESA’ 98, Springer Berlin Heidelberg, 2007, pp. 151–62, doi:10.1007/3-540-68530-8_13.
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 1107
Bsiri, Sandra, and Michaela Geierhos. “Informationsextraktion aus Stellenanzeigen im Internet.” LWA 2007: Lernen - Wissen - Adaption, Halle, September 2007, Workshop Proceedings, edited by Alexander Hinneburg, Martin-Luther-University, 2007, pp. 229–36.
LibreCat
2007 | Book | LibreCat-ID: 17448
Ebbinghaus, Heinz-Dieter, and Volker Peckhaus. Ernst Zermelo. An Approach to His Life and Work. Springer, 2007.
LibreCat
2007 | Conference Paper | LibreCat-ID: 18928
Dynia, Miroslaw, et al. “Why Robots Need Maps.” Proc. of the 14th Colloquium on Structural Information and Communication Complexity (SIROCCO), 2007, pp. 37-- 46, doi:10.1007/978-3-540-72951-8_5.
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 18929
Dynia, Miroslaw, et al. “Competitive Maintenance of Minimum Spanning Trees in Dynamic Graphs.” Proc. of the 33rd International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM’07), vol. 4362, 2007, pp. 260--271, doi:10.1007/978-3-540-69507-3_21.
LibreCat
| DOI
2007 | Book Chapter | LibreCat-ID: 19139
Seng, Eva-Maria. “„Zwischen Utopie und Realität. Die ‚Idealstadt’ Jülich als Ausdruck des frühneuzeitlichen Ordnungsdenkens“.” Jülicher Geschichtsblätter Bd. 73, vol. Bd. 73, 2007.
LibreCat
2007 | Book Chapter | LibreCat-ID: 19140
Seng, Eva-Maria. “Jörg Held (um 1454-1527), Petrarca-Meister, Vogelschau der Stadt Augsburg.” Geschichte der bildenden Kunst in Deutschland, Bd. 4 Spätgotik und Renaissance, edited by Katharina Krause, 2007, p. 266f.
LibreCat
2007 | Conference Paper | LibreCat-ID: 2389
Lietsch, Stefan, and Oliver Marquardt. “A CUDA-Supported Approach to Remote Rendering.” Proc. Int. Symp. on Visual Computing (ISVC), vol. 4841, Springer, 2007, pp. 724–33.
LibreCat
2007 | Conference Paper | LibreCat-ID: 2396
Voss, Kerstin, et al. “AssessGrid, Economic Issues Underlying Risk Awareness in Grids.” Proc. Int. Worksh. on Grid Economics and Business Models (GECON), edited by Jörn Altmann and Daniel Veit, vol. 4685, Springer, 2007, pp. 170–75, doi:10.1007/978-3-540-74430-6_14.
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 2400
Berssenbrügge, Jan, and Stefan Lietsch. “Verteilte Berechnung Und Darstellung Automobiler Scheinwerfer.” Proc. Worksh. Augmented & Virtual Reality in Der Produktentstehung, vol. 209, Heinz Nixdorf Institut, 2007, pp. 67–80.
LibreCat
2007 | Conference Paper | LibreCat-ID: 20431
Hamann, Heiko, et al. “An Analytical and Spatial Model of Foraging in a Swarm of Robots.” Swarm Robotics - Second SAB 2006 International Workshop, vol. 4433, 2007, pp. 43--55, doi:10.1007/978-3-540-71541-2_4.
LibreCat
| DOI
2007 | Journal Article | LibreCat-ID: 17981
Ziegler, Martin. “Real Hypercomputation and Continuity.” Theory of Computing Systems, 2007, pp. 177–206, doi:10.1007/s00224-006-1343-6.
LibreCat
| DOI
2007 | Book Chapter | LibreCat-ID: 17982
Ziegler, Martin. “(Short) Survey of Real Hypercomputation.” Lecture Notes in Computer Science, 2007, doi:10.1007/978-3-540-73001-9_86.
LibreCat
| DOI