3 citations · 3 across the 3 of their papers we have counts for
3 papers
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…
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…
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…