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, Stephan, and Wolfgang Müller. “An ASM Definition of the Dynamic OCL 2.0 Semantics.” Proceedings of the UML 2004, 2004, doi:10.1007/978-3-540-30187-5_17.
LibreCat
| DOI
2004 | Book Chapter | LibreCat-ID: 42042
Huber, Klaus, et al. “Conformation and Phase Diagrams of Flexible Polyelectrolytes.” Polyelectrolytes with Defined Molecular Architecture II, edited by Manfred Schmidt, vol. 166, Springer, 2004, pp. 29–65, doi:10.1007/b11348.
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 42447
Fuchs, Christian, and Wolfgang Hofkirchner. “Information in Social Systems.” Sign Processes in Complex Systems. Proceedings of the 7th International Congress of the IASS-AIS, edited by Walter Schmitz, Thelem, 2004.
LibreCat
2004 | Book Chapter | LibreCat-ID: 43274
Meier, Torsten, et al. “Nonlinear Optical Properties of Semiconductor Quantum Wells inside Microcavities.” Optical Microcavities, edited by K. Vahala, World Scientific, Chap. 6, 2004, pp. 239–317, doi:10.1142/9789812565730_0006.
LibreCat
| DOI
| Download (ext.)
2004 | Conference Paper | LibreCat-ID: 56564
Baader, Franz, et al. “Computing the Least Common Subsumer w.r.t. a Background Terminology.” Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings, edited by José Júlio Alferes and João Alexandre Leite, vol. 3229, Springer, 2004, pp. 400–412, doi:10.1007/978-3-540-30227-8_34.
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 56561
Turhan, Anni-Yasmin, and Christian Kissig. “Sonic - Non-Standard Inferences Go OilEd.” Automated Reasoning - Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings, edited by David A. Basin and Michaël Rusinowitch, vol. 3097, Springer, 2004, pp. 321–325, doi:10.1007/978-3-540-25984-8_22.
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 56562
Baader, Franz, et al. “Computing the Least Common Subsumer w.r.t. a Background Terminology.” Proceedings of the 2004 International Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada, June 6-8, 2004, edited by Volker Haarslev and Ralf Möller, vol. 104, CEUR-WS.org, 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 56563
Turhan, Anni-Yasmin, and Christian Kissig. “Sonic: System Description.” Proceedings of the 2004 International Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada, June 6-8, 2004, edited by Volker Haarslev and Ralf Möller, vol. 104, CEUR-WS.org, 2004.
LibreCat
2004 | Book Review | LibreCat-ID: 31455
Elit, Stefan. “[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 , 2004, pp. 335–41.
LibreCat
2004 | Journal Article | LibreCat-ID: 13710
Ohtake, Akihiro, et al. “Ga-Rich Limit of Surface Reconstructions on GaAs(001): Atomic Structure of the(4×6)Phase.” Physical Review Letters, vol. 93, 2004, p. 266101, doi:10.1103/physrevlett.93.266101.
LibreCat
| DOI
2003 | Book Review | LibreCat-ID: 19463
Seng, Eva-Maria. “Christof Thoenes, Opus incertum. Italienische Studien aus drei Jahrzehnten, München, Berlin 2002.” Kunstform 4, 2003, Nr. 9 und Sehepunkte 3, 2003, Nr. 9, no. Nr. 9, 2003.
LibreCat
2003 | Journal Article | LibreCat-ID: 19785
Salzwedel, Kay A. “Algorithmic Approaches for Storage Networks.” Algorithms for Memory Hierarchies, vol. 2625, 2003, doi:10.1007/3-540-36574-5_12.
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 3237
Wehrheim, Heike. “Preserving Properties Under Change.” Formal Methods for Components and Objects, Second International Symposium, {FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures, edited by Frank S. de Boer et al., 2003, pp. 330--343, doi:10.1007/978-3-540-30101-1_16.
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 3238
Wehrheim, Heike. “Inheritance of Temporal Logic Properties.” Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings, edited by Elie Najm et al., 2003, pp. 79--93, doi:10.1007/978-3-540-39958-2_6.
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 3239
Rasch, Holger, and Heike Wehrheim. “Checking Consistency in {UML} Diagramms: Classes and State Machines.” Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings, edited by Elie Najm et al., 2003, pp. 229--243, doi:10.1007/978-3-540-39958-2_16.
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 3240
Derrick, John, and Heike Wehrheim. “Using Coupled Simulations in Non-Atomic Refinement.” {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, edited by Didier Bert et al., 2003, pp. 127--147, doi:10.1007/3-540-44880-2_10.
LibreCat
| DOI
2003 | Book Chapter | LibreCat-ID: 3016
Blömer, Johannes, and Alexander May. “New Partial Key Exposure Attacks on RSA.” Advances in Cryptology - CRYPTO 2003, Springer Berlin Heidelberg, 2003, pp. 27–43, doi:10.1007/978-3-540-45146-4_2.
LibreCat
| DOI
2003 | Book Chapter | LibreCat-ID: 3018
Blömer, Johannes, and Jean-Pierre Seifert. “Fault Based Cryptanalysis of the Advanced Encryption Standard (AES).” Financial Cryptography, Springer Berlin Heidelberg, 2003, pp. 162–81, doi:10.1007/978-3-540-45126-6_12.
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 21058
Friedrich, H. E., and Gerson Meschut. “Autovision – Zukünftige Werkstoffe Und Fügekonzepte Im Automobilbau.” DVS-Berichte, Band 222, vol. 222, DVS-Verlag GmbH, 2003, pp. 5–10.
LibreCat
2003 | Conference Paper | LibreCat-ID: 21154
Brüdgam, S., and Gerson Meschut. “Mechanisches Fügen Und Kleben – Schlüsseltechnologien Für Die Mischbauweise.” Tagungsband Zum 10. Paderborner Symposium Fügetechnik „Mechanisches Fügen Und Kleben“, 2003, pp. 1–9.
LibreCat