| Phase Gadget Synthesis for Shallow Circuits | 2020/05/01 | English | 11 |
| ZH: A Complete Graphical Calculus for Quantum Computations Involving Classical Non-linearity | 2019/01/31 | English | 6 |
| Sesqui-Pushout Rewriting: Concurrency, Associativity and Rule Algebra Framework | 2019/12/20 | English | 6 |
| Open Diagrams via Coend Calculus | 2021/02/08 | English | 5 |
| PyZX: Large Scale Automated Diagrammatic Reasoning | 2020/05/01 | English | 4 |
| Koka: Programming with Row Polymorphic Effect Types | 2014/06/05 | English | 4 |
| Optimising Clifford Circuits with Quantomatic | 2019/01/31 | English | 4 |
| Towards Large-scale Functional Verification of Universal Quantum Circuits | 2019/01/31 | English | 4 |
| Constructing Mutually Unbiased Bases from Quantum Latin Squares | 2017/01/01 | English | 3 |
| Two Roads to Classicality | 2018/02/27 | English | 3 |
| Quantum Theory is a Quasi-stochastic Process Theory | 2018/02/27 | English | 3 |
| Deductive Systems and Coherence for Skew Prounital Closed Categories | 2021/01/12 | English | 3 |
| Techniques to Reduce π/4-Parity-Phase Circuits, Motivated by the ZX Calculus | 2020/05/01 | English | 3 |
| A Categorical Semantics for Hierarchical Petri Nets | 2021/12/21 | English | 2 |
| Digital Investigation of Security Attacks on Cardiac Implantable Medical Devices | 2014/10/13 | English | 2 |
| Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge | 2017/07/25 | English | 2 |
| A non-interleaving process calculus for multi-party synchronisation | 2009/12/03 | English | 2 |
| The Cohomology of Non-Locality and Contextuality | 2012/10/01 | English | 2 |
| Compositional Cyber-Physical Systems Modeling | 2021/02/08 | English | 2 |
| Proof Theory of Partially Normal Skew Monoidal Categories | 2021/02/08 | English | 2 |
| Towards a Framework Combining Machine Ethics and Machine Explainability | 2019/01/03 | English | 2 |
| Cohomology of Effect Algebras | 2017/01/01 | English | 2 |
| A Simplified Stabilizer ZX-calculus | 2017/01/01 | English | 2 |
| Google vs IBM: A Constraint Solving Challenge on the Job-Shop Scheduling Problem | 2019/09/19 | English | 2 |
| Translucent Players: Explaining Cooperative Behavior in Social Dilemmas | 2016/06/23 | English | 2 |
| Iteration in ACL2 | 2020/09/29 | English | 2 |
| Verifying the Steane code with Quantomatic | 2014/12/27 | English | 2 |
| Verification of railway interlocking systems | 2015/06/10 | English | 2 |
| CHC-COMP 2022: Competition Report | 2022/11/22 | English | 2 |
| Dezyne: Paving the Way to Practical Formal Software Engineering | 2021/08/06 | English | 2 |