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
@inproceedings{Brückner_Wehrheim_2005, series={Lecture Notes in Computer Science}, title={Slicing an Integrated Formal Method for Verification}, DOI={10.1007/11576280_25}, booktitle={Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November 1-4, 2005, Proceedings}, author={Brückner, Ingo and Wehrheim, Heike}, editor={Lau, Kung{-}Kiu and Banach, RichardEditors}, year={2005}, pages={360--374}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 3231
@inproceedings{Derrick_Wehrheim_2005, series={Lecture Notes in Computer Science}, title={Non-atomic Refinement in {Z} and {CSP}}, DOI={10.1007/11415787_3}, booktitle={{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}, author={Derrick, John and Wehrheim, Heike}, editor={Treharne, Helen and King, Steve and C. Henson, Martin and A. Schneider, SteveEditors}, year={2005}, pages={24--44}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 3232
@inproceedings{Brückner_Wehrheim_2005, series={Lecture Notes in Computer Science}, title={Slicing Object-Z Specifications for Verification}, DOI={10.1007/11415787_24}, booktitle={{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}, author={Brückner, Ingo and Wehrheim, Heike}, editor={Treharne, Helen and King, Steve and C. Henson, Martin and A. Schneider, SteveEditors}, year={2005}, pages={414--433}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 28987
@inproceedings{Schindelhauer_Schomaker_2005, title={Weighted distributed hash tables}, DOI={10.1145/1073970.1074008}, booktitle={SPAA 2005: Proceedings of the 17th Annual ACM Symposium on Parallelism in Algorithms and Architectures, Las Vegas, Nevada, USA}, author={Schindelhauer, Christian and Schomaker, Gunnar}, year={2005} }
LibreCat
| DOI
2005 | Dissertation | LibreCat-ID: 2913
@book{Otto_2005, title={Fault Attacks and Countermeasures}, publisher={Universität Paderborn}, author={Otto, Martin}, year={2005} }
LibreCat
| Download (ext.)
2005 | Book Chapter | LibreCat-ID: 3006
@inbook{Blömer_May_2005, place={Berlin, Heidelberg}, series={Lecture Notes in Computer Science}, title={A Tool Kit for Finding Small Roots of Bivariate Polynomials over the Integers}, DOI={10.1007/11426639_15}, booktitle={EUROCRYPT 2005}, publisher={Springer Berlin Heidelberg}, author={Blömer, Johannes and May, Alexander}, year={2005}, pages={251–267}, collection={Lecture Notes in Computer Science} }
LibreCat
| Files available
| DOI
2005 | Book Chapter | LibreCat-ID: 3010
@inbook{Ernst_Jochemsz_May_de Weger_2005, place={Berlin, Heidelberg}, series={LNCS}, title={Partial Key Exposure Attacks on RSA up to Full Size Exponents}, DOI={10.1007/11426639_22}, booktitle={EUROCRYPT 2005}, publisher={Springer Berlin Heidelberg}, author={Ernst, Matthias and Jochemsz, Ellen and May, Alexander and de Weger, Benne}, year={2005}, pages={371–386}, collection={LNCS} }
LibreCat
| DOI
2005 | Book Chapter | LibreCat-ID: 26991
@inbook{Rührup_Schindelhauer_2005, place={Berlin, Heidelberg}, title={Online Routing in Faulty Meshes with Sub-linear Comparative Time and Traffic Ratio}, DOI={10.1007/11561071_5}, booktitle={Algorithms – ESA 2005}, author={Rührup, Stefan and Schindelhauer, Christian}, year={2005} }
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 2114 | 
@inproceedings{Korzeniowski_Scheideler_2005, title={Transparent Data Structures, or How to Make Search Trees Robust in a Distributed Environment}, booktitle={ISPAN}, author={Korzeniowski, Miroslaw and Scheideler, Christian}, year={2005}, pages={182--187} }
LibreCat
| Files available
2005 | Conference Paper | LibreCat-ID: 2115 |
@inproceedings{Kothapalli_Scheideler_2005, title={Supervised Peer-to-Peer Systems}, booktitle={ISPAN}, author={Kothapalli, Kishore and Scheideler, Christian}, year={2005}, pages={188--193} }
LibreCat
| Files available
2005 | Conference Paper | LibreCat-ID: 2116 |
@inproceedings{Onus_W. Richa_Kothapalli_Scheideler_2005, title={Efficient Broadcasting and Gathering in Wireless Ad-Hoc Networks}, booktitle={ISPAN}, author={Onus, Melih and W. Richa, Andrea and Kothapalli, Kishore and Scheideler, Christian}, year={2005}, pages={346--351} }
LibreCat
| Files available
2005 | Conference Paper | LibreCat-ID: 2117 |
@inproceedings{Kothapalli_Scheideler_Onus_W. Richa_2005, title={Constant density spanners for wireless ad-hoc networks}, booktitle={SPAA}, author={Kothapalli, Kishore and Scheideler, Christian and Onus, Melih and W. Richa, Andrea}, year={2005}, pages={116--125} }
LibreCat
| Files available
2005 | Conference Paper | LibreCat-ID: 2118 |
@inproceedings{Scheideler_2005, title={How to spread adversarial nodes?: rotate!}, booktitle={STOC}, author={Scheideler, Christian}, year={2005}, pages={704--713} }
LibreCat
| Files available
2005 | Dissertation | LibreCat-ID: 17413
@book{Fischer_2005, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, title={Design, analysis, and evaluation of a data structure for distributed virtual environments}, volume={164}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, author={Fischer, Matthias}, year={2005}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn} }
LibreCat
| Files available
2005 | Journal Article | LibreCat-ID: 17414
@article{Dangelmaier_Fischer_Gausemeier_Grafe_Matysczok_Mueck_2005, title={Virtual and augmented reality support for discrete manufacturing system simulation}, DOI={10.1016/j.compind.2005.01.007}, journal={Computers in Industry}, author={Dangelmaier, Wilhelm and Fischer, Matthias and Gausemeier, Jürgen and Grafe, Michael and Matysczok, Carsten and Mueck, Bengt}, year={2005}, pages={371–383} }
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 17415
@inproceedings{Fischer_Mueck_Mahajan_Kortenjan_Laroque_Dangelmaier_2005, title={Multi-User Support and Motion Planning of Humans and Humans Driven Vehicles in Interactive 3D Material Flow Simulations}, DOI={10.1109/wsc.2005.1574470}, booktitle={Proceedings of the Winter Simulation Conference}, author={Fischer, Matthias and Mueck, B. and Mahajan, K. and Kortenjan, M. and Laroque, C. and Dangelmaier, W.}, year={2005} }
LibreCat
| DOI
2005 | Journal Article | LibreCat-ID: 18763
@article{Czumaj_Sohler_2005, title={Abstract Combinatorial Programs and Efficient Property Testers}, volume={34}, DOI={10.1137/s009753970444199x}, number={3}, journal={SIAM Journal on Computing}, author={Czumaj, Artur and Sohler, Christian}, year={2005}, pages={580–615} }
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 18768
@inproceedings{Bădoiu_Czumaj_Indyk_Sohler_2005, place={Berlin, Heidelberg}, title={Facility Location in Sublinear Time}, DOI={10.1007/11523468_70}, booktitle={Proc. of the 32nd International Colloquium on Automata, Languages and Programming (ICALP)}, author={Bădoiu, Mihai and Czumaj, Artur and Indyk, Piotr and Sohler, Christian}, year={2005}, pages={866–877} }
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 18787
@inproceedings{Sohler_Frahling_2005, title={Coresets in Dynamic Geometric Data Streams}, booktitle={Proceedings of the 37th ACM Symposium on Theory of Computing (STOC)}, author={Sohler, Christian and Frahling, Gereon}, year={2005}, pages={209–217} }
LibreCat
2005 | Journal Article | LibreCat-ID: 18790
@article{Czumaj_Sohler_2005, title={Testing hypergraph colorability}, volume={331}, DOI={10.1016/j.tcs.2004.09.031}, number={1}, journal={Theoretical Computer Science}, author={Czumaj, Artur and Sohler, Christian}, year={2005}, pages={37–52} }
LibreCat
| DOI