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