Publications

2022

• Optimal ABox Repair w.r.t. Static ℰℒ TBoxes: from Quantified ABoxes back to ABoxes (Extended Abstract) (Slides)Baader, F., Kriegel, F., Koopmann, P. & Nuradiansyah, A., 7 Aug 2022Electronic (full-text) versionResearch output: Contribution to conferences > Presentation slides
• Synthesis of micro- and nanosheets of CrCl₃-RuCl₃ solid solution by chemical vapour transportFroeschke, S., Wolf, D., Hantusch, M., Giebeler, L., Wels, M., Gräßler, N., Büchner, B. & 2 others, 7 Aug 2022, In: Nanoscale. 14, 29, p. 10483-10492, 10 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Synthesis of Novel Ruthenium-Polymetallaynes and Their Application in Multistate Electrochromic MemoryHo, P. Y., Dmitrieva, E., Sun, N., Guskova, O. & Lissel, F. S., 5 Aug 2022, In: Advanced materials technologies. 7, 12, 2200316Electronic (full-text) versionResearch output: Contribution to journal > Research article
• End-to-end performance assessment of a 3D network for 6G connectivity on Mars surfaceBonafini, S., Sacchi, C., Bassoli, R., Kondepu, K., Granelli, F. & Fitzek, F. H., 4 Aug 2022, In: Computer Networks. 213, 109079Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Modellierung von elektrischen Energieübertragungssystemen im Zeitbereich bei der Bereitstellung von SystemdienstleistungenEcklebe, S., Krahmer, S., Röbenack, K. & Schegner, P., 4 Aug 2022, In: at - Automatisierungstechnik. 70, 8, p. 705-718, 14 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Can transparent materials emit visible light?Vaynzof, Y., 3 Aug 2022, In: Matter. 5, 8, p. 2442-2444, 3 p.Electronic (full-text) versionResearch output: Contribution to journal > Comment/Debate
• Electrochemical Patterning of Cu Current Collectors: An Enabler for Pure Silicon Anodes in High-Energy Lithium-Ion BatteriesSchlaier, J., Cangaz, S., Maletti, S., Heubner, C., Abendroth, T., Schneider, M., Kaskel, S. & 1 others, 3 Aug 2022, In: Advanced materials interfaces. 9, 22, 2200507Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Deciding Hyperproperties Combined with Functional SpecificationsBeutner, R., Carral, D., Finkbeiner, B., Hofmann, J. & Krötzsch, M., 2 Aug 2022, Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2022). Baier, C. & Fisman, D. (eds.). ACM Press, p. 56:1–56:13, 3533369Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Endless fibre-reinforced composite-metal impeller: High-speed burst testing - damage and failure analysisSpitzer, S., Grothe, R., Gude, M., Pohl, M. & Hermerath, P., 2 Aug 2022, 9 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Endless fibre-reinforced composite-metal impeller: Investigation and comparison of the damping behaviourPohl, M., Spitzer, S., Dannemann, M., Hermerath, P., König, R., Langkamp, A. & Gude, M., 2 Aug 2022, 9 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper