Publications

2022

• Explaining Hyperproperty ViolationsCoenen, N., Dachselt, R., Finkbeiner, B., Frenkel, H., Hahn, C., Horak, T., Metzger, N. & 1 others, 2022, Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part I. Shoham, S. & Vizel, Y. (eds.). Springer Science and Business Media B.V., p. 407-429, 23 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Explaining Ontology-Mediated Query Answers Using Proofs over Universal ModelsAlrabbaa, C., Borgwardt, S., Koopmann, P. & Kovtunova, A., 2022, Proceedings of the 6th International Joint Conference on Rules and Reasoning (RuleML+RR’22). Governatori, G. & Turhan, A. (eds.). Springer, Berlin [u. a.], p. 167-182, 16 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Exploration strategies for articulatory synthesis of complex syllable onsetsvan Niekerk, D., Xu, A., Gerazov, B., Krug, P., Birkholz, P. & Xu, Y., 2022, Proceedings of the Annual Conference of the International Speech Communication Association, INTERSPEECH. Vol. 2022-September. p.  635-639, 5 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Exploring Standard-Cell Designs for Reconfigurable Nanotechnologies: A Formal Approach.Raitza, M., Märcker, S., Rai, S. & Kumar, A., 2022, Proceedings of the 2022 Design, Automation and Test in Europe Conference and Exhibition, DATE 2022. Bolchini, C., Verbauwhede, I. & Vatajelu, I. (eds.).p. 23-28, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Expressivity of Planning with Horn Description Logic Ontologies (Extended Abstract)Borgwardt, S., Hoffmann, J., Kovtunova, A., Krötzsch, M., Nebel, B. & Steinmetz, M., 2022, Proceedings of the 35th International Workshop on Description Logics (DL 2022). CEUR-WS.orgElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Extracting Operator Trees from Model EmbeddingsReusch, A. & Lehner, W., 2022, MathNLP 2022 - 1st Workshop on Mathematical Natural Language Processing, Proceedings of the Workshop. Association for Computational Linguistics (ACL), p. 40-50, 11 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Fabrication of piezoresistive devices based on dielectric elastomers via ultrasonic sprayingYi, J., Ciarella, L., Shamraienko, V., Babick, F., Borin, D. Y., Scharff, M., Ni, J. & 3 others, 2022, In: Proceedings of SPIE : Vol. 9798. 12042, 1204209Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Feature Engineering for Machine Learning using a Software-Based Approach for Machining OperationsDementyev, A., Kolar, P., Benesch, M., Teicher, U., Pätzold, R. & Ihlenfeldt, S., 2022, Lecture Notes in Production Engineering. Springer Nature, p. 525-534, 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• Ferrogel-basierter piezoresistiver Sensor zur Umweltüberwachung von SchwermetallenMieting, A., Franke, D., Günther, M. & Gerlach, G., 2022, 4 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Filter and Controller Identification for Stability Analysis of a Grid-Connected 3-Phase PV InverterIqbal, Z., Djokic, S. Z., Meyer, J., Muller, S. & Kaufhold, E., 2022, ICHQP 2022 - 2022 20th International Conference on Harmonics and Quality of Power: Power Quality in the Energy Transition. IEEE Computer SocietyElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution