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.
4732 Publications
2013 | Conference Paper | LibreCat-ID: 25460
Höffner, Konrad, et al. “User Interface for a Template Based Question Answering System.” Knowledge Engineering and the Semantic Web - 4th International Conference, {KESW} 2013, St. Petersburg, Russia, October 7-9, 2013. Proceedings, edited by Pavel Klinov and Dmitry Mouromtsev, vol. 394, Springer, 2013, pp. 258–64, doi:10.1007/978-3-642-41360-5\_21.
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 25557
Qanadilo, Mona, et al. “Accelerating Online Model Checking.” 6’th Latin-American Symposium on Dependable Computing (LADC 2013), 2013.
LibreCat
2013 | Journal Article | LibreCat-ID: 25618
Jungmann, Alexander, et al. “Learning Service Recommendations.” International Journal of Business Process Integration and Management 6(4), 2013, pp. 284–97.
LibreCat
2013 | Misc | LibreCat-ID: 28215
Gausemeier, Jürgen. 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
2013 | Journal Article | LibreCat-ID: 28353
Müller, Mareike. “Conceptualizing Pronunciation as Part of Translingual/Transcultural Competence: New Impulses for SLA Research and the L2 Classroom.” Foreign Language Annals, vol. 46, no. 2, 2013, pp. 213–29, doi:10.1111/flan.12024.
LibreCat
| DOI
2013 | Book Chapter | LibreCat-ID: 28362
Müller, Mareike. “Pronunciation Training without the Native Speaker? Reframing Teaching and Learning Objectives in German as a Foreign Language Curricula.” Traditions and Transitions: Curricula for German Studies, edited by John L. Plews and Barbara Schmenk, Wilfrid Laurier University Press, 2013, pp. 105–24.
LibreCat
2013 | Book Chapter | LibreCat-ID: 28453
Biermann, Dirk, et al. “Foundations for Considering the Robustness within the CRC TRR 30.” Functionally Graded Materials in Industrial Mass Production | Volume 2, edited by Hans-Peter Heim et al., vol. 2, Verlag Wissenschaftliche Scripten, 2013, pp. 357–66.
LibreCat
2013 | Book Chapter | LibreCat-ID: 28456
Biermann, Dirk, et al. “Synthesis and Multi-Objective Model-Based Optimisation of Process Chains for Manufacturing Components with Functionally Graded Properties.” Functionally Graded Materials in Industrial Mass Production | Volume 2, edited by Hans-Peter Heim et al., vol. 2, Verlag Wissenschaftliche Scripten, 2013, pp. 341–56.
LibreCat
2013 | Conference Paper | LibreCat-ID: 28515
Petersen, Marcus, and J{\"u}rgen Gausemeier. A Comprehensive Framework for the Computer-Aided Planning and Optimisation of Manufacturing Processes for Functional Graded Components. Edited by George L Kovács and Detlef Kochan , Springer Cham Heidelberg New York Dordrecht London, 2013, pp. 413–22.
LibreCat
2013 | Journal Article | LibreCat-ID: 25740
He, Da, and Wolfgang Müller. “ A Heuristic Energy-Aware Approach for Hard Real-Time Systems on Multi-Core Platforms.” Microprocessors and Microsystems - Embedded Hardware Design 37(6-7), 2013, pp. 845–57.
LibreCat
2013 | Journal Article | LibreCat-ID: 26910
Goletzke, Janina, 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, 2013, pp. 918–25, doi:10.1017/s0007114512005867.
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 3176
Isenberg, Tobias, et al. “Bounded Model Checking of Graph Transformation Systems via {SMT} Solving.” 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, edited by Dirk Beyer and Michele Boreale, 2013, pp. 178--192, doi:10.1007/978-3-642-38592-6_13.
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 3177
Travkin, Oleg, et al. “{SPIN} as a Linearizability Checker under Weak Memory Models.” Hardware and Software: Verification and Testing - 9th International Haifa Verification Conference, {HVC} 2013, Haifa, Israel, November 5-7, 2013, Proceedings, edited by Valeria Bertacco and Axel Legay, 2013, pp. 311--326, doi:10.1007/978-3-319-03077-7_21.
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 3178
Dongol, Brijesh, et al. “A High-Level Semantics for Program Execution under Total Store Order Memory.” Theoretical Aspects of Computing - {ICTAC} 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings, edited by Zhiming Liu et al., 2013, pp. 177--194, doi:10.1007/978-3-642-39718-9_11.
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 21042
Christ, Andreas, et al. “Theory of Quantum Frequency Conversion and Type-II Parametric down-Conversion in the High-Gain Regime.” New Journal of Physics, vol. 15, 053038, 2013, doi:10.1088/1367-2630/15/5/053038.
LibreCat
| DOI
2013 | Book (Editor) | LibreCat-ID: 18706
Seng, Eva-Maria, and Gerd Brüne, editors. Der Kirchenbau zwischen Sakralisierung und Säkularisierung im 17./18. Jahrhundert und heute. Deutscher Kunstverlag, 2013.
LibreCat
2013 | Journal Article | LibreCat-ID: 18949
Seng, Eva-Maria. “‘Between Primitive Hut and Large Scale Housing: The Present of Utopia in Architecture’ .” Scottish Journal of Arts, Sciences and Scientific Studies, vol. Vol. 15, Issue II, 2013, pp. 47–66.
LibreCat
2013 | Journal Article | LibreCat-ID: 18952
Seng, Eva-Maria. “Artistik und Zirkus als immaterielles Kulturerbe. Was macht eine künstlerische Leistung zum immateriellen Kulturerbe?” Politik und Kultur. Zeitung des Deutschen Kulturrates , vol. Nr.3/13 Mai-Juni 2013, 2013, p. S. 21.
LibreCat
2013 | Book Chapter | LibreCat-ID: 18954
Seng, Eva-Maria. “Johann Georg Starcke.” Neue Deutsche Biographie Bd. 25, vol. 25, 2013, p. 66f.
LibreCat
2013 | Journal Article | LibreCat-ID: 18963
Seng, Eva-Maria. “Rekonstruktion des religiösen Ortes.” Die Welt und ihr Double. Abriss und Rekonstruktion, Bauhaus Lectures (im Druck), Bauhaus Lectures (im Druck), 2013.
LibreCat