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.

1717 Publications


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 | 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 | 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.)
 

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
 

2002 | Journal Article | LibreCat-ID: 27760
Buyken, A., Toeller, M., Heitkamp, G., Vitelli, F., Stehle, P., Scherbaum, W. A., & Fuller, J. H. (2002). Relation of fibre intake to HbA 1c and the prevalence of severe ketoacidosis and severe hypoglycaemia. Diabetologia, 882–890. https://doi.org/10.1007/s001250051003
LibreCat | DOI
 

2002 | Journal Article | LibreCat-ID: 27761
Buyken, A., Toeller, M., Heitkamp, G., Irsigler, K., Holler, C., Santeusanio, F., Stehle, P., Fuller, J. H., & Group, the E. I. C. S. (2002). Carbohydrate sources and glycaemic control in Type 1 diabetes mellitus. Diabetic Medicine, 351–359. https://doi.org/10.1046/j.1464-5491.2000.00283.x
LibreCat | DOI
 

2002 | Journal Article | LibreCat-ID: 27762
Kratz, M., von Eckardstein, A., Fobker, M., Buyken, A., Posny, N., Schulte, H., Assmann, G., & Wahrburg, U. (2002). The Impact of Dietary Fat Composition on Serum Leptin Concentrations in Healthy Nonobese Men and Women. The Journal of Clinical Endocrinology & Metabolism, 5008–5014. https://doi.org/10.1210/jc.2002-020496
LibreCat | DOI
 

2002 | Journal Article | LibreCat-ID: 27788
Toeller, M., & Buyken, A. (2002). Protein intake - new evidence for its role in diabetic nephropathy. Nephrology Dialysis Transplantation, 1926–1927. https://doi.org/10.1093/ndt/13.8.1926
LibreCat | DOI
 

2002 | Journal Article | LibreCat-ID: 27930
Schlegel-Matthies, K. (2002). Das Modell der Salutogenese als Handlungsanleitung für haushaltsbezogene Bildung? Fragen und Folgerungen. Haushalt & Bildung, 3, 24–33.
LibreCat
 

Filters and Search Terms

keyword%3D%22Steady-state%22

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed