Picture of hands reaching out from under the sea of suffering, White Temple, Chiang Rai, Thailand

Open Access research that seeks to understand the expanding impact of human rights law on society...

Strathprints makes available scholarly Open Access content by researchers within the School of Law, including the Centre for the Study of Human Rights Law. Researchers within the Centre explore issues such as the impact of socio-economic rights within the context of immigration and asylum, to human rights within a changing climate, to respect for private life and freedom of expression.

Elsewhere in HaSS, researchers in the School of Social Work & Social Policy are investigating issues surrounding identity, citizenship and belonging among migrant populations, especially in light of significant political, social and economic change.

Explore the Open Access research by the School of Law, or the School of Social Work & Social Policy -- or explore all of Strathclyde's Open Access research...

Browse by Author or creator

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Publication Date | Item type | No Grouping
Jump to: 2020 | 2019 | 2018 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009
Number of items: 25.

2020

Sivarajah, Seyon and Dilkes, Silas and Cowtan, Alexander and Simmons, Will and Edgington, Alec and Duncan, Ross (2020) t|ket> : A retargetable compiler for NISQ devices. Quantum Science and Technology, 6 (1). 014003.

Mills, Daniel and Sivarajah, Seyon and Scholten, Travis L. and Duncan, Ross (2020) Application-motivated, holistic benchmarking of a full quantum computing stack. Quantum. ISSN 2521-327X

Duncan, Ross and Kissinger, Aleks and Perdrix, Simon and van de Wetering, John (2020) Graph-theoretic simplification of quantum circuits with the ZX-calculus. Quantum, 4. 279. ISSN 2521-327X

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)

Rungger, Ivan and Fitzpatrick, Nathan and Chen, Honxiang and Alderete, Cinthia and Apel, Harriett and Cowtan, Alexander and Patterson, Andrew and Muñoz Ramo, David and Zhu, Yingyue and Nguyen, Nhung Hong and Grant, Edward and Chretien, Stephane and Wossnig, Leonard and Linke, Norbert and Duncan, Ross (2020) Dynamical mean field theory algorithm and experiment on quantum computers. Quantum. ISSN 2521-327X

2019

Collins, Joseph and Duncan, Ross (2019) Hopf-Frobenius algebras and a simpler Drinfeld double. Electronic Proceedings in Theoretical Computer Science. ISSN 2075-2180

Cowtan, Alexander and Dilkes, Silas and Duncan, Ross and Simmons, Will and Sivarajah, Seyon; Coecke, Bob and Leifer, Matthew, eds. (2019) Phase gadget synthesis for shallow circuits. In: Proceedings 16th International Conference on Quantum Physics and Logic. Electronic Proceedings in Theoretical Computer Science, 318 . Open Publishing Association, USA, 213–228.

Cowtan, Alexander and Dilkes, Silas and Duncan, Ross and Krajenbrink, Alexandre and Simmons, Will and Sivarajah, Seyon; van Dam, Wim and Mancinska, Laura, eds. (2019) On the qubit routing problem. In: 14th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2019). Leibniz International Proceedings in Informatics (LIPIcs), 135 . Schloss Dagstuhl - Leibniz-Zentrum für Informatik, USA, 5:1--5:32. ISBN 9783959771122

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

Duncan, Ross and Dunne, Kevin; (2018) Interacting Frobenius algebras are Hopf. In: Proceedings of the 31st annual ACM/IEEE Symposium on Logic in Computer Science (LICS). ACM, USA. ISBN 9781450343916

Garvie, Liam and Duncan, Ross (2018) Verifying the smallest interesting colour code with quantomatic. Electronic Proceedings in Theoretical Computer Science, EPTCS, 266. pp. 147-163. ISSN 2075-2180

2015

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.

Coecke, Bob and Duncan, Ross and Kissinger, Aleks and Wang, Quanlong; Chiribella, Giulio and Spekkens, Robert W., eds. (2015) Generalised compositional theories and diagrammatic reasoning. In: Quantum Theory. Fundamental Theories of Physics, 181 (1). Springer, Netherlands, pp. 1-55. ISBN 9789401773027

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.

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

2013

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

Duncan, Ross; Heunen, Chris and Sadrzadeh, Mehrnoosh and Grefenstette, Edward, eds. (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; Glück, Robert and Yokoyama, Tetsuo, eds. (2013) Tutorial : Graphical calculus for quantum circuits. In: Reversible Computation. Lecture Notes in Computer Science, 7581 . Springer, DNK, pp. 1-13. ISBN 9783642363146

2012

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, HRV, pp. 245-254. ISBN 9781467322638

2011

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

2010

Duncan, Ross and Perdrix, Simon; Abramsky, Samson and Gavoille, Cyril and Kirchner, Claude and Meyer auf der Heide, Friedhelm and Spirakis, Paul G., eds. (2010) Rewriting measurement-based quantum computations with generalised flow. In: Automata, languages and programming. Lecture Notes in Computer Science . Springer, FRA, pp. 285-296. ISBN 9783642141614

2009

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

This list was generated on Mon Mar 8 04:02:37 2021 GMT.