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
@inproceedings{Flake_Müller_2004, place={Lisbon, Portugal}, title={An ASM Definition of the Dynamic OCL 2.0 Semantics}, DOI={10.1007/978-3-540-30187-5_17}, booktitle={Proceedings of the UML 2004}, author={Flake, Stephan and Müller, Wolfgang}, year={2004} }
LibreCat
| DOI
2004 | Book Chapter | LibreCat-ID: 42042
@inbook{Huber_Volk_Vollmer_Schmidt_Oppermann_2004, place={Berlin}, series={Advances in Polymer Science}, title={Conformation and Phase Diagrams of Flexible Polyelectrolytes}, volume={166}, DOI={10.1007/b11348}, booktitle={Polyelectrolytes with Defined Molecular Architecture II}, publisher={Springer}, author={Huber, Klaus and Volk, N. and Vollmer, D. and Schmidt, Manfred and Oppermann, W.}, editor={Schmidt, Manfred}, year={2004}, pages={29–65}, collection={Advances in Polymer Science} }
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 42447
@inproceedings{Fuchs_Hofkirchner_2004, place={Dresden}, title={Information in Social Systems}, booktitle={Sign Processes in Complex Systems. Proceedings of the 7th International Congress of the IASS-AIS}, publisher={Thelem}, author={Fuchs, Christian and Hofkirchner, Wolfgang}, editor={Schmitz, Walter}, year={2004} }
LibreCat
2004 | Book Chapter | LibreCat-ID: 43274
@inbook{Meier_Sieh_Koch_Lee_Norris_Jahnke_Khitrova_Gibbs _2004, title={Nonlinear optical properties of semiconductor quantum wells inside microcavities}, DOI={10.1142/9789812565730_0006}, booktitle={Optical Microcavities}, publisher={World Scientific, Chap. 6}, author={Meier, Torsten and Sieh, C. and Koch, S.W. and Lee, Y.-S and Norris, T.B. and Jahnke, F. and Khitrova, G. and Gibbs , H.M.}, editor={Vahala, K.}, year={2004}, pages={239–317} }
LibreCat
| DOI
| Download (ext.)
2004 | Conference Paper | LibreCat-ID: 56564
@inproceedings{Baader_Sertkaya_Turhan_2004, series={Lecture Notes in Computer Science}, title={Computing the Least Common Subsumer w.r.t. a Background Terminology}, volume={3229}, DOI={10.1007/978-3-540-30227-8_34}, booktitle={Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings}, publisher={Springer}, author={Baader, Franz and Sertkaya, Baris and Turhan, Anni-Yasmin}, editor={Alferes, José Júlio and Leite, João Alexandre}, year={2004}, pages={400–412}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 56561
@inproceedings{Turhan_Kissig_2004, series={Lecture Notes in Computer Science}, title={Sonic - Non-standard Inferences Go OilEd}, volume={3097}, DOI={10.1007/978-3-540-25984-8_22}, booktitle={Automated Reasoning - Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings}, publisher={Springer}, author={Turhan, Anni-Yasmin and Kissig, Christian}, editor={Basin, David A. and Rusinowitch, Michaël}, year={2004}, pages={321–325}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 56562
@inproceedings{Baader_Sertkaya_Turhan_2004, series={CEUR Workshop Proceedings}, title={Computing the Least Common Subsumer w.r.t. a Background Terminology}, volume={104}, booktitle={Proceedings of the 2004 International Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada, June 6-8, 2004}, publisher={CEUR-WS.org}, author={Baader, Franz and Sertkaya, Baris and Turhan, Anni-Yasmin}, editor={Haarslev, Volker and Möller, Ralf}, year={2004}, collection={CEUR Workshop Proceedings} }
LibreCat
2004 | Conference Paper | LibreCat-ID: 56563
@inproceedings{Turhan_Kissig_2004, series={CEUR Workshop Proceedings}, title={Sonic: System Description}, volume={104}, booktitle={Proceedings of the 2004 International Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada, June 6-8, 2004}, publisher={CEUR-WS.org}, author={Turhan, Anni-Yasmin and Kissig, Christian}, editor={Haarslev, Volker and Möller, Ralf}, year={2004}, collection={CEUR Workshop Proceedings} }
LibreCat
2004 | Book Review | LibreCat-ID: 31455
@article{Elit_2004, title={[Rezension zu:] Franz Witek: Die “Bühne des Schicksals”. Demetrios von Makedonien in Historiographie und Drama, Horn/Wien 2001 (Musae Benedictinae Salisburgenses 1)}, journal={NlatJb 6 }, author={Elit, Stefan}, year={2004}, pages={335–341} }
LibreCat
2004 | Journal Article | LibreCat-ID: 13710
@article{Ohtake_Kocán_Seino_Schmidt_Koguchi_2004, title={Ga-Rich Limit of Surface Reconstructions on GaAs(001): Atomic Structure of the(4×6)Phase}, volume={93}, DOI={10.1103/physrevlett.93.266101}, journal={Physical Review Letters}, author={Ohtake, Akihiro and Kocán, Pavel and Seino, Kaori and Schmidt, Wolf Gero and Koguchi, Nobuyuki}, year={2004}, pages={266101} }
LibreCat
| DOI
2003 | Book Review | LibreCat-ID: 19463
@article{Seng_2003, title={Christof Thoenes, Opus incertum. Italienische Studien aus drei Jahrzehnten, München, Berlin 2002}, number={Nr. 9}, journal={Kunstform 4, 2003, Nr. 9 und Sehepunkte 3, 2003, Nr. 9}, author={Seng, Eva- Maria}, year={2003} }
LibreCat
2003 | Journal Article | LibreCat-ID: 19785
@article{Salzwedel_2003, title={Algorithmic Approaches for Storage Networks}, volume={2625}, DOI={10.1007/3-540-36574-5_12}, journal={Algorithms for Memory Hierarchies}, author={Salzwedel, Kay A.}, year={2003} }
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 3237
@inproceedings{Wehrheim_2003, series={Lecture Notes in Computer Science}, title={Preserving Properties Under Change}, DOI={10.1007/978-3-540-30101-1_16}, booktitle={Formal Methods for Components and Objects, Second International Symposium, {FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures}, author={Wehrheim, Heike}, editor={S. de Boer, Frank and M. Bonsangue, Marcello and Graf, Susanne and P. de Roever, WillemEditors}, year={2003}, pages={330--343}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 3238
@inproceedings{Wehrheim_2003, series={Lecture Notes in Computer Science}, title={Inheritance of Temporal Logic Properties}, DOI={10.1007/978-3-540-39958-2_6}, booktitle={Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings}, author={Wehrheim, Heike}, editor={Najm, Elie and Nestmann, Uwe and Stevens, PerditaEditors}, year={2003}, pages={79--93}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 3239
@inproceedings{Rasch_Wehrheim_2003, series={Lecture Notes in Computer Science}, title={Checking Consistency in {UML} Diagramms: Classes and State Machines}, DOI={10.1007/978-3-540-39958-2_16}, booktitle={Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings}, author={Rasch, Holger and Wehrheim, Heike}, editor={Najm, Elie and Nestmann, Uwe and Stevens, PerditaEditors}, year={2003}, pages={229--243}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 3240
@inproceedings{Derrick_Wehrheim_2003, series={Lecture Notes in Computer Science}, title={Using Coupled Simulations in Non-atomic Refinement}, DOI={10.1007/3-540-44880-2_10}, booktitle={{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}, author={Derrick, John and Wehrheim, Heike}, editor={Bert, Didier and P. Bowen, Jonathan and King, Steve and A. Wald{\’{e}}n, MarinaEditors}, year={2003}, pages={127--147}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2003 | Book Chapter | LibreCat-ID: 3016
@inbook{Blömer_May_2003, place={Berlin, Heidelberg}, title={New Partial Key Exposure Attacks on RSA}, DOI={10.1007/978-3-540-45146-4_2}, booktitle={Advances in Cryptology - CRYPTO 2003}, publisher={Springer Berlin Heidelberg}, author={Blömer, Johannes and May, Alexander}, year={2003}, pages={27–43} }
LibreCat
| DOI
2003 | Book Chapter | LibreCat-ID: 3018
@inbook{Blömer_Seifert_2003, place={Berlin, Heidelberg}, title={Fault Based Cryptanalysis of the Advanced Encryption Standard (AES)}, DOI={10.1007/978-3-540-45126-6_12}, booktitle={Financial Cryptography}, publisher={Springer Berlin Heidelberg}, author={Blömer, Johannes and Seifert, Jean-Pierre}, year={2003}, pages={162–181} }
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 21058
@inproceedings{Friedrich_Meschut_2003, place={Düsseldorf}, series={DVS-Berichte}, title={Autovision – Zukünftige Werkstoffe und Fügekonzepte im Automobilbau}, volume={222}, booktitle={DVS-Berichte, Band 222}, publisher={DVS-Verlag GmbH}, author={Friedrich, H. E. and Meschut, Gerson}, year={2003}, pages={5–10}, collection={DVS-Berichte} }
LibreCat
2003 | Conference Paper | LibreCat-ID: 21154
@inproceedings{Brüdgam_Meschut_2003, place={Paderborn}, title={Mechanisches Fügen und Kleben – Schlüsseltechnologien für die Mischbauweise}, booktitle={Tagungsband zum 10. Paderborner Symposium Fügetechnik „Mechanisches Fügen und Kleben“}, author={Brüdgam, S. and Meschut, Gerson}, year={2003}, pages={1–9} }
LibreCat