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.
5792 Publications
2003 | Journal Article | LibreCat-ID: 3236
Wehrheim, Heike. “Behavioral Subtyping Relations for Active Objects.” Formal Methods in System Design, no. 2, 2003, pp. 143--170, doi:10.1023/A:1024764232069.
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 3237
Wehrheim, Heike. “Preserving Properties Under Change.” Formal Methods for Components and Objects, Second International Symposium, {FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures, edited by Frank S. de Boer et al., 2003, pp. 330--343, doi:10.1007/978-3-540-30101-1_16.
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 3238
Wehrheim, Heike. “Inheritance of Temporal Logic Properties.” Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings, edited by Elie Najm et al., 2003, pp. 79--93, doi:10.1007/978-3-540-39958-2_6.
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 3239
Rasch, Holger, and Heike Wehrheim. “Checking Consistency in {UML} Diagramms: Classes and State Machines.” Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings, edited by Elie Najm et al., 2003, pp. 229--243, doi:10.1007/978-3-540-39958-2_16.
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 3240
Derrick, John, and Heike Wehrheim. “Using Coupled Simulations in Non-Atomic Refinement.” {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, edited by Didier Bert et al., 2003, pp. 127--147, doi:10.1007/3-540-44880-2_10.
LibreCat
| DOI
2003 | Dissertation | LibreCat-ID: 2914
May, Alexander. New RSA Vulnerabilities Using Lattice Reduction Methods. Universität Paderborn, 2003.
LibreCat
| Download (ext.)
2003 | Book Chapter | LibreCat-ID: 3016
Blömer, Johannes, and Alexander May. “New Partial Key Exposure Attacks on RSA.” Advances in Cryptology - CRYPTO 2003, Springer Berlin Heidelberg, 2003, pp. 27–43, doi:10.1007/978-3-540-45146-4_2.
LibreCat
| DOI
2003 | Book Chapter | LibreCat-ID: 3018
Blömer, Johannes, and Jean-Pierre Seifert. “Fault Based Cryptanalysis of the Advanced Encryption Standard (AES).” Financial Cryptography, Springer Berlin Heidelberg, 2003, pp. 162–81, doi:10.1007/978-3-540-45126-6_12.
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 2128
Damerow, Valentina, et al. “Smoothed Motion Complexity.” ESA, vol. 2832, Springer, 2003, pp. 161--171, doi:10.1007/978-3-540-39658-1_17.
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 2129 | 
Awerbuch, Baruch, et al. “Anycasting in Adversarial Systems: Routing and Admission Control.” ICALP, vol. 2719, Springer, 2003, pp. 1153--1168.
LibreCat
| Files available
2003 | Conference Paper | LibreCat-ID: 2130 |
Awerbuch, Baruch, and Christian Scheideler. “Peer-to-Peer Systems for Prefix Search.” PODC, ACM, 2003, pp. 123--132.
LibreCat
| Files available
2003 | Conference Paper | LibreCat-ID: 2131 |
Czumaj, Artur, et al. “Perfectly Balanced Allocation.” RANDOM-APPROX, vol. 2764, Springer, 2003, pp. 240--251.
LibreCat
| Files available
2003 | Conference Paper | LibreCat-ID: 2132 |
Jia, Lujun, et al. “On Local Algorithms for Topology Control and Routing in Ad Hoc Networks.” SPAA, ACM, 2003, pp. 220--229.
LibreCat
| Files available
2003 | Conference Paper | LibreCat-ID: 2133 |
Kothapalli, Kishore, and Christian Scheideler. “Information Gathering in Adversarial Systems: Lines and Cycles.” SPAA, ACM, 2003, pp. 333--342.
LibreCat
| Files available
2003 | Conference Paper | LibreCat-ID: 17423
Mueck, Bengt, et al. “Components for the Active Support of the Analysis of Material Flow Simulations in a Virtual Environment.” 15th European Simulation Symposium (ESS 2003), SCS - Europe, 2003, pp. 367–71.
LibreCat
2003 | Conference Paper | LibreCat-ID: 18791
Magen, Avner, et al. “Sublinear Approximation of Euclidean Minimum Spanning Tree.” Proceedings of the 14th ACM-SIAM Symposium on Discrete Algorithms (SODA 2003), 2003, pp. 813–822.
LibreCat
2003 | Conference Paper | LibreCat-ID: 18907
Bienkowski, Marcin, et al. “A Practical Algorithm for Constructing Oblivious Routing Schemes.” 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, Carsten, et al. “A Petri Net Model for the Network Layer of a Mobile Ad Hoc Network Architecture.” 7th World Multiconference on Systemics, Cybernetics and Informatics, 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 18960
Schindelhauer, Christian, et al. “Worst Case Mobility in Ad Hoc Networks.” 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, Yossi, et al. “Optimal Oblivious Routing in Polynomial Time.” Proceedings of the Thirty-Fifth ACM Symposium on Theory of Computing - STOC ’03, 2003, doi:10.1145/780542.780599.
LibreCat
| DOI