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
@inproceedings{Derrick_Schellhorn_Wehrheim_2007, series={Lecture Notes in Computer Science}, title={Proving Linearizability Via Non-atomic Refinement}, DOI={10.1007/978-3-540-73210-5_11}, booktitle={Integrated Formal Methods, 6th International Conference, {IFM} 2007, Oxford, UK, July 2-5, 2007, Proceedings}, author={Derrick, John and Schellhorn, Gerhard and Wehrheim, Heike}, editor={Davies, Jim and Gibbons, JeremyEditors}, year={2007}, pages={195--214}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2007 | Book Chapter | LibreCat-ID: 3293
@inbook{Gries_2007, title={Global Shift – The European Union, the United States, and the Emergence of China}, booktitle={50 Years of EU Economic Dynamics}, publisher={Springer}, author={Gries, Thomas}, editor={Tilly, Richard and Welfens, Paul J.J. and Heise, MichaelEditors}, year={2007}, pages={25–45} }
LibreCat
2007 | Book Chapter | LibreCat-ID: 3002 | 
@inbook{Blömer_Krummel_2007, place={Berlin, Heidelberg}, title={Analysis of Countermeasures Against Access Driven Cache Attacks on AES}, DOI={10.1007/978-3-540-77360-3_7}, booktitle={Selected Areas in Cryptography}, publisher={Springer Berlin Heidelberg}, author={Blömer, Johannes and Krummel, Volker}, year={2007}, pages={96–109} }
LibreCat
| DOI
| Download (ext.)
2007 | Book Chapter | LibreCat-ID: 3019
@inbook{May_2007, place={Berlin, Heidelberg}, title={Cryptanalysis of Unbalanced RSA with Small CRT-Exponent}, DOI={10.1007/3-540-45708-9_16}, booktitle={Advances in Cryptology — CRYPTO 2002}, publisher={Springer Berlin Heidelberg}, author={May, Alexander}, year={2007}, pages={242–256} }
LibreCat
| DOI
2007 | Book Chapter | LibreCat-ID: 3020
@inbook{Blömer_May_2007, place={Berlin, Heidelberg}, title={Low Secret Exponent RSA Revisited}, DOI={10.1007/3-540-44670-2_2}, booktitle={Lecture Notes in Computer Science}, publisher={Springer Berlin Heidelberg}, author={Blömer, Johannes and May, Alexander}, year={2007}, pages={4–19} }
LibreCat
| DOI
2007 | Book Chapter | LibreCat-ID: 3021
@inbook{Blömer_May_2007, place={Berlin, Heidelberg}, title={Key Revocation with Interval Cover Families}, DOI={10.1007/3-540-45537-x_26}, booktitle={Selected Areas in Cryptography}, publisher={Springer Berlin Heidelberg}, author={Blömer, Johannes and May, Alexander}, year={2007}, pages={325–341} }
LibreCat
| DOI
2007 | Book Chapter | LibreCat-ID: 3022
@inbook{May_Silverman_2007, place={Berlin, Heidelberg}, title={Dimension Reduction Methods for Convolution Modular Lattices}, DOI={10.1007/3-540-44670-2_10}, booktitle={Lecture Notes in Computer Science}, publisher={Springer Berlin Heidelberg}, author={May, Alexander and Silverman, Joseph H.}, year={2007}, pages={110–125} }
LibreCat
| DOI
2007 | Book Chapter | LibreCat-ID: 3026
@inbook{Blömer_2007, place={Berlin, Heidelberg}, title={A Probabilistic Zero-Test for Expressions Involving Roots of Rational Numbers}, DOI={10.1007/3-540-68530-8_13}, booktitle={Algorithms — ESA’ 98}, publisher={Springer Berlin Heidelberg}, author={Blömer, Johannes}, year={2007}, pages={151–162} }
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 1107
@inproceedings{Bsiri_Geierhos_2007, place={ Halle-Wittenberg, Germany}, title={Informationsextraktion aus Stellenanzeigen im Internet}, booktitle={LWA 2007: Lernen - Wissen - Adaption, Halle, September 2007, Workshop Proceedings}, publisher={Martin-Luther-University}, author={Bsiri, Sandra and Geierhos, Michaela}, editor={Hinneburg, Alexander Editor}, year={2007}, pages={229–236} }
LibreCat
2007 | Book | LibreCat-ID: 17448
@book{Ebbinghaus_Peckhaus_2007, place={Berlin/Heidelberg}, title={Ernst Zermelo. An Approach to His Life and Work}, publisher={Springer}, author={Ebbinghaus, Heinz-Dieter and Peckhaus, Volker}, year={2007} }
LibreCat
2007 | Conference Paper | LibreCat-ID: 18928
@inproceedings{Dynia_Łopuszański_Schindelhauer_2007, title={Why Robots Need Maps}, DOI={10.1007/978-3-540-72951-8_5}, booktitle={Proc. of the 14th Colloquium on Structural Information and Communication Complexity (SIROCCO)}, author={Dynia, Miroslaw and Łopuszański, Jakub and Schindelhauer, Christian}, year={2007}, pages={37-- 46} }
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 18929
@inproceedings{Dynia_Korzeniowski_Kutyłowski_2007, title={Competitive Maintenance of Minimum Spanning Trees in Dynamic Graphs}, volume={4362}, DOI={10.1007/978-3-540-69507-3_21}, booktitle={Proc. of the 33rd International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM’07)}, author={Dynia, Miroslaw and Korzeniowski, Miroslaw and Kutyłowski, Jarosław}, year={2007}, pages={260--271} }
LibreCat
| DOI
2007 | Book Chapter | LibreCat-ID: 19139
@inbook{Seng_2007, title={„Zwischen Utopie und Realität. Die ‚Idealstadt’ Jülich als Ausdruck des frühneuzeitlichen Ordnungsdenkens“}, volume={Bd. 73}, booktitle={Jülicher Geschichtsblätter Bd. 73}, author={Seng, Eva- Maria}, year={2007} }
LibreCat
2007 | Book Chapter | LibreCat-ID: 19140
@inbook{Seng_2007, place={München, Berlin, London, New York}, title={Jörg Held (um 1454-1527), Petrarca-Meister, Vogelschau der Stadt Augsburg}, booktitle={Geschichte der bildenden Kunst in Deutschland, Bd. 4 Spätgotik und Renaissance}, author={Seng, Eva- Maria}, editor={Krause, KatharinaEditor}, year={2007}, pages={266f} }
LibreCat
2007 | Conference Paper | LibreCat-ID: 2389
@inproceedings{Lietsch_Marquardt_2007, place={Berlin / Heidelberg}, series={Lecture Notes in Computer Science (LNCS)}, title={A CUDA-Supported Approach to Remote Rendering}, volume={4841}, booktitle={Proc. Int. Symp. on Visual Computing (ISVC)}, publisher={Springer}, author={Lietsch, Stefan and Marquardt, Oliver}, year={2007}, pages={724–733}, collection={Lecture Notes in Computer Science (LNCS)} }
LibreCat
2007 | Conference Paper | LibreCat-ID: 2396
@inproceedings{Voss_Djemame_Gourlay_Padgett_2007, place={Berlin / Heidelberg}, series={Lecture Notes in Computer Science (LNCS)}, title={AssessGrid, Economic Issues Underlying Risk Awareness in Grids}, volume={4685}, DOI={10.1007/978-3-540-74430-6_14}, booktitle={Proc. Int. Worksh. on Grid Economics and Business Models (GECON)}, publisher={Springer}, author={Voss, Kerstin and Djemame, Karim and Gourlay, Iain and Padgett, James}, editor={Altmann, Jörn and Veit, DanielEditors}, year={2007}, pages={170–175}, collection={Lecture Notes in Computer Science (LNCS)} }
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 2400
@inproceedings{Berssenbrügge_Lietsch_2007, place={Paderborn, Germany}, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts}, title={Verteilte Berechnung und Darstellung automobiler Scheinwerfer}, volume={209}, booktitle={Proc. Worksh. Augmented & Virtual Reality in der Produktentstehung}, publisher={Heinz Nixdorf Institut}, author={Berssenbrügge, Jan and Lietsch, Stefan}, year={2007}, pages={67–80}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts} }
LibreCat
2007 | Conference Paper | LibreCat-ID: 20431
@inproceedings{Hamann_Wörn_Sahin_Spears_Winfield_2007, title={An analytical and spatial model of foraging in a swarm of robots}, volume={4433}, DOI={10.1007/978-3-540-71541-2_4}, booktitle={Swarm Robotics - Second SAB 2006 International Workshop}, author={Hamann, Heiko and Wörn, Heinz and Sahin, Erol and Spears, Winfield and Winfield, Winfield}, year={2007}, pages={43--55} }
LibreCat
| DOI
2007 | Journal Article | LibreCat-ID: 17981
@article{Ziegler_2007, title={Real Hypercomputation and Continuity}, DOI={10.1007/s00224-006-1343-6}, journal={Theory of Computing Systems}, author={Ziegler, Martin}, year={2007}, pages={177–206} }
LibreCat
| DOI
2007 | Book Chapter | LibreCat-ID: 17982
@inbook{Ziegler_2007, place={Berlin, Heidelberg}, title={(Short) Survey of Real Hypercomputation}, DOI={10.1007/978-3-540-73001-9_86}, booktitle={Lecture Notes in Computer Science}, author={Ziegler, Martin}, year={2007} }
LibreCat
| DOI