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.
5786 Publications
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.)
2005 | Book Chapter | LibreCat-ID: 3006
Blömer, Johannes, and Alexander May. “A Tool Kit for Finding Small Roots of Bivariate Polynomials over the Integers.” In EUROCRYPT 2005, 251–67. Lecture Notes in Computer Science. Berlin, Heidelberg: Springer Berlin Heidelberg, 2005. https://doi.org/10.1007/11426639_15.
LibreCat
| Files available
| DOI
2005 | Book Chapter | LibreCat-ID: 3010
Ernst, Matthias, Ellen Jochemsz, Alexander May, and Benne de Weger. “Partial Key Exposure Attacks on RSA up to Full Size Exponents.” In EUROCRYPT 2005, 371–86. LNCS. Berlin, Heidelberg: Springer Berlin Heidelberg, 2005. https://doi.org/10.1007/11426639_22.
LibreCat
| DOI
2005 | Book Chapter | LibreCat-ID: 26991
Rührup, Stefan, and Christian Schindelhauer. “Online Routing in Faulty Meshes with Sub-Linear Comparative Time and Traffic Ratio.” In Algorithms – ESA 2005. Berlin, Heidelberg, 2005. https://doi.org/10.1007/11561071_5.
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 2114 | 
Korzeniowski, Miroslaw, and Christian Scheideler. “Transparent Data Structures, or How to Make Search Trees Robust in a Distributed Environment.” In ISPAN, 182--187, 2005.
LibreCat
| Files available
2005 | Conference Paper | LibreCat-ID: 2115 |
Kothapalli, Kishore, and Christian Scheideler. “Supervised Peer-to-Peer Systems.” In ISPAN, 188--193, 2005.
LibreCat
| Files available
2005 | Conference Paper | LibreCat-ID: 2116 |
Onus, Melih, Andrea W. Richa, Kishore Kothapalli, and Christian Scheideler. “Efficient Broadcasting and Gathering in Wireless Ad-Hoc Networks.” In ISPAN, 346--351, 2005.
LibreCat
| Files available
2005 | Conference Paper | LibreCat-ID: 2117 |
Kothapalli, Kishore, Christian Scheideler, Melih Onus, and Andrea W. Richa. “Constant Density Spanners for Wireless Ad-Hoc Networks.” In SPAA, 116--125, 2005.
LibreCat
| Files available
2005 | Conference Paper | LibreCat-ID: 2118 |
Scheideler, Christian. “How to Spread Adversarial Nodes?: Rotate!” In STOC, 704--713, 2005.
LibreCat
| Files available
2005 | Dissertation | LibreCat-ID: 17413
Fischer, Matthias. Design, Analysis, and Evaluation of a Data Structure for Distributed Virtual Environments. Vol. 164. Verlagsschriftenreihe Des Heinz Nixdorf Instituts, Paderborn. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2005.
LibreCat
| Files available
2005 | Journal Article | LibreCat-ID: 17414
Dangelmaier, Wilhelm, Matthias Fischer, Jürgen Gausemeier, Michael Grafe, Carsten Matysczok, and Bengt Mueck. “Virtual and Augmented Reality Support for Discrete Manufacturing System Simulation.” Computers in Industry, 2005, 371–83. https://doi.org/10.1016/j.compind.2005.01.007.
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 17415
Fischer, Matthias, B. Mueck, K. Mahajan, M. Kortenjan, C. Laroque, and W. Dangelmaier. “Multi-User Support and Motion Planning of Humans and Humans Driven Vehicles in Interactive 3D Material Flow Simulations.” In Proceedings of the Winter Simulation Conference, 2005. https://doi.org/10.1109/wsc.2005.1574470.
LibreCat
| DOI