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.
4725 Publications
2014 | Book Chapter | LibreCat-ID: 35052
Süßmann, Johannes. “Jesuitenhochschule und Fürstbistum. Zur Bedeutung der Theodoriana für den Erhalt des Fürstbistums Paderborn.” Die Academia Theodoriana. Von der Jesuitenuniversität zur Theologischen Fakultät Paderborn 1614–2014, edited by Josef Meyer zu Schlochtern, Ferdinand Schöningh, 2014, pp. 101–117, doi:https://doi.org/10.30965/9783657779765_009.
LibreCat
| DOI
| Download (ext.)
2013 | Conference Paper | LibreCat-ID: 25451
Speck, René, and Axel-Cyrille Ngonga Ngomo. “On Caching for Local Graph Clustering Algorithms.” {AI} 2013: Advances in Artificial Intelligence - 26th Australasian Joint Conference, Dunedin, New Zealand, December 1-6, 2013. Proceedings, edited by Stephen Cranefield and Abhaya C. Nayak, vol. 8272, Springer, 2013, pp. 56–67, doi:10.1007/978-3-319-03680-9\_6.
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 25459
Saleem, Muhammad, et al. “Linked Cancer Genome Atlas Database.” {I-SEMANTICS} 2013 - 9th International Conference on Semantic Systems, {ISEM} ’13, Graz, Austria, September 4-6, 2013, edited by Marta Sabou et al., {ACM}, 2013, pp. 129–34, doi:10.1145/2506182.2506200.
LibreCat
| DOI
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