3 papers
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…
cs.SE2024
Epistemic Ensembles in Semantic and Symbolic Environments (Extended Version with Proofs)
Rolf Hennicker, Alexander Knapp, Martin Wirsing
An epistemic ensemble is composed of knowledge-based agents capable of retrieving and sharing knowledge and beliefs about themselves and their peers. These agents access a global k…
math.LO2023
A modular bisimulation characterisation for fragments of hybrid logic
Guillermo Badia, Daniel Gaina, Alex Knapp +2
There are known characterisations of several fragments of hybrid logic by means of invariance under bisimulations of some kind. The fragments include $\{\store, \jump\}$ with or wi…