Volbert, K., Grünewald, M., Schindelhauer, C., &; Rückert, U. (2003). Directed power-variable infrared communication for the mini robot Khepera. In Proceedings of the 2nd International Conference on Autonomous Minirobots for Research and Edutainment (pp. 113–122).
LibreCat: /record/19833

Klein, J., &; Zachmann, G. (2003). ADB-Trees: Controlling the Error of Time-Critical Collision Detection. In Proc. 8th International Fall Workshop Vision, Modeling, and Visualization (VMV 2003) (pp. 37–45).
LibreCat: /record/19874

Klein, J., &;https://doi.org/10.1145/1008653.1008660__Zachmann, G. (2003). Time-Critical Collision Detection Using an Average-Case Approach. In https://doi.org/10.1145/1008653.1008660__Proc. ACM Symposium on Virtual Reality Software and Technology (VRST 2003) (pp. 22–31).https://doi.org/10.1145/1008653.1008660 
LibreCat: /record/19900
DOI: 10.1145/1008653.1008660

Fomin, F. V., &; Thilikos, D. M. (2003). Dominating Sets in Planar Graphs: Branch-Width and Exponential Speed-Up. In Proceedings of the 14th ACM-SIAM Symposium on Discrete Algorithms (SODA 2003).https://doi.org/10.1137/s0097539702419649 
LibreCat: /record/19952
DOI: 10.1137/s0097539702419649

Plessl, C., &; Platzner, M. (2003). TKDM – A Reconfigurable Co-processor in a PC’s Memory Slot. In Proc. Int. Conf. on Field Programmable Technology (ICFPT) (pp. 252–259). IEEE Computer Society.https://doi.org/10.1109/FPT.2003.1275755 
LibreCat: /record/2418
DOI: 10.1109/FPT.2003.1275755

Plessl, C., Enzler, R., Walder, H., Beutel, J., Platzner, M., Thiele, L., &; Tröster, G. (2003). The Case for Reconfigurable Hardware in Wearable Computing. Personal and Ubiquitous Computing, 7(5), 299–308.https://doi.org/10.1007/s00779-003-0243-x 
LibreCat: /record/2419
DOI: 10.1007/s00779-003-0243-x

Plessl, C., &; Platzner, M. (2003). Instance-Specific Accelerators for Minimum Covering. Journal of Supercomputing, 26(2), 109–129.https://doi.org/10.1023/a:1024443416592 
LibreCat: /record/2420
DOI: 10.1023/a:1024443416592

Enzler, R., Plessl, C., &; Platzner, M. (2003). Virtualizing Hardware with Multi-Context Reconfigurable Arrays. In Proc. Int. Conf. on Field Programmable Logic and Applications (FPL) (Vol. 2778, pp. 151–160). Springer.https://doi.org/10.1007/b12007 
LibreCat: /record/2421
DOI: 10.1007/b12007

Enzler, R., Plessl, C., &; Platzner, M. (2003). Co-simulation of a Hybrid Multi-Context Architecture. In Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA) (pp. 174–180). CSREA Press.
LibreCat: /record/2422

Terbahl, M., &; Krokowski, J. (2003). Verteiltes Rendern durch dynamische Bildaufteilung. Proceedings of 5. GI-Informatiktage 2003.
LibreCat: /record/24273

Ziegler, M. (2003). Stability versus Speed in a Computable Algebraic Model. Proc. 5th Conference on Real Numbers and Computers (RN), INRIA, 47–64.
LibreCat: /record/26263

Ziegler, M. (2003). Computable Operators on Regular Sets. Computability and Complexity in Analysis, 302-8/2003, 389–406.
LibreCat: /record/26277

Wehrheim, H. (2003). Behavioral Subtyping Relations for Active Objects. Formal Methods in System Design, (2), 143--170.https://doi.org/10.1023/A:1024764232069 
LibreCat: /record/3236
DOI: 10.1023/A:1024764232069

Wehrheim, H. (2003). Preserving Properties Under Change. In F. S. de Boer, M. M. Bonsangue, S. Graf, &; W. P. de Roever (Eds.), Formal Methods for Components and Objects, Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures (pp. 330--343).https://doi.org/10.1007/978-3-540-30101-1_16 
LibreCat: /record/3237
DOI: 10.1007/978-3-540-30101-1_16

Wehrheim, H. (2003). Inheritance of Temporal Logic Properties. In E. Najm, U. Nestmann, &; P. Stevens (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 (pp. 79--93).https://doi.org/10.1007/978-3-540-39958-2_6 
LibreCat: /record/3238
DOI: 10.1007/978-3-540-39958-2_6

Rasch, H., &; Wehrheim, H. (2003). Checking Consistency in UML Diagramms: Classes and State Machines. In E. Najm, U. Nestmann, &; P. Stevens (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 (pp. 229--243).https://doi.org/10.1007/978-3-540-39958-2_16 
LibreCat: /record/3239
DOI: 10.1007/978-3-540-39958-2_16

Derrick, J., &; Wehrheim, H. (2003). Using Coupled Simulations in Non-atomic Refinement. In D. Bert, J. P. Bowen, S. King, &; M. A. Wald\rquote en (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 (pp. 127--147).https://doi.org/10.1007/3-540-44880-2_10 
LibreCat: /record/3240
DOI: 10.1007/3-540-44880-2_10

May, A. (2003). New RSA Vulnerabilities Using Lattice Reduction Methods. Universität Paderborn.
LibreCat: /record/2914

Blömer, J., &; May, A. (2003). New Partial Key Exposure Attacks on RSA. In Advances in Cryptology - CRYPTO 2003 (pp. 27–43). Berlin, Heidelberg: Springer Berlin Heidelberg.https://doi.org/10.1007/978-3-540-45146-4_2 
LibreCat: /record/3016
DOI: 10.1007/978-3-540-45146-4_2

Blömer, J., &; Seifert, J.-P. (2003). Fault Based Cryptanalysis of the Advanced Encryption Standard (AES). In Financial Cryptography (pp. 162–181). Berlin, Heidelberg: Springer Berlin Heidelberg.https://doi.org/10.1007/978-3-540-45126-6_12 
LibreCat: /record/3018
DOI: 10.1007/978-3-540-45126-6_12