Personensuche
X
?
1
Applications of fault-tolerant topological quantum error co..
Aachen, RWTH Aachen University, 2024
?
2
Nonreciprocal circuit quantization in the singular limit
design of a passively protected superconducting qubit encod...
Aachen, RWTH Aachen University, 2023
?
9
The probabilistic model checker Storm
symbolic methods for probabilistic model checking
Aachener Informatik-Berichte ; 2018, 06;Technical report / Department of Computer Science, RWTH Aachen
?