Luca Müller

According to our database, Luca Müller authored at least 13 papers between 2021 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Advanced And-Inverter Graph Decomposition Technique for Reducing Circuit Complexity.

Mohamed A. Nadeem, Luca Müller, Chandan Kumar Jha, Rolf Drechsler

ACM Trans. Design Autom. Electr. Syst., January, 2026

Automation of Polynomial Formal Verification using Large Language Models.

Luca Müller, Khushboo Qayyum, Nele Hugo, Muhammad Hassan, Rolf Drechsler

Proceedings of the 44th IEEE VLSI Test Symposium, 2026

Cutwidth Decomposition on Circuit-AIGs: Taming Verification Complexity of Arithmetic Circuits.

Luca Müller, Mohamed A. Nadeem, Rolf Drechsler

Proceedings of the 27th International Symposium on Quality Electronic Design, 2026

Prompt-to-Gesture: Measuring the Capabilities of Image-to-Video Deictic Gesture Generation.

Hassan Ali, Doreen Jirak, Luca Müller, Stefan Wermter

Proceedings of the 20th IEEE International Conference on Automatic Face and Gesture Recognition, 2026

2025

Pointing-Guided Target Estimation via Transformer-Based Attention:TERAIS Data.

Luca Müller, Hassan Ali, Philipp Allgeuer, Lukás Gajdosech, Stefan Wermter

Dataset, September, 2025

ICANN Code: Pointing-Guided Target Estimation via Transformer-Based Attention.

Luca Müller, Hassan Ali, Philipp Allgeuer, Lukás Gajdosech, Stefan Wermter

Dataset, September, 2025

Sicherheitsanforderungen an KI-Systeme.

Oren Halvani, Luca Müller

Datenschutz und Datensicherheit (dud), May, 2025

Seed Scheduling in Fuzz Testing as a Markov Decision Process.

Rafael Fernandes Cunha, Luca Müller, Thomas Rooijakkers, Puck de Haan, Fatih Turkmen

Proceedings of the 1st International Workshop on Security and Privacy-Preserving AI/ML co-located with 28th European Conference on Artificial Intelligence (ECAI 2025), 2025

Pointing-Guided Target Estimation via Transformer-Based Attention.

Luca Müller, Hassan Ali, Philipp Allgeuer, Lukás Gajdosech, Stefan Wermter

Proceedings of the Artificial Neural Networks and Machine Learning. ICANN 2025 International Workshops and Special Sessions, 2025

BDD Meets SAT: Binary Hybrid Diagrams for Efficient Generation of Multiple Solutions.

Rune Krauss, Luca Müller, Marius Marach, Rolf Drechsler

Proceedings of the Forum on Specification & Design Languages, 2025

2024

SAT can Ensure Polynomial Bounds for the Verification of Circuits with Limited Cutwidth.

Luca Müller, Rolf Drechsler

Proceedings of the 27th Euromicro Conference on Digital System Design, 2024

2021

Finding Optimal Implementations of Non-native CNOT Gates Using SAT.

Philipp Niemann, Luca Müller, Rolf Drechsler

Proceedings of the Reversible Computation - 13th International Conference, 2021

Combining SWAPs and Remote CNOT Gates for Quantum Circuit Transformation.

Philipp Niemann, Luca Müller, Rolf Drechsler

Proceedings of the 24th Euromicro Conference on Digital System Design, 2021