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.
1691 Publications
2003 | Journal Article | LibreCat-ID: 4288 | 
@article{Schneider_Borri_Langbein_Woggon_Förstner_Knorr_Sellin_Ouyang_Bimberg_2003, title={Self-induced transparency in InGaAs quantum-dot waveguides}, volume={83}, DOI={10.1063/1.1624492}, number={18}, journal={Applied Physics Letters}, publisher={AIP Publishing}, author={Schneider, S. and Borri, P. and Langbein, W. and Woggon, U. and Förstner, Jens and Knorr, A. and Sellin, R. L. and Ouyang, D. and Bimberg, D.}, year={2003}, pages={3668–3670} }
LibreCat
| Files available
| DOI
2003 | Book | LibreCat-ID: 5629
@book{Schryen_Herstell_Schoenen_2003, place={Wiesbaden}, title={Online Marktforschung im Mittelstand: Analyse von Konsumentenverhalten in 3D-Internet-Welten}, publisher={Deutscher Universitäts-Verlag}, author={Schryen, Guido and Herstell, Jan and Schoenen, Markus}, year={2003} }
LibreCat
2003 | Conference Paper | LibreCat-ID: 15165
@inproceedings{Schwerdtfeger_Goetz_Domik_2003, title={3D interaktives Baukastensystem unter Verwendung von Augmented Reality Techniken}, author={Schwerdtfeger, Bj{\ and Goetz, F and Domik, Gitta}, year={2003} }
LibreCat
2003 | Book Chapter | LibreCat-ID: 34446
@inbook{Müller_Ruf_Rosenstiel_2003, place={Dordrecht}, title={An ASM Based SystemC Simulation Semantics}, DOI={10.1007/0-306-48735-7_4}, booktitle={SystemC - Methodologies and Applications}, publisher={Kluwer}, author={Müller, Wolfgang and Ruf, Jürgen and Rosenstiel, Wolfgang}, editor={Müller, Wolfgang and Ruf, Jürgen and Rosenstiel, Wolfgang}, year={2003}, pages={97–126} }
LibreCat
| DOI
2003 | Journal Article | LibreCat-ID: 34565
@article{Flake_Müller_2003, title={Formal Semantics of Static and Temporal State-Oriented OCL Constraints}, volume={2}, DOI={10.1007/s10270-003-0026-x}, number={3}, journal={Journal on Software and System Modeling (SoSyM)}, publisher={Springer-Verlag}, author={Flake, Stephan and Müller, Wolfgang}, year={2003}, pages={164–186} }
LibreCat
| DOI
2003 | Journal Article | LibreCat-ID: 27928
@article{Bigga_2003, title={Lernen mit allen Sinnen – Lernen an vielen Orten. Tradition und Möglichkeiten des Lernens an verschiedenen Lernorten}, volume={80}, number={2}, journal={Haushalt & Bildung}, author={Bigga, Regine}, year={2003}, pages={45–52} }
LibreCat
2003 | Book Chapter | LibreCat-ID: 27929
@inbook{Bigga_Schack_2003, title={Vorsorgendes Haushalten: Computergestützte Bewertung von Lebensmittelverarbeitung und Lebensmittelqualität}, booktitle={Schule zwischen materieller und virtueller Lernkultur}, publisher={Baltmannsweiler}, author={Bigga, Regine and Schack, Pirjo Susanne}, editor={Oberliesen, Rolf and Reuel, Günther}, year={2003}, pages={91–109} }
LibreCat
2003 | Conference Paper | LibreCat-ID: 39364
@inproceedings{Flake_Müller_2003, place={Las Vegas, NV}, title={Expressing Property Specification Patterns with OCL}, booktitle={Proceedings of SERP’03}, author={Flake, Stephan and Müller, Wolfgang}, year={2003} }
LibreCat
2003 | Conference Paper | LibreCat-ID: 39363
@inproceedings{Flake_Müller_2003, place={San Francisco}, title={Semantics of State-Oriented Expressions in the Object Constraint Language}, booktitle={Proceedings of SEKE 2003}, author={Flake, Stephan and Müller, Wolfgang}, year={2003} }
LibreCat
2003 | Conference Paper | LibreCat-ID: 39369
@inproceedings{Flake_Müller_2003, place={San Francisco, USA}, title={Formal Semantics of OCL Messages}, booktitle={Proceedings of the Workshop OCL 2.0 at UML 2003}, author={Flake, Stephan and Müller, Wolfgang}, year={2003} }
LibreCat
2003 | Report | LibreCat-ID: 42739
@book{Fuchs_2003, place={Vienna}, title={The Self-Organisation of Politics, Power and the Nation State. INTAS-Project “Human Strategies in Complexity“-Research Paper}, publisher={Vienna University of Technology}, author={Fuchs, Christian}, year={2003} }
LibreCat
2003 | Journal Article | LibreCat-ID: 43284
@article{Meier_Filinov_Thomas_Varga_Bonitz_Fortov_Koch_2003, title={Electronic transport in a one-dimensional random array of scatterers}, volume={36}, DOI={10.1088/0305-4470/36/22/311}, number={22}, journal={Journal of Physics A: Mathematical and General}, publisher={IOP Publishing}, author={Meier, Torsten and Filinov, V.S. and Thomas, P. and Varga, I. and Bonitz, M. and Fortov, V.E and Koch, S.W.}, year={2003}, pages={5905–5911} }
LibreCat
| DOI
| Download (ext.)
2003 | Book Review | LibreCat-ID: 18793
@article{Peckhaus_2003, title={Schirn, Matthias/Niebergall, Karl-Georg, “Extensions of the Finitist Point of View”, History and Philosophy of Logic 22 (2001), 135–161}, number={MR 2003i:03005}, journal={Mathematical Reviews, MR1934402 (2003i:03005)}, author={Peckhaus, Volker}, year={2003} }
LibreCat
| Download (ext.)
2002 | Conference Paper | LibreCat-ID: 19873
@inproceedings{Klein_Krokowski_Cuntz_2002, title={Realtime Navigation in Highly Complex 3D-Scenes Using JPEG Compression}, booktitle={Proc. of 4. GI-Informatiktage}, author={Klein, Jan and Krokowski, Jens and Cuntz, Nicolas}, year={2002}, pages={224–229} }
LibreCat
2002 | Journal Article | LibreCat-ID: 24336
@article{ Benczúr_Glässer_Lukovszki_2002, title={Formal Description of a Distributed Location Service for Mobile Ad Hoc Networks}, journal={Proc. of 10th International Workshop on Abstract State Machines, LNCS}, author={ Benczúr, András and Glässer, Uwe and Lukovszki, Tamás}, year={2002} }
LibreCat
| Files available
2002 | Journal Article | LibreCat-ID: 26160
@article{Schiel_Weber_Kasper_Schmid_2002, title={In-Situ Determination of the Charging of Nanometer and Submicron Particles at High Temperatures}, volume={19}, DOI={10.1002/ppsc.200290004}, number={6}, journal={Particle & Particle Systems Characterization}, author={Schiel, Annette and Weber, Alfred P. and Kasper, Gerhard and Schmid, Hans-Joachim}, year={2002}, pages={410–418} }
LibreCat
| DOI
2002 | Journal Article | LibreCat-ID: 3241
@article{Wehrheim_2002, title={Relating State-based and Behaviour-oriented Subtyping}, number={4}, journal={Nord. J. Comput.}, author={Wehrheim, Heike}, year={2002}, pages={405--435} }
LibreCat
2002 | Conference Paper | LibreCat-ID: 3243
@inproceedings{Wehrheim_2002, series={{IFIP} Conference Proceedings}, title={Checking Behavioural Subtypes via Refinement}, booktitle={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}, author={Wehrheim, Heike}, editor={Jacobs, Bart and Rensink, ArendEditors}, year={2002}, pages={79--93}, collection={{IFIP} Conference Proceedings} }
LibreCat
2002 | Journal Article | LibreCat-ID: 27015
@article{Toeller_Buyken_Heitkamp_Brämswig_Mann_Milne_Gries_Keen_2002, title={Protein intake and urinary albumin excretion rates in the EURODIAB IDDM Complications Study}, DOI={10.1007/s001250050810}, journal={Diabetologia}, author={Toeller, M. and Buyken, Anette and Heitkamp, G. and Brämswig, S. and Mann, J. and Milne, R. and Gries, F. A. and Keen, H.}, year={2002}, pages={1219–1226} }
LibreCat
| DOI
2002 | Journal Article | LibreCat-ID: 27760
@article{Buyken_Toeller_Heitkamp_Vitelli_Stehle_Scherbaum_Fuller_2002, title={Relation of fibre intake to HbA 1c and the prevalence of severe ketoacidosis and severe hypoglycaemia}, DOI={10.1007/s001250051003}, journal={Diabetologia}, author={Buyken, Anette and Toeller, M. and Heitkamp, G. and Vitelli, F. and Stehle, P. and Scherbaum, W. A. and Fuller, J. H.}, year={2002}, pages={882–890} }
LibreCat
| DOI