Browse by Journal or other publication
2025
Ghani, Neil (2025) A category theoretic approach to approximate game theory. Electronic Proceedings in Theoretical Computer Science, 429. pp. 190-202. ISSN 2075-2180
Hedges, Jules and RodrÃguez Sakamoto, Riu (2025) Reinforcement Learning in Categorical Cybernetics. Electronic Proceedings in Theoretical Computer Science, 429. pp. 270-286. ISSN 2075-2180
Capucci, Matteo and Lynch, Owen and Spivak, David I. (2025) Organizing physics with open energy-driven systems. Electronic Proceedings in Theoretical Computer Science, 429. pp. 287-301. ISSN 2075-2180
Mardare, Radu and Ghani, Neil and Rischel, Eigil (2025) Metric equational theories. Electronic Proceedings in Theoretical Computer Science, 428. pp. 144-160. ISSN 2075-2180
2020
Beaudrap, Niel de and Duncan, Ross and Horsman, Dominic and Perdrix, Simon (2020) Pauli Fusion : a computational model to realise quantum transformations from ZX terms. Electronic Proceedings in Theoretical Computer Science, 318. pp. 85-105. ISSN 2075-2180
Griend, Arianne Meijer-van de and Duncan, Ross (2020) Architecture-aware synthesis of phase polynomials for NISQ devices. Electronic Proceedings in Theoretical Computer Science. ISSN 2075-2180 (In Press)
Kendon, Viv (2020) How to computer using quantum walks. Electronic Proceedings in Theoretical Computer Science, 315. pp. 1-17. ISSN 2075-2180
2019
Collins, Joseph and Duncan, Ross (2019) Hopf-Frobenius algebras and a simpler Drinfeld double. Electronic Proceedings in Theoretical Computer Science. ISSN 2075-2180
Fagan, Andrew and Duncan, Ross (2019) Optimising Clifford circuits with Quantomatic. Electronic Proceedings in Theoretical Computer Science, 287. pp. 85-105. ISSN 2075-2180
2018
McBride, Conor (2018) Everybody's got to be somewhere. Electronic Proceedings in Theoretical Computer Science, 275. pp. 53-69. ISSN 2075-2180
2014
Duncan, Ross and Perdrix, Simon (2014) Pivoting makes the ZX-calculus complete for real stabilizers. Electronic Proceedings in Theoretical Computer Science, 171. pp. 50-62. ISSN 2075-2180
Duncan, Ross and Lucas, Maxime (2014) Verifying the Steane code with Quantomatic. Electronic Proceedings in Theoretical Computer Science, 171. pp. 33-49. ISSN 2075-2180
2012
Ciobanu, Gabriel and Horne, Ross (2012) A provenance tracking model for data apdates. Electronic Proceedings in Theoretical Computer Science, 91. pp. 31-44.

Up a level