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.
4046 Entries
2025
-
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
-
Verifying Datalog Reasoning with Lean, 22 Sep 2025, 16th International Conference on Interactive Theorem Proving, ITP 2025. Forster, Y. & Keller, C. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 36Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
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 Concrete Evonne: Visualization Meets Concrete Domain Reasoning, 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.). Springer, Cham, p. 3-21, 19 p.Electronic (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
-
Combining Publicly Available SDKs and Code Generation Tools to Streamline the Implementation of AAS Applications, 12 Sep 2025, 2025 IEEE 30th International Conference on Emerging Technologies and Factory Automation, ETFA 2025 - Proceedings. Almeida, L., Indria, M., de Sousa, M., Visioli, A., Ashjaei, M. & Santos, P. (eds.). IEEE Industrial Electronics Society, p. 1-8, 8 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
-
Semantic Comparison of Asset Administration Shells, 12 Sep 2025, 2025 IEEE 30th International Conference on Emerging Technologies and Factory Automation, ETFA 2025 - Proceedings. Almeida, L., Indria, M., de Sousa, M., Visioli, A., Ashjaei, M. & Santos, P. (eds.). IEEE Canada, p. 1-8, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
DEMO: Hilby - Hilbert Interactive Prefix Plots, 10 Sep 2025, ACM SIGCOMM Posters and Demos '25: Proceedings of the ACM SIGCOMM 2025 Posters and Demos. ACM New York, NY, USA, p. 134-136, 3 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
DEMO: Privacy-Preserving Payments on Constrained End-User Devices, 10 Sep 2025, ACM SIGCOMM Posters and Demos '25: Proceedings of the ACM SIGCOMM 2025 Posters and Demos. ACM New York, NY, USA, p. 152-154, 3 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
POSTER: Challenges in VM Scheduling and Placement: Insights from a Real-World SAP Cloud Dataset, 10 Sep 2025, ACM SIGCOMM Posters and Demos '25: Proceedings of the ACM SIGCOMM 2025 Posters and Demos. ACM New York, NY, USA, p. 124-126, 3 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-45, 3 p.Electronic (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-24, 3 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
POSTER: Two-Phase Scanning in IPv6 - First Observations from a Reactive IPv6 Network Telescope, 10 Sep 2025, ACM SIGCOMM Posters and Demos '25: Proceedings of the ACM SIGCOMM 2025 Posters and Demos. ACM New York, NY, USA, p. 103-105, 3 p.Electronic (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
-
A Detailed Measurement View on IPv6 Scanners and Their Adaption to BGP Signals, 4 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
-
Automated Planning with Ontologies under Coherence Update Semantics (Extended Abstract), 3 Sep 2025, Proceedings of the 38th International Workshop on Description Logics - DL 2025. CEUR-WS.orgElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
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
-
Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Abstract), Sep 2025, Proceedings of the 38th International Workshop on Description Logics (DL'25). Tendera, L., Ibáñez-García, Y. & Koopmann, P. (eds.). CEUR-WS.org, Vol. 4091. 5 p.Electronic (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