Publikationen

2025

• Model Checking Markov Chains as Distribution TransformersAghamov, R., Baier, C., Karimov, T., Nieuwveld, J., Ouaknine, J., Piribauer, J. & Vahanwala, M., 2025, Principles of Verification: Cycling the Probabilistic Landscape : Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II. Springer, Cham, S. 293-313, 21 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
• Navigating Time and Energy Trade-Offs in Reactive Heterogeneous SystemsLin, S., Tanneberger, T., Bi, J., Feng, G., Xu, Y., Robledo, J., Khasanov, R. & 1 weitere, 2025, in: IEEE Embedded Systems Letters. S. 103-106Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Non-parametric Conditional Independence Testing for Mixed Continuous-Categorical Variables: A Novel Method and Numerical EvaluationPopescu, O. I., Gerhardus, A., Rabel, M. & Runge, J., 2025, Proceedings of the Fourth Conference on Causal Learning and Reasoning. Huang, B. & Drton, M. (Hrsg.).S. 406-450, 45 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Non-visual Approaches to Present Live Data to Blind and Low-Vision People: A Systematic Literature ReviewEtzold, E. F., Branig, M. & Weber, G., 2025, Human-Computer Interaction – INTERACT 2025: 20th IFIP TC 13 International Conference, Belo Horizonte, Brazil, September 8–12, 2025, Proceedings, Part I. S. 131–155, 25 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Optical-access networks for smart sustainable cities: from network architecture to fiber deploymentAdib, M. M. H., Matalla, P., Füllner, C., Li, S., Giacoumidis, E., Raack, C., Menne, U. & 10 weitere, 2025, in: Journal of optical communications and networking : JOCN. 17, 3, S. 221-232, 12 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• PAP2PAT: Benchmarking Outline-Guided Long-Text Patent Generation with Patent-Paper PairsKnappich, V., Hätty, A., Razniewski, S. & Friedrich, A., 2025, Findings of the Association for Computational Linguistics (ACL Findings). Association for Computational Linguistics (ACL)Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Personas of Autistic Office Workers: A Foundation for Developing Effective Assistive Technologies.Engel, C., Gollasch, D., Branig, M., Schmalfuß-Schwarz, J. & Weber, G., 2025, Universal Access in Human-Computer Interaction: 19th International Conference, UAHCI 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22–27, 2025, Proceedings, Part I. Antona, M. & Stephanidis, C. (Hrsg.).S. 36-55, 20 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Pinpointing Idle-Power Regressions in LinuxTröpgen, H., Smejkal, T., Ilsche, T., Schöne, R. & Schirmeier, H., 2025, High Performance Computing. ISC High Performance 2025 International Workshops: Energy Efficiency with Sustainable Performance: Techniques, Tools, and Best PracticesPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• PrivTru: A Privacy-by-Design Data Trustee Minimizing Information Leakage.Gehring, L. & Tschorsch, F., 2025, S. 104-118, 15 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Responsibility in Actor-Based SystemsBaier, C., Klüppelholz, S. & Lehmann, J., 2025, Rebeca for Actor Analysis in Action: Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th Birthday. Lee, E. A., Mousavi, M. R. & Talcott, C. (Hrsg.). Springer Science and Business Media B.V., S. 44-69, 26 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
• Scanning the IPv6 Internet Using Subnet-Router Anycast ProbingKoch, M., Hiesgen, R., Nawrocki, M., Schmidt, T. C. & Wählisch, M., 2025, in: Proceedings of the ACM on Networking. 3, CoNEXT4Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Konferenzartikel
• Separation-Based Distance Measures for Causal GraphsWahl, J. & Runge, J., 2025, 28th International Conference on Artificial Intelligence and Statistics, AISTATS 2025. S. 3412-3420, 9 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Sicherheitsmechanismen des Cloud-Computings zur Verwendung in KorrekturverfahrenKrahn, R. & Fetzer, C., 2025, Thermo-energetische Gestaltung von Werkzeugmaschinen: Praxishandbuch. Brecher, C. (Hrsg.). Wiesbaden: Springer Fachmedien Wiesbaden GmbH, S. 213-234, 22 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
• Sonic Scribbles – Constructing Sketch Classes from Visual Associations of the Mental Model for AudioEngeln, L. & Groh, R., 2025, Proceedings of the 20th International Audio Mostly Conference, AM 2025Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Sound Statistical Model Checking for Probabilities and Expected RewardsBudde, C. E., Hartmanns, A., Meggendorfer, T., Weininger, M. & Wienhöft, P., 2025, Tools and Algorithms for the Construction and Analysis of Systems: 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part I. Gurfinkel, A. & Heule, M. (Hrsg.). Springer, Cham, S. 167–190, 24 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Spatial Audio Paths – Spatial Expressiveness of Immersive 3D Audio Trajectory EditingEngeln, L., Georgi, L., Ludwig, R., Chandran, K., Töpfer, F. & McGinity, M., 2025, Proceedings of the 20th International Audio Mostly Conference, AM 2025Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• The Last Hop Attack: Why Loop Cover Traffic over Fixed Cascades Threatens Anonymity.Weisenseel, M., Döpmann, C. & Tschorsch, F., 2025, in: Proceedings on privacy enhancing technologies : PoPETs. 2025, 2, S. 382-397, 16 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Toward an All-in-One Platform for Mixed Reality ExhibitionsYu, Z., Töpfer, F., Christ, E. & McGinity, M., 2025, KUI 2025 – Proceedings Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Towards Large-Scale Top-Down Microarchitecture Analysis Using the Score-P FrameworkSander, M., Tröpgen, H., von Elm, C. & Schöne, R., 2025, Euro-Par 2024: Parallel Processing Workshops: Euro-Par 2024 International Workshops, Madrid, Spain, August 26–30, 2024, Proceedings, Part I. Caino-Lores, S., Zeinalipour, D., Doudali, T. D., Singh, D. E., Garzón, G. E. M., Sousa, L., Andrade, D., Cucinotta, T., D'Ambrosio, D., Diehl, P., Dolz, M. F., Jukan, A., Montella, R., Nardelli, M., Garcia-Gasulla, M. & Neuwirth, S. (Hrsg.). Springer Science and Business Media B.V., S. 189-200, 12 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• TQHD: Thermometer Encoding Based Quantization for Hyperdimensional ComputingVieira, C., Castrillon, J. & Beck, A. C. S., 2025, IEEE Computer Society Annual Symposium on VLSI, ISVLSI 2025 - Conference Proceedings. IEEE Computer SocietyElektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Unitless Unrestricted Markov-Consistent SCM Generation: Better Benchmark Datasets for Causal DiscoveryHerman, R. J., Wahl, J., Ninad, U. & Runge, J., 2025, Proceedings of the Fourth Conference on Causal Learning and Reasoning. S. 1506-1531, 26 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Using compact Retrieval-Augmented Generation for knowledge preservation in SMBsSchönwälder, E., Hahmann, M. & Ott, G., 2025, Human Interaction and Emerging Technologies (IHIET-AI 2025): Artificial Intelligence and Future Applications. Ahram, T., Lopez Arquillos, A., Gandarias, J. & Morales Casas, A. (Hrsg.).11 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Vorstellung eines Concept Inventory zum maschinellen Lernen (CIML)Marx, E. & Bergner, N., 2025Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Abstract

2024

• Horned-OWL: Flying Further and Faster with OntologiesLord, P., Gehrke, B., Larralde, M., Hastings, J., De Bortoli, F., Overton, J., Balhoff, J. & 1 weitere, 18 Dez. 2024, in: Transactions on Graph Data and Knowledge (TGDK). 2, 2, 14 S., 9Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Learning locally dominant force balances in active particle systemsSturm, D., Maddu, S. & Sbalzarini, I. F., 18 Dez. 2024, in: Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences. 480 (2024), 2304, 25 S., 20230532Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel