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.
10111 Publications
2005 | Conference Paper | LibreCat-ID: 19837
Schindelhauer, C., Weikum, G., Hales, D., & Triantafillou, P. (2005). Towards Self-Organizing Query Routing and Processing for Peer-to-Peer Web Search. In European Conference on Complex Systems (ECCS 2005).
LibreCat
2005 | Conference Paper | LibreCat-ID: 19871
Brinkmann, A., Effert, S., Heidebuer, M., & Vodisek, M. (2005). Distributed MD. In In Proceedings of the International Workshop on Storage Network Architecture and Parallel I/Os (pp. 81–88).
LibreCat
2005 | Conference Paper | LibreCat-ID: 19872
Brinkmann, A., Effert, S., Heidebuer, M., Vodisek, M., & Baars, H. (2005). An integrated Architecture for Business Intelligence support from Application down to Storage. In In Proceedings of the International Workshop on Storage Network Architecture and Parallel I/Os (pp. 1–8).
LibreCat
2005 | Conference Paper | LibreCat-ID: 19888
Klein, J., & Zachmann, G. (2005). The expected running time of hierarchical collision detection. In ACM SIGGRAPH 2005 Posters on - SIGGRAPH ’05. https://doi.org/10.1145/1186954.1187087
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 19890
Klein, J., & Zachmann, G. (2005). Interpolation Search for Point Cloud Intersection. In Proceedings of the 13-th International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision’2005 (WSCG’2005) (pp. 163–170). https://doi.org/10.1145/1186223.1186329
LibreCat
| DOI
2005 | Book Chapter | LibreCat-ID: 1990
Heine, F., Hovestadt, M., Kao, O., & Keller, A. (2005). SLA-aware Job Migration in Grid Environments. In L. Grandinetti (Ed.), Grid Computing: New Frontiers of High Performance Computing (Vol. 14, pp. 185–201). https://doi.org/10.1016/S0927-5452(05)80011-5
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 19912
Loeser, C., Schomaker, G., Brinkmann, A., Vodisek, M., & Heidebuer, M. (2005). Content Distribution in Heterogenous Video-on-Demand P2P Networks with ARIMA Forecasts. In Proceedings of the 4th International Conference on Networking (Vol. 3421, pp. 800–810). Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-31957-3_90
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 2411
Plessl, C., & Platzner, M. (2005). Zippy – A coarse-grained reconfigurable array with support for hardware virtualization. In Proc. Int. Conf. on Application-Specific Systems, Architectures, and Processors (ASAP) (pp. 213–218). IEEE Computer Society. https://doi.org/10.1109/ASAP.2005.69
LibreCat
| DOI
2005 | Journal Article | LibreCat-ID: 2412
Enzler, R., Plessl, C., & Platzner, M. (2005). System-level performance evaluation of reconfigurable processors. Microprocessors and Microsystems, 29(2–3), 63–73. https://doi.org/10.1016/j.micpro.2004.06.004
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 2413
Lietsch, S., & Kao, O. (2005). CoLoS - A System for Device Unaware and Position Dependent Communication Based on the Session Initiation Protocol. In Proc. Intelligence in Communication Systems (INTELLCOMM) (Vol. 190, pp. 261–271). Boston, MA, USA: Springer. https://doi.org/10.1007/0-387-32015-6_24
LibreCat
| DOI
2005 | Journal Article | LibreCat-ID: 26278
Ziegler, M., & Fuchssteiner, B. (2005). Nonlinear Reformulation of Heisenberg’s Dynamics. International Journal of Theoretical Physics, 693–717. https://doi.org/10.1007/s10773-005-7048-9
LibreCat
| DOI
2005 | Journal Article | LibreCat-ID: 3227
Olderog, E.-R., & Wehrheim, H. (2005). Specification and (property) inheritance in {CSP-OZ}. Sci. Comput. Program., (1–3), 227--257. https://doi.org/10.1016/j.scico.2004.05.017
LibreCat
| DOI
2005 | Journal Article | LibreCat-ID: 3228
Wehrheim, H. (2005). Slicing techniques for verification re-use. Theor. Comput. Sci., (3), 509--528. https://doi.org/10.1016/j.tcs.2005.06.020
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 3229
Rasch, H., & Wehrheim, H. (2005). Checking the Validity of Scenarios in {UML} Models. In M. Steffen & G. Zavattaro (Eds.), Formal Methods for Open Object-Based Distributed Systems, 7th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2005, Athens, Greece, June 15-17, 2005, Proceedings (pp. 67--82). https://doi.org/10.1007/11494881_5
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 3230
Brückner, I., & Wehrheim, H. (2005). Slicing an Integrated Formal Method for Verification. In K.-}Kiu Lau & R. Banach (Eds.), Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November 1-4, 2005, Proceedings (pp. 360--374). https://doi.org/10.1007/11576280_25
LibreCat
| DOI
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