research
∙
08/03/2023
Design Tasks and Their Complexity for Hybrid Level 3 of the European Train Control System
Railway networks have become increasingly important in recent times, esp...
share
research
∙
01/10/2023
The Basis of Design Tools for Quantum Computing: Arrays, Decision Diagrams, Tensor Networks, and ZX-Calculus
Quantum computers promise to efficiently solve important problems classi...
research
∙
10/21/2022
Equivalence Checking of Parameterized Quantum Circuits: Verifying the Compilation of Variational Quantum Algorithms
Variational quantum algorithms have been introduced as a promising class...
research
∙
10/17/2022