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.
1718 Publications
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 | 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 | 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).
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.
2002 | Journal Article | LibreCat-ID: 27760
Relation of fibre intake to HbA 1c and the prevalence of severe ketoacidosis and severe hypoglycaemia
A. Buyken, M. Toeller, G. Heitkamp, F. Vitelli, P. Stehle, W.A. Scherbaum, J.H. Fuller, Diabetologia (2002) 882–890.
LibreCat
| DOI
A. Buyken, M. Toeller, G. Heitkamp, F. Vitelli, P. Stehle, W.A. Scherbaum, J.H. Fuller, Diabetologia (2002) 882–890.
2002 | Journal Article | LibreCat-ID: 27761
Carbohydrate sources and glycaemic control in Type 1 diabetes mellitus
A. Buyken, M. Toeller, G. Heitkamp, K. Irsigler, C. Holler, F. Santeusanio, P. Stehle, J.H. Fuller, the E.I.C.S. Group, Diabetic Medicine (2002) 351–359.
LibreCat
| DOI
A. Buyken, M. Toeller, G. Heitkamp, K. Irsigler, C. Holler, F. Santeusanio, P. Stehle, J.H. Fuller, the E.I.C.S. Group, Diabetic Medicine (2002) 351–359.
2002 | Journal Article | LibreCat-ID: 27762
The Impact of Dietary Fat Composition on Serum Leptin Concentrations in Healthy Nonobese Men and Women
M. Kratz, A. von Eckardstein, M. Fobker, A. Buyken, N. Posny, H. Schulte, G. Assmann, U. Wahrburg, The Journal of Clinical Endocrinology & Metabolism (2002) 5008–5014.
LibreCat
| DOI
M. Kratz, A. von Eckardstein, M. Fobker, A. Buyken, N. Posny, H. Schulte, G. Assmann, U. Wahrburg, The Journal of Clinical Endocrinology & Metabolism (2002) 5008–5014.
2002 | Journal Article | LibreCat-ID: 27788
Protein intake - new evidence for its role in diabetic nephropathy
M. Toeller, A. Buyken, Nephrology Dialysis Transplantation (2002) 1926–1927.
LibreCat
| DOI
M. Toeller, A. Buyken, Nephrology Dialysis Transplantation (2002) 1926–1927.