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.
4729 Publications
2013 | Misc | LibreCat-ID: 28215
Vorausschau und Technologieplanung. 9. Symposium für Vorausschau und Technologieplanung, Heinz Nixdorf Institut, 5. und 6. Dezember 2013
J. Gausemeier, Vorausschau und Technologieplanung. 9. Symposium für Vorausschau und Technologieplanung, Heinz Nixdorf Institut, 5. und 6. Dezember 2013, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2013.
LibreCat
J. Gausemeier, Vorausschau und Technologieplanung. 9. Symposium für Vorausschau und Technologieplanung, Heinz Nixdorf Institut, 5. und 6. Dezember 2013, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2013.
2013 | Journal Article | LibreCat-ID: 28353
Conceptualizing pronunciation as part of translingual/transcultural competence: New impulses for SLA research and the L2 classroom
M. Müller, Foreign Language Annals 46 (2013) 213–229.
LibreCat
| DOI
M. Müller, Foreign Language Annals 46 (2013) 213–229.
2013 | Book Chapter | LibreCat-ID: 28362
Pronunciation training without the native speaker? Reframing teaching and learning objectives in German as a Foreign Language curricula
M. Müller, in: J.L. Plews, B. Schmenk (Eds.), Traditions and Transitions: Curricula for German Studies, Wilfrid Laurier University Press, Waterloo, 2013, pp. 105–124.
LibreCat
M. Müller, in: J.L. Plews, B. Schmenk (Eds.), Traditions and Transitions: Curricula for German Studies, Wilfrid Laurier University Press, Waterloo, 2013, pp. 105–124.
2013 | Book Chapter | LibreCat-ID: 28453
Foundations for Considering the Robustness within the CRC TRR 30
D. Biermann, J. Gausemeier, S. Hess, D. K{\, M. Petersen, T. Wagner, in: H.-P. Heim, Dirk Biermann, W. Homberg (Eds.), Functionally Graded Materials in Industrial Mass Production | Volume 2, Verlag Wissenschaftliche Scripten, 2013, pp. 357–366.
LibreCat
D. Biermann, J. Gausemeier, S. Hess, D. K{\, M. Petersen, T. Wagner, in: H.-P. Heim, Dirk Biermann, W. Homberg (Eds.), Functionally Graded Materials in Industrial Mass Production | Volume 2, Verlag Wissenschaftliche Scripten, 2013, pp. 357–366.
2013 | Book Chapter | LibreCat-ID: 28456
Synthesis and Multi-Objective Model-based Optimisation of Process Chains for Manufacturing Components with Functionally Graded Properties
D. Biermann, J. Gausemeier, S. Hess, M. Petersen, T. Wagner, in: H.-P. Heim, D. Biermann, W. Homberg (Eds.), Functionally Graded Materials in Industrial Mass Production | Volume 2, Verlag Wissenschaftliche Scripten, 2013, pp. 341–356.
LibreCat
D. Biermann, J. Gausemeier, S. Hess, M. Petersen, T. Wagner, in: H.-P. Heim, D. Biermann, W. Homberg (Eds.), Functionally Graded Materials in Industrial Mass Production | Volume 2, Verlag Wissenschaftliche Scripten, 2013, pp. 341–356.
2013 | Conference Paper | LibreCat-ID: 28515
A Comprehensive Framework for the Computer-Aided Planning and Optimisation of Manufacturing Processes for Functional Graded Components
M. Petersen, J. Gausemeier, (2013) 413–422.
LibreCat
M. Petersen, J. Gausemeier, (2013) 413–422.
2013 | Journal Article | LibreCat-ID: 25740
A heuristic energy-aware approach for hard real-time systems on multi-core platforms
D. He, W. Müller, Microprocessors and Microsystems - Embedded Hardware Design 37(6-7) (2013) 845–857.
LibreCat
D. He, W. Müller, Microprocessors and Microsystems - Embedded Hardware Design 37(6-7) (2013) 845–857.
2013 | Journal Article | LibreCat-ID: 26910
Carbohydrate quality is not associated with liver enzyme activity and plasma TAG and HDL concentrations over 5 years in an older population
J. Goletzke, A. Buyken, B. Gopinath, E. Rochtchina, A.W. Barclay, G. Cheng, J.C. Brand-Miller, P. Mitchell, British Journal of Nutrition (2013) 918–925.
LibreCat
| DOI
J. Goletzke, A. Buyken, B. Gopinath, E. Rochtchina, A.W. Barclay, G. Cheng, J.C. Brand-Miller, P. Mitchell, British Journal of Nutrition (2013) 918–925.
2013 | Conference Paper | LibreCat-ID: 3176
Bounded Model Checking of Graph Transformation Systems via {SMT} Solving
T. Isenberg, D. Steenken, H. Wehrheim, in: D. Beyer, M. Boreale (Eds.), Formal Techniques for Distributed Systems - Joint {IFIP} {WG} 6.1 International Conference, {FMOODS/FORTE} 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings, 2013, pp. 178--192.
LibreCat
| DOI
T. Isenberg, D. Steenken, H. Wehrheim, in: D. Beyer, M. Boreale (Eds.), Formal Techniques for Distributed Systems - Joint {IFIP} {WG} 6.1 International Conference, {FMOODS/FORTE} 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings, 2013, pp. 178--192.
2013 | Conference Paper | LibreCat-ID: 3177
{SPIN} as a Linearizability Checker under Weak Memory Models
O. Travkin, A. Mütze, H. Wehrheim, in: V. Bertacco, A. Legay (Eds.), Hardware and Software: Verification and Testing - 9th International Haifa Verification Conference, {HVC} 2013, Haifa, Israel, November 5-7, 2013, Proceedings, 2013, pp. 311--326.
LibreCat
| DOI
O. Travkin, A. Mütze, H. Wehrheim, in: V. Bertacco, A. Legay (Eds.), Hardware and Software: Verification and Testing - 9th International Haifa Verification Conference, {HVC} 2013, Haifa, Israel, November 5-7, 2013, Proceedings, 2013, pp. 311--326.
2013 | Conference Paper | LibreCat-ID: 3178
A High-Level Semantics for Program Execution under Total Store Order Memory
B. Dongol, O. Travkin, J. Derrick, H. Wehrheim, in: Z. Liu, J. Woodcock, H. Zhu (Eds.), Theoretical Aspects of Computing - {ICTAC} 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings, 2013, pp. 177--194.
LibreCat
| DOI
B. Dongol, O. Travkin, J. Derrick, H. Wehrheim, in: Z. Liu, J. Woodcock, H. Zhu (Eds.), Theoretical Aspects of Computing - {ICTAC} 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings, 2013, pp. 177--194.
2013 | Journal Article | LibreCat-ID: 21042
Theory of quantum frequency conversion and type-II parametric down-conversion in the high-gain regime
A. Christ, B. Brecht, W. Mauerer, C. Silberhorn, New Journal of Physics 15 (2013).
LibreCat
| DOI
A. Christ, B. Brecht, W. Mauerer, C. Silberhorn, New Journal of Physics 15 (2013).
2013 | Book (Editor) | LibreCat-ID: 18706
Der Kirchenbau zwischen Sakralisierung und Säkularisierung im 17./18. Jahrhundert und heute
E.-M. Seng, G. Brüne, eds., Der Kirchenbau zwischen Sakralisierung und Säkularisierung im 17./18. Jahrhundert und heute, Deutscher Kunstverlag, Berlin, München, 2013.
LibreCat
E.-M. Seng, G. Brüne, eds., Der Kirchenbau zwischen Sakralisierung und Säkularisierung im 17./18. Jahrhundert und heute, Deutscher Kunstverlag, Berlin, München, 2013.
2013 | Journal Article | LibreCat-ID: 18949
“Between Primitive Hut and Large Scale Housing: The Present of Utopia in Architecture”
E.-M. Seng, Scottish Journal of Arts, Sciences and Scientific Studies Vol. 15, Issue II (2013) 47–66.
LibreCat
E.-M. Seng, Scottish Journal of Arts, Sciences and Scientific Studies Vol. 15, Issue II (2013) 47–66.
2013 | Journal Article | LibreCat-ID: 18952
Artistik und Zirkus als immaterielles Kulturerbe. Was macht eine künstlerische Leistung zum immateriellen Kulturerbe?
E.-M. Seng, Politik und Kultur. Zeitung des Deutschen Kulturrates Nr.3/13 Mai-Juni 2013 (2013) S. 21.
LibreCat
E.-M. Seng, Politik und Kultur. Zeitung des Deutschen Kulturrates Nr.3/13 Mai-Juni 2013 (2013) S. 21.
2013 | Book Chapter | LibreCat-ID: 18954
Johann Georg Starcke
E.-M. Seng, in: Neue Deutsche Biographie Bd. 25, Berlin, 2013, p. 66f.
LibreCat
E.-M. Seng, in: Neue Deutsche Biographie Bd. 25, Berlin, 2013, p. 66f.
2013 | Journal Article | LibreCat-ID: 18963
Rekonstruktion des religiösen Ortes
E.-M. Seng, Die Welt und ihr Double. Abriss und Rekonstruktion, Bauhaus Lectures (im Druck) (2013).
LibreCat
E.-M. Seng, Die Welt und ihr Double. Abriss und Rekonstruktion, Bauhaus Lectures (im Druck) (2013).
2013 | Book Chapter | LibreCat-ID: 18979
Die Vereine für christliche Kunst und die Bildausstattung der Kirchen nach dem 2. Weltkrieg in Westfalen und Württemberg im Vergleich
E.-M. Seng, in: H. Körner, J. Wiener (Eds.), Kultbild und Andachtsbild, Essen, 2013, pp. 173–186.
LibreCat
E.-M. Seng, in: H. Körner, J. Wiener (Eds.), Kultbild und Andachtsbild, Essen, 2013, pp. 173–186.
2013 | Book Chapter | LibreCat-ID: 18984
"Kulturerbe zwischen Globalisierung und Lokalisierung“
E.-M. Seng, in: W. Speitkamp (Ed.), Europäisches Kulturerbe. Bilder, Traditionen, Konfigurationen, Stuttgart, 2013, pp. 69–82.
LibreCat
E.-M. Seng, in: W. Speitkamp (Ed.), Europäisches Kulturerbe. Bilder, Traditionen, Konfigurationen, Stuttgart, 2013, pp. 69–82.
2013 | Book (Editor) | LibreCat-ID: 19071
Ehrenpromotion der Fakultät für Kulturwissenschaften der Universität Paderborn an Herta Müller. Paderborn, 29.10.2012. Dokumentation
N.O. Eke, ed., Ehrenpromotion der Fakultät für Kulturwissenschaften der Universität Paderborn an Herta Müller. Paderborn, 29.10.2012. Dokumentation, Paderborn, 2013.
LibreCat
N.O. Eke, ed., Ehrenpromotion der Fakultät für Kulturwissenschaften der Universität Paderborn an Herta Müller. Paderborn, 29.10.2012. Dokumentation, Paderborn, 2013.