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.” In Proceedings of the UML 2004. Lisbon, Portugal, 2004. https://doi.org/10.1007/978-3-540-30187-5_17.
LibreCat
| DOI
2004 | Book Chapter | LibreCat-ID: 42042
Huber, Klaus, N. Volk, D. Vollmer, Manfred Schmidt, and W. Oppermann. “Conformation and Phase Diagrams of Flexible Polyelectrolytes.” In Polyelectrolytes with Defined Molecular Architecture II, edited by Manfred Schmidt, 166:29–65. Advances in Polymer Science. Berlin: Springer, 2004. https://doi.org/10.1007/b11348.
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 42447
Fuchs, Christian, and Wolfgang Hofkirchner. “Information in Social Systems.” In Sign Processes in Complex Systems. Proceedings of the 7th International Congress of the IASS-AIS, edited by Walter Schmitz. Dresden: Thelem, 2004.
LibreCat
2004 | Book Chapter | LibreCat-ID: 43274
Meier, Torsten, C. Sieh, S.W. Koch, Y.-S Lee, T.B. Norris, F. Jahnke, G. Khitrova, and H.M. Gibbs . “Nonlinear Optical Properties of Semiconductor Quantum Wells inside Microcavities.” In Optical Microcavities, edited by K. Vahala, 239–317. World Scientific, Chap. 6, 2004. https://doi.org/10.1142/9789812565730_0006.
LibreCat
| DOI
| Download (ext.)
2004 | Conference Paper | LibreCat-ID: 56564
Baader, Franz, Baris Sertkaya, and Anni-Yasmin Turhan. “Computing the Least Common Subsumer w.r.t. a Background Terminology.” In 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, 3229:400–412. Lecture Notes in Computer Science. Springer, 2004. https://doi.org/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.” In Automated Reasoning - Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings, edited by David A. Basin and Michaël Rusinowitch, 3097:321–325. Lecture Notes in Computer Science. Springer, 2004. https://doi.org/10.1007/978-3-540-25984-8_22.
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 56562
Baader, Franz, Baris Sertkaya, and Anni-Yasmin Turhan. “Computing the Least Common Subsumer w.r.t. a Background Terminology.” In 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 Workshop Proceedings. CEUR-WS.org, 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 56563
Turhan, Anni-Yasmin, and Christian Kissig. “Sonic: System Description.” In 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 Workshop Proceedings. 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.
LibreCat
2004 | Journal Article | LibreCat-ID: 13710
Ohtake, Akihiro, Pavel Kocán, Kaori Seino, Wolf Gero Schmidt, and Nobuyuki Koguchi. “Ga-Rich Limit of Surface Reconstructions on GaAs(001): Atomic Structure of the(4×6)Phase.” Physical Review Letters 93 (2004): 266101. https://doi.org/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, 2003.
LibreCat
2003 | Journal Article | LibreCat-ID: 19785
Salzwedel, Kay A. “Algorithmic Approaches for Storage Networks.” Algorithms for Memory Hierarchies 2625 (2003). https://doi.org/10.1007/3-540-36574-5_12.
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 3237
Wehrheim, Heike. “Preserving Properties Under Change.” In 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, Marcello M. Bonsangue, Susanne Graf, and Willem P. de Roever, 330--343. Lecture Notes in Computer Science, 2003. https://doi.org/10.1007/978-3-540-30101-1_16.
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 3238
Wehrheim, Heike. “Inheritance of Temporal Logic Properties.” In 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, Uwe Nestmann, and Perdita Stevens, 79--93. Lecture Notes in Computer Science, 2003. https://doi.org/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.” In 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, Uwe Nestmann, and Perdita Stevens, 229--243. Lecture Notes in Computer Science, 2003. https://doi.org/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.” In {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, Jonathan P. Bowen, Steve King, and Marina A. Wald{\’{e}}n, 127--147. Lecture Notes in Computer Science, 2003. https://doi.org/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.” In Advances in Cryptology - CRYPTO 2003, 27–43. Berlin, Heidelberg: Springer Berlin Heidelberg, 2003. https://doi.org/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).” In Financial Cryptography, 162–81. Berlin, Heidelberg: Springer Berlin Heidelberg, 2003. https://doi.org/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.” In DVS-Berichte, Band 222, 222:5–10. DVS-Berichte. Düsseldorf: DVS-Verlag GmbH, 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 21154
Brüdgam, S., and Gerson Meschut. “Mechanisches Fügen Und Kleben – Schlüsseltechnologien Für Die Mischbauweise.” In Tagungsband Zum 10. Paderborner Symposium Fügetechnik „Mechanisches Fügen Und Kleben“, 1–9. Paderborn, 2003.
LibreCat