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.
5792 Publications
2005 | Conference Paper | LibreCat-ID: 3230
Brückner I, Wehrheim H. Slicing an Integrated Formal Method for Verification. In: Lau K-}Kiu, Banach R, eds. Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November 1-4, 2005, Proceedings. Lecture Notes in Computer Science. ; 2005:360--374. doi:10.1007/11576280_25
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 3231
Derrick J, Wehrheim H. Non-atomic Refinement in {Z} and {CSP}. In: Treharne H, King S, C. Henson M, A. Schneider S, 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. Lecture Notes in Computer Science. ; 2005:24--44. doi:10.1007/11415787_3
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 3232
Brückner I, Wehrheim H. Slicing Object-Z Specifications for Verification. In: Treharne H, King S, C. Henson M, A. Schneider S, 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. Lecture Notes in Computer Science. ; 2005:414--433. doi:10.1007/11415787_24
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 28987
Schindelhauer C, Schomaker G. Weighted distributed hash tables. In: SPAA 2005: Proceedings of the 17th Annual ACM Symposium on Parallelism in Algorithms and Architectures, Las Vegas, Nevada, USA. ; 2005. doi:10.1145/1073970.1074008
LibreCat
| DOI
2005 | Dissertation | LibreCat-ID: 2913
Otto M. Fault Attacks and Countermeasures. Universität Paderborn; 2005.
LibreCat
| Download (ext.)
2005 | Book Chapter | LibreCat-ID: 3006
Blömer J, May A. A Tool Kit for Finding Small Roots of Bivariate Polynomials over the Integers. In: EUROCRYPT 2005. Lecture Notes in Computer Science. Berlin, Heidelberg: Springer Berlin Heidelberg; 2005:251-267. doi:10.1007/11426639_15
LibreCat
| Files available
| DOI
2005 | Book Chapter | LibreCat-ID: 3010
Ernst M, Jochemsz E, May A, de Weger B. Partial Key Exposure Attacks on RSA up to Full Size Exponents. In: EUROCRYPT 2005. LNCS. Berlin, Heidelberg: Springer Berlin Heidelberg; 2005:371-386. doi:10.1007/11426639_22
LibreCat
| DOI
2005 | Book Chapter | LibreCat-ID: 26991
Rührup S, Schindelhauer C. Online Routing in Faulty Meshes with Sub-linear Comparative Time and Traffic Ratio. In: Algorithms – ESA 2005. ; 2005. doi:10.1007/11561071_5
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 2114 | 
Korzeniowski M, Scheideler C. Transparent Data Structures, or How to Make Search Trees Robust in a Distributed Environment. In: ISPAN. ; 2005:182--187.
LibreCat
| Files available
2005 | Conference Paper | LibreCat-ID: 2115 |
Kothapalli K, Scheideler C. Supervised Peer-to-Peer Systems. In: ISPAN. ; 2005:188--193.
LibreCat
| Files available
2005 | Conference Paper | LibreCat-ID: 2116 |
Onus M, W. Richa A, Kothapalli K, Scheideler C. Efficient Broadcasting and Gathering in Wireless Ad-Hoc Networks. In: ISPAN. ; 2005:346--351.
LibreCat
| Files available
2005 | Conference Paper | LibreCat-ID: 2117 |
Kothapalli K, Scheideler C, Onus M, W. Richa A. Constant density spanners for wireless ad-hoc networks. In: SPAA. ; 2005:116--125.
LibreCat
| Files available
2005 | Conference Paper | LibreCat-ID: 2118 |
Scheideler C. How to spread adversarial nodes?: rotate! In: STOC. ; 2005:704--713.
LibreCat
| Files available
2005 | Dissertation | LibreCat-ID: 17413
Fischer M. Design, Analysis, and Evaluation of a Data Structure for Distributed Virtual Environments. Vol 164. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 2005.
LibreCat
| Files available
2005 | Journal Article | LibreCat-ID: 17414
Dangelmaier W, Fischer M, Gausemeier J, Grafe M, Matysczok C, Mueck B. Virtual and augmented reality support for discrete manufacturing system simulation. Computers in Industry. 2005:371-383. doi:10.1016/j.compind.2005.01.007
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 17415
Fischer M, Mueck B, Mahajan K, Kortenjan M, Laroque C, Dangelmaier W. Multi-User Support and Motion Planning of Humans and Humans Driven Vehicles in Interactive 3D Material Flow Simulations. In: Proceedings of the Winter Simulation Conference. ; 2005. doi:10.1109/wsc.2005.1574470
LibreCat
| DOI
2005 | Journal Article | LibreCat-ID: 18763
Czumaj A, Sohler C. Abstract Combinatorial Programs and Efficient Property Testers. SIAM Journal on Computing. 2005;34(3):580-615. doi:10.1137/s009753970444199x
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 18768
Bădoiu M, Czumaj A, Indyk P, Sohler C. Facility Location in Sublinear Time. In: Proc. of the 32nd International Colloquium on Automata, Languages and Programming (ICALP). Berlin, Heidelberg; 2005:866-877. doi:10.1007/11523468_70
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 18787
Sohler C, Frahling G. Coresets in Dynamic Geometric Data Streams. In: Proceedings of the 37th ACM Symposium on Theory of Computing (STOC). ; 2005:209-217.
LibreCat
2005 | Journal Article | LibreCat-ID: 18790
Czumaj A, Sohler C. Testing hypergraph colorability. Theoretical Computer Science. 2005;331(1):37-52. doi:10.1016/j.tcs.2004.09.031
LibreCat
| DOI