Publications

Polynomial formal verification parameterized by cutwidth properties of a circuit using Boolean satisfiability

In: Microprocessors and Microsystems (MICPRO), Vol. 118, Elsevier, 2025.

Yasser Hamidullah; Shakib Yazdani; Cennet Oguz; Cristina España Bonnet; Josef van Genabith

SONAR-SLT: Multilingual Sign Language Translation via Language-Agnostic Sentence Embedding Supervision

In: Proceedings of the Tenth Conference on Machine Translation. Conference on Machine Translation (WMT-2025), November 8-9, Suzhou, China, Association for Computational Linguistics, 2025.

Gerhard Sonnenberg; Peter Stein; Fabio Espinosa; Daniel Porta

Queryable AAS Graphs for AI Agents: An Event-Driven Knowledge Graph Integration for AAS Environments

In: IEEE International Conference on Emerging Technologies and Factory Automation. IEEE International Conference on Emerging Technologies and Factory Automation (ETFA-2025), IEEE, 2025.

Christoph Schuhmann; Robert Kaczmarczyk; Gollam Rabby; Felix Friedrich; Maurice Kraus; Krishna Kalyan; Kourosh Nadi; Huu Nguyen; Kristian Kersting; Sören Zepezauer

EmoNet-Face: An Expert-Annotated Benchmark for Synthetic Emotion Recognition

In: Computing Research Repository eprint Journal (CoRR), Vol. abs/2505.20033, Pages 1-29, Computing Research Repository, 2025.

Nayari Lessa; Melya Boukheddimi; Frank Kirchner

Adversarial Priors Unleashed with Soft Actor Critic

In: Women in Machine Learning Workshop (WiML 2025) at NeurIPS. Neural Information Processing Systems (NeurIPS-2025), 20th Women in Machine Learning Workshop (WiML 2025), December 2-7, San Diego, USA, USA, n.n. 12/2025.

Jonas Seng; Fabrizio Ventola; Zhongjie Yu; Kristian Kersting

Hyperparameter Optimization via Interacting with Probabilistic Circuits

In: Computing Research Repository eprint Journal (CoRR), Vol. abs/2505.17804, Pages 1-39, Computing Research Repository, 2025.

Maurice Rekrut; Johannes Ihl; Tobias Jungbluth; Antonio Krüger

How low can you go: evaluating electrode reduction methods for EEG-based speech imagery BCIs

In: Hasan Ayaz (Hrsg.). Frontiers in Neuroergonomics, Vol. 6, Pages 1-18, Frontiers Media SA, 7/2025.

Nghia Duong-Trung; Xia Wang; Rahul Rajkumar Bhoyar; Angelin Mary Jose; Silke Elisabeth Wrede; Lars van Rijn; Theresa Panse; Claudia de Witt; Niels Pinkwart

TPRS: AI-Assisted Research Topic Refinement for Distance Learners

In: Alexandra I. Cristea; Erin Walker; Yu Lu; Olga C. Santos; Seiji Isotani (Hrsg.). International Conference on Artificial Intelligence in Education. International Conference on Artificial Intelligence in Education (AIED-2025), July 22-26, Palermo, Italy, Pages 69-76, ISBN 978-3-031-99263-6, Springer, 2025.

Alexander Berrang; Cai Hussung; Sarah Rübel; Eva Poxleitner; Peter Fettke

The Adaptive Triplet: Integration of AI-based Learning into the Digital Twin

Whitepaper, 2/2024.

Dimitrios Rakovitis; Dennis Mronga

Gaussian Mixture Likelihood-based Adaptive MPC for Interactive Mobile Manipulators

In: 2024 IEEE International Conference on Robotics and Automation (accepted for publication). IEEE International Conference on Robotics and Automation (ICRA-2024), March 13-17, Yokohama, Japan, IEEE, 2024.