Publications

2022

• Capturing Homomorphism-Closed Decidable Queries with Existential Rules (Extended Abstract)Bourgaux, C., Carral, D., Krötzsch, M., Rudolph, S. & Thomazo, M., 2022, Proceedings of the 31st International Joint Conference on Artificial Intelligence, IJCAI 2022. De Raedt, L. & De Raedt, L. (eds.). International Joint Conferences on Artificial Intelligence, p. 5269-5273, 5 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Chasing Streams with Existential RulesUrbani, J., Krötzsch, M. & Eiter, T., 2022, Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning (KR 2022). Kern-Isberner, G., Lakemeyer, G. & Meyer, T. (eds.).p. 415–419, 5 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Classical Planning with Avoid ConditionsSteinmetz, M., Hoffmann, J., Kovtunova, A. & Borgwardt, S., 2022, Proc. of the 36th AAAI Conference on Artificial Intelligence (AAAI). p. 9944-9952, 9 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• CleAR Sight: Exploring the Potential of Interacting with Transparent Tablets in Augmented RealityKrug, K., Buschel, W., Klamka, K. & Dachselt, R., 2022, Proceedings - 2022 IEEE International Symposium on Mixed and Augmented Reality, ISMAR 2022. Duh, H., Williams, I., Grubert, J., Jones, J. A. & Zheng, J. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 196-205, 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Connection-Minimal Abduction in EL via Translation to FOLHaifani, F., Koopmann, P., Tourret, S. & Weidenbach, C., 2022, Automated Reasoning - 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings. Blanchette, J., Kovács, L. & Pattinson, D. (eds.). Springer, Berlin [u. a.], p. 188-207, 20 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Creative Sound Modeling with Signed Distance FieldsMende, T., Engeln, L., McGinity, M. & Groh, R., 2022, Mensch und Computer 2022 - Workshopband. Bonn: Gesellschaft für Informatik e.V.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• DECISION: Distributing OpenVX Applications on CPUs, GPUs and FPGAs using OpenCLKalms, L., Haering, T. & Goehringer, D., 2022, Proceedings - 2022 IEEE 36th International Parallel and Distributed Processing Symposium Workshops, IPDPSW 2022. Institute of Electrical and Electronics Engineers Inc., p. 84-91, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• DELTA: DEsigning a stealthy trigger mechanism for analog hardware trojans and its detection analysis.Gupta, N., Desai, M. S., Wijtvliet, M., Rai, S. & Kumar, A., 2022, DAC. p. 787-792, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Development of Informatics Competencies among (prospective) Primary School TeachersNenner, C., 2022, ISSEP 2022: 15th international conference on informatics in schools. Local proceedings. Bollin, A. & Futschek, G. (eds.). Klagenfurt, Wien, p. 151-152, 2 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• „Die Dresdner Methode“ Ein Baukasten zur ganzheitlichen Bewertung aktiver Sicherheitsund automatisierter FahrfunktionenMai, M., Bäumler, M., Lehmann, M., Siebke, C., Blenz, K., Prokop, G., Bönninger, J. & 1 others, 2022, In: VDI Berichte. 2022, 2387, p. 419-434, 16 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Dynamic Clock Reconfiguration for the Constrained IoT and its Application to Energy-efficient NetworkingRottleuthner, M., Schmidt, T. C. & Wählisch, M., 2022, EWSN '22: Proceedings of the 2022 International Conference on Embedded Wireless Systems and Networks. Ferscha, A., Chan, M. C., Kanhere, S. & Venkatesha Prasad, R. R. (eds.). Association for Computing Machinery (ACM), New York, p. 168-179Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Efficient TBox Reasoning with Value Restrictions Using the FL₀wer Reasoner (Extended Abstract)Baader, F., Koopmann, P., Michel, F., Turhan, A. & Zarrieß, B., 2022, Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7th to 10th, 2022. Arieli, O., Homola, M., Jung, J. C. & Mugnier, M. (eds.). CEUR-WS.org, Vol. 3263. 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Embeddings of Task Mappings to Multicore SystemsGoens, A. & Castrillon, J., 2022, Embedded Computer Systems: Architectures, Modeling, and Simulation. Springer, Berlin [u. a.], p. 161-176, 16 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• END-TRUE: Emerging Nanotechnology-Based Double-Throughput True Random Number GeneratorRai, S., Gupta, N., Bhattacharjee, A., Rupani, A., Raitza, M., Trommer, J., Mikolajick, T. & 1 others, 2022, VLSI-SoC: Technology Advancement on SoC Design - 29th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2021, Revised and Extended Selected Papers. Grimblatt, V., Chang, C. H., Chattopadhyay, A., Reis, R. & Calimera, A. (eds.). Springer Science and Business Media B.V., p. 175-203, 29 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• ENTANGLE: An Enhanced Logic-locking Technique for Thwarting SAT and Structural Attacks.Darjani, A., Kavand, N., Rai, S., Wijtvliet, M. & Kumar, A., 2022, ACM Great Lakes Symposium on VLSI. p. 147-151, 5 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• ERMES: Efficient Racetrack Memory Emulation System based on FPGA.Spagnolo, F., Ullah, S., Corsonello, P. & Kumar, A., 2022, FPL. p. 342-349, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Evonne: Interactive Proof Visualization for Description Logics (System Description)Alrabbaa, C., Baader, F., Borgwardt, S., Dachselt, R., Koopmann, P. & Méndez, J., 2022, Automated Reasoning - 11th International Joint Conference, IJCAR 2022, Proceedings. Blanchette, J., Kovács, L. & Pattinson, D. (eds.). Springer, Berlin [u. a.], p. 271-280, 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Explaining Description Logic Entailments with Evee and EvonneAlrabbaa, C., Borgwardt, S., Friese, T., Koopmann, P., Méndez, J. & Popovic, 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. 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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
• 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 OntologiesBorgwardt, S., Hoffmann, J., Kovtunova, A., Krötzsch, M., Nebel, B. & Steinmetz, M., 2022, Proceedings of the 36th AAAI Conference on Artificial Intelligence. p. 5503-5511, 9 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
• 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