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.
2002 Publications
2004 | Conference Paper | LibreCat-ID: 39352
Flake S, Müller W. An ASM Definition of the Dynamic OCL 2.0 Semantics. In: Proceedings of the UML 2004. ; 2004. doi:10.1007/978-3-540-30187-5_17
LibreCat
| DOI
2004 | Book Chapter | LibreCat-ID: 42042
Huber K, Volk N, Vollmer D, Schmidt M, Oppermann W. Conformation and Phase Diagrams of Flexible Polyelectrolytes. In: Schmidt M, ed. Polyelectrolytes with Defined Molecular Architecture II. Vol 166. Advances in Polymer Science. Springer; 2004:29-65. doi:10.1007/b11348
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 42447
Fuchs C, Hofkirchner W. Information in Social Systems. In: Schmitz W, ed. Sign Processes in Complex Systems. Proceedings of the 7th International Congress of the IASS-AIS. Thelem; 2004.
LibreCat
2004 | Book Chapter | LibreCat-ID: 43274
Meier T, Sieh C, Koch SW, et al. Nonlinear optical properties of semiconductor quantum wells inside microcavities. In: Vahala K, ed. Optical Microcavities. World Scientific, Chap. 6; 2004:239-317. doi:10.1142/9789812565730_0006
LibreCat
| DOI
| Download (ext.)
2004 | Conference Paper | LibreCat-ID: 56564
Baader F, Sertkaya B, Turhan A-Y. Computing the Least Common Subsumer w.r.t. a Background Terminology. In: Alferes JJ, Leite JA, eds. Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings. Vol 3229. Lecture Notes in Computer Science. Springer; 2004:400–412. doi:10.1007/978-3-540-30227-8_34
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 56561
Turhan A-Y, Kissig C. Sonic - Non-standard Inferences Go OilEd. In: Basin DA, Rusinowitch M, eds. Automated Reasoning - Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings. Vol 3097. Lecture Notes in Computer Science. Springer; 2004:321–325. doi:10.1007/978-3-540-25984-8_22
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 56562
Baader F, Sertkaya B, Turhan A-Y. Computing the Least Common Subsumer w.r.t. a Background Terminology. In: Haarslev V, Möller R, eds. Proceedings of the 2004 International Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada, June 6-8, 2004. Vol 104. CEUR Workshop Proceedings. CEUR-WS.org; 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 56563
Turhan A-Y, Kissig C. Sonic: System Description. In: Haarslev V, Möller R, eds. Proceedings of the 2004 International Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada, June 6-8, 2004. Vol 104. CEUR Workshop Proceedings. CEUR-WS.org; 2004.
LibreCat
2004 | Book Review | LibreCat-ID: 31455
Elit S. [Rezension zu:] Franz Witek: Die “Bühne des Schicksals”. Demetrios von Makedonien in Historiographie und Drama, Horn/Wien 2001 (Musae Benedictinae Salisburgenses 1). NlatJb 6 . Published online 2004:335-341.
LibreCat
2004 | Journal Article | LibreCat-ID: 13710
Ohtake A, Kocán P, Seino K, Schmidt WG, Koguchi N. Ga-Rich Limit of Surface Reconstructions on GaAs(001): Atomic Structure of the(4×6)Phase. Physical Review Letters. 2004;93:266101. doi:10.1103/physrevlett.93.266101
LibreCat
| DOI
2003 | Book Review | LibreCat-ID: 19463
Seng E-M. Christof Thoenes, Opus incertum. Italienische Studien aus drei Jahrzehnten, München, Berlin 2002. Kunstform 4, 2003, Nr 9 und Sehepunkte 3, 2003, Nr 9. 2003;(Nr. 9).
LibreCat
2003 | Journal Article | LibreCat-ID: 19785
Salzwedel KA. Algorithmic Approaches for Storage Networks. Algorithms for Memory Hierarchies. 2003;2625. doi:10.1007/3-540-36574-5_12
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 | 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: 21058
Friedrich HE, Meschut G. Autovision – Zukünftige Werkstoffe und Fügekonzepte im Automobilbau. In: DVS-Berichte, Band 222. Vol 222. DVS-Berichte. Düsseldorf: DVS-Verlag GmbH; 2003:5-10.
LibreCat
2003 | Conference Paper | LibreCat-ID: 21154
Brüdgam S, Meschut G. Mechanisches Fügen und Kleben – Schlüsseltechnologien für die Mischbauweise. In: Tagungsband Zum 10. Paderborner Symposium Fügetechnik „Mechanisches Fügen Und Kleben“. Paderborn; 2003:1-9.
LibreCat