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.
10458 Publications
2005 | Conference Paper | LibreCat-ID: 3232
Slicing Object-Z Specifications for Verification
I. Brückner, H. Wehrheim, in: H. Treharne, S. King, M. C. Henson, S. A. Schneider (Eds.), {ZB} 2005: Formal Specification and Development in {Z} and B, 4th International Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings, 2005, pp. 414--433.
LibreCat
| DOI
I. Brückner, H. Wehrheim, in: H. Treharne, S. King, M. C. Henson, S. A. Schneider (Eds.), {ZB} 2005: Formal Specification and Development in {Z} and B, 4th International Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings, 2005, pp. 414--433.
2005 | Conference Paper | LibreCat-ID: 28987
Weighted distributed hash tables
C. Schindelhauer, G. Schomaker, in: SPAA 2005: Proceedings of the 17th Annual ACM Symposium on Parallelism in Algorithms and Architectures, Las Vegas, Nevada, USA, 2005.
LibreCat
| DOI
C. Schindelhauer, G. Schomaker, in: SPAA 2005: Proceedings of the 17th Annual ACM Symposium on Parallelism in Algorithms and Architectures, Las Vegas, Nevada, USA, 2005.
2005 | Dissertation | LibreCat-ID: 2913
Fault Attacks and Countermeasures
M. Otto, Fault Attacks and Countermeasures, Universität Paderborn, 2005.
LibreCat
| Download (ext.)
M. Otto, Fault Attacks and Countermeasures, Universität Paderborn, 2005.
2005 | Book Chapter | LibreCat-ID: 3006
A Tool Kit for Finding Small Roots of Bivariate Polynomials over the Integers
J. Blömer, A. May, in: EUROCRYPT 2005, Springer Berlin Heidelberg, Berlin, Heidelberg, 2005, pp. 251–267.
LibreCat
| Files available
| DOI
J. Blömer, A. May, in: EUROCRYPT 2005, Springer Berlin Heidelberg, Berlin, Heidelberg, 2005, pp. 251–267.
2005 | Book Chapter | LibreCat-ID: 3010
Partial Key Exposure Attacks on RSA up to Full Size Exponents
M. Ernst, E. Jochemsz, A. May, B. de Weger, in: EUROCRYPT 2005, Springer Berlin Heidelberg, Berlin, Heidelberg, 2005, pp. 371–386.
LibreCat
| DOI
M. Ernst, E. Jochemsz, A. May, B. de Weger, in: EUROCRYPT 2005, Springer Berlin Heidelberg, Berlin, Heidelberg, 2005, pp. 371–386.
2005 | Book Chapter | LibreCat-ID: 26991
Online Routing in Faulty Meshes with Sub-linear Comparative Time and Traffic Ratio
S. Rührup, C. Schindelhauer, in: Algorithms – ESA 2005, Berlin, Heidelberg, 2005.
LibreCat
| DOI
S. Rührup, C. Schindelhauer, in: Algorithms – ESA 2005, Berlin, Heidelberg, 2005.
2005 | Conference Paper | LibreCat-ID: 2114 | 
Transparent Data Structures, or How to Make Search Trees Robust in a Distributed Environment
M. Korzeniowski, C. Scheideler, in: ISPAN, 2005, pp. 182--187.
LibreCat
| Files available
M. Korzeniowski, C. Scheideler, in: ISPAN, 2005, pp. 182--187.
2005 | Conference Paper | LibreCat-ID: 2115 |
Supervised Peer-to-Peer Systems
K. Kothapalli, C. Scheideler, in: ISPAN, 2005, pp. 188--193.
LibreCat
| Files available
K. Kothapalli, C. Scheideler, in: ISPAN, 2005, pp. 188--193.
2005 | Conference Paper | LibreCat-ID: 2116 |
Efficient Broadcasting and Gathering in Wireless Ad-Hoc Networks
M. Onus, A. W. Richa, K. Kothapalli, C. Scheideler, in: ISPAN, 2005, pp. 346--351.
LibreCat
| Files available
M. Onus, A. W. Richa, K. Kothapalli, C. Scheideler, in: ISPAN, 2005, pp. 346--351.
2005 | Conference Paper | LibreCat-ID: 2117 |
Constant density spanners for wireless ad-hoc networks
K. Kothapalli, C. Scheideler, M. Onus, A. W. Richa, in: SPAA, 2005, pp. 116--125.
LibreCat
| Files available
K. Kothapalli, C. Scheideler, M. Onus, A. W. Richa, in: SPAA, 2005, pp. 116--125.
2005 | Conference Paper | LibreCat-ID: 2118 |
How to spread adversarial nodes?: rotate!
C. Scheideler, in: STOC, 2005, pp. 704--713.
LibreCat
| Files available
C. Scheideler, in: STOC, 2005, pp. 704--713.
2005 | Dissertation | LibreCat-ID: 17413
Design, analysis, and evaluation of a data structure for distributed virtual environments
M. Fischer, Design, Analysis, and Evaluation of a Data Structure for Distributed Virtual Environments, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2005.
LibreCat
| Files available
M. Fischer, Design, Analysis, and Evaluation of a Data Structure for Distributed Virtual Environments, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2005.
2005 | Journal Article | LibreCat-ID: 17414
Virtual and augmented reality support for discrete manufacturing system simulation
W. Dangelmaier, M. Fischer, J. Gausemeier, M. Grafe, C. Matysczok, B. Mueck, Computers in Industry (2005) 371–383.
LibreCat
| DOI
W. Dangelmaier, M. Fischer, J. Gausemeier, M. Grafe, C. Matysczok, B. Mueck, Computers in Industry (2005) 371–383.
2005 | Conference Paper | LibreCat-ID: 17415
Multi-User Support and Motion Planning of Humans and Humans Driven Vehicles in Interactive 3D Material Flow Simulations
M. Fischer, B. Mueck, K. Mahajan, M. Kortenjan, C. Laroque, W. Dangelmaier, in: Proceedings of the Winter Simulation Conference, 2005.
LibreCat
| DOI
M. Fischer, B. Mueck, K. Mahajan, M. Kortenjan, C. Laroque, W. Dangelmaier, in: Proceedings of the Winter Simulation Conference, 2005.
2005 | Journal Article | LibreCat-ID: 18763
Abstract Combinatorial Programs and Efficient Property Testers
A. Czumaj, C. Sohler, SIAM Journal on Computing 34 (2005) 580–615.
LibreCat
| DOI
A. Czumaj, C. Sohler, SIAM Journal on Computing 34 (2005) 580–615.
2005 | Conference Paper | LibreCat-ID: 18768
Facility Location in Sublinear Time
M. Bădoiu, A. Czumaj, P. Indyk, C. Sohler, in: Proc. of the 32nd International Colloquium on Automata, Languages and Programming (ICALP), Berlin, Heidelberg, 2005, pp. 866–877.
LibreCat
| DOI
M. Bădoiu, A. Czumaj, P. Indyk, C. Sohler, in: Proc. of the 32nd International Colloquium on Automata, Languages and Programming (ICALP), Berlin, Heidelberg, 2005, pp. 866–877.
2005 | Conference Paper | LibreCat-ID: 18787
Coresets in Dynamic Geometric Data Streams
C. Sohler, G. Frahling, in: Proceedings of the 37th ACM Symposium on Theory of Computing (STOC), 2005, pp. 209–217.
LibreCat
C. Sohler, G. Frahling, in: Proceedings of the 37th ACM Symposium on Theory of Computing (STOC), 2005, pp. 209–217.
2005 | Journal Article | LibreCat-ID: 18790
Testing hypergraph colorability
A. Czumaj, C. Sohler, Theoretical Computer Science 331 (2005) 37–52.
LibreCat
| DOI
A. Czumaj, C. Sohler, Theoretical Computer Science 331 (2005) 37–52.
2005 | Journal Article | LibreCat-ID: 18855
Approximating the Weight of the Euclidean Minimum Spanning Tree in Sublinear Time
A. Czumaj, F. Ergün, L. Fortnow, A. Magen, I. Newman, R. Rubinfeld, C. Sohler, SIAM Journal on Computing 35 (2005) 91–109.
LibreCat
| DOI
A. Czumaj, F. Ergün, L. Fortnow, A. Magen, I. Newman, R. Rubinfeld, C. Sohler, SIAM Journal on Computing 35 (2005) 91–109.
2005 | Conference Paper | LibreCat-ID: 18867
Online Occlusion Culling
G. Frahling, J. Krokowski, in: Proc. of the 13th Annual European Symposium on Algorithms (ESA 2005), Springer, Berlin, Heidelberg, 2005, pp. 758–769.
LibreCat
| DOI
G. Frahling, J. Krokowski, in: Proc. of the 13th Annual European Symposium on Algorithms (ESA 2005), Springer, Berlin, Heidelberg, 2005, pp. 758–769.