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.
10097 Publications
2003 | Mastersthesis | LibreCat-ID: 19828
Mahlmann, P. (2003). Implementierung und Vergleich von Verfahren zum Information Retrieval im World Wide Web.
LibreCat
2003 | Conference Paper | LibreCat-ID: 19833
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
2003 | Conference Paper | LibreCat-ID: 19874
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
2003 | Conference Paper | LibreCat-ID: 19900
Klein, J., & Zachmann, G. (2003). Time-Critical Collision Detection Using an Average-Case Approach. In Proc. ACM Symposium on Virtual Reality Software and Technology (VRST 2003) (pp. 22–31). https://doi.org/10.1145/1008653.1008660
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 19952
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
| DOI
2003 | Conference Paper | LibreCat-ID: 2418
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
| DOI
2003 | Journal Article | LibreCat-ID: 2419
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
| DOI
2003 | Journal Article | LibreCat-ID: 2420
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
| DOI
2003 | Conference Paper | LibreCat-ID: 2421
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
| DOI
2003 | Conference Paper | LibreCat-ID: 2422
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
2003 | Conference Paper | LibreCat-ID: 24273
Terbahl, M., & Krokowski, J. (2003). Verteiltes Rendern durch dynamische Bildaufteilung. Proceedings of 5. GI-Informatiktage 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 26263
Ziegler, M. (2003). Stability versus Speed in a Computable Algebraic Model. Proc. 5th Conference on Real Numbers and Computers (RNC5), INRIA, 47–64.
LibreCat
2003 | Conference Paper | LibreCat-ID: 26277
Ziegler, M. (2003). Computable Operators on Regular Sets. Computability and Complexity in Analysis, 302-8/2003, 389–406.
LibreCat
2003 | Journal Article | LibreCat-ID: 3236
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
| DOI
2003 | Conference Paper | LibreCat-ID: 3237
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
| DOI
2003 | Conference Paper | LibreCat-ID: 3238
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
| DOI
2003 | Conference Paper | LibreCat-ID: 3239
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
| DOI
2003 | Conference Paper | LibreCat-ID: 3240
Derrick, J., & Wehrheim, H. (2003). Using Coupled Simulations in Non-atomic Refinement. In D. Bert, J. P. Bowen, S. King, & M. A. Wald{\’{e}}n (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
| DOI
2003 | Dissertation | LibreCat-ID: 2914
May, A. (2003). New RSA Vulnerabilities Using Lattice Reduction Methods. Universität Paderborn.
LibreCat
| Download (ext.)
2003 | Book Chapter | LibreCat-ID: 3016
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
| DOI