Skip to main content Skip to main navigation

Publications

Displaying results 1271 to 1280 of 14731.

  1. Christoph Lüth; Tim Güneysu; Pascal Sasdrich; Rolf Drechsler

    EMBOSOM | Emigrating Embedded Software Security into Modern Emerging Hardware Paradigms

    In: Workshop on Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE), Lyon, France, 2025.

  2. Caroline Dominik; Rolf Drechsler

    Embedding Modulo Counter Circuits for their Polynomial Formal Verification

    In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV). ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-2026), March 11-12, Rostock, Germany, 2025.

  3. Muhammad Hassan; Mohamed Nadeem; Khushboo Qayyum; Chandan Jha; Rolf Drechsler

    Prompt. Verify. Repeat. LLMs in the Hardware Verification Cycle

    In: 2025 IEEE International Conference on Omni-layer Intelligent Systems (COINS). IEEE International Conference on Omni-layer Intelligent Systems (IEEE COINS-2025), August 4-6, Wisconsin, USA, IEEE, 2025.

  4. Gerrit Großmann; Larisa Ivanova; Sai Leela Poduru; Mohaddeseh Tabrizian; Islam Mesabah; David Antony Selby; Sebastian Vollmer

    The Power of Stories: Narrative Priming in Multi-Agent Networked Public Goods Games

    In: Proceedings of the 12th INternational Conference of Networks, Games, Control and Optimization. International Conference of Networks, Games, Control and Optimization (NETGCOOP-2025), October 8-10, Bilbao, Spain, Lecture Notes in Computer Science (LNCS), Springer, 10/2025.

  5. David Antony Selby; Rashika Jakhmola; Maximilian Sprang; Gerrit Großmann; Hind Raki; Niloofar Maani; Daria Pavliuk; Jan Ewald; Sebastian Vollmer

    Visible neural networks for multi-omics integration: a critical review

    In: Frontiers in Artificial Intelligence, Vol. 8, Pages 1-1, Frontiers Media S.A. 2025.

  6. David Antony Selby; Yuichiro Iwashita; Kai Spriestersbach; Mohammad Saad; Dennis Bappert; Archana Warrier; Sumantrak Mukherjee; Koichi Kise; Sebastian Vollmer

    Had enough of experts? Quantitative knowledge retrieval from large language models

    In: Weijie Su; Linjun Zhang; David Banks (Hrsg.). The ISI's Journal for the Rapid Dissemination of Statistics Research (Stat), Vol. 14, Pages e70054-n.n. Wiley, 3/2025.

  7. Yilong Zang; Lingfei Ren; Yue Li; Zhikang Wang; David Antony Selby; Zheng Wang; Sebastian Vollmer; Hongzhi Yin; Jiangning Song; Junhang Wu

    Rethinking Cancer Gene Identification through Graph Anomaly Analysis

    In: The 39th Annual AAAI Conference on Artificial Intelligence. AAAI Conference on Artificial Intelligence (AAAI-2025), 39th, February 25 - March 4, Philadelphia, PA, USA, Association for the Advancement of Artificial Intelligence, 2025.

  8. David Antony Selby; Kai Spriestersbach; Yuichiro Iwashita; Dennis Bappert; Archana Warrier; Sumantrak Mukherjee; Muhammad Nabeel Asim; Koichi Kise; Sebastian Vollmer

    Had enough of experts? Elicitation and evaluation of Bayesian priors from large language models

    In: NeurIPS 2024 Workshop on Bayesian Decision-making and Uncertainty. Neural Information Processing Systems (NeurIPS-2024), Workshop on Bayesian Decision-making and Uncertainty, located at NeuIPS-2024, December 14, Vancouver, BC, Canada, NeurIps Foundation, 2024.

  9. Stalin Varanasi; Muhammad Umer Tariq Butt; Günter Neumann; Josef van Genabith

    AIDEN: Automatic Speaker Notes Creation and Navigation for Enhancing Online Learning Experience.

    In: Recent Advanced in Natural Language Processing. International Conference on Recent Advances in Natural Language Processing (RANLP-2025), September 8-10, Varna, Bulgaria, Association for Computational Linguistics, 9/2025.

  10. Natalia Skachkova; Simon Ostermann; Josef van Genabith; Bernd Kiefer

    Do LLMs fail in bridging generation?

    In: Ngoc Duyen Tanja Tu; Annelen Brunner; Christian Lang (Hrsg.). Journal for Language Technology and Computational Linguistics (JLCL), Vol. 38, No. 2, Pages 77-95, ACL Anthology, 7/2025.

Year

More options