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.
9339 Publications
2005 | Dissertation | LibreCat-ID: 19611
K. Volbert, Geometric Spanners for Topology Control in Wireless Networks, vol. 168. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2005.
LibreCat
| Files available
2005 | Conference Paper | LibreCat-ID: 19827
P. Mahlmann and C. Schindelhauer, “Peer-to-peer networks based on random transformations of connected regular undirected graphs,” in Proceedings of the 17th annual ACM symposium on Parallelism in algorithms and architectures - SPAA’05, 2005.
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 19834
S. Rührup and C. Schindelhauer, “Competitive Time and Traffic Analysis of Position-Based Routing using a Cell Structure,” in 19th IEEE International Parallel and Distributed Processing Symposium, 2005, p. 248, doi: 10.1109/ipdps.2005.147.
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 19835
S. Rührup, C. Schindelhauer, and K. Volbert, “Performance Analysis of the Hierarchical Layer Graph for Wireless Networks,” in Proc. of 4th International Conference on Ad-Hoc, Mobile & Wireless Networks (ADHOC-NOW 2005), 2005, vol. 3738, pp. 244–257.
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 19837
C. Schindelhauer, G. Weikum, D. Hales, and P. Triantafillou, “Towards Self-Organizing Query Routing and Processing for Peer-to-Peer Web Search,” in European Conference on Complex Systems (ECCS 2005), 2005.
LibreCat
2005 | Conference Paper | LibreCat-ID: 19871
A. Brinkmann, S. Effert, M. Heidebuer, and M. Vodisek, “Distributed MD,” in In Proceedings of the International Workshop on Storage Network Architecture and Parallel I/Os, 2005, pp. 81–88.
LibreCat
2005 | Conference Paper | LibreCat-ID: 19872
A. Brinkmann, S. Effert, M. Heidebuer, M. Vodisek, and H. Baars, “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, 2005, pp. 1–8.
LibreCat
2005 | Conference Paper | LibreCat-ID: 19890
J. Klein and G. Zachmann, “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), 2005, pp. 163–170.
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 19912
C. Loeser, G. Schomaker, A. Brinkmann, M. Vodisek, and M. Heidebuer, “Content Distribution in Heterogenous Video-on-Demand P2P Networks with ARIMA Forecasts,” in Proceedings of the 4th International Conference on Networking, 2005, vol. 3421, pp. 800–810.
LibreCat
| DOI
2005 | Journal Article | LibreCat-ID: 26278
M. Ziegler and B. Fuchssteiner, “Nonlinear Reformulation of Heisenberg’s Dynamics,” International Journal of Theoretical Physics, pp. 693–717, 2005, doi: 10.1007/s10773-005-7048-9.
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 3229
H. Rasch and H. Wehrheim, “Checking the Validity of Scenarios in {UML} Models,” in Formal Methods for Open Object-Based Distributed Systems, 7th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2005, Athens, Greece, June 15-17, 2005, Proceedings, 2005, pp. 67--82.
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 3230
I. Brückner and H. Wehrheim, “Slicing an Integrated Formal Method for Verification,” in Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November 1-4, 2005, Proceedings, 2005, pp. 360--374.
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 3231
J. Derrick and H. Wehrheim, “Non-atomic Refinement in {Z} and {CSP},” in {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. 24--44.
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 3232
I. Brückner and H. Wehrheim, “Slicing Object-Z Specifications for Verification,” in {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