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 | OA
Schneider, S., Borri, P., Langbein, W., Woggon, U., Förstner, J., Knorr, A., … Bimberg, D. (2003). Self-induced transparency in InGaAs quantum-dot waveguides. Applied Physics Letters, 83(18), 3668–3670. https://doi.org/10.1063/1.1624492
LibreCat | Files available | DOI
 

2003 | Book | LibreCat-ID: 5629
Schryen, G., Herstell, J., & Schoenen, M. (2003). Online Marktforschung im Mittelstand: Analyse von Konsumentenverhalten in 3D-Internet-Welten. Wiesbaden: Deutscher Universitäts-Verlag.
LibreCat
 

2003 | Conference Paper | LibreCat-ID: 15165
Schwerdtfeger, B., Goetz, F., & Domik, G. (2003). 3D interaktives Baukastensystem unter Verwendung von Augmented Reality Techniken.
LibreCat
 

2003 | Book Chapter | LibreCat-ID: 34446
Müller, W., Ruf, J., & Rosenstiel, W. (2003). An ASM Based SystemC Simulation Semantics. In W. Müller, J. Ruf, & W. Rosenstiel (Eds.), SystemC - Methodologies and Applications (pp. 97–126). Kluwer. https://doi.org/10.1007/0-306-48735-7_4
LibreCat | DOI
 

2003 | Journal Article | LibreCat-ID: 34565
Flake, S., & Müller, W. (2003). Formal Semantics of Static and Temporal State-Oriented OCL Constraints. Journal on Software and System Modeling (SoSyM), 2(3), 164–186. https://doi.org/10.1007/s10270-003-0026-x
LibreCat | DOI
 

2003 | Book Review | LibreCat-ID: 18793
Peckhaus, V. (2003). Schirn, Matthias/Niebergall, Karl-Georg, “Extensions of the Finitist Point of View”, History and Philosophy of Logic 22 (2001), 135–161. In Mathematical Reviews, MR1934402 (2003i:03005) (MR 2003i:03005).
LibreCat | Download (ext.)
 

2003 | Journal Article | LibreCat-ID: 27928
Bigga, R. (2003). Lernen mit allen Sinnen – Lernen an vielen Orten. Tradition und Möglichkeiten des Lernens an verschiedenen Lernorten. Haushalt & Bildung, 80(2), 45–52.
LibreCat
 

2003 | Book Chapter | LibreCat-ID: 27929
Bigga, R., & Schack, P. S. (2003). Vorsorgendes Haushalten: Computergestützte Bewertung von Lebensmittelverarbeitung und Lebensmittelqualität. In R. Oberliesen & G. Reuel (Eds.), Schule zwischen materieller und virtueller Lernkultur (pp. 91–109). Baltmannsweiler.
LibreCat
 

2003 | Conference Paper | LibreCat-ID: 39364
Flake, S., & Müller, W. (2003). Expressing Property Specification Patterns with OCL. Proceedings of SERP’03.
LibreCat
 

2003 | Conference Paper | LibreCat-ID: 39363
Flake, S., & Müller, W. (2003). Semantics of State-Oriented Expressions in the Object Constraint Language. Proceedings of SEKE 2003.
LibreCat
 

2003 | Conference Paper | LibreCat-ID: 39369
Flake, S., & Müller, W. (2003). Formal Semantics of OCL Messages. Proceedings of the Workshop OCL 2.0 at UML 2003.
LibreCat
 

2003 | Report | LibreCat-ID: 42739
Fuchs, C. (2003). The Self-Organisation of Politics, Power and the Nation State. INTAS-Project “Human Strategies in Complexity“-Research Paper. Vienna University of Technology.
LibreCat
 

2003 | Journal Article | LibreCat-ID: 43284
Meier, T., Filinov, V. S., Thomas, P., Varga, I., Bonitz, M., Fortov, V. E., & Koch, S. W. (2003). Electronic transport in a one-dimensional random array of scatterers. Journal of Physics A: Mathematical and General, 36(22), 5905–5911. https://doi.org/10.1088/0305-4470/36/22/311
LibreCat | DOI | Download (ext.)
 

2003 | Conference Paper | LibreCat-ID: 56567
Brandt, S., Turhan, A.-Y., & Küsters, R. (2003). Extensions of Non-standard Inferences to Descriptions Logics with Transitive Roles. 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 (Vol. 2850, pp. 122–136). Springer. https://doi.org/10.1007/978-3-540-39813-4_8
LibreCat | DOI
 

2002 | Conference Paper | LibreCat-ID: 19873
Klein, J., Krokowski, J., & Cuntz, N. (2002). Realtime Navigation in Highly Complex 3D-Scenes Using JPEG Compression. In Proc. of 4. GI-Informatiktage (pp. 224–229).
LibreCat
 

2002 | Journal Article | LibreCat-ID: 24336
Benczúr, A., Glässer, U., & Lukovszki, T. (2002). Formal Description of a Distributed Location Service for Mobile Ad Hoc Networks. Proc. of 10th International Workshop on Abstract State Machines, LNCS.
LibreCat | Files available
 

2002 | Journal Article | LibreCat-ID: 26160
Schiel, A., Weber, A. P., Kasper, G., & Schmid, H.-J. (2002). In-Situ Determination of the Charging of Nanometer and Submicron Particles at High Temperatures. Particle & Particle Systems Characterization, 19(6), 410–418. https://doi.org/10.1002/ppsc.200290004
LibreCat | DOI
 

2002 | Journal Article | LibreCat-ID: 3241
Wehrheim, H. (2002). Relating State-based and Behaviour-oriented Subtyping. Nord. J. Comput., (4), 405--435.
LibreCat
 

2002 | Conference Paper | LibreCat-ID: 3243
Wehrheim, H. (2002). Checking Behavioural Subtypes via Refinement. 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 (pp. 79--93).
LibreCat
 

2002 | Journal Article | LibreCat-ID: 27015
Toeller, M., Buyken, A., Heitkamp, G., Brämswig, S., Mann, J., Milne, R., Gries, F. A., & Keen, H. (2002). Protein intake and urinary albumin excretion rates in the EURODIAB IDDM Complications Study. Diabetologia, 1219–1226. https://doi.org/10.1007/s001250050810
LibreCat | DOI
 

Filters and Search Terms

keyword%3D%22Steady-state%22

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed