Luca Mller
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2021–2026
Best venue rank
C
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | VTS | Automation of Polynomial Formal Verification using Large Language Models. | Luca Mller, Khushboo Qayyum, Nele Hugo, Muhammad Hassan, Rolf Drechsler |
| 2025 | FDL | BDD Meets SAT: Binary Hybrid Diagrams for Efficient Generation of Multiple Solutions. | Rune Krauss, Luca Mller, Marius Marach, Rolf Drechsler |
| 2025 | ICANN | Pointing-Guided Target Estimation via Transformer-Based Attention. | Luca Mller, Hassan Ali, Philipp Allgeuer, Luks Gajdosech, Stefan Wermter |
| 2024 | DSD | SAT can Ensure Polynomial Bounds for the Verification of Circuits with Limited Cutwidth. | Luca Mller, Rolf Drechsler |
| 2021 | DSD | Combining SWAPs and Remote CNOT Gates for Quantum Circuit Transformation. | Philipp Niemann, Luca Mller, Rolf Drechsler |
| 2021 | RC | Finding Optimal Implementations of Non-native CNOT Gates Using SAT. | Philipp Niemann, Luca Mller, Rolf Drechsler |