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.
10463 Publications
2003 | Journal Article | LibreCat-ID: 3236
Wehrheim H. Behavioral Subtyping Relations for Active Objects. Formal Methods in System Design. 2003;(2):143--170. doi:10.1023/A:1024764232069
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 3237
Wehrheim H. Preserving Properties Under Change. In: S. de Boer F, M. Bonsangue M, Graf S, P. de Roever W, eds. Formal Methods for Components and Objects, Second International Symposium, {FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures. Lecture Notes in Computer Science. ; 2003:330--343. doi:10.1007/978-3-540-30101-1_16
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 3238
Wehrheim H. Inheritance of Temporal Logic Properties. In: Najm E, Nestmann U, Stevens P, eds. Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings. Lecture Notes in Computer Science. ; 2003:79--93. doi:10.1007/978-3-540-39958-2_6
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 3239
Rasch H, Wehrheim H. Checking Consistency in {UML} Diagramms: Classes and State Machines. In: Najm E, Nestmann U, Stevens P, eds. Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings. Lecture Notes in Computer Science. ; 2003:229--243. doi:10.1007/978-3-540-39958-2_16
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 3240
Derrick J, Wehrheim H. Using Coupled Simulations in Non-atomic Refinement. In: Bert D, P. Bowen J, King S, A. Wald{\’{e}}n M, eds. {ZB} 2003: Formal Specification and Development in {Z} and B, Third International Conference of {B} and {Z} Users, Turku, Finland, June 4-6, 2003, Proceedings. Lecture Notes in Computer Science. ; 2003:127--147. doi:10.1007/3-540-44880-2_10
LibreCat
| DOI
2003 | Dissertation | LibreCat-ID: 2914
May A. New RSA Vulnerabilities Using Lattice Reduction Methods. Universität Paderborn; 2003.
LibreCat
| Download (ext.)
2003 | Book Chapter | LibreCat-ID: 3016
Blömer J, May A. New Partial Key Exposure Attacks on RSA. In: Advances in Cryptology - CRYPTO 2003. Berlin, Heidelberg: Springer Berlin Heidelberg; 2003:27-43. doi:10.1007/978-3-540-45146-4_2
LibreCat
| DOI
2003 | Book Chapter | LibreCat-ID: 3018
Blömer J, Seifert J-P. Fault Based Cryptanalysis of the Advanced Encryption Standard (AES). In: Financial Cryptography. Berlin, Heidelberg: Springer Berlin Heidelberg; 2003:162-181. doi:10.1007/978-3-540-45126-6_12
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 2128
Damerow V, Meyer auf der Heide F, Räcke H, Scheideler C, Sohler C. Smoothed Motion Complexity. In: ESA. Vol 2832. Lecture Notes in Computer Science. Springer; 2003:161--171. doi:10.1007/978-3-540-39658-1_17
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 2129 | 
Awerbuch B, Brinkmann A, Scheideler C. Anycasting in Adversarial Systems: Routing and Admission Control. In: ICALP. Vol 2719. Lecture Notes in Computer Science. Springer; 2003:1153--1168.
LibreCat
| Files available
2003 | Conference Paper | LibreCat-ID: 2130 |
Awerbuch B, Scheideler C. Peer-to-peer systems for prefix search. In: PODC. ACM; 2003:123--132.
LibreCat
| Files available
2003 | Conference Paper | LibreCat-ID: 2131 |
Czumaj A, Riley C, Scheideler C. Perfectly Balanced Allocation. In: RANDOM-APPROX. Vol 2764. Lecture Notes in Computer Science. Springer; 2003:240--251.
LibreCat
| Files available
2003 | Conference Paper | LibreCat-ID: 2132 |
Jia L, Rajaraman R, Scheideler C. On local algorithms for topology control and routing in ad hoc networks. In: SPAA. ACM; 2003:220--229.
LibreCat
| Files available
2003 | Conference Paper | LibreCat-ID: 2133 |
Kothapalli K, Scheideler C. Information gathering in adversarial systems: lines and cycles. In: SPAA. ACM; 2003:333--342.
LibreCat
| Files available
2003 | Conference Paper | LibreCat-ID: 17423
Mueck B, Dangelmaier W, Fischer M. Components for the Active Support of the Analysis of Material Flow Simulations in a Virtual Environment. In: 15th European Simulation Symposium (ESS 2003). SCS - Europe; 2003:367-371.
LibreCat
2003 | Conference Paper | LibreCat-ID: 18791
Magen A, Ergun F, Sohler C, et al. Sublinear Approximation of Euclidean Minimum Spanning Tree. In: Proceedings of the 14th ACM-SIAM Symposium on Discrete Algorithms (SODA 2003). ; 2003:813–822.
LibreCat
2003 | Conference Paper | LibreCat-ID: 18907
Bienkowski M, Korzeniowski M, Räcke H. A practical algorithm for constructing oblivious routing schemes. In: Proceedings of the Fifteenth Annual ACM Symposium on Parallel Algorithms and Architectures - SPAA ’03. ; 2003. doi:10.1145/777412.777418
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 18947
Rust C, Stappert F, Lukovszki T. A Petri Net Model for the Network Layer of a Mobile Ad Hoc Network Architecture. In: 7th World Multiconference on Systemics, Cybernetics and Informatics. ; 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 18960
Schindelhauer C, Lukovszki T, Rührup S, Volbert K. Worst case mobility in ad hoc networks. In: Proc. of the 15th ACM Symposium on Parallel Algorithms and Architectures (SPAA03). ; 2003. doi:10.1145/777412.777448
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 18966
Azar Y, Cohen E, Fiat A, Kaplan H, Racke H. Optimal oblivious routing in polynomial time. In: Proceedings of the Thirty-Fifth ACM Symposium on Theory of Computing - STOC ’03. ; 2003. doi:10.1145/780542.780599
LibreCat
| DOI