Skip to main content Skip to main navigation

Publications

Displaying results 601 to 610 of 14738.

  1. Tom Vincent Slawik; Leif Christensen; Frank Kirchner

    Recent advances in tracking control of hydrobatic AUVs

    In: at - Automatisierungstechnik, Vol. 74, No. 2, Pages 91-101, De Gruyter, 3/2026.

  2. Luca Müller; Khushboo Qayyum; Nele Hugo; Muhammad Hassan; Rolf Drechsler

    Automation of Polynomial Formal Verification using Large Language Models

    In: 44th IEEE VLSI Test Symposium (VTS). IEEE VLSI Test Symposium (VTS-2026), April 27-29, Napa, USA, 2026.

  3. Rolf Drechsler

    LLM-based Generation of High-Level Benchmarks for MVL Designs

    In: IEEE International Symposium on Multiple-Valued Logic. IEEE International Symposium on Multiple-Valued Logic (ISMVL-2026), May 19-21, Sendai, Japan, 2026.

  4. Sajjad Parvin; Frank Sill Torres; Rolf Drechsler

    Integrating Optical Probing Security Evaluation Framework Into ASIC Design Flow

    In: Workshop on Nano Security on Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2026), April 20-22, Verona, Italy, 2026.

  5. Caroline Dominik; Rolf Drechsler

    Using Virtual Prototypes for Causal Fault Explanation at System Level

    In: 29. Workshop zu Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen. ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-2026), March 17-18, Würzburg, Germany, 2026.

  6. Peter Fettke; Hans-Georg Fill; Julius Köpke

    LLM, LAM, LxM agent: From talking to acting machines: Insights from the perspective of conceptual modeling

    In: Enterprise Modelling and Information Systems Architectures. An International Journal (EMISA), Vol. 20, Pages 0-0, GI e.V. 2025.

  7. Mandala von Westenholz; Mika Patzelt; Tim Römer; Martin Atzmueller

    Generalizing Local Pattern Mining on Attributed Graphs using Simplicial Complex Abstraction

    In: Hocine Cherifi; Murat Donduran; Luis M. Rocha; Chantal Cherifi; Onur Varol (Hrsg.). Complex Networks & Their Applications XIII - Proceedings of The Thirteenth International Conference on Complex Networks and Their Applications: COMPLEX NETWORKS 2024 - Volume 1. International Conference on Complex Networks and their Applications (COMPLEX NETWORKS-2024), December 10-12, Istanbul, Turkey, Pages 298-311, Studies in Computational Intelligence (SCI), Vol. 1187, Springer, 2025.

  8. Jonas Schmidinger; Viacheslav Barkov; Sebastian Vogel; Martin Atzmueller; Gerard B.M. Heuvelink

    Kriging prior regression: A case for kriging-based spatial features with TabPFN in soil mapping

    In: Computers and Electronics in Agriculture, Vol. 243, Pages 1-17, Elsevier, 2026.

  9. Martin Atzmueller; Tim Bohne; Anne-Kathrin Patricia Windler

    Knowledge-Augmented Explainable and Interpretable Learning for Anomaly Detection and Diagnosis

    In: Pascal Hitzler; Abhilekha Dalal; Mohammad Saeid Mahdavinejad; Sanaz Saki Norouzi (Hrsg.). Handbook on Neurosymbolic AI and Knowledge Graphs. Pages 1-25, ISBN 9781643685786, IOS Press, 3/2025.

  10. Philipp Schlinge; Steffen Meinert; Martin Atzmueller

    Comprehensive evaluation of prototype neural networks

    In: KI - Künstliche Intelligenz, German Journal on Artificial Intelligence - Organ des Fachbereiches "Künstliche Intelligenz" der Gesellschaft für Informatik e.V. (KI), Vol. online, Pages 1-20, Springer, 2025.

Year

More options