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 | 
Self-induced transparency in InGaAs quantum-dot waveguides
S. Schneider, P. Borri, W. Langbein, U. Woggon, J. Förstner, A. Knorr, R.L. Sellin, D. Ouyang, D. Bimberg, Applied Physics Letters 83 (2003) 3668–3670.
LibreCat
| Files available
| DOI
S. Schneider, P. Borri, W. Langbein, U. Woggon, J. Förstner, A. Knorr, R.L. Sellin, D. Ouyang, D. Bimberg, Applied Physics Letters 83 (2003) 3668–3670.
2003 | Book | LibreCat-ID: 5629
Online Marktforschung im Mittelstand: Analyse von Konsumentenverhalten in 3D-Internet-Welten
G. Schryen, J. Herstell, M. Schoenen, Online Marktforschung Im Mittelstand: Analyse von Konsumentenverhalten in 3D-Internet-Welten, Deutscher Universitäts-Verlag, Wiesbaden, 2003.
LibreCat
G. Schryen, J. Herstell, M. Schoenen, Online Marktforschung Im Mittelstand: Analyse von Konsumentenverhalten in 3D-Internet-Welten, Deutscher Universitäts-Verlag, Wiesbaden, 2003.
2003 | Conference Paper | LibreCat-ID: 15165
3D interaktives Baukastensystem unter Verwendung von Augmented Reality Techniken
B. Schwerdtfeger, F. Goetz, G. Domik, in: 2003.
LibreCat
B. Schwerdtfeger, F. Goetz, G. Domik, in: 2003.
2003 | Book Chapter | LibreCat-ID: 34446
An ASM Based SystemC Simulation Semantics
W. Müller, J. Ruf, W. Rosenstiel, in: W. Müller, J. Ruf, W. Rosenstiel (Eds.), SystemC - Methodologies and Applications, Kluwer, Dordrecht, 2003, pp. 97–126.
LibreCat
| DOI
W. Müller, J. Ruf, W. Rosenstiel, in: W. Müller, J. Ruf, W. Rosenstiel (Eds.), SystemC - Methodologies and Applications, Kluwer, Dordrecht, 2003, pp. 97–126.
2003 | Journal Article | LibreCat-ID: 34565
Formal Semantics of Static and Temporal State-Oriented OCL Constraints
S. Flake, W. Müller, Journal on Software and System Modeling (SoSyM) 2 (2003) 164–186.
LibreCat
| DOI
S. Flake, W. Müller, Journal on Software and System Modeling (SoSyM) 2 (2003) 164–186.
2003 | Book Review | LibreCat-ID: 18793
Schirn, Matthias/Niebergall, Karl-Georg, “Extensions of the Finitist Point of View”, History and Philosophy of Logic 22 (2001), 135–161
V. Peckhaus, Mathematical Reviews, MR1934402 (2003i:03005) (2003).
LibreCat
| Download (ext.)
V. Peckhaus, Mathematical Reviews, MR1934402 (2003i:03005) (2003).
2003 | Journal Article | LibreCat-ID: 27928
Lernen mit allen Sinnen – Lernen an vielen Orten. Tradition und Möglichkeiten des Lernens an verschiedenen Lernorten
R. Bigga, Haushalt & Bildung 80 (2003) 45–52.
LibreCat
R. Bigga, Haushalt & Bildung 80 (2003) 45–52.
2003 | Book Chapter | LibreCat-ID: 27929
Vorsorgendes Haushalten: Computergestützte Bewertung von Lebensmittelverarbeitung und Lebensmittelqualität
R. Bigga, P.S. Schack, in: R. Oberliesen, G. Reuel (Eds.), Schule zwischen materieller und virtueller Lernkultur, Baltmannsweiler, 2003, pp. 91–109.
LibreCat
R. Bigga, P.S. Schack, in: R. Oberliesen, G. Reuel (Eds.), Schule zwischen materieller und virtueller Lernkultur, Baltmannsweiler, 2003, pp. 91–109.
2003 | Conference Paper | LibreCat-ID: 39364
Expressing Property Specification Patterns with OCL
S. Flake, W. Müller, in: Proceedings of SERP’03, Las Vegas, NV, 2003.
LibreCat
S. Flake, W. Müller, in: Proceedings of SERP’03, Las Vegas, NV, 2003.
2003 | Conference Paper | LibreCat-ID: 39363
Semantics of State-Oriented Expressions in the Object Constraint Language
S. Flake, W. Müller, in: Proceedings of SEKE 2003, San Francisco, 2003.
LibreCat
S. Flake, W. Müller, in: Proceedings of SEKE 2003, San Francisco, 2003.
2003 | Conference Paper | LibreCat-ID: 39369
Formal Semantics of OCL Messages
S. Flake, W. Müller, in: Proceedings of the Workshop OCL 2.0 at UML 2003, San Francisco, USA, 2003.
LibreCat
S. Flake, W. Müller, in: Proceedings of the Workshop OCL 2.0 at UML 2003, San Francisco, USA, 2003.
2003 | Report | LibreCat-ID: 42739
The Self-Organisation of Politics, Power and the Nation State. INTAS-Project “Human Strategies in Complexity“-Research Paper
C. Fuchs, The Self-Organisation of Politics, Power and the Nation State. INTAS-Project “Human Strategies in Complexity“-Research Paper, Vienna University of Technology, Vienna, 2003.
LibreCat
C. Fuchs, The Self-Organisation of Politics, Power and the Nation State. INTAS-Project “Human Strategies in Complexity“-Research Paper, Vienna University of Technology, Vienna, 2003.
2003 | Journal Article | LibreCat-ID: 43284
Electronic transport in a one-dimensional random array of scatterers
T. Meier, V.S. Filinov, P. Thomas, I. Varga, M. Bonitz, V.E. Fortov, S.W. Koch, Journal of Physics A: Mathematical and General 36 (2003) 5905–5911.
LibreCat
| DOI
| Download (ext.)
T. Meier, V.S. Filinov, P. Thomas, I. Varga, M. Bonitz, V.E. Fortov, S.W. Koch, Journal of Physics A: Mathematical and General 36 (2003) 5905–5911.
2003 | Conference Paper | LibreCat-ID: 56567
Extensions of Non-standard Inferences to Descriptions Logics with Transitive Roles
S. Brandt, A.-Y. Turhan, R. Küsters, in: M.Y. Vardi, A. Voronkov (Eds.), Logic for Programming, Artificial Intelligence, and Reasoning, 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings, Springer, 2003, pp. 122–136.
LibreCat
| DOI
S. Brandt, A.-Y. Turhan, R. Küsters, in: M.Y. Vardi, A. Voronkov (Eds.), Logic for Programming, Artificial Intelligence, and Reasoning, 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings, Springer, 2003, pp. 122–136.
2002 | Conference Paper | LibreCat-ID: 19873
Realtime Navigation in Highly Complex 3D-Scenes Using JPEG Compression
J. Klein, J. Krokowski, N. Cuntz, in: Proc. of 4. GI-Informatiktage, 2002, pp. 224–229.
LibreCat
J. Klein, J. Krokowski, N. Cuntz, in: Proc. of 4. GI-Informatiktage, 2002, pp. 224–229.
2002 | Journal Article | LibreCat-ID: 24336
Formal Description of a Distributed Location Service for Mobile Ad Hoc Networks
A. Benczúr, U. Glässer, T. Lukovszki, Proc. of 10th International Workshop on Abstract State Machines, LNCS (2002).
LibreCat
| Files available
A. Benczúr, U. Glässer, T. Lukovszki, Proc. of 10th International Workshop on Abstract State Machines, LNCS (2002).
2002 | Journal Article | LibreCat-ID: 26160
In-Situ Determination of the Charging of Nanometer and Submicron Particles at High Temperatures
A. Schiel, A.P. Weber, G. Kasper, H.-J. Schmid, Particle & Particle Systems Characterization 19 (2002) 410–418.
LibreCat
| DOI
A. Schiel, A.P. Weber, G. Kasper, H.-J. Schmid, Particle & Particle Systems Characterization 19 (2002) 410–418.
2002 | Journal Article | LibreCat-ID: 3241
Relating State-based and Behaviour-oriented Subtyping
H. Wehrheim, Nord. J. Comput. (2002) 405--435.
LibreCat
H. Wehrheim, Nord. J. Comput. (2002) 405--435.
2002 | Conference Paper | LibreCat-ID: 3243
Checking Behavioural Subtypes via Refinement
H. Wehrheim, in: B. Jacobs, A. Rensink (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, 2002, pp. 79--93.
LibreCat
H. Wehrheim, in: B. Jacobs, A. Rensink (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, 2002, pp. 79--93.
2002 | Journal Article | LibreCat-ID: 27015
Protein intake and urinary albumin excretion rates in the EURODIAB IDDM Complications Study
M. Toeller, A. Buyken, G. Heitkamp, S. Brämswig, J. Mann, R. Milne, F.A. Gries, H. Keen, Diabetologia (2002) 1219–1226.
LibreCat
| DOI
M. Toeller, A. Buyken, G. Heitkamp, S. Brämswig, J. Mann, R. Milne, F.A. Gries, H. Keen, Diabetologia (2002) 1219–1226.