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
Nonlinear Reformulation of Heisenberg's Dynamics
M. Ziegler, B. Fuchssteiner, International Journal of Theoretical Physics (2005) 693–717.
LibreCat
| DOI
M. Ziegler, B. Fuchssteiner, International Journal of Theoretical Physics (2005) 693–717.
2005 | Journal Article | LibreCat-ID: 3227
Specification and (property) inheritance in {CSP-OZ}
E.-R. Olderog, H. Wehrheim, Sci. Comput. Program. (2005) 227--257.
LibreCat
| DOI
E.-R. Olderog, H. Wehrheim, Sci. Comput. Program. (2005) 227--257.
2005 | Journal Article | LibreCat-ID: 3228
Slicing techniques for verification re-use
H. Wehrheim, Theor. Comput. Sci. (2005) 509--528.
LibreCat
| DOI
H. Wehrheim, Theor. Comput. Sci. (2005) 509--528.
2005 | Conference Paper | LibreCat-ID: 3229
Checking the Validity of Scenarios in {UML} Models
H. Rasch, H. Wehrheim, in: M. Steffen, G. Zavattaro (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, 2005, pp. 67--82.
LibreCat
| DOI
H. Rasch, H. Wehrheim, in: M. Steffen, G. Zavattaro (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, 2005, pp. 67--82.
2005 | Conference Paper | LibreCat-ID: 3230
Slicing an Integrated Formal Method for Verification
I. Brückner, H. Wehrheim, in: K.-}Kiu Lau, R. Banach (Eds.), 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
I. Brückner, H. Wehrheim, in: K.-}Kiu Lau, R. Banach (Eds.), 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.
2005 | Conference Paper | LibreCat-ID: 3231
Non-atomic Refinement in {Z} and {CSP}
J. Derrick, H. Wehrheim, in: H. Treharne, S. King, M. C. Henson, S. A. Schneider (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, 2005, pp. 24--44.
LibreCat
| DOI
J. Derrick, H. Wehrheim, in: H. Treharne, S. King, M. C. Henson, S. A. Schneider (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, 2005, pp. 24--44.
2005 | Conference Paper | LibreCat-ID: 3232
Slicing Object-Z Specifications for Verification
I. Brückner, H. Wehrheim, in: H. Treharne, S. King, M. C. Henson, S. A. Schneider (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, 2005, pp. 414--433.
LibreCat
| DOI
I. Brückner, H. Wehrheim, in: H. Treharne, S. King, M. C. Henson, S. A. Schneider (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, 2005, pp. 414--433.
2005 | Conference Paper | LibreCat-ID: 28987
Weighted distributed hash tables
C. Schindelhauer, G. Schomaker, in: SPAA 2005: Proceedings of the 17th Annual ACM Symposium on Parallelism in Algorithms and Architectures, Las Vegas, Nevada, USA, 2005.
LibreCat
| DOI
C. Schindelhauer, G. Schomaker, in: SPAA 2005: Proceedings of the 17th Annual ACM Symposium on Parallelism in Algorithms and Architectures, Las Vegas, Nevada, USA, 2005.
2005 | Dissertation | LibreCat-ID: 2913
Fault Attacks and Countermeasures
M. Otto, Fault Attacks and Countermeasures, Universität Paderborn, 2005.
LibreCat
| Download (ext.)
M. Otto, Fault Attacks and Countermeasures, Universität Paderborn, 2005.
2005 | Book Chapter | LibreCat-ID: 3006
A Tool Kit for Finding Small Roots of Bivariate Polynomials over the Integers
J. Blömer, A. May, in: EUROCRYPT 2005, Springer Berlin Heidelberg, Berlin, Heidelberg, 2005, pp. 251–267.
LibreCat
| Files available
| DOI
J. Blömer, A. May, in: EUROCRYPT 2005, Springer Berlin Heidelberg, Berlin, Heidelberg, 2005, pp. 251–267.
2005 | Book Chapter | LibreCat-ID: 3010
Partial Key Exposure Attacks on RSA up to Full Size Exponents
M. Ernst, E. Jochemsz, A. May, B. de Weger, in: EUROCRYPT 2005, Springer Berlin Heidelberg, Berlin, Heidelberg, 2005, pp. 371–386.
LibreCat
| DOI
M. Ernst, E. Jochemsz, A. May, B. de Weger, in: EUROCRYPT 2005, Springer Berlin Heidelberg, Berlin, Heidelberg, 2005, pp. 371–386.
2005 | Book Chapter | LibreCat-ID: 26991
Online Routing in Faulty Meshes with Sub-linear Comparative Time and Traffic Ratio
S. Rührup, C. Schindelhauer, in: Algorithms – ESA 2005, Berlin, Heidelberg, 2005.
LibreCat
| DOI
S. Rührup, C. Schindelhauer, in: Algorithms – ESA 2005, Berlin, Heidelberg, 2005.
2005 | Conference Paper | LibreCat-ID: 2114 | 
Transparent Data Structures, or How to Make Search Trees Robust in a Distributed Environment
M. Korzeniowski, C. Scheideler, in: ISPAN, 2005, pp. 182--187.
LibreCat
| Files available
M. Korzeniowski, C. Scheideler, in: ISPAN, 2005, pp. 182--187.
2005 | Conference Paper | LibreCat-ID: 2115 |
Supervised Peer-to-Peer Systems
K. Kothapalli, C. Scheideler, in: ISPAN, 2005, pp. 188--193.
LibreCat
| Files available
K. Kothapalli, C. Scheideler, in: ISPAN, 2005, pp. 188--193.
2005 | Conference Paper | LibreCat-ID: 2116 |
Efficient Broadcasting and Gathering in Wireless Ad-Hoc Networks
M. Onus, A. W. Richa, K. Kothapalli, C. Scheideler, in: ISPAN, 2005, pp. 346--351.
LibreCat
| Files available
M. Onus, A. W. Richa, K. Kothapalli, C. Scheideler, in: ISPAN, 2005, pp. 346--351.
2005 | Conference Paper | LibreCat-ID: 2117 |
Constant density spanners for wireless ad-hoc networks
K. Kothapalli, C. Scheideler, M. Onus, A. W. Richa, in: SPAA, 2005, pp. 116--125.
LibreCat
| Files available
K. Kothapalli, C. Scheideler, M. Onus, A. W. Richa, in: SPAA, 2005, pp. 116--125.
2005 | Conference Paper | LibreCat-ID: 2118 |
How to spread adversarial nodes?: rotate!
C. Scheideler, in: STOC, 2005, pp. 704--713.
LibreCat
| Files available
C. Scheideler, in: STOC, 2005, pp. 704--713.
2005 | Dissertation | LibreCat-ID: 17413
Design, analysis, and evaluation of a data structure for distributed virtual environments
M. Fischer, Design, Analysis, and Evaluation of a Data Structure for Distributed Virtual Environments, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2005.
LibreCat
| Files available
M. Fischer, Design, Analysis, and Evaluation of a Data Structure for Distributed Virtual Environments, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2005.
2005 | Journal Article | LibreCat-ID: 17414
Virtual and augmented reality support for discrete manufacturing system simulation
W. Dangelmaier, M. Fischer, J. Gausemeier, M. Grafe, C. Matysczok, B. Mueck, Computers in Industry (2005) 371–383.
LibreCat
| DOI
W. Dangelmaier, M. Fischer, J. Gausemeier, M. Grafe, C. Matysczok, B. Mueck, Computers in Industry (2005) 371–383.
2005 | Conference Paper | LibreCat-ID: 17415
Multi-User Support and Motion Planning of Humans and Humans Driven Vehicles in Interactive 3D Material Flow Simulations
M. Fischer, B. Mueck, K. Mahajan, M. Kortenjan, C. Laroque, W. Dangelmaier, in: Proceedings of the Winter Simulation Conference, 2005.
LibreCat
| DOI
M. Fischer, B. Mueck, K. Mahajan, M. Kortenjan, C. Laroque, W. Dangelmaier, in: Proceedings of the Winter Simulation Conference, 2005.