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.
4534 Einträge
2026
-
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. Tammets, K., Sosnovsky, S., Ferreira Mello, R., Pishtari, G. & Nazaretsky, T. (Hrsg.). Springer-Verlag, S. 281–286, 6 S.Elektronische (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
-
On Integrating Provenance Data in IPFS, 2026, S. 1-3Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
-
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
-
Proceedings of the 23rd International Conference on Principles of Knowledge Representation and Reasoning, 2026, IJCAI OrganizationElektronische (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
-
Standpoint Logics with Defeasible Beliefs, 2026, Proceedings of the 24th International Workshop on Non-Monotonic Reasoning (NMR 2026), Lisbon, Portugal, July 17 - 19, 2026Elektronische (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
-
Surgery, 2026, Humans, Robots, and Virtual Worlds in the Tactile Internet. Elsevier, S. 17-33, 17 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
-
The Modal Logic of Abstraction Refinement, 2026, Foundations of Software Science and Computation Structures: 29th International Conference, FoSSaCS 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11-16, 2026, Proceedings. Bertrand, N. & Milius, S. (Hrsg.). Springer, Cham, S. 527-548, 22 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Towards Measuring Privacy in Distributed Process Mining, 2026, S. 13-17, 5 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
-
Towards Visual Decision Support in Interactive Repair, 2026, DL 2026 Description Logics 2026: Proceedings of the 39th International Workshop on Description Logics (DL 2026) co-located with the Federated Logic Conference (FLoC 2026). Kovtunova, A. & Sertkaya, B. (Hrsg.).14 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Verification meets Causality, 2026, Proceedings of the 7th Workshop on Models for Formal Analysis of Real Systems. S. 1, 1 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Visual-Tactile Sensing for Minimally Invasive Palpation, 2026, Proceedings of the 2026 Design of Medical Devices Conference, DMD 2026. American Society of Mechanical Engineers (ASME), 5 S., V001T05A005Elektronische (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
-
The proposed design of the digital euro: A critical analysis, 18 Dez. 2025, in: Digital finance : smart data analytics, investment innovation, and financial technology. 8, 1, 7Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel