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
An ASM Definition of the Dynamic OCL 2.0 Semantics
S. Flake, W. Müller, in: Proceedings of the UML 2004, Lisbon, Portugal, 2004.
LibreCat
| DOI
S. Flake, W. Müller, in: Proceedings of the UML 2004, Lisbon, Portugal, 2004.
2004 | Book Chapter | LibreCat-ID: 42042
Conformation and Phase Diagrams of Flexible Polyelectrolytes
K. Huber, N. Volk, D. Vollmer, M. Schmidt, W. Oppermann, in: M. Schmidt (Ed.), Polyelectrolytes with Defined Molecular Architecture II, Springer, Berlin, 2004, pp. 29–65.
LibreCat
| DOI
K. Huber, N. Volk, D. Vollmer, M. Schmidt, W. Oppermann, in: M. Schmidt (Ed.), Polyelectrolytes with Defined Molecular Architecture II, Springer, Berlin, 2004, pp. 29–65.
2004 | Conference Paper | LibreCat-ID: 42447
Information in Social Systems
C. Fuchs, W. Hofkirchner, in: W. Schmitz (Ed.), Sign Processes in Complex Systems. Proceedings of the 7th International Congress of the IASS-AIS, Thelem, Dresden, 2004.
LibreCat
C. Fuchs, W. Hofkirchner, in: W. Schmitz (Ed.), Sign Processes in Complex Systems. Proceedings of the 7th International Congress of the IASS-AIS, Thelem, Dresden, 2004.
2004 | Book Chapter | LibreCat-ID: 43274
Nonlinear optical properties of semiconductor quantum wells inside microcavities
T. Meier, C. Sieh, S.W. Koch, Y.-S. Lee, T.B. Norris, F. Jahnke, G. Khitrova, H.M. Gibbs , in: K. Vahala (Ed.), Optical Microcavities, World Scientific, Chap. 6, 2004, pp. 239–317.
LibreCat
| DOI
| Download (ext.)
T. Meier, C. Sieh, S.W. Koch, Y.-S. Lee, T.B. Norris, F. Jahnke, G. Khitrova, H.M. Gibbs , in: K. Vahala (Ed.), Optical Microcavities, World Scientific, Chap. 6, 2004, pp. 239–317.
2004 | Conference Paper | LibreCat-ID: 56564
Computing the Least Common Subsumer w.r.t. a Background Terminology
F. Baader, B. Sertkaya, A.-Y. Turhan, in: J.J. Alferes, J.A. Leite (Eds.), Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings, Springer, 2004, pp. 400–412.
LibreCat
| DOI
F. Baader, B. Sertkaya, A.-Y. Turhan, in: J.J. Alferes, J.A. Leite (Eds.), Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings, Springer, 2004, pp. 400–412.
2004 | Conference Paper | LibreCat-ID: 56561
Sonic - Non-standard Inferences Go OilEd
A.-Y. Turhan, C. Kissig, in: D.A. Basin, M. Rusinowitch (Eds.), Automated Reasoning - Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings, Springer, 2004, pp. 321–325.
LibreCat
| DOI
A.-Y. Turhan, C. Kissig, in: D.A. Basin, M. Rusinowitch (Eds.), Automated Reasoning - Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings, Springer, 2004, pp. 321–325.
2004 | Conference Paper | LibreCat-ID: 56562
Computing the Least Common Subsumer w.r.t. a Background Terminology
F. Baader, B. Sertkaya, A.-Y. Turhan, in: V. Haarslev, R. Möller (Eds.), Proceedings of the 2004 International Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada, June 6-8, 2004, CEUR-WS.org, 2004.
LibreCat
F. Baader, B. Sertkaya, A.-Y. Turhan, in: V. Haarslev, R. Möller (Eds.), Proceedings of the 2004 International Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada, June 6-8, 2004, CEUR-WS.org, 2004.
2004 | Conference Paper | LibreCat-ID: 56563
Sonic: System Description
A.-Y. Turhan, C. Kissig, in: V. Haarslev, R. Möller (Eds.), Proceedings of the 2004 International Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada, June 6-8, 2004, CEUR-WS.org, 2004.
LibreCat
A.-Y. Turhan, C. Kissig, in: V. Haarslev, R. Möller (Eds.), Proceedings of the 2004 International Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada, June 6-8, 2004, CEUR-WS.org, 2004.
2004 | Book Review | LibreCat-ID: 31455
[Rezension zu:] Franz Witek: Die "Bühne des Schicksals". Demetrios von Makedonien in Historiographie und Drama, Horn/Wien 2001 (Musae Benedictinae Salisburgenses 1)
S. Elit, NlatJb 6 (2004) 335–341.
LibreCat
S. Elit, NlatJb 6 (2004) 335–341.
2004 | Journal Article | LibreCat-ID: 13710
Ga-Rich Limit of Surface Reconstructions on GaAs(001): Atomic Structure of the(4×6)Phase
A. Ohtake, P. Kocán, K. Seino, W.G. Schmidt, N. Koguchi, Physical Review Letters 93 (2004) 266101.
LibreCat
| DOI
A. Ohtake, P. Kocán, K. Seino, W.G. Schmidt, N. Koguchi, Physical Review Letters 93 (2004) 266101.
2003 | Book Review | LibreCat-ID: 19463
Christof Thoenes, Opus incertum. Italienische Studien aus drei Jahrzehnten, München, Berlin 2002
E.-M. Seng, Kunstform 4, 2003, Nr. 9 und Sehepunkte 3, 2003, Nr. 9 (2003).
LibreCat
E.-M. Seng, Kunstform 4, 2003, Nr. 9 und Sehepunkte 3, 2003, Nr. 9 (2003).
2003 | Journal Article | LibreCat-ID: 19785
Algorithmic Approaches for Storage Networks
K.A. Salzwedel, Algorithms for Memory Hierarchies 2625 (2003).
LibreCat
| DOI
K.A. Salzwedel, Algorithms for Memory Hierarchies 2625 (2003).
2003 | Conference Paper | LibreCat-ID: 3237
Preserving Properties Under Change
H. Wehrheim, 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, 2003, pp. 330--343.
LibreCat
| DOI
H. Wehrheim, 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, 2003, pp. 330--343.
2003 | Conference Paper | LibreCat-ID: 3238
Inheritance of Temporal Logic Properties
H. Wehrheim, 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, 2003, pp. 79--93.
LibreCat
| DOI
H. Wehrheim, 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, 2003, pp. 79--93.
2003 | Conference Paper | LibreCat-ID: 3239
Checking Consistency in {UML} Diagramms: Classes and State Machines
H. Rasch, H. Wehrheim, 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, 2003, pp. 229--243.
LibreCat
| DOI
H. Rasch, H. Wehrheim, 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, 2003, pp. 229--243.
2003 | Conference Paper | LibreCat-ID: 3240
Using Coupled Simulations in Non-atomic Refinement
J. Derrick, H. Wehrheim, 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, 2003, pp. 127--147.
LibreCat
| DOI
J. Derrick, H. Wehrheim, 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, 2003, pp. 127--147.
2003 | Book Chapter | LibreCat-ID: 3016
New Partial Key Exposure Attacks on RSA
J. Blömer, A. May, in: Advances in Cryptology - CRYPTO 2003, Springer Berlin Heidelberg, Berlin, Heidelberg, 2003, pp. 27–43.
LibreCat
| DOI
J. Blömer, A. May, in: Advances in Cryptology - CRYPTO 2003, Springer Berlin Heidelberg, Berlin, Heidelberg, 2003, pp. 27–43.
2003 | Book Chapter | LibreCat-ID: 3018
Fault Based Cryptanalysis of the Advanced Encryption Standard (AES)
J. Blömer, J.-P. Seifert, in: Financial Cryptography, Springer Berlin Heidelberg, Berlin, Heidelberg, 2003, pp. 162–181.
LibreCat
| DOI
J. Blömer, J.-P. Seifert, in: Financial Cryptography, Springer Berlin Heidelberg, Berlin, Heidelberg, 2003, pp. 162–181.
2003 | Conference Paper | LibreCat-ID: 21058
Autovision – Zukünftige Werkstoffe und Fügekonzepte im Automobilbau
H.E. Friedrich, G. Meschut, in: DVS-Berichte, Band 222, DVS-Verlag GmbH, Düsseldorf, 2003, pp. 5–10.
LibreCat
H.E. Friedrich, G. Meschut, in: DVS-Berichte, Band 222, DVS-Verlag GmbH, Düsseldorf, 2003, pp. 5–10.
2003 | Conference Paper | LibreCat-ID: 21154
Mechanisches Fügen und Kleben – Schlüsseltechnologien für die Mischbauweise
S. Brüdgam, G. Meschut, in: Tagungsband Zum 10. Paderborner Symposium Fügetechnik „Mechanisches Fügen Und Kleben“, Paderborn, 2003, pp. 1–9.
LibreCat
S. Brüdgam, G. Meschut, in: Tagungsband Zum 10. Paderborner Symposium Fügetechnik „Mechanisches Fügen Und Kleben“, Paderborn, 2003, pp. 1–9.