Picture of person typing on laptop with programming code visible on the laptop screen

World class computing and information science research at Strathclyde...

The Strathprints institutional repository is a digital archive of University of Strathclyde's Open Access research outputs. Strathprints provides access to thousands of Open Access research papers by University of Strathclyde researchers, including by researchers from the Department of Computer & Information Sciences involved in mathematically structured programming, similarity and metric search, computer security, software systems, combinatronics and digital health.

The Department also includes the iSchool Research Group, which performs leading research into socio-technical phenomena and topics such as information retrieval and information seeking behaviour.

Explore

Browse by Author or Creator

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item type | No Grouping
Number of items: 14.

Article

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

Barnum, Howard and Duncan, Ross and Wilce, Alexander (2013) Symmetry, compact closure and dagger compactness for categories of convex operational models. Journal of Philosophical Logic, 42 (3). pp. 501-523. ISSN 0022-3611

Coecke, Bob and Duncan, Ross (2011) Interacting quantum observables : categorical algebra and diagrammatics. New Journal of Physics, 13 (April). ISSN 1367-2630

Dixon, Lucas and Duncan, Ross (2009) Graphical reasoning in compact closed categories for quantum computation. Annals of Mathematics and Artificial Intelligence, 56 (1). pp. 23-43. ISSN 1012-2443

Book Section

Duncan, Ross and Dunne, Kevin (2016) Interacting Frobenius algebras are Hopf. In: Proceedings of the 31st annual ACM/IEEE Symposium on Logic in Computer Science (LICS). ACM, New York. (In Press)

Coecke, Bob and Duncan, Ross and Kissinger, Aleks and Wang, Quanlong (2015) Generalised compositional theories and diagrammatic reasoning. In: Quantum Theory. Fundamental Theories of Physics, 181 (1). Springer, Netherlands, pp. 1-55. ISBN 978-94-017-7302-7

Duncan, Ross (2013) A graphical approach to measurement-based quantum computing. In: Quantum Physics and Linguistics. OUP. ISBN 978-0-19-964629-6

Coecke, Bob and Duncan, Ross (2013) Tutorial : Graphical calculus for quantum circuits. In: Reversible Computation. Lecture Notes in Computer Science . Springer, pp. 1-13. ISBN 978-3-642-36314-6

Coecke, Bob and Duncan, Ross and Kissinger, Aleks and Wang, Quanlong (2012) Strong complementarity and non-locality in categorical quantum mechanics. In: Logic in Computer Science (LICS), 2012 27th Annual IEEE Symposium on. IEEE, Piscataway, NJ, pp. 245-254. ISBN 9781467322638

Duncan, Ross and Perdrix, Simon (2010) Rewriting measurement-based quantum computations with generalised flow. In: Automata, languages and programming. Lecture Notes in Computer Science . Springer, pp. 285-296. ISBN 9783642141614

Conference or Workshop Item

Duncan, Ross (2015) The ZX-calculus, strong complementarity, and non-locality. In: Journées Informatique Quantique 2015, 2015-11-26 - 2015-11-27, Laboratoire d'Informatique de Grenoble.

Duncan, Ross (2015) Strong complementarity in quantum computing. In: 31st British Colloquium of Theoretical Computer Science, 2015-09-14 - 2015-09-18, Middlesex University.

Duncan, Ross (2015) Interacting Frobenius Algebras are Hopf. In: Higher TQFT and categorical quantum mechanics, 2015-10-19 - 2015-10-23, Erwin Schrödinger Institute.

This list was generated on Tue Aug 22 16:02:59 2017 BST.