- Tallulah, a Tool to Support the Axiomatic Approach to Causal Consistent Reversibility.- Independence and Causality in the Reversible Concurrent Setting.- Encoding Choice and Replication in rollÏ.- Implementation of an Optimally Bounded Algorithm for Quantum State Preparation.- Universal Graph Theory Operations for Graph State Preparation.- On Exact Sizes of Minimal CNOT Circuits.- Two small quantum building-blocks suffice.- Approximate Optimisation of Quantum Circuits using the ZX-calculus with Phase Squashing.
- RevMiGo: Reversible channel-based communication in Go language.- Towards a Characterization of Two-way Bijections in a Reversible Computational Model.- Ancilla-free Quantum Adder with Sublinear Depth.- Implementing Reversible Neural Networks.