Skip to main content Skip to main navigation

Publications

Displaying results 1731 to 1740 of 15123.

  1. Martha Schnieber; Rolf Drechsler

    Synthesis for testability and verifiability: Polynomial formal verification and test pattern generation for KFDD circuits

    In: Microprocessors and Microsystems (MICPRO), Vol. 124, Science Direct, 2026.

  2. Khushboo Qayyum; Qurrat Ul Ain; Muhammad Hassan; Asjad Afnan Asjad Afnan; Rolf Drechsler

    Towards Reliable LLM-Assisted Verification Artifact Generation in EDA

    In: IEEE International Conference on Omni-Layer Intelligent Systems (COINS). IEEE International Conference on Omni-layer Intelligent Systems (IEEE COINS), September 7-9, Bologna, Italy, IEEE, 2026.

  3. Brian Moser; Shalini Sarode; Federico Raue; Stanislav Frolov; Krzysztof Adamkiewicz; Arundhati Shanbhag; Joachim Folz; Tobias Christian Nauen; Andreas Dengel

    PRISM: Diversifying Dataset Distillation by Decoupling Architectural Priors

    In: Transactions on Machine Learning Research (TMLR), Pages 1-17, Journal of Machine Learning Research, 1/2026.

  4. Chantale Lauer; Peter Pfeiffer; Nijat Mehdiyev

    Human-Centered Evaluation of an LLM-Based Process Modeling Copilot: A Mixed-Methods Study with Domain Experts

    CHI 2026 Workshop on Human-centered Evaluation and Auditing of Language Models, 3/2026.

  5. Daniel Sonntag; Martin Atzmueller; Frederic Theodor Stahl; Thiago Gouvea; Martin Günther; Christoph Manss; Lisa Dawel; Siting Liang; Felix Igelbrink

    Amenable — Accessible AI in Sensor-Based Systems for Environment Monitoring

    German Research Center for AI, DFKI Technical Report, 2026.

  6. Siting Liang; Omar Adjali; Omair Shahzad Bhatti; Daniel Sonntag

    A Scalable Cross-Domain Event Extraction System via a Unified Generative Training Framework

    In: IJCAI. International Joint Conference on Artificial Intelligence (IJCAI-2026), The 35th International Joint Conference on Artificial Intelligence, located at IJCAI-2026, August 15-21, Bremen, Germany, IJCAI, 2026.

  7. Rohit Kumar; Shivesh Kumar; Frank Kirchner

    Minimal Coordinate Dynamic Simulation Through Singularities

    In: Proceedings of the 20th International Symposium on Advances in Robot Kinematics. International Symposium on Advances in Robot Kinematics (ARK-2026), June 28 - July 2, Barcelona, Spain, Springer, 7/2026.

  8. Falco Lentzsch; Frédéric Li; Friederike Pagel; Margot Lau; Andrea Kock; Hanna Marie Röhling; Benedikt-Johannes Rothstein; Maciej Baranowski; Marco Maass; Hannes Hölzl; Sebastian Glande; Sebastian Mansow-Model; Ute Thyen; Marcin Grzegorzek

    A machine learning study highlighting the challenges of fidgety movement recognition using vision and inertial sensors

    In: Scientific Reports (Sci Rep), Vol. Scientific Reports volume 16, Article number: 459, Pages 1-16, Nature Publishing Group UK London, 2026.

  9. Michael Gundall; Daniel Lindenschmitt; Julian Remmet; Hans Dieter Schotten

    Demonstrating High-Precision Time Synchronization for Industrial Applications over 5G

    In: 2026 22nd IEEE International Conference on Factory Communication Systems (WFCS). IEEE International Conference on Factory Communication Systems (WFCS-2026), Germany, IEEE, 4/2026.

  10. Yujing Ke; Kevin George; Kathan Pandya; David Blumenthal; Maximilian Sprang; Gerrit Großmann; Sebastian Vollmer; David Antony Selby

    BioDisco: Multi-agent hypothesis generation with dual-mode evidence, iterative feedback and temporal evaluation

    In: Proceedings of the Thirty-Fifth International Joint Conference on Artificial Intelligence. International Joint Conference on Artificial Intelligence (IJCAI-2026), 35th International Joint Conference on Artificial Intelligence, August 15-21, Bremen, Germany, IJCAI, 8/2026.

Year

More options