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
@inbook{Meyer-Hamme_2014, place={Schwalbach/Ts.}, title={Geschichtskultur: Extremfall Holocaust Comics}, booktitle={Zwischen „Genuss“ und „Ekel“. Ästhetik und Emotionalität als konstitutive Merkmale historischen Lernens}, author={Meyer-Hamme, Johannes}, editor={von Borries, Bodo}, year={2014}, pages={92–127} }
LibreCat
2014 | Journal Article | LibreCat-ID: 46433
@article{Topalović_Dünschede_2014, title={Weil Grammatik im Lehrplan steht? Bundesweite Umfrage zum Grammatikunterricht in der Schule. }, number={4/2014}, journal={Der Deutschunterricht}, publisher={Friedrich Verlag}, author={Topalović, Elvira and Dünschede, Susanne}, year={2014}, pages={76–81} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 25451
@inproceedings{Speck_Ngonga Ngomo_2013, series={Lecture Notes in Computer Science}, title={On Caching for Local Graph Clustering Algorithms}, volume={8272}, DOI={10.1007/978-3-319-03680-9\_6}, booktitle={{AI} 2013: Advances in Artificial Intelligence - 26th Australasian Joint Conference, Dunedin, New Zealand, December 1-6, 2013. Proceedings}, publisher={Springer}, author={Speck, René and Ngonga Ngomo, Axel-Cyrille}, editor={Cranefield, Stephen and C. Nayak, Abhaya}, year={2013}, pages={56–67}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 25459
@inproceedings{Saleem_S. Padmanabhuni_Ngonga Ngomo_S. Almeida_Decker_F. Deus_2013, title={Linked cancer genome atlas database}, DOI={10.1145/2506182.2506200}, booktitle={{I-SEMANTICS} 2013 - 9th International Conference on Semantic Systems, {ISEM} ’13, Graz, Austria, September 4-6, 2013}, publisher={{ACM}}, author={Saleem, Muhammad and S. Padmanabhuni, Shanmukha and Ngonga Ngomo, Axel-Cyrille and S. Almeida, Jonas and Decker, Stefan and F. Deus, Helena}, editor={Sabou, Marta and Blomqvist, Eva and Di Noia, Tommaso and Sack, Harald and Pellegrini, Tassilo}, year={2013}, pages={129–134} }
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 25460
@inproceedings{Höffner_Unger_Bühmann_Lehmann_Ngonga Ngomo_Gerber_Cimiano_2013, series={Communications in Computer and Information Science}, title={User Interface for a Template Based Question Answering System}, volume={394}, DOI={10.1007/978-3-642-41360-5\_21}, booktitle={Knowledge Engineering and the Semantic Web - 4th International Conference, {KESW} 2013, St. Petersburg, Russia, October 7-9, 2013. Proceedings}, publisher={Springer}, author={Höffner, Konrad and Unger, Christina and Bühmann, Lorenz and Lehmann, Jens and Ngonga Ngomo, Axel-Cyrille and Gerber, Daniel and Cimiano, Philipp}, editor={Klinov, Pavel and Mouromtsev, Dmitry}, year={2013}, pages={258–264}, collection={Communications in Computer and Information Science} }
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 25557
@inproceedings{Qanadilo_Samara_Zhao_2013, title={Accelerating Online Model Checking}, booktitle={6’th Latin-American Symposium on Dependable Computing (LADC 2013)}, author={Qanadilo, Mona and Samara, Sufyan and Zhao, Yuhong}, year={2013} }
LibreCat
2013 | Journal Article | LibreCat-ID: 25618
@article{Jungmann_Kleinjohann_Kleinjohann_2013, title={Learning Service Recommendations}, journal={International Journal of Business Process Integration and Management 6(4)}, author={Jungmann, Alexander and Kleinjohann, Bernd and Kleinjohann, Lisa}, year={2013}, pages={284–297} }
LibreCat
2013 | Misc | LibreCat-ID: 28215
@book{Gausemeier_2013, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, title={Vorausschau und Technologieplanung. 9. Symposium für Vorausschau und Technologieplanung, Heinz Nixdorf Institut, 5. und 6. Dezember 2013}, volume={318}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, author={Gausemeier, Jürgen}, year={2013}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn} }
LibreCat
2013 | Journal Article | LibreCat-ID: 28353
@article{Müller_2013, title={Conceptualizing pronunciation as part of translingual/transcultural competence: New impulses for SLA research and the L2 classroom}, volume={46}, DOI={10.1111/flan.12024}, number={2}, journal={Foreign Language Annals}, author={Müller, Mareike}, year={2013}, pages={213–229} }
LibreCat
| DOI
2013 | Book Chapter | LibreCat-ID: 28362
@inbook{Müller_2013, place={Waterloo}, title={Pronunciation training without the native speaker? Reframing teaching and learning objectives in German as a Foreign Language curricula}, booktitle={Traditions and Transitions: Curricula for German Studies}, publisher={Wilfrid Laurier University Press}, author={Müller, Mareike}, editor={Plews, John L. and Schmenk, Barbara}, year={2013}, pages={105–124} }
LibreCat
2013 | Book Chapter | LibreCat-ID: 28453
@inbook{Biermann_Gausemeier_Hess_K{\_Petersen_Wagner_2013, series={Functionally Graded Materials in Industrial Mass Production}, title={Foundations for Considering the Robustness within the CRC TRR 30}, volume={2}, booktitle={Functionally Graded Materials in Industrial Mass Production | Volume 2}, publisher={Verlag Wissenschaftliche Scripten}, author={Biermann, Dirk and Gausemeier, J{\"u}rgen and Hess, Stefan and K{\, Daniel and Petersen, Marcus and Wagner, T}, editor={Heim, Hans-Peter and Biermann, Dirk and Homberg, Werner}, year={2013}, pages={357–366}, collection={Functionally Graded Materials in Industrial Mass Production} }
LibreCat
2013 | Book Chapter | LibreCat-ID: 28456
@inbook{Biermann_Gausemeier_Hess_Petersen_Wagner_2013, series={Functionally Graded Materials in Industrial Mass Production}, title={Synthesis and Multi-Objective Model-based Optimisation of Process Chains for Manufacturing Components with Functionally Graded Properties}, volume={2}, booktitle={Functionally Graded Materials in Industrial Mass Production | Volume 2}, publisher={Verlag Wissenschaftliche Scripten}, author={Biermann, Dirk and Gausemeier, J{\"u}rgen and Hess, Stefan and Petersen, Marcus and Wagner, T}, editor={Heim, Hans-Peter and Biermann, Dirk and Homberg, Werner}, year={2013}, pages={341–356}, collection={Functionally Graded Materials in Industrial Mass Production} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 28515
@article{Petersen_Gausemeier_2013, series={IFIP Advances in Information and Communication Technology}, title={A Comprehensive Framework for the Computer-Aided Planning and Optimisation of Manufacturing Processes for Functional Graded Components}, publisher={Springer Cham Heidelberg New York Dordrecht London}, author={Petersen, Marcus and Gausemeier, J{\"u}rgen}, editor={Kovács, George L and Kochan , Detlef}, year={2013}, pages={413–422}, collection={IFIP Advances in Information and Communication Technology} }
LibreCat
2013 | Journal Article | LibreCat-ID: 25740
@article{He_Müller_2013, title={ A heuristic energy-aware approach for hard real-time systems on multi-core platforms}, journal={Microprocessors and Microsystems - Embedded Hardware Design 37(6-7)}, author={He, Da and Müller, Wolfgang}, year={2013}, pages={845–857} }
LibreCat
2013 | Journal Article | LibreCat-ID: 26910
@article{Goletzke_Buyken_Gopinath_Rochtchina_Barclay_Cheng_Brand-Miller_Mitchell_2013, title={Carbohydrate quality is not associated with liver enzyme activity and plasma TAG and HDL concentrations over 5 years in an older population}, DOI={10.1017/s0007114512005867}, journal={British Journal of Nutrition}, author={Goletzke, Janina and Buyken, Anette and Gopinath, Bamini and Rochtchina, Elena and Barclay, Alan W. and Cheng, Guo and Brand-Miller, Jennie C. and Mitchell, Paul}, year={2013}, pages={918–925} }
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 3176
@inproceedings{Isenberg_Steenken_Wehrheim_2013, series={Lecture Notes in Computer Science}, title={Bounded Model Checking of Graph Transformation Systems via {SMT} Solving}, DOI={10.1007/978-3-642-38592-6_13}, booktitle={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}, author={Isenberg, Tobias and Steenken, Dominik and Wehrheim, Heike}, editor={Beyer, Dirk and Boreale, MicheleEditors}, year={2013}, pages={178--192}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 3177
@inproceedings{Travkin_Mütze_Wehrheim_2013, series={Lecture Notes in Computer Science}, title={{SPIN} as a Linearizability Checker under Weak Memory Models}, DOI={10.1007/978-3-319-03077-7_21}, booktitle={Hardware and Software: Verification and Testing - 9th International Haifa Verification Conference, {HVC} 2013, Haifa, Israel, November 5-7, 2013, Proceedings}, author={Travkin, Oleg and Mütze, Annika and Wehrheim, Heike}, editor={Bertacco, Valeria and Legay, AxelEditors}, year={2013}, pages={311--326}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 3178
@inproceedings{Dongol_Travkin_Derrick_Wehrheim_2013, series={Lecture Notes in Computer Science}, title={A High-Level Semantics for Program Execution under Total Store Order Memory}, DOI={10.1007/978-3-642-39718-9_11}, booktitle={Theoretical Aspects of Computing - {ICTAC} 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings}, author={Dongol, Brijesh and Travkin, Oleg and Derrick, John and Wehrheim, Heike}, editor={Liu, Zhiming and Woodcock, Jim and Zhu, HuibiaoEditors}, year={2013}, pages={177--194}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 21042
@article{Christ_Brecht_Mauerer_Silberhorn_2013, title={Theory of quantum frequency conversion and type-II parametric down-conversion in the high-gain regime}, volume={15}, DOI={10.1088/1367-2630/15/5/053038}, number={053038}, journal={New Journal of Physics}, author={Christ, Andreas and Brecht, Benjamin and Mauerer, Wolfgang and Silberhorn, Christine}, year={2013} }
LibreCat
| DOI
2013 | Book (Editor) | LibreCat-ID: 18706
@book{Seng_Brüne_2013, place={Berlin, München}, title={Der Kirchenbau zwischen Sakralisierung und Säkularisierung im 17./18. Jahrhundert und heute}, publisher={Deutscher Kunstverlag}, year={2013} }
LibreCat