activity
20232025
most citedSemisupervised Anomaly Detection using Support Vector Regression with Quantum Kernel

14 citations · 22 across the 6 of their papers we have counts for

collaborators
Showing 2024Show all

2 papers · 1 filter

quant-ph2024★ 3 cited

QUACK: Quantum Aligned Centroid Kernel

Kilian Tscharke, Sebastian Issel, Pascal Debus

Quantum computing (QC) seems to show potential for application in machine learning (ML). In particular quantum kernel methods (QKM) exhibit promising properties for use in supervis…

quant-ph2024

Towards Classical Software Verification using Quantum Computers

Sebastian Issel, Kilian Tscharke, Pascal Debus

We explore the possibility of accelerating the formal verification of classical programs with a quantum computer. A common source of security flaws stems from the existence of comm…