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.
1721 Publications
2003 | Journal Article | LibreCat-ID: 4288 | 
Schneider S, Borri P, Langbein W, et al. Self-induced transparency in InGaAs quantum-dot waveguides. Applied Physics Letters. 2003;83(18):3668-3670. doi:10.1063/1.1624492
LibreCat
| Files available
| DOI
2003 | Book | LibreCat-ID: 5629
Schryen G, Herstell J, Schoenen M. 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 B, Goetz F, Domik G. 3D interaktives Baukastensystem unter Verwendung von Augmented Reality Techniken. In: ; 2003.
LibreCat
2003 | Book Chapter | LibreCat-ID: 34446
Müller W, Ruf J, Rosenstiel W. An ASM Based SystemC Simulation Semantics. In: Müller W, Ruf J, Rosenstiel W, eds. SystemC - Methodologies and Applications. Kluwer; 2003:97-126. doi:10.1007/0-306-48735-7_4
LibreCat
| DOI
2003 | Journal Article | LibreCat-ID: 34565
Flake S, Müller W. Formal Semantics of Static and Temporal State-Oriented OCL Constraints. Journal on Software and System Modeling (SoSyM). 2003;2(3):164-186. doi:10.1007/s10270-003-0026-x
LibreCat
| DOI
2003 | Journal Article | LibreCat-ID: 27928
Bigga R. Lernen mit allen Sinnen – Lernen an vielen Orten. Tradition und Möglichkeiten des Lernens an verschiedenen Lernorten. Haushalt & Bildung. 2003;80(2):45-52.
LibreCat
2003 | Book Chapter | LibreCat-ID: 27929
Bigga R, Schack PS. Vorsorgendes Haushalten: Computergestützte Bewertung von Lebensmittelverarbeitung und Lebensmittelqualität. In: Oberliesen R, Reuel G, eds. Schule zwischen materieller und virtueller Lernkultur. Baltmannsweiler; 2003:91-109.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39364
Flake S, Müller W. Expressing Property Specification Patterns with OCL. In: Proceedings of SERP’03. ; 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39363
Flake S, Müller W. Semantics of State-Oriented Expressions in the Object Constraint Language. In: Proceedings of SEKE 2003. ; 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39369
Flake S, Müller W. Formal Semantics of OCL Messages. In: Proceedings of the Workshop OCL 2.0 at UML 2003. ; 2003.
LibreCat
2003 | Report | LibreCat-ID: 42739
Fuchs C. The Self-Organisation of Politics, Power and the Nation State. INTAS-Project “Human Strategies in Complexity“-Research Paper. Vienna University of Technology; 2003.
LibreCat
2003 | Journal Article | LibreCat-ID: 43284
Meier T, Filinov VS, Thomas P, et al. Electronic transport in a one-dimensional random array of scatterers. Journal of Physics A: Mathematical and General. 2003;36(22):5905-5911. doi:10.1088/0305-4470/36/22/311
LibreCat
| DOI
| Download (ext.)
2003 | Book Review | LibreCat-ID: 18793
Peckhaus V. 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). Published online 2003.
LibreCat
| Download (ext.)
2002 | Conference Paper | LibreCat-ID: 19873
Klein J, Krokowski J, Cuntz N. Realtime Navigation in Highly Complex 3D-Scenes Using JPEG Compression. In: Proc. of 4. GI-Informatiktage. ; 2002:224-229.
LibreCat
2002 | Journal Article | LibreCat-ID: 24336
Benczúr A, Glässer U, Lukovszki T. Formal Description of a Distributed Location Service for Mobile Ad Hoc Networks. Proc of 10th International Workshop on Abstract State Machines, LNCS. Published online 2002.
LibreCat
| Files available
2002 | Journal Article | LibreCat-ID: 26160
Schiel A, Weber AP, Kasper G, Schmid H-J. In-Situ Determination of the Charging of Nanometer and Submicron Particles at High Temperatures. Particle & Particle Systems Characterization. 2002;19(6):410-418. doi:10.1002/ppsc.200290004
LibreCat
| DOI
2002 | Journal Article | LibreCat-ID: 3241
Wehrheim H. Relating State-based and Behaviour-oriented Subtyping. Nord J Comput. 2002;(4):405--435.
LibreCat
2002 | Conference Paper | LibreCat-ID: 3243
Wehrheim H. Checking Behavioural Subtypes via Refinement. In: Jacobs B, Rensink A, eds. 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. {IFIP} Conference Proceedings. ; 2002:79--93.
LibreCat
2002 | Journal Article | LibreCat-ID: 27015
Toeller M, Buyken A, Heitkamp G, et al. Protein intake and urinary albumin excretion rates in the EURODIAB IDDM Complications Study. Diabetologia. Published online 2002:1219-1226. doi:10.1007/s001250050810
LibreCat
| DOI
2002 | Journal Article | LibreCat-ID: 27760
Buyken A, Toeller M, Heitkamp G, et al. Relation of fibre intake to HbA 1c and the prevalence of severe ketoacidosis and severe hypoglycaemia. Diabetologia. Published online 2002:882-890. doi:10.1007/s001250051003
LibreCat
| DOI