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.
4703 Publications
2014 | Book Chapter | LibreCat-ID: 54137
Meyer-Hamme, J. (2014). Geschichtskultur: Extremfall Holocaust Comics. In B. von Borries (Ed.), Zwischen „Genuss“ und „Ekel“. Ästhetik und Emotionalität als konstitutive Merkmale historischen Lernens (pp. 92–127).
LibreCat
2014 | Journal Article | LibreCat-ID: 46433
Topalović, E., & Dünschede, S. (2014). Weil Grammatik im Lehrplan steht? Bundesweite Umfrage zum Grammatikunterricht in der Schule. . Der Deutschunterricht, 4/2014, 76–81.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25451
Speck, R., & Ngonga Ngomo, A.-C. (2013). On Caching for Local Graph Clustering Algorithms. In S. Cranefield & A. C. Nayak (Eds.), {AI} 2013: Advances in Artificial Intelligence - 26th Australasian Joint Conference, Dunedin, New Zealand, December 1-6, 2013. Proceedings (Vol. 8272, pp. 56–67). Springer. https://doi.org/10.1007/978-3-319-03680-9\_6
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 25459
Saleem, M., S. Padmanabhuni, S., Ngonga Ngomo, A.-C., S. Almeida, J., Decker, S., & F. Deus, H. (2013). Linked cancer genome atlas database. In M. Sabou, E. Blomqvist, T. Di Noia, H. Sack, & T. Pellegrini (Eds.), {I-SEMANTICS} 2013 - 9th International Conference on Semantic Systems, {ISEM} ’13, Graz, Austria, September 4-6, 2013 (pp. 129–134). {ACM}. https://doi.org/10.1145/2506182.2506200
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 25460
Höffner, K., Unger, C., Bühmann, L., Lehmann, J., Ngonga Ngomo, A.-C., Gerber, D., & Cimiano, P. (2013). User Interface for a Template Based Question Answering System. In P. Klinov & D. Mouromtsev (Eds.), Knowledge Engineering and the Semantic Web - 4th International Conference, {KESW} 2013, St. Petersburg, Russia, October 7-9, 2013. Proceedings (Vol. 394, pp. 258–264). Springer. https://doi.org/10.1007/978-3-642-41360-5\_21
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 25557
Qanadilo, M., Samara, S., & Zhao, Y. (2013). Accelerating Online Model Checking. 6’th Latin-American Symposium on Dependable Computing (LADC 2013).
LibreCat
2013 | Journal Article | LibreCat-ID: 25618
Jungmann, A., Kleinjohann, B., & Kleinjohann, L. (2013). Learning Service Recommendations. International Journal of Business Process Integration and Management 6(4), 284–297.
LibreCat
2013 | Misc | LibreCat-ID: 28215
Gausemeier, J. (2013). Vorausschau und Technologieplanung. 9. Symposium für Vorausschau und Technologieplanung, Heinz Nixdorf Institut, 5. und 6. Dezember 2013 (Vol. 318). Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn.
LibreCat
2013 | Journal Article | LibreCat-ID: 28353
Müller, M. (2013). Conceptualizing pronunciation as part of translingual/transcultural competence: New impulses for SLA research and the L2 classroom. Foreign Language Annals, 46(2), 213–229. https://doi.org/10.1111/flan.12024
LibreCat
| DOI
2013 | Book Chapter | LibreCat-ID: 28362
Müller, M. (2013). Pronunciation training without the native speaker? Reframing teaching and learning objectives in German as a Foreign Language curricula. In J. L. Plews & B. Schmenk (Eds.), Traditions and Transitions: Curricula for German Studies (pp. 105–124). Wilfrid Laurier University Press.
LibreCat
2013 | Book Chapter | LibreCat-ID: 28453
Biermann, D., Gausemeier, J., Hess, S., K{\, D., Petersen, M., & Wagner, T. (2013). Foundations for Considering the Robustness within the CRC TRR 30. In H.-P. Heim, Dirk Biermann, & W. Homberg (Eds.), Functionally Graded Materials in Industrial Mass Production | Volume 2 (Vol. 2, pp. 357–366). Verlag Wissenschaftliche Scripten.
LibreCat
2013 | Book Chapter | LibreCat-ID: 28456
Biermann, D., Gausemeier, J., Hess, S., Petersen, M., & Wagner, T. (2013). Synthesis and Multi-Objective Model-based Optimisation of Process Chains for Manufacturing Components with Functionally Graded Properties. In H.-P. Heim, D. Biermann, & W. Homberg (Eds.), Functionally Graded Materials in Industrial Mass Production | Volume 2 (Vol. 2, pp. 341–356). Verlag Wissenschaftliche Scripten.
LibreCat
2013 | Conference Paper | LibreCat-ID: 28515
Petersen, M., & Gausemeier, J. (2013). A Comprehensive Framework for the Computer-Aided Planning and Optimisation of Manufacturing Processes for Functional Graded Components (G. L. Kovács & D. Kochan , Eds.; pp. 413–422). Springer Cham Heidelberg New York Dordrecht London.
LibreCat
2013 | Journal Article | LibreCat-ID: 25740
He, D., & Müller, W. (2013). A heuristic energy-aware approach for hard real-time systems on multi-core platforms. Microprocessors and Microsystems - Embedded Hardware Design 37(6-7), 845–857.
LibreCat
2013 | Journal Article | LibreCat-ID: 26910
Goletzke, J., Buyken, A., Gopinath, B., Rochtchina, E., Barclay, A. W., Cheng, G., Brand-Miller, J. C., & Mitchell, P. (2013). Carbohydrate quality is not associated with liver enzyme activity and plasma TAG and HDL concentrations over 5 years in an older population. British Journal of Nutrition, 918–925. https://doi.org/10.1017/s0007114512005867
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 3176
Isenberg, T., Steenken, D., & Wehrheim, H. (2013). Bounded Model Checking of Graph Transformation Systems via {SMT} Solving. 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 (pp. 178--192). https://doi.org/10.1007/978-3-642-38592-6_13
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 3177
Travkin, O., Mütze, A., & Wehrheim, H. (2013). {SPIN} as a Linearizability Checker under Weak Memory Models. 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 (pp. 311--326). https://doi.org/10.1007/978-3-319-03077-7_21
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 3178
Dongol, B., Travkin, O., Derrick, J., & Wehrheim, H. (2013). A High-Level Semantics for Program Execution under Total Store Order Memory. In Z. Liu, J. Woodcock, & H. Zhu (Eds.), Theoretical Aspects of Computing - {ICTAC} 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings (pp. 177--194). https://doi.org/10.1007/978-3-642-39718-9_11
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 21042
Christ, A., Brecht, B., Mauerer, W., & Silberhorn, C. (2013). Theory of quantum frequency conversion and type-II parametric down-conversion in the high-gain regime. New Journal of Physics, 15. https://doi.org/10.1088/1367-2630/15/5/053038
LibreCat
| DOI
2013 | Book (Editor) | LibreCat-ID: 18706
Seng, E.-M., & Brüne, G. (Eds.). (2013). Der Kirchenbau zwischen Sakralisierung und Säkularisierung im 17./18. Jahrhundert und heute. Berlin, München: Deutscher Kunstverlag.
LibreCat