Publikationen

2026

• PrefaceBertrand, N., Dubslaff, C. & Klüppelholz, S., 2026, Principles of Formal Quantitative Analysis: Essays Dedicated to Christel Baier on the Occasion of Her 60th Birthday. Springer, Cham, S. vi, 1 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Vor-/Nachwort

2025

• Waiting for QUIC: Passive Measurements to Understand QUIC DeploymentsMücke, J., Nawrocki, M., Hiesgen, R., Sattler, P., Zirngibl, J., Carle, G., Luxemburk, J. & 2 weitere, 1 Dez. 2025, in: Proceedings of the ACM on Networking. 3, CONEXT4, S. 41:1-41:26, 26 S., 41Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Konferenzartikel
• PAC learning of concept inclusions for ontology-mediated query answeringObiedkov, S. & Sertkaya, B., Nov. 2025, in: International journal of approximate reasoning. 186, 109523Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• X-DINC: Toward Cross-Layer ApproXimation for the Distributed and In-Network ACceleration of Multi-Kernel ApplicationsEbrahimi, Z., Eslami, M., Xiao, X. & Kumar, A., Nov. 2025, in: Future generation computer systems. 172, 107864Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Machine learning integration of MRI and gait reveals mobility phenotypes in multiple sclerosisInojosa, H., Zhao, W., Wenk, J., Schriefer, D., Fischer, S., Heisig, P., Kählig, M. & 11 weitere, 6 Okt. 2025, in: Brain Communications. 7, 5, fcaf381Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• What Are the Odds? Improving Statistical Model Checking of Markov Decision ProcessesMeggendorfer, T., Weininger, M. & Wienhöft, P., 2 Okt. 2025, Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems: Second International Joint Conference, QEST+FORMATS 2025, Aarhus, Denmark, August 26–28, 2025, Proceedings. Prabhakar, P. & Vandin, A. (Hrsg.). Springer, Cham, S. 195-218, 24 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Augmented Dynamic Data Physicalization: Blending Shape-changing Data Sculptures with Virtual Content for Interactive VisualizationEngert, S., Peetz, A., Klamka, K., Surer, P., Isenberg, T. & Dachselt, R., Okt. 2025, in: IEEE transactions on visualization and computer graphics. 31, 10, S. 7580-7597, 18 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Clear data, clear roads: Imputing missing data for enhanced intersection flow of connected autonomous vehiclesFreire, M., Maia, A., Figueiredo, G., Prazeres, C., Lobato Junior, W. V., Aparecido Villas, L., Sommer, C. & 1 weitere, Okt. 2025, in: Journal of network and computer applications : JNCA. 242, 16 S., 104233Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Spatial Exploration of Melodic Topologies in Indian Classical Music using XRChandran, K., Engeln, L. & McGinity, M., 30 Sept. 2025, Mensch und Computer 2025 - Workshopband. Gesellschaft für Informatik e.V., 4 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• The SAP Cloud Infrastructure Dataset: A Reality Check of Scheduling and Placement of VMs in Cloud ComputingUhlig, A., Braun, I. & Wählisch, M., 28 Sept. 2025, Proceedings of the 2025 ACM Internet Measurement Conference (IMC '25). New York, USA: ACM New York, NY, USA, S. 746--760Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Kollaborativer Flugbetrieb von Drohnen und Flugzeugen: Ortungs- und Konfliktvermeidungsstrategien in Theorie und PraxisReif, M., Liu, Y., Fischer, C., Braßel, H., Lindner, M., Luo, M., Stachorra, D. & 4 weitere, 25 Sept. 2025Publikation: Beitrag zu Konferenzen > Wissenschaftliche Vortragsfolien
• Grenzen übewinden - voneinander lernen: 21. GI-Fachtagung Informatik und SchuleGrillenberger, M. & Grillenberger, A., 22 Sept. 2025, Gesellschaft für Informatik, BonnElektronische (Volltext-)VersionPublikation: Buch/Gutachten/Sammelbände > Konferenz-/Tagungsband
• Tailoring binary decision diagram compilation for feature modelsDubslaff, C., Husung, N. & Käfer, N., 20 Sept. 2025, in: Journal of Systems and Software. 231, 19 S., 112566Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Non-visual Approaches to Present Live Data to Blind and Low-Vision People: A Systematic Literature ReviewEtzold, E. F., Branig, M. & Weber, G., 16 Sept. 2025, Human-Computer Interaction – INTERACT 2025: 20th IFIP TC 13 International Conference, Belo Horizonte, Brazil, September 8–12, 2025, Proceedings, Part I. Ardito, C., Diniz Junqueira Barbosa, S., Conte, T., Freire, A., Gasparini, I., Palanque, P. & Prates, R. (Hrsg.).S. 131–155, 25 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Material Studies For Digital Heritage: Comparative Analysis of Geometric and Photometric 3D RepresentationsTöpfer, F., Christ, E., Yu, Z., Engeln, L. & McGinity, M., 15 Sept. 2025, Digital Heritage - Digital Heritage International Congress 2025. The Eurographics AssociationElektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• The Concrete Evonne: Visualization Meets Concrete Domain Reasoning.Alrabbaa, C., Baader, F., Dachselt, R., Kovtunova, A. & Méndez, J., 15 Sept. 2025, Frontiers of Combining Systems: 15th International Symposium, FroCoS 2025, Reykjavik, Iceland, September 29 – October 1, 2025, Proceedings. Thiemann, R. & Weidenbach, C. (Hrsg.). Springer, Cham, S. 3-21, 19 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• The Expressive Power of Description Logics with Numerical Constraints over Restricted Classes of ModelsBaader, F. & De Bortoli, F., 15 Sept. 2025, Frontiers of Combining Systems: 15th International Symposium, FroCoS 2025, Reykjavik, Iceland, September 29 – October 1, 2025, Proceedings. Thiemann, R. & Weidenbach, C. (Hrsg.). 1 Aufl., Springer, Cham, S. 22-39, 18 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Combining Publicly Available SDKs and Code Generation Tools to Streamline the Implementation of AAS ApplicationsGneuß, T., Ristin, M., Braunisch, N., Venn, H. W. V. D. & Wollschlaeger, M., 12 Sept. 2025, 2025 IEEE 30th International Conference on Emerging Technologies and Factory Automation (ETFA). IEEE Industrial Electronics Society, S. 1-8, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Navigation for People with Disabilities and Older People: Current Challenges and OpportunitiesPetrie, H., Weber, G. & Bramwell-Dicks, A., 12 Sept. 2025, Human -Computer Interaction – INTERACT 2025: 20th IFIP TC 13 International Conference, Belo Horizonte, Brazil, September 8–12, 2025, Proceedings, Part IV. Ardito, C., Diniz Junqueira Barbosa, S., Conte, T., Freire, A., Gasparini, I., Palanque, P. & Prates, R. (Hrsg.).S. 389–394, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Semantic Comparison of Asset Administration ShellsMiny, T., Heppner, S., Garmaev, I., Ristin, M., Otto, B., Braunisch, N., Kleinert, T. & 2 weitere, 12 Sept. 2025, 2025 IEEE 30th International Conference on Emerging Technologies and Factory Automation (ETFA). IEEE Canada, S. 1-8, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• DEMO: Hilby - Hilbert Interactive Prefix PlotsMännel, A., Claffy, K., Mok, R. K. P., Schmidt, T. C. & Wählisch, M., 10 Sept. 2025, ACM SIGCOMM Posters and Demos '25: Proceedings of the ACM SIGCOMM 2025 Posters and Demos. ACM New York, NY, USA, S. 134-136, 3 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• DEMO: Privacy-Preserving Payments on Constrained End-User DevicesGütschow, M. & Wählisch, M., 10 Sept. 2025, ACM SIGCOMM Posters and Demos '25: Proceedings of the ACM SIGCOMM 2025 Posters and Demos. ACM New York, NY, USA, S. 152-154, 3 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• POSTER: Challenges in VM Scheduling and Placement: Insights from a Real-World SAP Cloud DatasetUhlig, A., Braun, I. & Wählisch, M., 10 Sept. 2025, ACM SIGCOMM Posters and Demos '25: Proceedings of the ACM SIGCOMM 2025 Posters and Demos. ACM New York, NY, USA, S. 124-126, 3 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• POSTER: DNSSEC in the Car – Towards an Agile Management of Automotive Service SecuritySalomon, T., Meyer, P. & Schmidt, T. C., 10 Sept. 2025, ACM SIGCOMM Posters and Demos '25: Proceedings of the ACM SIGCOMM 2025 Posters and Demos. ACM New York, NY, USA, S. 43-45, 3 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• POSTER: Towards a Complete View of Encrypted Client Hello DeploymentsMücke, J., Gasser, K., Schmidt, T. C. & Wählisch, M., 10 Sept. 2025, ACM SIGCOMM Posters and Demos '25: Proceedings of the ACM SIGCOMM 2025 Posters and Demos. ACM New York, NY, USA, S. 22-24, 3 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband