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, Stefan, and Christian Schindelhauer. “Competitive Time and Traffic Analysis of Position-Based Routing Using a Cell Structure.” In 19th IEEE International Parallel and Distributed Processing Symposium, 248, 2005. https://doi.org/10.1109/ipdps.2005.147.
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 19835
Rührup, Stefan, Christian Schindelhauer, and Klaus 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), 3738:244–57, 2005. https://doi.org/10.1007/11561354_21.
LibreCat
| DOI
2005 | Book Chapter | LibreCat-ID: 19836
Schindelhauer, Christian, and Kerstin Voß. “Probability Distributions for Channel Utilisation.” In Proc. of 4th International Conference on Ad-Hoc Networks & Wireless (ADHOC-NOW 2005), 271–84. 3738, 2005. https://doi.org/10.1007/11561354_23.
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 19837
Schindelhauer, Christian, Gerhard Weikum, David Hales, and Peter 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
Brinkmann, André, Sascha Effert, Michael Heidebuer, and Mario Vodisek. “Distributed MD.” In In Proceedings of the International Workshop on Storage Network Architecture and Parallel I/Os, 81–88, 2005.
LibreCat
2005 | Conference Paper | LibreCat-ID: 19872
Brinkmann, André, Sascha Effert, Michael Heidebuer, Mario Vodisek, and Henning 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, 1–8, 2005.
LibreCat
2005 | Conference Paper | LibreCat-ID: 19888
Klein, Jan, and Gabriel Zachmann. “The Expected Running Time of Hierarchical Collision Detection.” In ACM SIGGRAPH 2005 Posters on - SIGGRAPH ’05, 2005. https://doi.org/10.1145/1186954.1187087.
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 19890
Klein, Jan, and Gabriel 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), 163–70, 2005. https://doi.org/10.1145/1186223.1186329.
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 19912
Loeser, Chris, Gunnar Schomaker, André Brinkmann, Mario Vodisek, and Michael Heidebuer. “Content Distribution in Heterogenous Video-on-Demand P2P Networks with ARIMA Forecasts.” In Proceedings of the 4th International Conference on Networking, 3421:800–810. Berlin, Heidelberg, 2005. https://doi.org/10.1007/978-3-540-31957-3_90.
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 2411
Plessl, Christian, and Marco Platzner. “Zippy – A Coarse-Grained Reconfigurable Array with Support for Hardware Virtualization.” In Proc. Int. Conf. on Application-Specific Systems, Architectures, and Processors (ASAP), 213–18. IEEE Computer Society, 2005. https://doi.org/10.1109/ASAP.2005.69.
LibreCat
| DOI
2005 | Journal Article | LibreCat-ID: 2412
Enzler, Rolf, Christian Plessl, and Marco Platzner. “System-Level Performance Evaluation of Reconfigurable Processors.” Microprocessors and Microsystems 29, no. 2–3 (2005): 63–73. https://doi.org/10.1016/j.micpro.2004.06.004.
LibreCat
| DOI
2005 | Journal Article | LibreCat-ID: 26278
Ziegler, Martin, and Benno Fuchssteiner. “Nonlinear Reformulation of Heisenberg’s Dynamics.” International Journal of Theoretical Physics, 2005, 693–717. https://doi.org/10.1007/s10773-005-7048-9.
LibreCat
| DOI
2005 | Journal Article | LibreCat-ID: 3227
Olderog, Ernst-Rüdiger, and Heike Wehrheim. “Specification and (Property) Inheritance in {CSP-OZ}.” Sci. Comput. Program., no. 1–3 (2005): 227--257. https://doi.org/10.1016/j.scico.2004.05.017.
LibreCat
| DOI
2005 | Journal Article | LibreCat-ID: 3228
Wehrheim, Heike. “Slicing Techniques for Verification Re-Use.” Theor. Comput. Sci., no. 3 (2005): 509--528. https://doi.org/10.1016/j.tcs.2005.06.020.
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 3229
Rasch, Holger, and Heike 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, edited by Martin Steffen and Gianluigi Zavattaro, 67--82. Lecture Notes in Computer Science, 2005. https://doi.org/10.1007/11494881_5.
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 3230
Brückner, Ingo, and Heike 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, edited by Kung{-}Kiu Lau and Richard Banach, 360--374. Lecture Notes in Computer Science, 2005. https://doi.org/10.1007/11576280_25.
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 3231
Derrick, John, and Heike 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, edited by Helen Treharne, Steve King, Martin C. Henson, and Steve A. Schneider, 24--44. Lecture Notes in Computer Science, 2005. https://doi.org/10.1007/11415787_3.
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 3232
Brückner, Ingo, and Heike 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, edited by Helen Treharne, Steve King, Martin C. Henson, and Steve A. Schneider, 414--433. Lecture Notes in Computer Science, 2005. https://doi.org/10.1007/11415787_24.
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 28987
Schindelhauer, Christian, and Gunnar Schomaker. “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. https://doi.org/10.1145/1073970.1074008.
LibreCat
| DOI
2005 | Dissertation | LibreCat-ID: 2913
Otto, Martin. Fault Attacks and Countermeasures. Universität Paderborn, 2005.
LibreCat
| Download (ext.)