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.
5937 Publications
2005 | Conference Paper | LibreCat-ID: 19834
Rührup S, Schindelhauer C. Competitive Time and Traffic Analysis of Position-Based Routing using a Cell Structure. In: 19th IEEE International Parallel and Distributed Processing Symposium. ; 2005:248. doi:10.1109/ipdps.2005.147
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 19835
Rührup S, Schindelhauer C, Volbert K. 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). Vol 3738. ; 2005:244-257. doi:10.1007/11561354_21
LibreCat
| DOI
2005 | Book Chapter | LibreCat-ID: 19836
Schindelhauer C, Voß K. Probability Distributions for Channel Utilisation. In: Proc. of 4th International Conference on Ad-Hoc Networks & Wireless (ADHOC-NOW 2005). 3738. ; 2005:271-284. doi:10.1007/11561354_23
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 19837
Schindelhauer C, Weikum G, Hales D, Triantafillou P. 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
Brinkmann A, Effert S, Heidebuer M, Vodisek M. Distributed MD. In: In Proceedings of the International Workshop on Storage Network Architecture and Parallel I/Os. ; 2005:81-88.
LibreCat
2005 | Conference Paper | LibreCat-ID: 19872
Brinkmann A, Effert S, Heidebuer M, Vodisek M, Baars H. 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:1-8.
LibreCat
2005 | Conference Paper | LibreCat-ID: 19888
Klein J, Zachmann G. The expected running time of hierarchical collision detection. In: ACM SIGGRAPH 2005 Posters on - SIGGRAPH ’05. ; 2005. doi:10.1145/1186954.1187087
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 19890
Klein J, Zachmann G. 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:163-170. doi:10.1145/1186223.1186329
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 19912
Loeser C, Schomaker G, Brinkmann A, Vodisek M, Heidebuer M. Content Distribution in Heterogenous Video-on-Demand P2P Networks with ARIMA Forecasts. In: Proceedings of the 4th International Conference on Networking. Vol 3421. Berlin, Heidelberg; 2005:800-810. doi:10.1007/978-3-540-31957-3_90
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 2411
Plessl C, Platzner M. Zippy – A coarse-grained reconfigurable array with support for hardware virtualization. In: Proc. Int. Conf. on Application-Specific Systems, Architectures, and Processors (ASAP). IEEE Computer Society; 2005:213-218. doi:10.1109/ASAP.2005.69
LibreCat
| DOI
2005 | Journal Article | LibreCat-ID: 2412
Enzler R, Plessl C, Platzner M. System-level performance evaluation of reconfigurable processors. Microprocessors and Microsystems. 2005;29(2-3):63-73. doi:10.1016/j.micpro.2004.06.004
LibreCat
| DOI
2005 | Journal Article | LibreCat-ID: 26278
Ziegler M, Fuchssteiner B. Nonlinear Reformulation of Heisenberg’s Dynamics. International Journal of Theoretical Physics. Published online 2005:693-717. doi:10.1007/s10773-005-7048-9
LibreCat
| DOI
2005 | Journal Article | LibreCat-ID: 3227
Olderog E-R, Wehrheim H. Specification and (property) inheritance in {CSP-OZ}. Sci Comput Program. 2005;(1-3):227--257. doi:10.1016/j.scico.2004.05.017
LibreCat
| DOI
2005 | Journal Article | LibreCat-ID: 3228
Wehrheim H. Slicing techniques for verification re-use. Theor Comput Sci. 2005;(3):509--528. doi:10.1016/j.tcs.2005.06.020
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 3229
Rasch H, Wehrheim H. Checking the Validity of Scenarios in {UML} Models. In: Steffen M, Zavattaro G, 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. Lecture Notes in Computer Science. ; 2005:67--82. doi:10.1007/11494881_5
LibreCat
| DOI
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.)