Publications
Below you will find some information about the faculty's publications, which are provided by the research information system. In addition, you will find complete lists of publications on the websites of the respective institutes and chairs.
3839 Entries
2025
-
PAC learning of concept inclusions for ontology-mediated query answering , Nov 2025, In: International journal of approximate reasoning. 186, 109523Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
X-DINC: Toward Cross-Layer ApproXimation for the Distributed and In-Network ACceleration of Multi-Kernel Applications , Nov 2025, In: Future generation computer systems. 172, 107864Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
What Are the Odds? Improving Statistical Model Checking of Markov Decision Processes , 2 Oct 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. (eds.). Springer, Cham, p. 195-218, 23 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Augmented Dynamic Data Physicalization: Blending Shape-changing Data Sculptures with Virtual Content for Interactive Visualization , Oct 2025, In: IEEE transactions on visualization and computer graphics. 31, 10, p. 7580-7597, 18 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
Clear data, clear roads: Imputing missing data for enhanced intersection flow of connected autonomous vehicles , Oct 2025, In: Journal of network and computer applications : JNCA. 242, 16 p., 104233Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
Spatial Exploration of Melodic Topologies in Indian Classical Music using XR , 30 Sep 2025, Mensch und Computer 2025 - Workshopband. Gesellschaft für Informatik e.V., 4 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Grenzen übewinden - voneinander lernen: 21. GI-Fachtagung Informatik und Schule , 22 Sep 2025, Gesellschaft für Informatik, BonnElectronic (full-text) versionResearch output: Book/Report/Anthology > Conference proceeding
-
Tailoring binary decision diagram compilation for feature models , 20 Sep 2025, In: Journal of Systems and Software. 231, 19 p., 112566Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
Non-visual Approaches to Present Live Data to Blind and Low-Vision People: A Systematic Literature Review , 16 Sep 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. (eds.).p. 131–155, 25 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Material Studies For Digital Heritage: Comparative Analysis of Geometric and Photometric 3D Representations , 15 Sep 2025, Digital Heritage - Digital Heritage International Congress 2025. The Eurographics AssociationElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
The Expressive Power of Description Logics with Numerical Constraints over Restricted Classes of Models , 15 Sep 2025, Frontiers of Combining Systems: 15th International Symposium, FroCoS 2025, Reykjavik, Iceland, September 29 – October 1, 2025, Proceedings. Thiemann, R. & Weidenbach, C. (eds.). 1 ed., Springer, Cham, p. 22-39, 18 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Navigation for People with Disabilities and Older People: Current Challenges and Opportunities , 12 Sep 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. (eds.).p. 389–394, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
POSTER: DNSSEC in the Car – Towards an Agile Management of Automotive Service Security , 10 Sep 2025, ACM SIGCOMM Posters and Demos '25: Proceedings of the ACM SIGCOMM 2025 Posters and Demos. ACM New York, NY, USA, p. 43-45Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
POSTER: Towards a Complete View of Encrypted Client Hello Deployments , 10 Sep 2025, ACM SIGCOMM Posters and Demos '25: Proceedings of the ACM SIGCOMM 2025 Posters and Demos. ACM New York, NY, USA, p. 22-24Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Integrating Touch, Gestures and Speech for Multi-modal Conversations with an Audio-Tactile Graphics Reader , 9 Sep 2025, Human-Computer Interaction – INTERACT 2025: 20th IFIP TC 13 International Conference Belo Horizonte, Brazil, September 8–12, 2025. Ardito, C., Diniz Junqueira Barbosa, S., Conte, T., Freire, A., Gasparini, I., Palanque, P. & Prates, R. (eds.).p. 323-332, 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
On-liquid surface synthesis of diyne-linked two-dimensional polymer crystals , 8 Sep 2025, In: Nature communications. 16, 1, 8243Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
Art Interactive - The Intelligent Museum Guide: A Hands-On Approach to Introducing Key Machine Learning Concepts , 1 Sep 2025Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
A Detailed Measurement View on IPv6 Scanners and Their Adaption to BGP Signals , Sep 2025, In: Proceedings of the ACM on Networking. 3, CoNEXT3, p. 1-23, 23 p., 15Electronic (full-text) versionResearch output: Contribution to journal > Conference article
-
Correction to: Distributed Petri nets for model-driven verifiable robotic applications in ROS (Innovations in Systems and Software Engineering, (2024), 10.1007/s11334-024-00570-5) , Sep 2025, In: Innovations in Systems and Software Engineering. Vol. 21. p. 1107, 1 p.Electronic (full-text) versionResearch output: Contribution to specialist publication > Corrections (errata and retractions)
-
DEMO: Hilby - Hilbert Interactive Prefix Plots , Sep 2025, ACM SIGCOMM Posters and Demos '25: Proceedings of the ACM SIGCOMM 2025 Posters and Demos. ACM New York, NY, USA, p. 134-136Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
DEMO: Privacy-Preserving Payments on Constrained End-User Devices , Sep 2025, ACM SIGCOMM Posters and Demos '25: Proceedings of the ACM SIGCOMM 2025 Posters and Demos. ACM New York, NY, USA, p. 152-154Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
From Simple to Complex Skills: The Case of In-Hand Object Reorientation , Sep 2025, 2025 IEEE International Conference on Robotics and Automation, ICRA 2025. Ott, C., Admoni, H., Behnke, S., Bogdan, S., Bolopion, A., Choi, Y., Ficuciello, F., Gans, N., Gosselin, C., Harada, K., Kayacan, E., Kim, H. J., Leutenegger, S., Liu, Z., Maiolino, P., Marques, L., Matsubara, T., Mavromatti, A., Minor, M., O'Kane, J., Park, H. W., Park, H., Rekleitis, I., Renda, F., Ricci, E., Riek, L. D., Sabattini, L., Shen, S., Sun, Y., Wieber, P., Yamane, K. & Yu, J. (eds.). Institute of Electrical and Electronics Engineers (IEEE), p. 14291-14298, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
ibis - Informatische Bildung in Schulen. Ausgabe Herbst 2025 , Sep 2025, Gesellschaft für Informatik, BonnResearch output: Book/Report/Anthology > Anthology
-
LEOVISTA: A Cesium-Based 3D Visualization Tool for Satellite-Enabled Vehicle Simulations , Sep 2025, 29th International Symposium on Distributed Simulation and Real Time Applications (DS-RT 2025), Demo Session. Prague, Czechia: Institute of Electrical and Electronics Engineers (IEEE), 2 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
LiveOppServation - An Open-Source Interactive Evaluation and Simulation Frontend for OMNeT++ , Sep 2025, 29th International Symposium on Distributed Simulation and Real Time Applications (DS-RT 2025), Poster Session. Prague, Czechia: Institute of Electrical and Electronics Engineers (IEEE)Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution