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.
9334 Publications
2005 | Conference Paper | LibreCat-ID: 19837
@inproceedings{Schindelhauer_Weikum_Hales_Triantafillou_2005, title={Towards Self-Organizing Query Routing and Processing for Peer-to-Peer Web Search}, booktitle={European Conference on Complex Systems (ECCS 2005)}, author={Schindelhauer, Christian and Weikum, Gerhard and Hales, David and Triantafillou, Peter}, year={2005} }
LibreCat
2005 | Conference Paper | LibreCat-ID: 19871
@inproceedings{Brinkmann_Effert_Heidebuer_Vodisek_2005, title={Distributed MD}, booktitle={In Proceedings of the International Workshop on Storage Network Architecture and Parallel I/Os}, author={Brinkmann, André and Effert, Sascha and Heidebuer, Michael and Vodisek, Mario}, year={2005}, pages={81–88} }
LibreCat
2005 | Conference Paper | LibreCat-ID: 19872
@inproceedings{Brinkmann_Effert_Heidebuer_Vodisek_Baars_2005, title={An integrated Architecture for Business Intelligence support from Application down to Storage}, booktitle={In Proceedings of the International Workshop on Storage Network Architecture and Parallel I/Os}, author={Brinkmann, André and Effert, Sascha and Heidebuer, Michael and Vodisek, Mario and Baars, Henning}, year={2005}, pages={1–8} }
LibreCat
2005 | Conference Paper | LibreCat-ID: 19888
@inproceedings{Klein_Zachmann_2005, title={The expected running time of hierarchical collision detection}, DOI={10.1145/1186954.1187087}, booktitle={ACM SIGGRAPH 2005 Posters on - SIGGRAPH ’05}, author={Klein, Jan and Zachmann, Gabriel}, year={2005} }
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 19890
@inproceedings{Klein_Zachmann_2005, title={Interpolation Search for Point Cloud Intersection}, DOI={10.1145/1186223.1186329}, booktitle={Proceedings of the 13-th International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision’2005 (WSCG’2005)}, author={Klein, Jan and Zachmann, Gabriel}, year={2005}, pages={163–170} }
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 19912
@inproceedings{Loeser_Schomaker_Brinkmann_Vodisek_Heidebuer_2005, place={Berlin, Heidelberg}, title={Content Distribution in Heterogenous Video-on-Demand P2P Networks with ARIMA Forecasts}, volume={3421}, DOI={10.1007/978-3-540-31957-3_90}, booktitle={Proceedings of the 4th International Conference on Networking}, author={Loeser, Chris and Schomaker, Gunnar and Brinkmann, André and Vodisek, Mario and Heidebuer, Michael}, year={2005}, pages={800–810} }
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 2411
@inproceedings{Plessl_Platzner_2005, title={Zippy – A coarse-grained reconfigurable array with support for hardware virtualization}, DOI={10.1109/ASAP.2005.69}, booktitle={Proc. Int. Conf. on Application-Specific Systems, Architectures, and Processors (ASAP)}, publisher={IEEE Computer Society}, author={Plessl, Christian and Platzner, Marco}, year={2005}, pages={213–218} }
LibreCat
| DOI
2005 | Journal Article | LibreCat-ID: 2412
@article{Enzler_Plessl_Platzner_2005, title={System-level performance evaluation of reconfigurable processors}, volume={29}, DOI={10.1016/j.micpro.2004.06.004}, number={2–3}, journal={Microprocessors and Microsystems}, publisher={Elsevier}, author={Enzler, Rolf and Plessl, Christian and Platzner, Marco}, year={2005}, pages={63–73} }
LibreCat
| DOI
2005 | Journal Article | LibreCat-ID: 26278
@article{Ziegler_Fuchssteiner_2005, title={Nonlinear Reformulation of Heisenberg’s Dynamics}, DOI={10.1007/s10773-005-7048-9}, journal={International Journal of Theoretical Physics}, author={Ziegler, Martin and Fuchssteiner, Benno}, year={2005}, pages={693–717} }
LibreCat
| DOI
2005 | Journal Article | LibreCat-ID: 3227
@article{Olderog_Wehrheim_2005, title={Specification and (property) inheritance in {CSP-OZ}}, DOI={10.1016/j.scico.2004.05.017}, number={1–3}, journal={Sci. Comput. Program.}, author={Olderog, Ernst-Rüdiger and Wehrheim, Heike}, year={2005}, pages={227--257} }
LibreCat
| DOI
2005 | Journal Article | LibreCat-ID: 3228
@article{Wehrheim_2005, title={Slicing techniques for verification re-use}, DOI={10.1016/j.tcs.2005.06.020}, number={3}, journal={Theor. Comput. Sci.}, author={Wehrheim, Heike}, year={2005}, pages={509--528} }
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 3229
@inproceedings{Rasch_Wehrheim_2005, series={Lecture Notes in Computer Science}, title={Checking the Validity of Scenarios in {UML} Models}, DOI={10.1007/11494881_5}, booktitle={Formal Methods for Open Object-Based Distributed Systems, 7th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2005, Athens, Greece, June 15-17, 2005, Proceedings}, author={Rasch, Holger and Wehrheim, Heike}, editor={Steffen, Martin and Zavattaro, GianluigiEditors}, year={2005}, pages={67--82}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 3230
@inproceedings{Brückner_Wehrheim_2005, series={Lecture Notes in Computer Science}, title={Slicing an Integrated Formal Method for Verification}, DOI={10.1007/11576280_25}, booktitle={Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November 1-4, 2005, Proceedings}, author={Brückner, Ingo and Wehrheim, Heike}, editor={Lau, Kung{-}Kiu and Banach, RichardEditors}, year={2005}, pages={360--374}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 3231
@inproceedings{Derrick_Wehrheim_2005, series={Lecture Notes in Computer Science}, title={Non-atomic Refinement in {Z} and {CSP}}, DOI={10.1007/11415787_3}, booktitle={{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}, author={Derrick, John and Wehrheim, Heike}, editor={Treharne, Helen and King, Steve and C. Henson, Martin and A. Schneider, SteveEditors}, year={2005}, pages={24--44}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 3232
@inproceedings{Brückner_Wehrheim_2005, series={Lecture Notes in Computer Science}, title={Slicing Object-Z Specifications for Verification}, DOI={10.1007/11415787_24}, booktitle={{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}, author={Brückner, Ingo and Wehrheim, Heike}, editor={Treharne, Helen and King, Steve and C. Henson, Martin and A. Schneider, SteveEditors}, year={2005}, pages={414--433}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 28987
@inproceedings{Schindelhauer_Schomaker_2005, title={Weighted distributed hash tables}, DOI={10.1145/1073970.1074008}, booktitle={SPAA 2005: Proceedings of the 17th Annual ACM Symposium on Parallelism in Algorithms and Architectures, Las Vegas, Nevada, USA}, author={Schindelhauer, Christian and Schomaker, Gunnar}, year={2005} }
LibreCat
| DOI
2005 | Dissertation | LibreCat-ID: 2913
@book{Otto_2005, title={Fault Attacks and Countermeasures}, publisher={Universität Paderborn}, author={Otto, Martin}, year={2005} }
LibreCat
| Download (ext.)
2005 | Book Chapter | LibreCat-ID: 3006
@inbook{Blömer_May_2005, place={Berlin, Heidelberg}, series={Lecture Notes in Computer Science}, title={A Tool Kit for Finding Small Roots of Bivariate Polynomials over the Integers}, DOI={10.1007/11426639_15}, booktitle={EUROCRYPT 2005}, publisher={Springer Berlin Heidelberg}, author={Blömer, Johannes and May, Alexander}, year={2005}, pages={251–267}, collection={Lecture Notes in Computer Science} }
LibreCat
| Files available
| DOI
2005 | Book Chapter | LibreCat-ID: 3010
@inbook{Ernst_Jochemsz_May_de Weger_2005, place={Berlin, Heidelberg}, series={LNCS}, title={Partial Key Exposure Attacks on RSA up to Full Size Exponents}, DOI={10.1007/11426639_22}, booktitle={EUROCRYPT 2005}, publisher={Springer Berlin Heidelberg}, author={Ernst, Matthias and Jochemsz, Ellen and May, Alexander and de Weger, Benne}, year={2005}, pages={371–386}, collection={LNCS} }
LibreCat
| DOI
2005 | Book Chapter | LibreCat-ID: 26991
@inbook{Rührup_Schindelhauer_2005, place={Berlin, Heidelberg}, title={Online Routing in Faulty Meshes with Sub-linear Comparative Time and Traffic Ratio}, DOI={10.1007/11561071_5}, booktitle={Algorithms – ESA 2005}, author={Rührup, Stefan and Schindelhauer, Christian}, year={2005} }
LibreCat
| DOI