activity
20232026
most citedA modular bisimulation characterisation for fragments of hybrid logic

3 citations · 3 across the 3 of their papers we have counts for

collaborators
Showing quant-phShow all

1 paper · 1 filter

quant-ph2026

PauliEngine: High-Performant Symbolic Arithmetic for Quantum Operations

Leon Müller, Adelina Bärligea, Alexander Knapp +1

Quantum computation is inherently hybrid, and fast classical manipulation of qubit operators is necessary to ensure scalability in quantum software. We introduce PauliEngine, a hig…