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.
1864 Publications
2003 | Journal Article | LibreCat-ID: 4288 | 
Schneider, S., P. Borri, W. Langbein, U. Woggon, Jens Förstner, A. Knorr, R. L. Sellin, D. Ouyang, and D. Bimberg. “Self-Induced Transparency in InGaAs Quantum-Dot Waveguides.” Applied Physics Letters 83, no. 18 (2003): 3668–70. https://doi.org/10.1063/1.1624492.
LibreCat
| Files available
| DOI
2003 | Book | LibreCat-ID: 5629
Schryen, Guido, Jan Herstell, and Markus Schoenen. Online Marktforschung Im Mittelstand: Analyse von Konsumentenverhalten in 3D-Internet-Welten. Wiesbaden: Deutscher Universitäts-Verlag, 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 15165
Schwerdtfeger, Bj{\, F Goetz, and Gitta Domik. “3D Interaktives Baukastensystem Unter Verwendung von Augmented Reality Techniken,” 2003.
LibreCat
2003 | Book Chapter | LibreCat-ID: 34446
Müller, Wolfgang, Jürgen Ruf, and Wolfgang Rosenstiel. “An ASM Based SystemC Simulation Semantics.” In SystemC - Methodologies and Applications, edited by Wolfgang Müller, Jürgen Ruf, and Wolfgang Rosenstiel, 97–126. Dordrecht: Kluwer, 2003. https://doi.org/10.1007/0-306-48735-7_4.
LibreCat
| DOI
2003 | Journal Article | LibreCat-ID: 34565
Flake, Stephan, and Wolfgang Müller. “Formal Semantics of Static and Temporal State-Oriented OCL Constraints.” Journal on Software and System Modeling (SoSyM) 2, no. 3 (2003): 164–86. https://doi.org/10.1007/s10270-003-0026-x.
LibreCat
| DOI
2003 | Book Review | LibreCat-ID: 18793
Peckhaus, Volker. “Schirn, Matthias/Niebergall, Karl-Georg, ‘Extensions of the Finitist Point of View’, History and Philosophy of Logic 22 (2001), 135–161.” Mathematical Reviews, MR1934402 (2003i:03005), 2003.
LibreCat
| Download (ext.)
2003 | Journal Article | LibreCat-ID: 27928
Bigga, Regine. “Lernen mit allen Sinnen – Lernen an vielen Orten. Tradition und Möglichkeiten des Lernens an verschiedenen Lernorten.” Haushalt & Bildung 80, no. 2 (2003): 45–52.
LibreCat
2003 | Book Chapter | LibreCat-ID: 27929
Bigga, Regine, and Pirjo Susanne Schack. “Vorsorgendes Haushalten: Computergestützte Bewertung von Lebensmittelverarbeitung und Lebensmittelqualität.” In Schule zwischen materieller und virtueller Lernkultur, edited by Rolf Oberliesen and Günther Reuel, 91–109. Baltmannsweiler, 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39364
Flake, Stephan, and Wolfgang Müller. “Expressing Property Specification Patterns with OCL.” In Proceedings of SERP’03. Las Vegas, NV, 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39363
Flake, Stephan, and Wolfgang Müller. “Semantics of State-Oriented Expressions in the Object Constraint Language.” In Proceedings of SEKE 2003. San Francisco, 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39369
Flake, Stephan, and Wolfgang Müller. “Formal Semantics of OCL Messages.” In Proceedings of the Workshop OCL 2.0 at UML 2003. San Francisco, USA, 2003.
LibreCat
2003 | Report | LibreCat-ID: 42739
Fuchs, Christian. The Self-Organisation of Politics, Power and the Nation State. INTAS-Project “Human Strategies in Complexity“-Research Paper. Vienna: Vienna University of Technology, 2003.
LibreCat
2003 | Journal Article | LibreCat-ID: 43284
Meier, Torsten, V.S. Filinov, P. Thomas, I. Varga, M. Bonitz, V.E Fortov, and S.W. Koch. “Electronic Transport in a One-Dimensional Random Array of Scatterers.” Journal of Physics A: Mathematical and General 36, no. 22 (2003): 5905–11. https://doi.org/10.1088/0305-4470/36/22/311.
LibreCat
| DOI
| Download (ext.)
2003 | Conference Paper | LibreCat-ID: 56567
Brandt, Sebastian, Anni-Yasmin Turhan, and Ralf Küsters. “Extensions of Non-Standard Inferences to Descriptions Logics with Transitive Roles.” In Logic for Programming, Artificial Intelligence, and Reasoning, 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings, edited by Moshe Y. Vardi and Andrei Voronkov, 2850:122–136. Lecture Notes in Computer Science. Springer, 2003. https://doi.org/10.1007/978-3-540-39813-4_8.
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 19873
Klein, Jan, Jens Krokowski, and Nicolas Cuntz. “Realtime Navigation in Highly Complex 3D-Scenes Using JPEG Compression.” In Proc. of 4. GI-Informatiktage, 224–29, 2002.
LibreCat
2002 | Journal Article | LibreCat-ID: 24336
Benczúr, András, Uwe Glässer, and Tamás Lukovszki. “Formal Description of a Distributed Location Service for Mobile Ad Hoc Networks.” Proc. of 10th International Workshop on Abstract State Machines, LNCS, 2002.
LibreCat
| Files available
2002 | Journal Article | LibreCat-ID: 26160
Schiel, Annette, Alfred P. Weber, Gerhard Kasper, and Hans-Joachim Schmid. “In-Situ Determination of the Charging of Nanometer and Submicron Particles at High Temperatures.” Particle & Particle Systems Characterization 19, no. 6 (2002): 410–18. https://doi.org/10.1002/ppsc.200290004.
LibreCat
| DOI
2002 | Journal Article | LibreCat-ID: 3241
Wehrheim, Heike. “Relating State-Based and Behaviour-Oriented Subtyping.” Nord. J. Comput., no. 4 (2002): 405--435.
LibreCat
2002 | Conference Paper | LibreCat-ID: 3243
Wehrheim, Heike. “Checking Behavioural Subtypes via Refinement.” In Formal Methods for Open Object-Based Distributed Systems V, {IFIP} {TC6/WG6.1} Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems {(FMOODS} 2002), March 20-22, 2002, Enschede, The Netherlands, edited by Bart Jacobs and Arend Rensink, 79--93. {IFIP} Conference Proceedings, 2002.
LibreCat
2002 | Journal Article | LibreCat-ID: 27015
Toeller, M., Anette Buyken, G. Heitkamp, S. Brämswig, J. Mann, R. Milne, F. A. Gries, and H. Keen. “Protein Intake and Urinary Albumin Excretion Rates in the EURODIAB IDDM Complications Study.” Diabetologia, 2002, 1219–26. https://doi.org/10.1007/s001250050810.
LibreCat
| DOI