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.
9724 Publications
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 | Book | LibreCat-ID: 3379
Gries, T., Jungmittag, A., & Welfens, P. J. J. (2003). Neue Wachstums- und Innovationspolitik in Europa. Heidelberg: Physica-Verlag.
LibreCat
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
2003 | Book Chapter | LibreCat-ID: 3018
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
| DOI
2003 | Conference Paper | LibreCat-ID: 21058
Friedrich, H. E., & Meschut, G. (2003). Autovision – Zukünftige Werkstoffe und Fügekonzepte im Automobilbau. In DVS-Berichte, Band 222 (Vol. 222, pp. 5–10). Düsseldorf: DVS-Verlag GmbH.
LibreCat
2003 | Journal Article | LibreCat-ID: 21059
Kläger, O., Wetter, H., & Meschut, G. (2003). Multi-Material-Design (Teil 1) Thermische Beanspruchung in Lacktrocknungsprozessen. Adhäsion, 47(4), 30–35.
LibreCat
2003 | Journal Article | LibreCat-ID: 21148
Friedrich, H. E., & Meschut, G. (2003). Autovision – Zukünftige Werkstoffe und Fügekonzepte im Automobilbau (Teil 1). Stahl, 4, 18–21.
LibreCat
2003 | Conference Paper | LibreCat-ID: 21154
Brüdgam, S., & Meschut, G. (2003). Mechanisches Fügen und Kleben – Schlüsseltechnologien für die Mischbauweise. In Tagungsband zum 10. Paderborner Symposium Fügetechnik „Mechanisches Fügen und Kleben“ (pp. 1–9). Paderborn.
LibreCat
2003 | Conference Paper | LibreCat-ID: 21155
Küting, J., & Meschut, G. (2003). Niet- und Direktverschraubungstechniken für Fahrzeug-strukturen in Mischbauweise. In Tagungsband zum 10. Paderborner Symposium Fügetechnik „Mechanisches Fügen und Kleben“ (pp. 22–34). Paderborn.
LibreCat
2003 | Conference Paper | LibreCat-ID: 21156
Haldenwanger, H.-G., Meschut, G., Wetter, H., & Kläger, O. (2003). Simulation thermisch beanspruchter Strukturklebungen unter dem Einfluss unterschiedlicher Alpha-Werte in Mischverbindungen. In Tagungsband zum 10. Paderborner Symposium Fügetechnik „Mechanisches Fügen und Kleben“ (pp. 147–162). Paderborn.
LibreCat
2003 | Conference Paper | LibreCat-ID: 2128
Damerow, V., Meyer auf der Heide, F., Räcke, H., Scheideler, C., & Sohler, C. (2003). Smoothed Motion Complexity. In ESA (Vol. 2832, pp. 161--171). Springer. https://doi.org/10.1007/978-3-540-39658-1_17
LibreCat
| DOI
2003 | Book Chapter | LibreCat-ID: 17849
Mindt, I. (2003). Is I think a Discourse Marker. In E. Mengel, H.-J. Schmid, & M. Steppat (Eds.), Anglistentag 2002 Bayreuth. Proceedings of the Conference of the German Association of University Teachers of English, Volume XXIV (pp. 473–483). Trier: Wissenschaftler Verlag.
LibreCat
2003 | Journal Article | LibreCat-ID: 17850
Mindt, I. (2003). Tagungsbericht über das Internationale Kolloquium Korpuslinguistik Deutsch: synchron – diachron – kontrastiv (klde 2003). Zeitschrift für Deutsche Philologie 122, Heft 3, 435–439.
LibreCat
2003 | Book Chapter | LibreCat-ID: 17909
Mindt, I., & Mukherjee, J. (2003). Form and function of parasyntactic presentation structures. A corpus-based study of talk units in spoken English. In ICAME Journal, 27, Computers in English Linguistics (pp. 65–71). Amsterdam: Rodopi, 2001.
LibreCat
2003 | Book | LibreCat-ID: 18694
Seng, E.-M. (2003). Stadt – Idee und Planung. Neue Ansätze im Städtebau des 16. und 17. Jahrhunderts. Berlin, München: Deutscher Kunstverlag.
LibreCat
2003 | Conference Paper | LibreCat-ID: 18791
Magen, A., Ergun, F., Sohler, C., Rubinfeld, R., Czumaj, A., Newman, I., & Fortnow, L. (2003). Sublinear Approximation of Euclidean Minimum Spanning Tree. In Proceedings of the 14th ACM-SIAM Symposium on Discrete Algorithms (SODA 2003) (pp. 813–822).
LibreCat
2003 | Conference Paper | LibreCat-ID: 18196
Ziegler, M. (2003). Quasi-optimal Arithmetic for Quaternion Polynomials. In Proc. 14th Annual International Symposium on Algorithms and Computation (ISAAC’03) (pp. 705–715). https://doi.org/10.1007/978-3-540-24587-2_72
LibreCat
| DOI
2003 | Book Chapter | LibreCat-ID: 18258
Ziegler, M. (2003). Fast Relative Approximation of Potential Fields. In F. Dehne, J. Sack, M. Smid, & Algorithms and Data Structures. WADS 2003 (Eds.), Lecture Notes in Computer Science (Vol. 2748). Berlin, Heidelberg: Springer. https://doi.org/10.1007/978-3-540-45078-8_13
LibreCat
| DOI
2003 | Dissertation | LibreCat-ID: 18573
Sohler, C. (2003). Property Testing and Geometry (Vol. 119). Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn.
LibreCat
| Files available