Publications

2024

• Inconsistency- and Error-Tolerant Reasoning w.r.t. ℰℒ^⊥ OntologiesBaader, F., Kriegel, F. & Nuradiansyah, A., 2024, Proceedings of the 13th International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2024), April 8-11, 2024, Sheffield, United Kingdom. Meier, A. & Ortiz, M. (eds.).Vol. 14589. p. 3-22, 20 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Influence of Students’ Choice of Examination Format on Examination ResultsHara, T., Kucharski, S., Braun, I. & Hara, K., 2024, Proceedings of the 16th International Conference on Computer Supported Education, CSEDU 2024. Poquet, O., Ortega-Arranz, A., Viberg, O., Chounta, I., McLaren, B. & Jovanovic, J. (eds.). SCITEPRESS - Science and Technology Publications, Vol. 2. p. 495-500, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Inside the System - Designing VR Serious Games for Computer Science EducationBaberowski, D., Leonhardt, T. & Bergner, N., 2024, Games and Learning Alliance: 12th International Conference, GALA 2023, Dublin, Ireland, November 29 – December 1, 2023, Proceedings. Dondio, P., Rocha, M., Brennan, A., Schönbohm, A., de Rosa, F., Koskinen, A. & Bellotti, F. (eds.). Springer, Cham, p. 311–320, 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Interactive Visualization on Large High-Resolution Displays: A SurveyTominski, C. & Dachselt, R., 2024, In: Computer Graphics Forum. 43, 6, 35 p.Electronic (full-text) versionResearch output: Contribution to journal > Review article
• Investigating the Usage of Formulae in Mathematical Answer RetrievalReusch, A., Gonsior, J., Hartmann, C. & Lehner, W., 2024, Advances in Information Retrieval - 46th European Conference on Information Retrieval, ECIR 2024, Proceedings. Goharian, N., Tonellotto, N., He, Y., Lipani, A., McDonald, G., Macdonald, C. & Ounis, I. (eds.). Springer Science and Business Media B.V., p. 247-261, 15 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Joint proceedings of the 2nd workshop on Knowledge Base Construction from Pre-Trained Language Models (KBC-LM 2024) and the 3rd challenge on Language Models for Knowledge Base Construction (LM-KBC 2024) co-located with the 23nd International Semantic Web Conference (ISWC 2024), Baltimore, USA, November 12, 2024.Razniewski, S., Kalo, J., Singhania, S., Pan, J. Z., Nguyen, T. & Zhang, B., 2024Electronic (full-text) versionResearch output: Book/Report/Anthology > Conference proceeding
• Machine Learning-Based Vector Quantization for Secret Key Generation in Physical Layer SecurityBagheri, G., Boroujeni, A. K. & Köpsell, S., 2024, 2024 14th Global Information Infrastructure and Networking Symposium, GIIS 2024. Salhab, N. (ed.). Institute of Electrical and Electronics Engineers Inc., p. 1-7Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Mapable: Accessible Web-Based Indoor Maps for People with Diverse Interaction and Information NeedsStriegl, J., Loitsch, C., Etzold, E. F. & Weber, G., 2024, Universal Access in Human-Computer Interaction: 18th International Conference, UAHCI 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29 – July 4, 2024, Proceedings, Part II. Antona, M. & Stephanidis, C. (eds.).p. 100-111, 12 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Mixed Reality Strategies for Piano EducationAmm, V., Chandran, K., Engeln, L. & McGinity, M., 2024, In: Frontiers in Virtual Reality. 5, 1397154Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Navigating and Querying Answer Sets: How Hard Is It Really and Why?Rusovac, D., Hecher, M., Gebser, M., Gaggl, S. A. & Fichte, J. K., 2024, p. 642–653Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Navigating ASP Solution Spaces (Invited Talk, Abstract)Gaggl, S. A., 2024, p. 2Electronic (full-text) versionResearch output: Contribution to conferences > Abstract
• Navigating Time and Energy Trade-Offs in Reactive Heterogeneous SystemsLin, S., Tanneberger, T., Bi, J., Feng, G., Xu, Y., Robledo, J., Khasanov, R. & 1 others, 2024, In: IEEE Embedded Systems LettersElectronic (full-text) versionResearch output: Contribution to journal > Research article
• On Integrating Sphinx in IPFS.Daniel, E. & Tschorsch, F., 2024, p. 753-754Electronic (full-text) versionResearch output: Contribution to conferences > Poster
• On the Complexity of the Small Term Reachability Problem for Terminating Term Rewriting SystemsBaader, F. & Giesl, J., 2024, 9th International Conference on Formal Structures for Computation and Deduction (FSCD 2024). Rehof, J. (ed.). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 16:1-16:18, 16Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Open Sesame! Use of Headphones at Work Considering Social AcceptanceSchmalfuß-Schwarz, J., Gollasch, D., Engel, C., Branig, M. & Weber, G., 2024, Computers Helping People with Special Needs - 19th International Conference, ICCHP 2024, Proceedings: ICCHP 2024. Miesenberger, K., Peňáz, P. & Kobayashi, M. (eds.).p. 420-429, 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Optimal Alignment of Temporal Knowledge Bases (Extended Abstract)Fernández Gil, O., Patrizi, F., Perelli, G. & Turhan, A., 2024, Proceedings of the 37th International Workshop on Description Logics (DL'24). Giordano, L., Jung, J. C. & Ozaki, A. (eds.). Bergen, Norway: CEUR-WS.org, 5 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Overcoming Student Passivity with Automatic Item GenerationKucharski, S., Stahr, F., Braun, I. & Damnik, G., 2024, Proceedings of the 16th International Conference on Computer Supported Education, CSEDU 2024. Poquet, O., Ortega-Arranz, A., Viberg, O., Chounta, I., McLaren, B. & Jovanovic, J. (eds.). SCITEPRESS - Science and Technology Publications, Vol. 1. p. 789-798, 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Preface: LM-KBC Challenge 2024Kalo, J., Nguyen, T., Razniewski, S. & Zhang, B., 2024Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Proceedings of the 8th Network Traffic Measurement and Analysis Conference (TMA)Kühlewind, M., Mohan, N. & Wählisch, M., 2024, IEEEElectronic (full-text) versionResearch output: Book/Report/Anthology > Conference proceeding
• Provable Determinism for Software in Cyber-Physical SystemsRossel, M., Lin, S. J., Lohstroh, M., Castrillon, J. & Goens, A., 2024, Verified Software. Theories, Tools and Experiments - 15th International Conference, VSTTE 2023, Revised Selected Papers. Reynolds, A. & Tasiran, S. (eds.). Springer Science and Business Media B.V., p. 85-107, 23 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• QUITE: Quantifying Uncertainty in Natural Language Text in Bayesian Reasoning ScenariosSchrader, T. P., Lange, L., Razniewski, S. & Friedrich, A., 2024Research output: Contribution to conferences > Paper
• REDCAP: Reconfigurable RFET-Based Circuits Against Power Side-Channel AttacksKavand, N., Darjani, A., Galderisi, G., Trommer, J., Mikolajick, T. & Kumar, A., 2024, 2024 Design, Automation and Test in Europe Conference and Exhibition, DATE 2024 - Proceedings. Institute of Electrical and Electronics Engineers Inc.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Scaling Logic Area with Multi-Tier Standard CellsFreye, F., Lanius, C., Shadmehri, H. H., Göhringer, D. & Gemmeke, T., 2024, In: IEEE journal on exploratory solid-state computational devices and circuits. 10, p. 82-88, 7 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Selma: A Semantic Local Code Search PlatformReusch, A., Lopes, G. C., Pertsch, W., Ueck, H., Gonsior, J. & Lehner, W., 2024, Advances in Information Retrieval - 46th European Conference on Information Retrieval, ECIR 2024, Proceedings. Goharian, N., Tonellotto, N., He, Y., Lipani, A., McDonald, G., Macdonald, C. & Ounis, I. (eds.). Springer Science and Business Media B.V., p. 218-222, 5 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Simultanious Improvement of Resolution and Accuracy of 3D Mapping with Flash Lidar through AI-based Data Fusion with 2D Camera ImagesLiesch, A., Suwinski, P., Chernykh, V. & Janschek, K., 2024, Deutscher Luft- und Raumfahrtkongress 2024Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution