Publications

2024

• Leveraging the MLIR Infrastructure for the Computing ContinuumBi, J., Korol, G. & Castrillon, J., 2024, CPSWS 2024 - CPS Summer School PhD Workshop 2024 : Proceedings of the CPS Summer School PhD Workshop 2024 co-located with 6th Edition of the CPS Summer School (CPS 2024). 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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 (IEEE), 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
• Motivating the Use of Machine-Learning for Improving Timing Behaviour of Embedded Mixed-Criticality SystemsKumar, V., Ranjbar, B. & Kumar, A., 2024, 2024 Design, Automation and Test in Europe Conference and Exhibition, DATE 2024 - Proceedings. Institute of Electrical and Electronics Engineers (IEEE)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Multi-Agent Opinion Pooling by Voting for Bins: Simulations and CharacterizationBauer, L. & Karge, J., 2024, Advances in Practical Applications of Agents, Multi-Agent Systems, and Digital Twins: The PAAMS Collection : 22nd International Conference, PAAMS 2024, Salamanca, Spain, June 26–28, 2024, Proceedings. Mathieu, P. & De la Prieta, F. (eds.).p. 49–60, 12 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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–653, 12 p.Electronic (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
• Non-Global Parikh Tree AutomataHerrmann, L. & Osterholzer, J., 2024, Proceedings 14th International Workshop on Non-Classical Models of Automata and Applications. p. 100-117, 18 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Non-monotonic Extensions to Formal Concept Analysis via Object PreferencesCarr, L., Leisegang, N., Meyer, T. & Rudolph, S., 2024, Artificial Intelligence Research: 5th Southern African Conference, SACAIR 2024, Bloemfontein, South Africa, December 2–6, 2024, Proceedings. Gerber, A., Maritz, J. & Pillay, A. W. (eds.). Springer, Cham, p. 476–492, 17 p.Electronic (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
• Partial Optimality in the Linear Ordering ProblemStein, D. & Andres, B., 2024, ICML'24: Proceedings of the 41st International Conference on Machine Learning. PMLR, Vol. 235. p. 46514-46529, 16 p., 1892Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Poster: Towards a Digital Payment System for the Constrained Internet of ThingsGütschow, M. & Wählisch, M., 2024, 3 p.Electronic (full-text) versionResearch output: Contribution to conferences > Poster
• Preface: LM-KBC Challenge 2024Kalo, J. C., Nguyen, T. P., Razniewski, S. & Zhang, B., 2024, KBC-LM-LM-KBC 2024 - Joint proceedings of the KBC-LM workshop and the LM-KBC challenge 2024: 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). Vol. 3853. 5 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Foreword/Postscript
• Proceedings of the 8th Network Traffic Measurement and Analysis Conference (TMA)Kühlewind, M., Mohan, N. & Wählisch, M., 2024, Institute of Electrical and Electronics Engineers (IEEE)Electronic (full-text) versionResearch output: Book/Report/Anthology > Conference proceeding
• Proposal for A Context-oriented Modelica Contributing to Variable Structure SystemsWang, Z. & Krombholz, M., 2024, 10 p.Research output: Contribution to conferences > Paper
• 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, Ames, IA, USA, October 23–24, 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
• QuantMAC: Enhancing Hardware Performance in DNNs with Quantize Enabled Multiply-Accumulate UnitAshar, N., Raut, G., Trivedi, V., Vishvakarma, S. K. & Kumar, A., 2024, In: IEEE access. 12, p. 43600-43614, 15 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• QUITE: Quantifying Uncertainty in Natural Language Text in Bayesian Reasoning ScenariosSchrader, T. P., Lange, L., Razniewski, S. & Friedrich, A., 2024, p. 2634-2652, 19 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Reasoning in SHIQ with Axiom- and Concept-Level Standpoint ModalitiesÁlvarez, L. G. & Rudolph, S., 2024, Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning. Marquis, P., Ortiz, M. & Pagnucco, M. (eds.). IJCAI Organization, p. 383–393, 11 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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 (IEEE), p. 1692-1697Electronic (full-text) versionResearch 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