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.
37288 Publications
2021 | Book | LibreCat-ID: 52724
Becher, Andrea, and Christine Grewe. Stolpersteine Osnabrück. Projektmaterial für Grundschule und Sekundarstufe I. Osnabrück: Büro für Friedenskultur der Stadt Osnabrück, 2021.
LibreCat
2021 | Conference Paper | LibreCat-ID: 52928
Alrabbaa, Christian, Willi Hieke, and Anni-Yasmin Turhan. “Counter Model Transformation for Explaining Non-Subsumption in EL.” In Proceedings of the 7th Workshop on Formal and Cognitive Reasoning Co-Located with the 44th German Conference on Artificial Intelligence {(KI} 2021), September 28, 2021, edited by Christoph Beierle, Marco Ragni, Frieder Stolzenburg, and Matthias Thimm, 2961:9–22. CEUR Workshop Proceedings. CEUR-WS.org, 2021.
LibreCat
2021 | Conference Paper | LibreCat-ID: 52927
Gil, Oliver Fernández, and Anni-Yasmin Turhan. “Answering Regular Path Queries Under Approximate Semantics in Lightweight Description Logics.” In Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, IAAI 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, EAAI 2021, Virtual Event, February 2-9, 2021, 6340–6348. AAAI Press, 2021. https://doi.org/10.1609/AAAI.V35I7.16787.
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 52926
Dubslaff, Clemens, Patrick Koopmann, and Anni-Yasmin Turhan. “Enhancing Probabilistic Model Checking with Ontologies.” Formal Aspects Comput. 33, no. 6 (2021): 885–921. https://doi.org/10.1007/S00165-021-00549-0.
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 52929
Baader, Franz, Patrick Koopmann, Friedrich Michel, Anni-Yasmin Turhan, and Benjamin Zarrieß. “Efficient TBox Reasoning with Value Restrictions Using the \(\mathscrF\)\(\mathscrL\)\(_\mbox0\)Wer Reasoner.” CoRR abs/2107.12877 (2021).
LibreCat
2021 | Conference Paper | LibreCat-ID: 23880
Lammers, Stefan, Tobias Lieneke, and Detmar Zimmer. “Development of a Method to Derive Design Guidelines for Production-Suitable Support Structures in Metal Laser Powder Bed Fusion.” Austin, Texas, 2021.
LibreCat
2021 | Journal Article | LibreCat-ID: 53086
Zhang, Hao, Dennis Kaczmarek, Charlotte Rudolph, Steffen Schmitt, Nina Gaiser, Patrick Oßwald, Thomas Bierkandt, Tina Kasper, Burak Atakan, and Katharina Kohse-Höinghaus. “Dimethyl Ether (DME) and Dimethoxymethane (DMM) as Reaction Enhancers for Methane: Combining Flame Experiments with Model-Assisted Exploration of a Polygeneration Process.” Combustion and Flame 237 (2021). https://doi.org/10.1016/j.combustflame.2021.111863.
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 53085
Gaiser, Nina, Thomas Bierkandt, Patrick Oßwald, Julia Zinsmeister, Trupti Kathrotia, Shkelqim Shaqiri, Patrick Hemberger, Tina Kasper, Manfred Aigner, and Markus Köhler. “Oxidation of Oxymethylene Ether (OME0−5): An Experimental Systematic Study by Mass Spectrometry and Photoelectron Photoion Coincidence Spectroscopy.” Fuel 313 (2021). https://doi.org/10.1016/j.fuel.2021.122650.
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 53087
Hemberger, Patrick, Andras Bodi, Thomas Bierkandt, Markus Köhler, Dennis Kaczmarek, and Tina Kasper. “Photoelectron Photoion Coincidence Spectroscopy Provides Mechanistic Insights in Fuel Synthesis and Conversion.” Energy & Fuels 35, no. 20 (2021): 16265–302. https://doi.org/10.1021/acs.energyfuels.1c01712.
LibreCat
| DOI
2021 | Dissertation | LibreCat-ID: 6563 | 
Feldmann, Nadine. Ein modellbasiertes Messverfahren zur Charakterisierung von Piezokeramiken unter Verwendung eines einzelnen scheibenförmigen Probekörpers. Universität Paderborn, 2021. https://doi.org/10.17619/UNIPB/1-1264.
LibreCat
| DOI
| Download (ext.)