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.
37287 Publications
2021 | Conference Paper | LibreCat-ID: 52928
C. Alrabbaa, W. Hieke, and A.-Y. 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, 2021, vol. 2961, pp. 9–22.
LibreCat
2021 | Conference Paper | LibreCat-ID: 52927
O. F. Gil and A.-Y. 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, 2021, pp. 6340–6348, doi: 10.1609/AAAI.V35I7.16787.
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 52926
C. Dubslaff, P. Koopmann, and A.-Y. Turhan, “Enhancing Probabilistic Model Checking with Ontologies,” Formal Aspects Comput., vol. 33, no. 6, pp. 885–921, 2021, doi: 10.1007/S00165-021-00549-0.
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 52929
F. Baader, P. Koopmann, F. Michel, A.-Y. Turhan, and B. Zarrieß, “Efficient TBox Reasoning with Value Restrictions using the \(\mathscrF\)\(\mathscrL\)\(_\mbox0\)wer reasoner,” CoRR, vol. abs/2107.12877, 2021.
LibreCat
2021 | Conference Paper | LibreCat-ID: 23880
S. Lammers, T. Lieneke, and D. Zimmer, “Development of a Method to Derive Design Guidelines for Production-suitable Support Structures in Metal Laser Powder Bed Fusion,” 2021.
LibreCat
2021 | Journal Article | LibreCat-ID: 53086
H. Zhang et al., “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, vol. 237, Art. no. 111863, 2021, doi: 10.1016/j.combustflame.2021.111863.
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 53085
N. Gaiser et al., “Oxidation of oxymethylene ether (OME0−5): An experimental systematic study by mass spectrometry and photoelectron photoion coincidence spectroscopy,” Fuel, vol. 313, Art. no. 122650, 2021, doi: 10.1016/j.fuel.2021.122650.
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 53087
P. Hemberger, A. Bodi, T. Bierkandt, M. Köhler, D. Kaczmarek, and T. Kasper, “Photoelectron Photoion Coincidence Spectroscopy Provides Mechanistic Insights in Fuel Synthesis and Conversion,” Energy & Fuels, vol. 35, no. 20, pp. 16265–16302, 2021, doi: 10.1021/acs.energyfuels.1c01712.
LibreCat
| DOI
2021 | Dissertation | LibreCat-ID: 6563 | 
N. Feldmann, Ein modellbasiertes Messverfahren zur Charakterisierung von Piezokeramiken unter Verwendung eines einzelnen scheibenförmigen Probekörpers. Universität Paderborn, 2021.
LibreCat
| DOI
| Download (ext.)
2021 | Conference Paper | LibreCat-ID: 52849
S. Podworny et al., “Using data cards for teaching data based decision trees in middle school,” 2021, doi: 10.1145/3488042.3489966.
LibreCat
| DOI