Publikationen
Im Folgenden finden Sie einige Informationen zu Publikationen der Fakultät, welche über das Forschungsinformationssystem zur Verfügung gestellt werden. Darüber hinaus finden Sie vollständige Listen der Publikationen und Veröffentlichungen auch über die Webseiten der jeweiligen Institute und Professuren.
4406 Einträge
2026
-
Tailoring binary decision diagram compilation for feature models, Jan. 2026, in: Journal of Systems and Software. 231, 19 S., 112566Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
6G computing for sensing: universal memcomputing using memristor cellular neural networks, 2026, 6G-life: Unveiling the Future of Technological Sovereignty, Sustainability, and Trustworthiness. Elsevier, S. 353-376, 24 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
-
A Reference Functional Architecture for Network Digital Twins in 6G Systems, 2026, in: IEEE Open Journal of the Communications Society. 7, S. 2068-2101, 34 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Attitudes towards virtual reality usage in exposure treatment: Data from German practitioners and how a demonstration changes them, 2026, in: Psychotherapy Research. 36, 5, S. 901-918, 18 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Backward Responsibility in Transition Systems Beyond Safety, 2026, Formal Methods for Industrial Critical Systems: 30th International Conference, FMICS 2025, Aarhus, Denmark, August 27–28, 2025, Proceedings. Remke, A. & Steffen, B. (Hrsg.). Springer, Cham, S. 105-123, 18 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Bridging RDF Knowledge Graphs with Graph Neural Networks for Semantically-Rich Recommender Systems, 2026, Database Systems for Advanced Applications: 30th International Conference, DASFAA 2025, Singapore, Singapore, May 26–29, 2025, Proceedings, Part V. Zhu, F., Lim, E., Yu, P. S., Nadamoto, A., Shim, K., Ding, W. & Zhang, B. (Hrsg.). Springer Science and Business Media B.V., S. 425-437, 13 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Declarative Memory Services, 2026Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
-
Editorial, 2026, in: Informatische Bildung in Schulen : ibis. 4, 1, S. iii, 1 S., 1Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Leitartikel (Editorial)
-
Enabling Consistent Recombination of Heterogeneous Artifacts in Reactive Consistency Restoration Mechanisms, 2026, Proceedings of the 14th International Conference on Model-Based Software and Systems Engineering. Ciccozzi, F., Ferreira Pires, L. & Bordeleau, F. (Hrsg.). SciTePress - Science and Technology Publications, S. 371-377, 7 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Fit für KI? AI Literacy angehender Grundschullehrkräfte empirisch beleuchtet, 2026, Tagungsband der Zweiten Tagung KI und Bildung zusammen mit dem Praxistag KI an Schulen - KIBIS 2025. Schmid, U., Münsterberg, A. V. & Weiss, E. (Hrsg.). University of Bamberg Press, S. 43-46Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Integrating Touch, Gestures and Speech for Multi-modal Conversations with an Audio-Tactile Graphics Reader, 2026, 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. (Hrsg.).S. 323-332, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Multimodal Late Fusion Model for Problem-Solving Strategy Classification in a Machine Learning Game, 2026, Two Decades of TEL. From Lessons Learnt to Challenges Ahead: 20th European Conference on Technology Enhanced Learning, EC-TEL 2025, Newcastle upon Tyne and Durham, UK, September 15–19, 2025, Proceedings, Part II. Springer-Verlag, S. 281–286Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Navigation for People with Disabilities and Older People: Current Challenges and Opportunities, 2026, 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
-
Non-visual Approaches to Present Live Data to Blind and Low-Vision People: A Systematic Literature Review, 2026, 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
-
Pinpointing Idle-Power Regressions in Linux, 2026, High Performance Computing. ISC High Performance 2025 International Workshops: Energy Efficiency with Sustainable Performance: Techniques, Tools, and Best Practices. Neuwirth, S., Paul, A. K., Weinzierl, T. & Carson, E. C. (Hrsg.).S. 205-218, 14 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Principles of Formal Quantitative Analysis: Essays Dedicated to Christel Baier on the Occasion of Her 60th Birthday, 2026, Springer, Cham, 426 S.Elektronische (Volltext-)VersionPublikation: Buch/Gutachten/Sammelbände > Konferenz-/Tagungsband
-
Proceedings 29th International Conference on Extending Database Technology, EDBT 2026, Tampere, Finland, March 24-27, 2026, 2026Elektronische (Volltext-)VersionPublikation: Buch/Gutachten/Sammelbände > Konferenz-/Tagungsband
-
Reassessing Active Learning Adoption in Contemporary NLP: A Community Survey., 2026, Proceedings of the 19th Conference of the European Chapter of the Association for Computational Linguistics. Demberg, V., Inui, K. & Marquez, L. (Hrsg.).Band 1: Long Papers. S. 2621-2647, 27 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
SPARQL in N3: SPARQL construct as a Rule Language for the Semantic Web, 2026, Rules and Reasoning: 9th International Joint Conference, RuleML+RR 2025, Istanbul, Turkey, September 22–24, 2025, Proceedings. Hogan, A., Satoh, K., Dag, H., Turhan, A., Roman, D., Roman, D. & Soylu, A. (Hrsg.). Springer Science and Business Media B.V., S. 209-226, 18 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Statistical Model Checking Beyond Means: Quantiles, CVaR, and the DKW Inequality, 2026, 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. 83-94, 12 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Stop Gambling! It Just Takes Too Long, 2026, Principles of Formal Quantitative Analysis: Essays Dedicated to Christel Baier on the Occasion of Her 60th Birthday. Bertrand, N., Dubslaff, C. & Klüppelholz, S. (Hrsg.). Springer, Cham, S. 139-157, 19 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
-
The Expressive Power of Description Logics with Numerical Constraints over Restricted Classes of Models, 2026, 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
-
What Are the Odds? Improving Statistical Model Checking of Markov Decision Processes, 2026, 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
2025
-
Design and Evaluation of an RFET Standard Cell Library Compatible with 22 nm FDSOI, 31 Dez. 2025, in: IEEE transactions on computer-aided design of integrated circuits and systemsElektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Fächerverbindende Unterrichtseinheiten zur informatischen Bildung in den Grundschulfächern Sachunterricht, Sport, Deutsch, Kunst und Ethik, 18 Dez. 2025, Informatische Bildung in der Grundschule: Befunde, Diskussionen, Erfahrungen. Grey, J., Schmitz, D., Gryl, I., Best, A., Kuckuck, M. & Humbert, L. (Hrsg.). Klinkhardt Verlag, S. 250-268Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten