Publications

2023

• 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. & 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
• Dynascape: Immersive Authoring of Real-World Dynamic Scenes with Spatially Tracked RGB-D VideosYu, Z., Zeidler, D., Victor & McGinity, M., 2023, p. 1–12Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• 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
• Entropic Risk for Turn-Based Stochastic GamesBaier, C., Chatterjee, K., Meggendorfer, T. & Piribauer, J., 2023, 48th International Symposium on Mathematical Foundations of Computer Science, MFCS 2023. Leroux, J., Lombardy, S. & Peleg, D. (eds.). Schloss Dagstuhl – Leibniz-Zentrum für Informatik, p. 15:1-15:16, 15Electronic (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
• Global Polynomial Level Sets for Numerical Differential Geometry of Smooth Closed SurfacesVeettil, S. K. T., Zavalani, G., Acosta, U. H., Sbalzarini, I. F. & Hecht, M., 2023, In: SIAM journal on scientific computing. 45, 4, p. A1995-A2018Electronic (full-text) versionResearch output: Contribution to journal > Research article
• How Do OS and Application Schedulers Interact? An Investigation with Multithreaded ApplicationsKorndörfer, J. H. M., Eleliemy, A., Simsek, O. S., Ilsche, T., Schöne, R. & Ciorba, F. M., 2023, Euro-Par 2023: Parallel Processing. Cano, J., Dikaiakos, M. D., Papadopoulos, G. A., Pericàs, M. & Sakellariou, R. (eds.). Cham: Springer Nature Switzerland, Dortrecht [u. a.], p. 214-228, 15 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• How to measure the accessibility maturity of organizations - A survey on accessibility maturity models for higher education.Auer, N., Kalemba, S., Stormer, C., Böhm, A., Çetin, H., Gutjahr, A., Neumann, F. & 3 others, 2023, In: Frontiers in Computer Science. 5, 1134320Electronic (full-text) versionResearch output: Contribution to journal > Review article
• Hybrid Testbed for Security Research in Software-Defined NetworksWindisch, F., Abedi, K., Doan, T., Strufe, T. & Nguyen, G. T., 2023, 2023 IEEE Conference on Network Function Virtualization and Software Defined Networks, NFV-SDN 2023 - Proceedings. Fitzek, F. H., Horner, L., Gharbaoui, M., Nguyen, G., Gu, R. & Meuser, T. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 147-152, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Informatische Kompetenzen (angehender) Grundschullehrkräfte sichtbar machen: Ein Messinstrument mit selbsteinschätzungs- und aufgabenbasierter KomponenteNenner, C. & Bergner, N., 2023, INFOS 2023 - Informatikunterricht zwischen Aktualität und Zeitlosigkeit. Hellmig, L. & Hennecke, M. (eds.). Bonn: Gesellschaft für Informatik e.V., p. 217-226, 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution