Publications

2023

• Combining Proofs for Description Logic and Concrete Domain ReasoningAlrabbaa, C., Baader, F., Borgwardt, S., Koopmann, P. & Kovtunova, A., 2023, Rules and Reasoning: 7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18–20, 2023, Proceedings. Fensel, A., Ozaki, A., Roman, D. & Soylu, A. (eds.).p. 54-69, 16 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Combining Proofs for Description Logic and Concrete Domain Reasoning (Extended Abstract)Alrabbaa, C., Baader, F., Borgwardt, S., Koopmann, P. & Kovtunova, A., 2023, Informal Proceedings of the Explainable Logic-Based Knowledge Representation (XLoKR 2023) workshop: co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023), Rhodes, Greece, September 2nd. 7 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Comparing and Improving Active Learning Uncertainty Measures for Transformer ModelsGonsior, J., Falkenberg, C., Magino, S., Reusch, A., Hartmann, C., Thiele, M. & Lehner, W., 2023, Advances in Databases and Information Systems - 27th European Conference, ADBIS 2023, Proceedings. Abelló, A., Romero, O., Vassiliadis, P. & Wrembel, R. (eds.). Springer Science and Business Media B.V., p. 119-132, 14 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Compiler-Assisted Kernel Selection for FPGA-based Near-Memory Computing PlatformsIskandar, V., El Ghany, M. A. & Goehringer, D., 2023, Proceedings - 31st IEEE International Symposium on Field-Programmable Custom Computing Machines, FCCM 2023. Institute of Electrical and Electronics Engineers Inc., p. 222, 1 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Compression-Aware and Performance-Efficient Insertion Policies for Long-Lasting Hybrid LLCsEscuin, C., Khan, A. A., Ibanez, P., Monreal, T., Castrillon, J. & Vinals, V., 2023, 2023 IEEE International Symposium on High-Performance Computer Architecture, HPCA 2023 - Proceedings. IEEE Computer Society, p. 179-192, 14 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Computing ABox Justifications for Query Answers via Datalog RewritingKovtunova, A., Borgwardt, S. & Breuer, S., 2023, Proceedings of the 36th International Workshop on Description Logics: DL 2023, September 2-4, 2023. Rhodes, GreeceResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Connecting Proof Theory and Knowledge Representation: Sequent Calculi and the Chase with Existential RulesLyon, T. & Ostropolski-Nalewaja, P., 2023, Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning. Marquis, P., Son, T. C. & Kern-Isberner, G. (eds.). IJCAI Inc, p. 769-773, 5 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Cost-based Virtual Machine Scheduling for Data-as-a-Service Alves de Oliveira, A. C., Spohn, M. A., Fetzer, C., Le Quoc, D. & Martin, A., 2023, In:  Journal of universal computer science : JUCS. 29, 12, p. 1461-1481, 21 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Deciding Subsumption in Defeasible ELI_⊥ with Typicality ModelsCâmara, I. D. C. E. S. & Turhan, A., 2023, Logics in Artificial Intelligence: 18th European Conference, JELIA 2023, Dresden, Germany, September 20–22, 2023, Proceedings. Gaggl, S., Martinez, M. V., Ortiz, M. & Ortiz, M. (eds.). Springer, p. 531-546, 16 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Deep Reinforcement Learning for the Joint Control of Traffic Light Signaling and Vehicle Speed AdviceBusch, J. V., Voelckner, R., Sossalla, P., Vielhaus, C. L., Calandra, R. & Fitzek, F. H., 2023, 22nd IEEE International Conference on Machine Learning and Applications, ICMLA 2023. Arif Wani, M., Boicu, M., Sayed-Mouchaweh, M., Abreu, P. H. & Gama, J. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 182-187, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Derivation-Graph-Based Characterizations of Decidable Existential Rule SetsLyon, T. & Rudolph, S., 2023, Logics in Artificial Intelligence - 18th European Conference, JELIA 2023, Proceedings: 18th European Conference, JELIA 2023, Dresden, Germany, September 20–22, 2023, Proceedings. Gaggl, S., Martinez, M. V. & Ortiz, M. (eds.).p. 369-384, 16 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Design Enablement Flow for Circuits with Inherent Obfuscation based on Reconfigurable TransistorsTrommer, J., Bhattacharjee, N., Mikolajick, T., Huhn, S., Merten, M., Djeridane, M. E., Hassan, M. & 9 others, 2023, 2023 Design, Automation and Test in Europe Conference and Exhibition, DATE 2023 - Proceedings. Institute of Electrical and Electronics Engineers Inc.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Designing Technology for Neurodivergent Self-determination: Challenges and OpportunitiesGollasch, D., Branig, M., Gerling, K., Gulliksen, J., Metatla, O., Spiel, K. & Weber, G., 2023, Human-Computer Interaction – INTERACT 2023: 19th IFIP TC13 International Conference, York, UK, August 28 – September 1, 2023, Proceedings, Part IV. Abdelnour Nocera, J., Kristín Lárusdóttir, M., Petrie, H., Piccinno, A. & Winckler, M. (eds.). Springer, Berlin [u. a.], p. 621-626, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• Design Space Exploration for CNN Offloading to FPGAs at the EdgeKorol, G., Jordan, M. G., Rutzig, M. B., Castrillon, J. & Beck, A. C. S., 2023, 2023 IEEE Computer Society Annual Symposium on VLSI, ISVLSI 2023 - Proceedings. Kastensmidt, F., Reis, R., Todri-Sanial, A., Li, H. & Metzler, C. (eds.). IEEE Computer Society, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• DiNeROS: A Model-Driven Framework for Verifiable ROS Applications with Petri NetsEbert, S., Mey, J., Schone, R., Gotz, S. & Assmann, U., 2023, Proceedings - 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C 2023. Institute of Electrical and Electronics Engineers Inc., p. 791-800, 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• EditorialGrillenberger, A., Peer, S., Schulz, S. & Michaeli, T., 2023, In: Informatische Bildung in Schulen. 1, 1, 2 p.Electronic (full-text) versionResearch output: Contribution to journal > Editorial (Lead article)
• Efficient Dependency Analysis for Existential RulesGonzalez, L., Ivliev, A., Krötzsch, M. & Mennicke, S., 2023, Proceedings of the 15th Alberto Meldenzon International Workshop on Foundations of Data Management (AMW'23). Santiago, Chile. Kimelfeld, B., Martinez, M. V. & Angles, R. (eds.). CEUR-WS.org, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Efficient Raycasting of Volumetric Depth Images for Remote Visualization of Large Volumes at High Frame RatesGupta, A., Gunther, U., Incardona, P., Reina, G., Frey, S., Gumhold, S. & Sbalzarini, I. F., 2023, In: IEEE Pacific Visualization Symposium. p. 61-70, 10 p.Electronic (full-text) versionResearch output: Contribution to journal > Conference article
• Energy-Aware and Fair Multi-User Multi-Task Computation OffloadingLatzko, V., Lhamo, O., Mehrabi, M., Vielhaus, C. & Fitzek, F. H., 2023, 2023 International Conference on Computing, Networking and Communications, ICNC 2023. Institute of Electrical and Electronics Engineers Inc., p. 231-236, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• EUFRATE: A High-Perfomance Reconfigurable Architecture for Radiation-hardened Telecom PayloadsBozzoli, L., Catanese, A., Scarpa, E., Fazzoletto, E., Goehringer, D., Pertuz, S. A., Kalms, L. & 6 others, 2023, Proceedings of the 2023 European Data Handling and Data Processing Conference for Space, EDHPC 2023. Tali, M. & Ghiglione, M. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 1-7Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• EuFRATE: European FPGA Radiation-hardened Architecture for TelecommunicationsBozzoli, L., Catanese, A., Fazzoletto, E., Scarpa, E., Goehringer, D., Pertuz, S., Kalms, L. & 8 others, 2023, 2023 Design, Automation and Test in Europe Conference and Exhibition, DATE 2023 - Proceedings. p. 1-6Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Exploring Students’ Preinstructional Mental Models of Machine Learning: Preliminary FindingsMarx, E., Leonhardt, T., Bergner, N. & Witt, C., 2023, 16th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2023, Local Proceedings. Pellet, J. & Parriaux, G. (eds.). Zenodo, p. 233-236, 4 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Fächerverbindende Unterrichtseinheiten zur informatischen Bildung in den Grund-schulfächern Sachunterricht, Sport, Deutsch, Kunst und EthikRitter, J., Nenner, C. & Bergner, N., 2023, Informatische Bildung in der Grundschule – Befunde, Diskussionen, Erfahrungen. Best, A., Grey, J., Gryl, I., Humbert, L., Kuckuck, M. & Schmitz, D. (eds.). Klinkhardt VerlagResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• Formal Analysis of Camouflaged Reconfigurable CircuitsMarcker, S., Raitza, M., Rai, S., Galderisi, G., Mikolajick, T., Trommer, J. & Kumar, A., 2023, 2023 21st IEEE Interregional NEWCAS Conference (NEWCAS). Institute of Electrical and Electronics Engineers Inc.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• General In-Hand Object Rotation with Vision and TouchQi, H., Yi, B., Suresh, S., Lambeta, M., Ma, Y., Calandra, R. & Malik, J., 2023, In: Proceedings of Machine Learning Research. 229Research output: Contribution to journal > Conference article