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.

708 Publications


2008 | Book | LibreCat-ID: 25838
Systematik der Materialflussplanung in der frühen Phase der Produktionssystementwicklung
C. Zeidler, Systematik der Materialflussplanung in der frühen Phase der Produktionssystementwicklung, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2008.
LibreCat
 

2008 | Book | LibreCat-ID: 25839
A Method for the intelligent Authoring of 3D Animations for Traimimg and Maintenance
S. Parisi, A Method for the Intelligent Authoring of 3D Animations for Traimimg and Maintenance, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2008.
LibreCat
 

2008 | Book | LibreCat-ID: 25840
Methods to Exploit Reconfigurable Fabrics
F. Dittmann, Methods to Exploit Reconfigurable Fabrics, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2008.
LibreCat
 

2008 | Book | LibreCat-ID: 25841
Programm-, Ressourcen- und Prozessoptimierung als Bestandteile der Anpassungsplanung von spanenden Fertigungssystemen in der Fließfertigung
C. Tonigold, Programm-, Ressourcen- und Prozessoptimierung als Bestandteile der Anpassungsplanung von spanenden Fertigungssystemen in der Fließfertigung, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2008.
LibreCat
 

2008 | Book | LibreCat-ID: 25842
A Predictive Potential Field Concept for Shared Vehicle Guidance
T. Brandt, A Predictive Potential Field Concept for Shared Vehicle Guidance, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2008.
LibreCat
 

2008 | Book | LibreCat-ID: 25843
7. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung
J. Gausemeier, M. Grafe, 7. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2008.
LibreCat
 

2008 | Dissertation | LibreCat-ID: 25848
A Methodology for the Identification of Technology Indicators
H. Chang, A Methodology for the Identification of Technology Indicators, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2008.
LibreCat
 

2008 | Book | LibreCat-ID: 25849
Proceedings of the 4th Workshop on Object-oriented Modeling of Embedded Real-Time Systems
M. Gehrke, H. Giese, J. Stroop, Proceedings of the 4th Workshop on Object-Oriented Modeling of Embedded Real-Time Systems, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2008.
LibreCat
 

2008 | Book | LibreCat-ID: 25851
Entwicklung einer Methodik zur Online-Qualitätsüberwachung des Ultraschall-Drahtbondprozesses mittels integrierter Mikrosensorik
M. Brökelmann, Entwicklung einer Methodik zur Online-Qualitätsüberwachung des Ultraschall-Drahtbondprozesses mittels integrierter Mikrosensorik, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2008.
LibreCat
 

2008 | Dissertation | LibreCat-ID: 25852
Architektur und Entwurf dynamisch rekonfigurierbarer FPGA-Systeme
B. Kettelhoit, Architektur und Entwurf dynamisch rekonfigurierbarer FPGA-Systeme, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2008.
LibreCat
 

2008 | Dissertation | LibreCat-ID: 25853
Concepts for the development of a generic Multi-Level Test Bench covering different areas of applications
M. Zambaldi, Concepts for the Development of a Generic Multi-Level Test Bench Covering Different Areas of Applications, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2008.
LibreCat
 

2008 | Conference (Editor) | LibreCat-ID: 25865
8. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung
J. Gausemeier, M. Grafe, eds., 8. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2008.
LibreCat
 

2008 | Journal Article | LibreCat-ID: 25938
How pre- and postnatal risk factors modify the effect of rapid weight gain in infancy and early childhood on subsequent fat mass development: results from the Multicenter Allergy Study 90.
N. Karaolis-Danckert, A. Buyken, M. Kulig, A. Kroke, J. Forster, W. Kamin, A. Schuster, C. Hornberg, T. Keil, R. Bergmann, U. Wahn, S. Lau, Am J Clin Nutr 87 (2008) 1356–1364.
LibreCat | DOI | PubMed | Europe PMC
 

2008 | Journal Article | LibreCat-ID: 25978
Repeated Templating
M. Tiemann, Chemistry of Materials (2008) 961–971.
LibreCat | DOI
 

2008 | Journal Article | LibreCat-ID: 25979
Synthesis of mesoporous metal oxides by structure replication: Strategies of impregnating porous matrices with metal salts
J. Roggenbuck, T. Waitz, M. Tiemann, Microporous and Mesoporous Materials (2008) 575–582.
LibreCat | DOI
 

2008 | Journal Article | LibreCat-ID: 25980
Critical evaluation of the state of iron oxide nanoparticles on different mesoporous silicas prepared by an impregnation method
T. Tsoncheva, J. Rosenholm, M. Linden, F. Kleitz, M. Tiemann, L. Ivanova, M. Dimitrov, D. Paneva, I. Mitov, C. Minchev, Microporous and Mesoporous Materials (2008) 327–337.
LibreCat | DOI
 

2008 | Journal Article | LibreCat-ID: 25981
Ripening Effects in ZnS Nanoparticle Growth
M. Tiemann, F. Marlow, J. Hartikainen, Ö. Weiss, M. Lindén, The Journal of Physical Chemistry C (2008) 1463–1467.
LibreCat | DOI
 

2008 | Journal Article | LibreCat-ID: 25982
Iron oxide nanoparticles supported on mesoporous MgO and CeO2: A comparative physicochemical and catalytic study
T. Tsoncheva, J. Roggenbuck, M. Tiemann, L. Ivanova, D. Paneva, I. Mitov, C. Minchev, Microporous and Mesoporous Materials (2008) 339–346.
LibreCat | DOI
 

2008 | Book Chapter | LibreCat-ID: 25983
New mesoporous metal oxides as gas sensors
T. Waitz, T. Wagner, C.-D. Kohl, M. Tiemann, in: Zeolites and Related Materials: Trends, Targets and Challenges, Proceedings of the 4th International FEZA Conference, 2008.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 25984
MESOPOROUS CERIA BY STRUCTURE REPLICATION FROM VARIOUS POROUS MATRICES
J. ROGGENBUCK, M. Tiemann, in: Nanoporous Materials, 2008.
LibreCat | DOI
 

2008 | Book Chapter | LibreCat-ID: 2602
Entscheidungsorientierte Planung unscharfer Erfolge von KMU in Supply Chains
S. Betz, in: S. Betz (Ed.), Entscheidungsprobleme im Supply Chain Management - Quantitative Lösungsansätze für den Mittelstand, Hamburg, 2008, pp. 47–66.
LibreCat
 

2008 | Book Chapter | LibreCat-ID: 2603
Analyse des Bullwhip-Effekts in einer Supply Chain von KMU
S. Betz, in: S. Betz (Ed.), Entscheidungsprobleme im Supply Chain Management - Quantitative Lösungsansätze für den Mittelstand, Hamburg, 2008, pp. 95–118.
LibreCat
 

2008 | Journal Article | LibreCat-ID: 26142
A comprehensive approach in modeling Lagrangian particle deposition in turbulent boundary layers
M. Horn, H.-J. Schmid, Powder Technology 186 (2008) 189–198.
LibreCat | DOI
 

2008 | Preprint | LibreCat-ID: 26235
Kolmogorov Complexity Theory over the Reals
M. Ziegler, W.M. Koolen, ArXiv:0802.2027 (2008).
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 26243
On the Stability of Fast Polynomial Arithmetic
S. Köhler, M. Ziegler, in: Proc. 8th Conference on Real Numbers and Computers, 2008, pp. 147–156.
LibreCat
 

2008 | Journal Article | LibreCat-ID: 26255
Physically-Relativized Church-Turing Hypotheses
M. Ziegler, Applied Mathematics and Computation (2008).
LibreCat | arXiv
 

2008 | Book Chapter | LibreCat-ID: 26262
A Meta-Theory of Physics and Computation
M. Ziegler, in: Verhandlungen Der Deutschen Physikalischen Gesellschaft, Deutsche Physikalische Gesellschaft (DPG), 2008, p. 145.
LibreCat
 

