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.
9294 Publications
2005 | Conference Paper | LibreCat-ID: 3231
Derrick, J., & Wehrheim, H. (2005). Non-atomic Refinement in {Z} and {CSP}. 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 (pp. 24--44). https://doi.org/10.1007/11415787_3
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 3232
Brückner, I., & Wehrheim, H. (2005). Slicing Object-Z Specifications for Verification. 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 (pp. 414--433). https://doi.org/10.1007/11415787_24
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 28987
Schindelhauer, C., & Schomaker, G. (2005). Weighted distributed hash tables. SPAA 2005: Proceedings of the 17th Annual ACM Symposium on Parallelism in Algorithms and Architectures, Las Vegas, Nevada, USA. https://doi.org/10.1145/1073970.1074008
LibreCat
| DOI
2005 | Dissertation | LibreCat-ID: 2913
Otto, M. (2005). Fault Attacks and Countermeasures. Universität Paderborn.
LibreCat
| Download (ext.)
2005 | Book Chapter | LibreCat-ID: 3006
Blömer, J., & May, A. (2005). A Tool Kit for Finding Small Roots of Bivariate Polynomials over the Integers. In EUROCRYPT 2005 (pp. 251–267). Berlin, Heidelberg: Springer Berlin Heidelberg. https://doi.org/10.1007/11426639_15
LibreCat
| Files available
| DOI
2005 | Book Chapter | LibreCat-ID: 3010
Ernst, M., Jochemsz, E., May, A., & de Weger, B. (2005). Partial Key Exposure Attacks on RSA up to Full Size Exponents. In EUROCRYPT 2005 (pp. 371–386). Berlin, Heidelberg: Springer Berlin Heidelberg. https://doi.org/10.1007/11426639_22
LibreCat
| DOI
2005 | Book Chapter | LibreCat-ID: 26991
Rührup, S., & Schindelhauer, C. (2005). Online Routing in Faulty Meshes with Sub-linear Comparative Time and Traffic Ratio. In Algorithms – ESA 2005. https://doi.org/10.1007/11561071_5
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 2114 |
![Open access file OA](https://ris.uni-paderborn.de/images/access_open.png)
Korzeniowski, M., & Scheideler, C. (2005). Transparent Data Structures, or How to Make Search Trees Robust in a Distributed Environment. In ISPAN (pp. 182--187).
LibreCat
| Files available
2005 | Conference Paper | LibreCat-ID: 2115 |
![Open access file OA](https://ris.uni-paderborn.de/images/access_open.png)
Kothapalli, K., & Scheideler, C. (2005). Supervised Peer-to-Peer Systems. In ISPAN (pp. 188--193).
LibreCat
| Files available
2005 | Conference Paper | LibreCat-ID: 2116 |
![Open access file OA](https://ris.uni-paderborn.de/images/access_open.png)
Onus, M., W. Richa, A., Kothapalli, K., & Scheideler, C. (2005). Efficient Broadcasting and Gathering in Wireless Ad-Hoc Networks. In ISPAN (pp. 346--351).
LibreCat
| Files available
2005 | Conference Paper | LibreCat-ID: 2117 |
![Open access file OA](https://ris.uni-paderborn.de/images/access_open.png)
Kothapalli, K., Scheideler, C., Onus, M., & W. Richa, A. (2005). Constant density spanners for wireless ad-hoc networks. In SPAA (pp. 116--125).
LibreCat
| Files available
2005 | Conference Paper | LibreCat-ID: 2118 |
![Open access file OA](https://ris.uni-paderborn.de/images/access_open.png)
Scheideler, C. (2005). How to spread adversarial nodes?: rotate! In STOC (pp. 704--713).
LibreCat
| Files available
2005 | Dissertation | LibreCat-ID: 17413
Fischer, M. (2005). Design, analysis, and evaluation of a data structure for distributed virtual environments (Vol. 164). Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn.
LibreCat
| Files available
2005 | Journal Article | LibreCat-ID: 17414
Dangelmaier, W., Fischer, M., Gausemeier, J., Grafe, M., Matysczok, C., & Mueck, B. (2005). Virtual and augmented reality support for discrete manufacturing system simulation. Computers in Industry, 371–383. https://doi.org/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. (2005). 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. https://doi.org/10.1109/wsc.2005.1574470
LibreCat
| DOI
2005 | Book Chapter | LibreCat-ID: 17848
Mindt, I. (2005). Learner English: Ein Überblick über vorhandene Korpora und mögliche Forschungsansätze. In J. Schwitalla & W. Wegstein (Eds.), Korpuslinguistik Deutsch: synchron – diachron – kontrastiv. Würzburger Kolloquium 2003 (pp. 137–146). Tübingen: Niemeyer.
LibreCat
2005 | Book Chapter | LibreCat-ID: 17902
Mindt, I., & Hunston, S. (2005). Corpora in Applied Linguistics. In ICAME Journal 29, Computers in English Linguistics (pp. 184–188). Cambridge: Cambridge University Press, 2002.
LibreCat
2005 | Book Chapter | LibreCat-ID: 17907
Mindt, I., Huddleston, R., & Pullum, G. K. (2005). A Student’s Introduction to English Grammar. In Zeitschrift für Anglistik und Amerikanisitk. A Quarterly of Language, Literature and Culture. Heft 2, 2 (Vol. 2, pp. 195–197). Cambridge: Cambridge University Press, 2005.
LibreCat
2005 | Book Chapter | LibreCat-ID: 17908
Mindt, I., & Bründl, M. E. (2005). Lexikalische Dynamik: Kognitiv-linguistische Untersuchungen am englischen Computerwortschatz. In Anglistik. Mitteilungen des Deutschen Anglistenverbandes (Heft 16/1, März 2005, pp. 194–196). Tübingen: Niemeyer, 2001.
LibreCat
2005 | Journal Article | LibreCat-ID: 18763
Czumaj, A., & Sohler, C. (2005). Abstract Combinatorial Programs and Efficient Property Testers. SIAM Journal on Computing, 34(3), 580–615. https://doi.org/10.1137/s009753970444199x
LibreCat
| DOI