Publikationen

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. (Hrsg.). International Joint Conferences on Artificial Intelligence, S. 5269-5273, 5 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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. (Hrsg.).S. 415–419, 5 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Classical Planning with Avoid ConditionsSteinmetz, M., Hoffmann, J., Kovtunova, A. & Borgwardt, S., 2022, Proc. of the 36th AAAI Conference on Artificial Intelligence (AAAI). S. 9944-9952, 9 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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. (Hrsg.). Institute of Electrical and Electronics Engineers Inc., S. 196-205, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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. (Hrsg.). Springer, Berlin [u. a.], S. 188-207, 20 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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., S. 84-91, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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. S. 787-792, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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. (Hrsg.). Klagenfurt, Wien, S. 151-152, 2 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• „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 weitere, 2022, in: VDI Berichte. 2022, 2387, S. 419-434, 16 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• 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. (Hrsg.). Association for Computing Machinery (ACM), New York, S. 168-179Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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. (Hrsg.). CEUR-WS.org, Band 3263. 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Embeddings of Task Mappings to Multicore SystemsGoens, A. & Castrillon, J., 2022, Embedded Computer Systems: Architectures, Modeling, and Simulation. Springer, Berlin [u. a.], S. 161-176, 16 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
• 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 weitere, 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. (Hrsg.). Springer Science and Business Media B.V., S. 175-203, 29 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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. S. 147-151, 5 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• ERMES: Efficient Racetrack Memory Emulation System based on FPGA.Spagnolo, F., Ullah, S., Corsonello, P. & Kumar, A., 2022, FPL. S. 342-349, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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. (Hrsg.). Springer, Berlin [u. a.], S. 271-280, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Explaining Hyperproperty ViolationsCoenen, N., Dachselt, R., Finkbeiner, B., Frenkel, H., Hahn, C., Horak, T., Metzger, N. & 1 weitere, 2022, Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part I. Shoham, S. & Vizel, Y. (Hrsg.). Springer Science and Business Media B.V., S. 407-429, 23 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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. (Hrsg.). Springer, Berlin [u. a.], S. 167-182, 16 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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. (Hrsg.).S. 23-28, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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. S. 5503-5511, 9 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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.orgElektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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)Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband