Publications

2022

• 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. & 5 others, 2022, Electroactive Polymer Actuators and Devices (EAPAD) XXIV. Anderson, I. A., Madden, J. D. W. & Shea, H. R. (eds.).16 p., 1204209Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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, Production at the Leading Edge of Technology: Proceedings of the 11th Congress of the German Academic Association for Production Technology (WGP), Dresden, September 2021. Springer, Cham, p. 525-534, 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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
• Finding Good Proofs for Answers to Conjunctive Queries Mediated by Lightweight OntologiesAlrabbaa, C., Borgwardt, S., Koopmann, P. & Kovtunova, A., 2022, Proceedings of the 35th International Workshop on Description Logics (DL 2022)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Finding Good Proofs for Answers to Conjunctive Queries Mediated by Lightweight Ontologies (Extended Abstract)Alrabbaa, C., Borgwardt, S., Koopmann, P. & Kovtunova, A., 2022, Informal Proceedings of the Explainable Logic-Based Knowledge Representation (XLoKR 2022) workshop: co-located with the 19th International Conference on Principles of Knowledge Representation and Reasoning (KR 2022), Haifa, Israel, July 31st. CEUR-WS.org, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries.Artale, A., Kontchakov, R., Kovtunova, A., Ryzhikov, V., Wolter, F. & Zakharyaschev, M., 2022, In: J. Artif. Intell. Res.. 75, p. 1223-1291, 69 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article