216 citations · 1.4k across the 66 of their papers we have counts for
79 papers
Mixed-Dimensional Quantum Circuit Simulation with Decision Diagrams
Kevin Mato, Stefan Hillmich, Robert Wille
Quantum computers promise to solve several categories of problems faster than classical computers ever could. Current research mostly focuses on qubits, i.e., systems where the uni…
Design Tasks and Their Complexity for the European Train Control System with Hybrid Train Detection
Stefan Engels, Tom Peham, Judith Przigoda +2
Railway networks have become increasingly important in recent times, especially in moving freight and public transportation from road traffic and planes to more environmentally fri…
A Hybrid Classical Quantum Computing Approach to the Satellite Mission Planning Problem
Nils Quetschlich, Vincent Koch, Lukas Burgholzer +1
Hundreds of satellites equipped with cameras orbit the Earth to capture images from locations for various purposes. Since the field of view of the cameras is usually very narrow, t…
Multi-Task Cross-Modality Attention-Fusion for 2D Object Detection
Huawei Sun, Hao Feng, Georg Stettinger +2
Accurate and robust object detection is critical for autonomous driving. Image-based detectors face difficulties caused by low visibility in adverse weather conditions. Thus, radar…
Detection of Sensor-To-Sensor Variations using Explainable AI
Sarah Seifi, Sebastian A. Schober, Cecilia Carbonelli +2
With the growing concern for air quality and its impact on human health, interest in environmental gas monitoring has increased. However, chemi-resistive gas sensing devices are pl…
Depth-Optimal Synthesis of Clifford Circuits with SAT Solvers
Tom Peham, Nina Brandl, Richard Kueng +2
Circuit synthesis is the task of decomposing a given logical functionality into a sequence of elementary gates. It is (depth-)optimal if it is impossible to achieve the desired fun…
A Framework for the Design and Realization of Alternative Superconducting Quantum Architectures
Jagatheesan Kunasaikaran, Kevin Mato, Robert Wille
Superconducting quantum hardware architectures have been designed by considering the physical constraints of the underlying physics. These general-purpose architectures leave room…
Reducing the Compilation Time of Quantum Circuits Using Pre-Compilation on the Gate Level
Nils Quetschlich, Lukas Burgholzer, Robert Wille
In order to implement a quantum computing application, problem instances must be encoded into a quantum circuit and then compiled for a specific platform. The lengthy compilation p…
Towards Hamiltonian Simulation with Decision Diagrams
Aaron Sander, Lukas Burgholzer, Robert Wille
This paper proposes a novel approach to Hamiltonian simulation using Decision Diagrams (DDs), which are an exact representation based on exploiting redundancies in representations…
QuickSim: Efficient and Accurate Physical Simulation of Silicon Dangling Bond Logic
Jan Drewniok, Marcel Walter, Samuel Sze Hang Ng +2
Silicon Dangling Bonds have established themselves as a promising competitor in the field of beyond-CMOS technologies. Their integration density and potential for energy dissipatio…
Decoding quantum color codes with MaxSAT
Lucas Berent, Lukas Burgholzer, Peter-Jan H. S. Derks +2
In classical computing, error-correcting codes are well established and are ubiquitous both in theory and practical applications. For quantum computing, error-correction is essenti…
Tensor Networks or Decision Diagrams? Guidelines for Classical Quantum Circuit Simulation
Lukas Burgholzer, Alexander Ploier, Robert Wille
Classically simulating quantum circuits is crucial when developing or testing quantum algorithms. Due to the underlying exponential complexity, efficient data structures are key fo…
Decision Diagrams for Quantum Computing
Robert Wille, Stefan Hillmich, Lukas Burgholzer
Quantum computing promises to solve some important problems faster than conventional computations ever could. Currently available NISQ devices on which first practical applications…
MQT QMAP: Efficient Quantum Circuit Mapping
Robert Wille, Lukas Burgholzer
Quantum computing is an emerging technology that has the potential to revolutionize fields such as cryptography, machine learning, optimization, and quantum simulation. However, a…
Automatic Implementation and Evaluation of Error-Correcting Codes for Quantum Computing: An Open-Source Framework for Quantum Error Correction
Thomas Grurl, Christoph Pichler, Jürgen Fuß +1
Due to the fragility of quantum mechanical effects, real quantum computers are plagued by frequent noise effects that cause errors during computations. Quantum error-correcting cod…
Compilation of Entangling Gates for High-Dimensional Quantum Systems
Kevin Mato, Martin Ringbauer, Stefan Hillmich +1
Most quantum computing architectures to date natively support multi-valued logic, albeit being typically operated in a binary fashion. Multi-valued, or qudit, quantum processors ha…
The Basis of Design Tools for Quantum Computing: Arrays, Decision Diagrams, Tensor Networks, and ZX-Calculus
Robert Wille, Lukas Burgholzer, Stefan Hillmich +3
Quantum computers promise to efficiently solve important problems classical computers never will. However, in order to capitalize on these prospects, a fully automated quantum soft…
SyReC Synthesizer: An MQT tool for synthesis of reversible circuits
Smaran Adarsh, Lukas Burgholzer, Tanmay Manjunath +1
Reversible circuits form the backbone for many promising emerging technologies such as quantum computing, low power/adiabatic design, encoder/decoder devices, and several other app…
Recommending Solution Paths for Solving Optimization Problems with Quantum Computing
Benedikt Poggel, Nils Quetschlich, Lukas Burgholzer +2
Solving real-world optimization problems with quantum computing requires choosing between a large number of options concerning formulation, encoding, algorithm and hardware. Findin…
Compiler Optimization for Quantum Computing Using Reinforcement Learning
Nils Quetschlich, Lukas Burgholzer, Robert Wille
Any quantum computing application, once encoded as a quantum circuit, must be compiled before being executable on a quantum computer. Similar to classical compilation, quantum comp…
Simulating Charged Defects in Silicon Dangling Bond Logic Systems to Evaluate Logic Robustness
Samuel S. H. Ng, Jeremiah Croshaw, Marcel Walter +3
Recent research interest in emerging logic systems based on quantum dots has been sparked by the experimental demonstration of nanometer-scale logic devices composed of atomically…
Uncertainty-based Meta-Reinforcement Learning for Robust Radar Tracking
Julius Ott, Lorenzo Servadei, Gianfranco Mauro +3
Nowadays, Deep Learning (DL) methods often overcome the limitations of traditional signal processing approaches. Nevertheless, DL methods are barely applied in real-life applicatio…
Equivalence Checking of Parameterized Quantum Circuits: Verifying the Compilation of Variational Quantum Algorithms
Tom Peham, Lukas Burgholzer, Robert Wille
Variational quantum algorithms have been introduced as a promising class of quantum-classical hybrid algorithms that can already be used with the noisy quantum computing hardware a…
Utilizing Explainable AI for improving the Performance of Neural Networks
Huawei Sun, Lorenzo Servadei, Hao Feng +3
Nowadays, deep neural networks are widely used in a variety of fields that have a direct impact on society. Although those models typically show outstanding performance, they have…