2008 | Journal Article | LibreCat-ID: 26280
An explicit solution to Post's Problem over the reals
K. Meer, M. Ziegler, Journal of Complexity (2008) 3–15.
LibreCat | DOI
 

2008 | Book (Editor) | LibreCat-ID: 2672
Entscheidungsprobleme im Supply Chain Management - Quantitative Lösungsansätze für den Mittelstand
S. Betz, ed., Entscheidungsprobleme Im Supply Chain Management - Quantitative Lösungsansätze Für Den Mittelstand, Hamburg, 2008.
LibreCat
 

2008 | Book (Editor) | LibreCat-ID: 26729
Lehr-Lernforschung und Grundschulpädagogik
F. Hellmich, ed., Lehr-Lernforschung und Grundschulpädagogik, Klinkhardt, Bad Heilbrunn, 2008.
LibreCat
 

2008 | Book (Editor) | LibreCat-ID: 26730
Vorschulische Bildungsprozesse in Mathematik und Naturwissenschaften
F. Hellmich, H. Köster, eds., Vorschulische Bildungsprozesse in Mathematik und Naturwissenschaften, Klinkhardt, Bad Heilbrunn, 2008.
LibreCat
 

2008 | Book Chapter | LibreCat-ID: 26765
Bedingungen für erfolgreiche Leselernprozesse bei leistungsschwächeren Kindern
F. Hellmich, in: J. Ramseger, M. Wagener (Eds.), Chancenungleichheit in der Grundschule – Ursachen und Wege aus der Krise, VS Verlag für Sozialwissenschaften, Wiesbaden, 2008, pp. 195–198.
LibreCat
 

2008 | Book Chapter | LibreCat-ID: 26766
Chancengleichheit im mathematischen Anfangsunterricht durch eine frühzeitige Diagnose mathematischer Vorläuferfähigkeiten
F. Hellmich, M. Sämisch, in: J. Ramseger, M. Wagener (Eds.), Chancenungleichheit in der Grundschule – Ursachen und Wege aus der Krise, VS Verlag für Sozialwissenschaften, Wiesbaden, 2008, pp. 223–226.
LibreCat
 

2008 | Journal Article | LibreCat-ID: 26767
Erklärungsfaktoren für Geschlechterunterschiede in der Lesekompetenz bei Grundschulkindern am Ende ihrer Grundschulzeit
F. Hellmich, Zeitschrift für Grundschulforschung. Bildung im Elementar- und Primarbereich 2 (2008) 46–58.
LibreCat
 

2008 | Book Chapter | LibreCat-ID: 26768
Empirische Bildungsforschung und Grundschulpädagogik
F. Hellmich, in: F. Hellmich (Ed.), Lehr-Lernforschung und Grundschulpädagogik , Klinkhardt, Bad Heilbrunn, 2008, pp. 46–75.
LibreCat
 

2008 | Book Chapter | LibreCat-ID: 26769
Selbstbezogene Kognitionen und Interessen von Mädchen und Jungen im Mathematikunterricht der Grundschule
F. Hellmich, S. Jahnke-Klein , in: A. Prengel, B. Rendtorff (Eds.), Kinder und ihr Geschlecht. Jahrbuch Frauen- und Geschlechterforschung in der Erziehungswissenschaft, Barbara Budrich, Opladen, 2008, pp. 111–120.
LibreCat
 

2008 | Book Chapter | LibreCat-ID: 26771
Individuelle und schulische Bedingungen im Leseunterricht der Grundschule
F. Hellmich, in: B. Hofmann, R. Valtin (Eds.), Checkpoint Literacy. Tagungsband 1 zum 15. Europäischen Lesekongress 2007 in Berlin, Deutsche Gesellschaft für Lesen und Schreiben, Berlin, 2008, pp. 172–182.
LibreCat
 

