2021

• First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal LogicArtale, A., Kontchakov, R., Kovtunova, A., Ryzhikov, V., Wolter, F. & Zakharyaschev, M., Oct 2021, In: Artificial intelligence. 299, 103536Electronic (full-text) versionResearch output: Contribution to journal > Research article
• From LTL to unambiguous Büchi automata via disambiguation of alternating automataJantsch, S., Müller, D., Baier, C. & Klein, J., Oct 2021, In: Formal Methods in System Design. 58, 1-2, p. 42–82, 41 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Identification of urban cellular structures for flexible heat and temperature distribution in district heating networksFelsmann, C., Mann, L. & Boß, V., Oct 2021, In: Energy reports. 7, p. 9-17, 9 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Impact of bed motion on the wall-to-bed heat transfer for powders in a rotary kiln and effect of built-insMoumin, G., Tescari, S. & Sattler, C., Oct 2021, In: International Journal of Heat and Mass Transfer. 177, 121473Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Interfacial flow of a surfactant-laden interface under asymmetric shear flowEftekhari, M., Schwarzenberger, K., Heitkam, S. & Eckert, K., Oct 2021, In: Journal of colloid and interface science. 599, p. 837-848, 12 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Network Planning and Coverage Optimization for Mobile Campus NetworksKrause, A., Anwar, W., Martinez, A., Stachorra, D., Fettweis, G. & Franchi, N., Oct 2021, Proceedings - 2021 IEEE 4th 5G World Forum, 5GWF 2021. p. 305-310, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• New Approach for Monitoring a Direct Laser Interference Patterning Process Using a Combination of an Infrared Camera and a Diffraction Measurement SystemSchroeder, N., Teutoburg-Weiss, S., Vergara, G. & Lasagni, A. F., Oct 2021, In: Journal of laser micro nanoengineering. 16, 2, p. 130-137, 8 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Optimization of district heating network designSchmidt, J. & Stange, P., Oct 2021, In: Energy reports. 7, Suppl 4, p. 97-104, 8 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Power-Aware Runtime Scheduler for Mixed-Criticality Systems on Multicore Platform.Ranjbar, B., Nguyen, T. D. A., Ejlali, A. & Kumar, A., Oct 2021, In:  IEEE transactions on computer-aided design of integrated circuits and systems : CAD. 40, 10, p. 2009-2023, 15 p., 10Electronic (full-text) versionResearch output: Contribution to journal > Research article
• The effect of Ti or Zr additions on the microstructure and magnetic properties of MnAl-C alloysFeng, L., Nielsch, K. & Woodcock, T. G., Oct 2021, In: Results in physics. 29, 104756Electronic (full-text) versionResearch output: Contribution to journal > Research article