Publications

2025

• Feature-Driven Rapid Prototyping of Test-Sequences for Sensor Characterization in the LaboratoryAuerswald, F., Pukhkaiev, D. & Aßmann, U., 4 May 2025, 2025 IEEE International Symposium on Inertial Sensors and Systems (INERTIAL). p. 1-5Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Integrated molecular-phenotypic profiling reveals metabolic control of morphological variation in a stem-cell-based embryo modelVillaronga-Luque, A., Savill, R. G., López-Anguita, N., Bolondi, A., Garai, S., Gassaloglu, S. I., Rouatbi, R. & 9 others, 1 May 2025, In: Cell Stem Cell. 32, 5, p. 759-777.e13, 2 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Existential Notation3 LogicArndt, D. & Mennicke, S., May 2025, In: Theory and practice of logic programming : TPLP. 25, 3, p. 304-339Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Fitting Ontologies and Constraints to Relational StructuresHosemann, S., Jung, J. C., Lutz, C. & Rudolph, S., May 2025, Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning. Ortiz, M., Wassermann, R. & Schaub, T. (eds.). IJCAI Organization, p. 407–416, 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Putting Perspective into OWL [sic]: Complexity-Neutral Standpoint Reasoning for Ontology Languages via Monodic S5 over Counting Two-Variable First-Order LogicÁlvarez, L. G. & Rudolph, S., May 2025, Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning. Ortiz, M., Wassermann, R. & Schaub, T. (eds.). IJCAI Organization, p. 366–375, 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• ARbiter: Generating Dialogue Options and Communication Support in Augmented RealityMéndez, J. & Satkowski, M., 26 Apr 2025Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Of Affordance Opportunism in AR: Its Fallacies and Discussing Ways ForwardSatkowski, M., Luo, W. & Rzayev, R., 26 Apr 2025Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Documents in Your Hands: Exploring Interaction Techniques for Spatial Arrangement of Augmented Reality DocumentsLuo, W., Ellenberg, M. O., Satkowski, M. & Dachselt, R., 25 Apr 2025, CHI '25: Proceedings of the 2025 CHI Conference on Human Factors in Computing Systems. ACM New York, NY, USA, 22 p., 1218Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Toward a Better Understanding of IoT Domain Names: A Study of IoT BackendAyoub, I., Lenders, M. S., Ampeau, B., Balakrichenan, S., Khawam, K., Schmidt, T. C. & Wählisch, M., 25 Apr 2025, In: IEEE Access. 13 (2025), 13, p. 68871-68890, 20 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Solving Robust Markov Decision Processes: Generic, Reliable, EfficientMeggendorfer, T., Weininger, M. & Wienhöft, P., 11 Apr 2025, In: Proceedings of the AAAI Conference on Artificial Intelligence. 39, 25, p. 26631-26641, 11 p.Electronic (full-text) versionResearch output: Contribution to journal > Conference article
• CINM (Cinnamon): A Compilation Infrastructure for Heterogeneous Compute In-Memory and Compute Near-Memory ParadigmsKhan, A. A., Farzaneh, H., Friebel, K. F. A., Fournier, C., Chelini, L. & Castrillon, J., 10 Apr 2025, ASPLOS 2024 - Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems. Association for Computing Machinery, p. 31-46, 16 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Fault Tolerance of Sorting Algorithms Under Varying Input CharacteristicsSchwarz, S., Thunig, R. & Schirmeier, H., 10 Apr 2025, 2025 20th European Dependable Computing Conference (EDCC). Institute of Electrical and Electronics Engineers (IEEE), p. 63-71, 9 p., 11107374Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• The Worry Gallery: Feasability trial of an anxiety induction method applying generative artificial intelligence and mixed realityBadeja, D., Schier, F., McGinity, M. & Hoyer, J., 8 Apr 2025Research output: Contribution to conferences > Poster
• SimplifyMyText: An LLM-Based System for Inclusive Plain Language Text SimplificationFärber, M., Aghdam, P., Im, K., Tawfelis, M. & Ghoshal, H., 3 Apr 2025, Advances in Information Retrieval - 47th European Conference on Information Retrieval, ECIR 2025, Proceedings. Hauff, C., Macdonald, C., Jannach, D., Kazai, G., Nardini, F. M., Pinelli, F., Silvestri, F. & Tonellotto, N. (eds.). Springer Science and Business Media B.V., p. 418-424, 7 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Solution-Processable Electronic-Grade 2D WTe₂ Enabled by Synergistic Dual Ammonium IntercalationYang, H., Synnatschke, K., Yoon, J., Mirhosseini, H., Hermes, I. M., Li, X., Neumann, C. & 7 others, 2 Apr 2025, In: ACS nano. 19, 14, p. 14309-14317, 9 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Decidability of Querying First-Order Theories via Countermodels of Finite WidthFeller, T., Lyon, T., Ostropolski-Nalewaja, P. & Rudolph, S., 1 Apr 2025, In: Logical methods in computer science. 21, 2, p. 7:1-7:35Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Simopticon: Automated Optimization of Vehicular Platooning ControllersNatzschka, P., Hensel, B. & Sommer, C., 1 Apr 2025, In: Ad Hoc Networks. 170, 103781Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Analyzing the Use of ChatGPT for the Generation of Automatic FeedbackTheilen, F., Braun, I. & Damnik, G., Apr 2025, Proceedings of CSEDU 2025. PosterResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Beyond Optimal: Interactive Identification of Better-than-optimal RepairsKriegel, F., 31 Mar 2025, Proceedings of the 40th ACM/SIGAPP Symposium On Applied Computing (SAC 2025). Association for Computing Machinery, p. 1019-1026, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Enabling Efficient Mobile Tracing with BTraceWang, J., Liu, N., Casadevall-Saiz, A., Liu, Y., Behrens, D., Fu, M., Jia, N. & 2 others, 30 Mar 2025, Proceedings of the 30th ACM International Conference On Architectural Support For Programming Languages And Operating Systems (ASPLOS 2025). Assoc Computing Machinery, Vol. 2. p. 325-338, 14 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Programming Drone Collectives: Towards Safe Plug-And-Play ModularityGrzelak, D., 13 Mar 2025Electronic (full-text) versionResearch output: Contribution to conferences > Abstract
• Mensch-Computer Interaktion und InklusionWeber, G., 12 Mar 2025, Inklusion bei Beeinträchtigung des Sehens und Blindheit. Kohlhammer Verlag, p. 235-253Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• ibis - Informatische Bildung in Schulen. Ausgabe Frühjahr 2025Grillenberger, A., Michaeli, T., Schulz, S. & Stechert, P., 11 Mar 2025, Gesellschaft für Informatik, BonnElectronic (full-text) versionResearch output: Book/Report/Anthology > Anthology
• Optimizing Very Large Scale ITS Applications With Fast Fitness EvaluationTangirala, N. T., Rischert, R., Sommer, C. & Knoll, A., 1 Mar 2025, 2025 IEEE Wireless Communications and Networking Conference (WCNC). Milan, Italy: Institute of Electrical and Electronics Engineers (IEEE), p. 1-6, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• A Survey on Architectures, Hardware Acceleration and Challenges for In-Network ComputingNickel, M. & Göhringer, D., Mar 2025, In: ACM Transactions on Reconfigurable Technology and Systems. 18, 1, 34 p., 10Electronic (full-text) versionResearch output: Contribution to journal > Research article