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
S. Flake and W. Müller, “An ASM Definition of the Dynamic OCL 2.0 Semantics,” 2004, doi: 10.1007/978-3-540-30187-5_17.
LibreCat
| DOI
2004 | Book Chapter | LibreCat-ID: 42042
K. Huber, N. Volk, D. Vollmer, M. Schmidt, and W. Oppermann, “Conformation and Phase Diagrams of Flexible Polyelectrolytes,” in Polyelectrolytes with Defined Molecular Architecture II, vol. 166, M. Schmidt, Ed. Berlin: Springer, 2004, pp. 29–65.
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 42447
C. Fuchs and W. Hofkirchner, “Information in Social Systems,” in Sign Processes in Complex Systems. Proceedings of the 7th International Congress of the IASS-AIS, 2004.
LibreCat
2004 | Book Chapter | LibreCat-ID: 43274
T. Meier et al., “Nonlinear optical properties of semiconductor quantum wells inside microcavities,” in Optical Microcavities, K. Vahala, Ed. World Scientific, Chap. 6, 2004, pp. 239–317.
LibreCat
| DOI
| Download (ext.)
2004 | Conference Paper | LibreCat-ID: 56564
F. Baader, B. Sertkaya, and A.-Y. 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, 2004, vol. 3229, pp. 400–412, doi: 10.1007/978-3-540-30227-8_34.
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 56561
A.-Y. Turhan and C. Kissig, “Sonic - Non-standard Inferences Go OilEd,” in Automated Reasoning - Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings, 2004, vol. 3097, pp. 321–325, doi: 10.1007/978-3-540-25984-8_22.
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 56562
F. Baader, B. Sertkaya, and A.-Y. 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, 2004, vol. 104.
LibreCat
2004 | Conference Paper | LibreCat-ID: 56563
A.-Y. Turhan and C. Kissig, “Sonic: System Description,” in Proceedings of the 2004 International Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada, June 6-8, 2004, 2004, vol. 104.
LibreCat
2004 | Book Review | LibreCat-ID: 31455
S. Elit, “[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 . pp. 335–341, 2004.
LibreCat
2004 | Journal Article | LibreCat-ID: 13710
A. Ohtake, P. Kocán, K. Seino, W. G. Schmidt, and N. Koguchi, “Ga-Rich Limit of Surface Reconstructions on GaAs(001): Atomic Structure of the(4×6)Phase,” Physical Review Letters, vol. 93, p. 266101, 2004, doi: 10.1103/physrevlett.93.266101.
LibreCat
| DOI
2003 | Book Review | LibreCat-ID: 19463
E.-M. Seng, “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 | Conference Paper | LibreCat-ID: 3238
H. Wehrheim, “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, 2003, pp. 79--93.
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 3239
H. Rasch and H. 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, 2003, pp. 229--243.
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 3240
J. Derrick and H. 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, 2003, pp. 127--147.
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 21058
H. E. Friedrich and G. Meschut, “Autovision – Zukünftige Werkstoffe und Fügekonzepte im Automobilbau,” in DVS-Berichte, Band 222, Düsseldorf, 2003, vol. 222, pp. 5–10.
LibreCat
2003 | Conference Paper | LibreCat-ID: 21154
S. Brüdgam and G. 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“, Paderborn, 2003, pp. 1–9.
LibreCat