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.
745 Publications
2005 | Conference Paper | LibreCat-ID: 2414
PIRANHA – Hunter of Idle Resources
G. Birkenheuer, W. Hagelweide, B. Hagemeier, V. Japs, M. Keller, N. Mayr, J. Meyer, T. Schumacher, K. Voß, M. Zajac, in: Proc. GI Informatiktage, Gesellschaft für Informatik (GI), Bonn, Germany, 2005, pp. 91–94.
LibreCat
G. Birkenheuer, W. Hagelweide, B. Hagemeier, V. Japs, M. Keller, N. Mayr, J. Meyer, T. Schumacher, K. Voß, M. Zajac, in: Proc. GI Informatiktage, Gesellschaft für Informatik (GI), Bonn, Germany, 2005, pp. 91–94.
2005 | Journal Article | LibreCat-ID: 25931
Glycaemic index and glycaemic load in the diet of healthy schoolchildren: trends from 1990 to 2002, contribution of different carbohydrate sources and relationships to dietary quality.
A. Buyken, W. Dettmann, M. Kersting, A. Kroke, Br J Nutr 94 (2005) 796–803.
LibreCat
| DOI
| PubMed | Europe PMC
A. Buyken, W. Dettmann, M. Kersting, A. Kroke, Br J Nutr 94 (2005) 796–803.
2005 | Journal Article | LibreCat-ID: 26149
Predictive simulation of nanoparticle precipitation based on the population balance equation
H.-C. Schwarzer, F. Schwertfirm, M. Manhart, H.-J. Schmid, W. Peukert, Chemical Engineering Science 61 (2005) 167–181.
LibreCat
| DOI
H.-C. Schwarzer, F. Schwertfirm, M. Manhart, H.-J. Schmid, W. Peukert, Chemical Engineering Science 61 (2005) 167–181.
2005 | Journal Article | LibreCat-ID: 26151
Evolution of the fractal dimension for simultaneous coagulation and sintering
H.-J. Schmid, B. Al-Zaitone, C. Artelt, W. Peukert, Chemical Engineering Science 61 (2005) 293–305.
LibreCat
| DOI
H.-J. Schmid, B. Al-Zaitone, C. Artelt, W. Peukert, Chemical Engineering Science 61 (2005) 293–305.
2005 | Journal Article | LibreCat-ID: 26153
On the impact of accessible surface and surface energy on particle formation and growth from the vapour phase
C. Artelt, H.-J. Schmid, W. Peukert, Journal of Aerosol Science 36 (2005) 147–172.
LibreCat
| DOI
C. Artelt, H.-J. Schmid, W. Peukert, Journal of Aerosol Science 36 (2005) 147–172.
2005 | Working Paper | LibreCat-ID: 2622
Unscharfe Break-Even-Analyse bei Einproduktproduktion
S. Betz, Unscharfe Break-Even-Analyse bei Einproduktproduktion, Paderborn, 2005.
LibreCat
S. Betz, Unscharfe Break-Even-Analyse bei Einproduktproduktion, Paderborn, 2005.
2005 | Journal Article | LibreCat-ID: 26278
Nonlinear Reformulation of Heisenberg's Dynamics
M. Ziegler, B. Fuchssteiner, International Journal of Theoretical Physics (2005) 693–717.
LibreCat
| DOI
M. Ziegler, B. Fuchssteiner, International Journal of Theoretical Physics (2005) 693–717.
2005 | Book | LibreCat-ID: 26722
Interessen, Selbstkonzepte und Kompetenzen. Untersuchungen zum Lernen von Mathematik bei Grundschulkindern
F. Hellmich, Interessen, Selbstkonzepte und Kompetenzen. Untersuchungen zum Lernen von Mathematik bei Grundschulkindern, BIS/DIZ, Oldenburg, 2005.
LibreCat
F. Hellmich, Interessen, Selbstkonzepte und Kompetenzen. Untersuchungen zum Lernen von Mathematik bei Grundschulkindern, BIS/DIZ, Oldenburg, 2005.
2005 | Book (Editor) | LibreCat-ID: 26732
Lehren und Lernen nach IGLU – Beiträge zum Grundschulunterricht
F. Hellmich, ed., Lehren und Lernen nach IGLU – Beiträge zum Grundschulunterricht, BIS, Oldenburg, 2005.
LibreCat
F. Hellmich, ed., Lehren und Lernen nach IGLU – Beiträge zum Grundschulunterricht, BIS, Oldenburg, 2005.
2005 | Working Paper | LibreCat-ID: 2676
Unscharfe Produktionsprogrammplanung bei Alternativproduktion
S. Betz, Unscharfe Produktionsprogrammplanung Bei Alternativproduktion, Paderborn, 2005.
LibreCat
S. Betz, Unscharfe Produktionsprogrammplanung Bei Alternativproduktion, Paderborn, 2005.
2005 | Book Chapter | LibreCat-ID: 26801
Förderung selbstregulativer Fähigkeiten in der Grundschule
F. Hellmich, in: F. Hellmich (Ed.), Lehren und Lernen nach IGLU – Beiträge zum Grundschulunterricht , BIS, Oldenburg, 2005, pp. 265–276.
LibreCat
F. Hellmich, in: F. Hellmich (Ed.), Lehren und Lernen nach IGLU – Beiträge zum Grundschulunterricht , BIS, Oldenburg, 2005, pp. 265–276.
2005 | Book Chapter | LibreCat-ID: 26802
Was bedeuten die IGLU-Befunde für das Lehren und Lernen in der Grundschule?
F. Hellmich, in: F. Hellmich (Ed.), Lehren und Lernen nach IGLU – Beiträge zum Grundschulunterricht, BIS, Oldenburg, 2005, pp. 13–29.
LibreCat
F. Hellmich, in: F. Hellmich (Ed.), Lehren und Lernen nach IGLU – Beiträge zum Grundschulunterricht, BIS, Oldenburg, 2005, pp. 13–29.
2005 | Book Chapter | LibreCat-ID: 26803
What about Rituale im Grundschulunterricht?
F. Hellmich, in: I. Bohlen (Ed.), Rituale im Grundschulunterricht, Didaktisches Zentrum (Oldenburger VorDrucke 514), Oldenburg, 2005, p. 4.
LibreCat
F. Hellmich, in: I. Bohlen (Ed.), Rituale im Grundschulunterricht, Didaktisches Zentrum (Oldenburger VorDrucke 514), Oldenburg, 2005, p. 4.
2005 | Book | LibreCat-ID: 26804
„Und alles wird anders werden!“ – Vorstellungen von Kindergartenkindern über `Schule´
F. Hellmich, M. Abt, H. Bruns, „Und alles wird anders werden!“ – Vorstellungen von Kindergartenkindern über `Schule´, Didaktisches Zentrum (Oldenburger VorDrucke 509), Oldenburg, 2005.
LibreCat
F. Hellmich, M. Abt, H. Bruns, „Und alles wird anders werden!“ – Vorstellungen von Kindergartenkindern über `Schule´, Didaktisches Zentrum (Oldenburger VorDrucke 509), Oldenburg, 2005.
2005 | Book Chapter | LibreCat-ID: 26806
Zu den gegenwärtigen Bildungschancen von Kindern mit Migrationshintergrund
J. Steckmann, F. Hellmich, in: F. Hellmich (Ed.), Lehren und Lernen nach IGLU - Grundschulunterricht heute, BIS, Oldenburg, 2005, pp. 103–115.
LibreCat
J. Steckmann, F. Hellmich, in: F. Hellmich (Ed.), Lehren und Lernen nach IGLU - Grundschulunterricht heute, BIS, Oldenburg, 2005, pp. 103–115.
2005 | Journal Article | LibreCat-ID: 3227
Specification and (property) inheritance in {CSP-OZ}
E.-R. Olderog, H. Wehrheim, Sci. Comput. Program. (2005) 227--257.
LibreCat
| DOI
E.-R. Olderog, H. Wehrheim, Sci. Comput. Program. (2005) 227--257.
2005 | Journal Article | LibreCat-ID: 3228
Slicing techniques for verification re-use
H. Wehrheim, Theor. Comput. Sci. (2005) 509--528.
LibreCat
| DOI
H. Wehrheim, Theor. Comput. Sci. (2005) 509--528.
2005 | Conference Paper | LibreCat-ID: 3229
Checking the Validity of Scenarios in {UML} Models
H. Rasch, H. Wehrheim, in: M. Steffen, G. Zavattaro (Eds.), Formal Methods for Open Object-Based Distributed Systems, 7th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2005, Athens, Greece, June 15-17, 2005, Proceedings, 2005, pp. 67--82.
LibreCat
| DOI
H. Rasch, H. Wehrheim, in: M. Steffen, G. Zavattaro (Eds.), Formal Methods for Open Object-Based Distributed Systems, 7th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2005, Athens, Greece, June 15-17, 2005, Proceedings, 2005, pp. 67--82.
2005 | Conference Paper | LibreCat-ID: 3230
Slicing an Integrated Formal Method for Verification
I. Brückner, H. Wehrheim, in: K.-}Kiu Lau, R. Banach (Eds.), Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November 1-4, 2005, Proceedings, 2005, pp. 360--374.
LibreCat
| DOI
I. Brückner, H. Wehrheim, in: K.-}Kiu Lau, R. Banach (Eds.), Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November 1-4, 2005, Proceedings, 2005, pp. 360--374.
2005 | Conference Paper | LibreCat-ID: 3231
Non-atomic Refinement in {Z} and {CSP}
J. Derrick, H. Wehrheim, in: H. Treharne, S. King, M. C. Henson, S. A. Schneider (Eds.), {ZB} 2005: Formal Specification and Development in {Z} and B, 4th International Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings, 2005, pp. 24--44.
LibreCat
| DOI
J. Derrick, H. Wehrheim, in: H. Treharne, S. King, M. C. Henson, S. A. Schneider (Eds.), {ZB} 2005: Formal Specification and Development in {Z} and B, 4th International Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings, 2005, pp. 24--44.