2008 | Journal Article | LibreCat-ID: 26772 LibreCat
 

2008 | Book Chapter | LibreCat-ID: 26774
Diagnose mathematischer Vorläuferfähigkeiten im vorschulischen Bereich
F. Hellmich, S. Jansen, in: F. Hellmich, H. Köster (Eds.), Vorschulische Bildungsprozesse in Mathematik und Naturwissenschaften, Klinkhardt, Bad Heilbrunn, 2008, pp. 59–81.
LibreCat
 

2008 | Book Chapter | LibreCat-ID: 26776
Förderung mathematischer Vorläuferfähigkeiten im vorschulischen Bereich – Konzepte, empirische Befunde und Forschungsperspektiven
F. Hellmich, in: F. Hellmich, H. Köster (Eds.), Vorschulische Bildungsprozesse in Mathematik und Naturwissenschaften , Klinkhardt, Bad Heilbrunn, 2008, pp. 83–102.
LibreCat
 

2008 | Journal Article | LibreCat-ID: 26891
Association of prepubertal body composition in healthy girls and boys with the timing of early and late pubertal markers
A. Buyken, N. Karaolis-Danckert, T. Remer, The American Journal of Clinical Nutrition (2008) 221–230.
LibreCat | DOI
 

2008 | Journal Article | LibreCat-ID: 26892
Consumption of sugar-sweetened beverages and its association with nutrient intakes and diet quality in German children and adolescents
L. Libuda, U. Alexy, A. Buyken, W. Sichert-Hellert, P. Stehle, M. Kersting, British Journal of Nutrition (2008).
LibreCat | DOI
 

2008 | Journal Article | LibreCat-ID: 3203
Refinement in the Presence of Unknowns
H. Wehrheim, Electr. Notes Theor. Comput. Sci. (2008) 255--264.
LibreCat | DOI
 

2008 | Journal Article | LibreCat-ID: 3204
Alloy as a Refactoring Checker?
H..-}Christian Estler, H. Wehrheim, Electr. Notes Theor. Comput. Sci. (2008) 331--357.
LibreCat | DOI
 

2008 | Journal Article | LibreCat-ID: 3205
Integrating a formal method into a software engineering process with {UML} and Java
M. Möller, E.-R. Olderog, H. Rasch, H. Wehrheim, Formal Asp. Comput. (2008) 161--204.
LibreCat | DOI
 

2008 | Journal Article | LibreCat-ID: 3206
Slicing Abstractions
I. Brückner, K. Dräger, B. Finkbeiner, H. Wehrheim, Fundam. Inform. (2008) 369--392.
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 3207
From {UML} Activities to {TAAL} - Towards Behaviour-Preserving Model Transformations
G. Engels, A. Kleppe, A. Rensink, M. Semenyak, C. Soltenborn, H. Wehrheim, in: I. Schieferdecker, A. Hartman (Eds.), Model Driven Architecture - Foundations and Applications, 4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings, 2008, pp. 94--109.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 3208
Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack
J. Derrick, G. Schellhorn, H. Wehrheim, in: G. Barthe, F. S. de Boer (Eds.), Formal Methods for Open Object-Based Distributed Systems, 10th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2008, Oslo, Norway, June 4-6, 2008, Proceedings, 2008, pp. 78--95.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 3209
Decomposition for Compositional Verification
B. Metzler, H. Wehrheim, D. Wonisch, in: S. Liu, T. S. E. Maibaum, K. Araki (Eds.), Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings, 2008, pp. 105--125.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 3210
Bounded Model Checking for Partial Kripke Structures
H. Wehrheim, in: J. S. Fitzgerald, A. Elisabeth Haxthausen, H. Yenig{\"{u}}n (Eds.), Theoretical Aspects of Computing - {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings, 2008, pp. 380--394.
LibreCat | DOI
 

Filters and Search Terms

year=2008

Search

Filter Publications

Display / Sort

Export / Embed