[an error occurred while processing this directive]<meta name="keywords" content="Department of Computer Science, publications, by date, Aleks Kissinger"></meta><meta name="description" content="Publications, by date, Department of Computer Science, Oxford, Aleks Kissinger"></meta><title>Department of Computer Science, University of Oxford: Aleks Kissinger : Publications
</title><style type="text/css">
			  .btn-toolbar::after, .btn-toolbar::before
			  {
			    content: " ";
			    display: table;
			  }

			
			.btn-toolbar
			{
			    margin-bottom: 2em;
			}

			  .btn-toolbar::after, .btn-group::after
			  {
			    clear: both;
			  }


			.btn-toolbar .btn, .btn-toolbar .btn-group
			  {
			    float: left;
			}
			
			.btn-group
			  {
			    display: inline-block;
			    position: relative;
			    vertical-align: middle;
			}

			  .btn-group > .btn:first-child:not(:last-child)
			  {
			    border-bottom-right-radius: 0;
			    border-top-right-radius: 0;
			}
			
			.btn-group > .btn:first-child
			  {
			    margin-left: 0;
			}

			.btn-group > .btn
			  {
			    float: left;
			    position: relative;
			}

			  .btn-group > .btn:not(:first-child):not(:last-child)
			  {
			    border-radius: 0;
			}
			
			  .btn-group > .btn:last-child:not(:first-child)
			  {
			    border-bottom-left-radius: 0;
			    border-top-left-radius: 0;
			}
			
			.btn-group .btn + .btn, .btn-group .btn + .btn-group, .btn-group .btn-group + .btn, .btn-group .btn-group + .btn-group
			  {
			    margin-left: -2px;
			}
			</style>[an error occurred while processing this directive]<div class="content-width"><ol class="breadcrumb text-uppercase"><li><a href="/">Home</a></li><li><a href="/aboutus/">About Us</a></li><li><a href="/people/">People</a></li><li><a href="/people/faculty.html">Faculty</a></li><li><a href="/people/Aleks.Kissinger"><span itemprop="name">Aleks Kissinger</span></a></li><li class="active">Publications</li></ol></div><!-- MOBILE NAVIGATION --><div class="content-width space-below mobile-menu-placeholder visible-xs visible-sm"></div><!-- COLUMNS --><div class="container-fluid content-width"><div class="row"><div class="col-xs-12 col-md-9 col-md-push-3" id="maincontent"><!-- CONTENT (Column 2) --><div class="page-title"><h1>Aleks Kissinger : Publications
</h1></div><div role="toolbar" class="btn-toolbar"><div class="btn-group"><a href="/people/publications/date/Aleks.Kissinger.html" aria-hidden="true" type="button" class="btn btn-oxford-blue"><span class="glyphicon glyphicon-sort-by-attributes"></span> By date</a><a href="/people/publications/title/Aleks.Kissinger.html" aria-hidden="true" type="button" class="btn btn-default"><span class="glyphicon glyphicon-sort-by-attributes"></span> By title</a><a href="/people/publications/type/Aleks.Kissinger.html" aria-hidden="true" type="button" class="btn btn-default"><span class="glyphicon glyphicon-sort-by-attributes"></span> By type</a><a href="/people/publications/bibtex/Aleks.Kissinger.html" aria-hidden="true" type="button" class="btn btn-default"><span class="glyphicon glyphicon-file"></span> BibTex</a></div></div><p></p><ul class="list-unbulleted list-unbulleted-spaced"><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[1] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            A Graphical Calculus for Lagrangian Relations </strong> </p>
	    <p class="publicationAuthors"> <em> Cole Comfort and Aleks Kissinger  </em> </p>
	
	<p class="publicationDetails"> 2022.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication15734-abstract.html">
			Details <span class="sr-only" > about <em> A Graphical Calculus for Lagrangian Relations  </em></span> </a> |
			<a href="/publications/publication15734.bib">
			BibTeX  <span class="sr-only" > data for <em> A Graphical Calculus for Lagrangian Relations  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.4204/eptcs.372.24">
		DOI (10.4204/eptcs.372.24)
		</a> 
					| <a href="https://arxiv.org/pdf/2105.06244"> Link <span class="sr-only" > to <em> A Graphical Calculus for Lagrangian Relations  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[2] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Tensor Network Rewriting Strategies for Satisfiability and Counting </strong> </p>
	    <p class="publicationAuthors"> <em> Niel de Beaudrap&#x201a; Aleks Kissinger and Konstantinos Meichanetzidis  </em> </p>
	
	<p class="publicationDetails"> 2020.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication14128-abstract.html">
			Details <span class="sr-only" > about <em> Tensor Network Rewriting Strategies for Satisfiability and Counting  </em></span> </a> |
			<a href="/publications/publication14128.bib">
			BibTeX  <span class="sr-only" > data for <em> Tensor Network Rewriting Strategies for Satisfiability and Counting  </em></span>   </a>
			
			
					| <a href="https://arxiv.org/abs/2004.06455"> Link <span class="sr-only" > to <em> Tensor Network Rewriting Strategies for Satisfiability and Counting  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[3] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Universal MBQC with generalised parity&#x2212;phase interactions and Pauli measurements </strong> </p>
	    <p class="publicationAuthors"> <em> Aleks Kissinger and John van de Wetering  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Quantum</em>.
        
            Vol. 3.
        
                Pages 134.
            2019.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication12718-abstract.html">
			Details <span class="sr-only" > about <em> Universal MBQC with generalised parity&#x2212;phase interactions and Pauli measurements  </em></span> </a> |
			<a href="/publications/publication12718.bib">
			BibTeX  <span class="sr-only" > data for <em> Universal MBQC with generalised parity&#x2212;phase interactions and Pauli measurements  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[4] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            A categorical semantics for causal structure (extended version) </strong> </p>
	    <p class="publicationAuthors"> <em> Aleks Kissinger and Sander Uijlen  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Logical Methods in Computer Science (LMCS)</em>.
        
            Vol. 15.
        
            No. 3.
        2019.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication12717-abstract.html">
			Details <span class="sr-only" > about <em> A categorical semantics for causal structure (extended version)  </em></span> </a> |
			<a href="/publications/publication12717.bib">
			BibTeX  <span class="sr-only" > data for <em> A categorical semantics for causal structure (extended version)  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[5] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Causal Inference by String Diagram Surgery </strong> </p>
	    <p class="publicationAuthors"> <em> Bart Jacobs&#x201a; Aleks Kissinger and Fabio Zanasi  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 22nd International Conference on Foundations of Software Science and Computation Structures (FoSSaCS)</em>.
        2019.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication12719-abstract.html">
			Details <span class="sr-only" > about <em> Causal Inference by String Diagram Surgery  </em></span> </a> |
			<a href="/publications/publication12719.bib">
			BibTeX  <span class="sr-only" > data for <em> Causal Inference by String Diagram Surgery  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[6] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            ZH: A Complete Graphical Calculus for Quantum Computations Involving Classical Non&#x2212;linearity </strong> </p>
	    <p class="publicationAuthors"> <em> Miriam Backens and Aleks Kissinger  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 15th Annual conference in Quantum Physics and Logic (QPL)</em>.
        2018.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication12721-abstract.html">
			Details <span class="sr-only" > about <em> ZH: A Complete Graphical Calculus for Quantum Computations Involving Classical Non&#x2212;linearity  </em></span> </a> |
			<a href="/publications/publication12721.bib">
			BibTeX  <span class="sr-only" > data for <em> ZH: A Complete Graphical Calculus for Quantum Computations Involving Classical Non&#x2212;linearity  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[7] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Rewriting with Frobenius </strong> </p>
	    <p class="publicationAuthors"> <em> Filippo Bonchi&#x201a; Fabio Gadducci&#x201a; Aleks Kissinger and Fabio Zanasi Pawe&#x0142;&#x0142; Soboci&#x0144;ski  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 32nd Annual ACM/IEEE symposium on Logic in Computer Science (LICS)</em>.
        2018.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication12720-abstract.html">
			Details <span class="sr-only" > about <em> Rewriting with Frobenius  </em></span> </a> |
			<a href="/publications/publication12720.bib">
			BibTeX  <span class="sr-only" > data for <em> Rewriting with Frobenius  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[8] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Confluence of graph rewriting with interfaces </strong> </p>
	    <p class="publicationAuthors"> <em> Filippo Bonchi&#x201a; Fabio Gadducci&#x201a; Aleks Kissinger and Fabio Zanasi Pawe&#x0142;&#x0142; Soboci&#x0144;ski  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 26th European Symposium on Programming (ESOP)</em>.
        2017.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication12723-abstract.html">
			Details <span class="sr-only" > about <em> Confluence of graph rewriting with interfaces  </em></span> </a> |
			<a href="/publications/publication12723.bib">
			BibTeX  <span class="sr-only" > data for <em> Confluence of graph rewriting with interfaces  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[9] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            A categorical semantics for causal structure </strong> </p>
	    <p class="publicationAuthors"> <em> Aleks Kissinger and Sander Uijlen  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 32nd Annual ACM/IEEE symposium on Logic in Computer Science (LICS)</em>.
        2017.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication12722-abstract.html">
			Details <span class="sr-only" > about <em> A categorical semantics for causal structure  </em></span> </a> |
			<a href="/publications/publication12722.bib">
			BibTeX  <span class="sr-only" > data for <em> A categorical semantics for causal structure  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[10] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Categorical Quantum Mechanics II: Classical&#x2212;Quantum Interaction </strong> </p>
	    <p class="publicationAuthors"> <em> Bob Coecke and Aleks Kissinger  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>International Jounal of Quantum Information</em>.
        
            Vol. 14.
        
            No. 4.
        2016.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication12746-abstract.html">
			Details <span class="sr-only" > about <em> Categorical Quantum Mechanics II: Classical&#x2212;Quantum Interaction  </em></span> </a> |
			<a href="/publications/publication12746.bib">
			BibTeX  <span class="sr-only" > data for <em> Categorical Quantum Mechanics II: Classical&#x2212;Quantum Interaction  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[11] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Tensors&#x201a; !&#x2212;graphs&#x201a; and non&#x2212;commutative quantum structures (extended version) </strong> </p>
	    <p class="publicationAuthors"> <em> Aleks Kissinger and David Quick  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Next Generation Computing 34(1). Springer/Ohmsha</em>.
        2016.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication12727-abstract.html">
			Details <span class="sr-only" > about <em> Tensors&#x201a; !&#x2212;graphs&#x201a; and non&#x2212;commutative quantum structures (extended version)  </em></span> </a> |
			<a href="/publications/publication12727.bib">
			BibTeX  <span class="sr-only" > data for <em> Tensors&#x201a; !&#x2212;graphs&#x201a; and non&#x2212;commutative quantum structures (extended version)  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[12] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Globular: an online proof assistant for higher&#x2212;dimensional rewriting </strong> </p>
	    <p class="publicationAuthors"> <em> Krzysztof Bar&#x201a; Aleks Kissinger and Jamie Vicary  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 1st International Conference on Formal Structures for Computation and Deduction (FSCD)</em>.
        2016.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication12726-abstract.html">
			Details <span class="sr-only" > about <em> Globular: an online proof assistant for higher&#x2212;dimensional rewriting  </em></span> </a> |
			<a href="/publications/publication12726.bib">
			BibTeX  <span class="sr-only" > data for <em> Globular: an online proof assistant for higher&#x2212;dimensional rewriting  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[13] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Picturing Indefinite Causal Structure </strong> </p>
	    <p class="publicationAuthors"> <em> Aleks Kissinger and Sander Uijlen  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 13th Annual conference in Quantum Physics and Logic (QPL).</em>.
        2016.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication12725-abstract.html">
			Details <span class="sr-only" > about <em> Picturing Indefinite Causal Structure  </em></span> </a> |
			<a href="/publications/publication12725.bib">
			BibTeX  <span class="sr-only" > data for <em> Picturing Indefinite Causal Structure  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[14] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Rewriting modulo symmetric monoidal structure </strong> </p>
	    <p class="publicationAuthors"> <em> Filippo Bonchi&#x201a; Fabio Gadducci&#x201a; Aleks Kissinger and Fabio Zanasi Pawe&#x0142;&#x0142; Soboci&#x0144;ski  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 31st Annual ACM/IEEE symposium on Logic in Computer Science (LICS)</em>.
        2016.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication12724-abstract.html">
			Details <span class="sr-only" > about <em> Rewriting modulo symmetric monoidal structure  </em></span> </a> |
			<a href="/publications/publication12724.bib">
			BibTeX  <span class="sr-only" > data for <em> Rewriting modulo symmetric monoidal structure  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[15] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Generalised Compositional Theories and Diagrammatic Reasoning </strong> </p>
	    <p class="publicationAuthors"> <em> Bob Coecke&#x201a; Ross Duncan&#x201a; Aleks Kissinger and and Quanlong Wang  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Quantum Theory: Informational Foundations and Foils</em>.
        
            Vol. 181
                of Fundamental Theories of Physics.
        Springer.
        2016.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication12753-abstract.html">
			Details <span class="sr-only" > about <em> Generalised Compositional Theories and Diagrammatic Reasoning  </em></span> </a> |
			<a href="/publications/publication12753.bib">
			BibTeX  <span class="sr-only" > data for <em> Generalised Compositional Theories and Diagrammatic Reasoning  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[16] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Categorical Quantum Mechanics I: Causal Quantum Processes </strong> </p>
	    <p class="publicationAuthors"> <em> Bob Coecke and Aleks Kissinger  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Categories for the Working Philosopher</em>.
        Oxford University Press.
        2016.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication12752-abstract.html">
			Details <span class="sr-only" > about <em> Categorical Quantum Mechanics I: Causal Quantum Processes  </em></span> </a> |
			<a href="/publications/publication12752.bib">
			BibTeX  <span class="sr-only" > data for <em> Categorical Quantum Mechanics I: Causal Quantum Processes  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[17] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            !&#x2212;Graphs with trivial overlap are context&#x2212;free </strong> </p>
	    <p class="publicationAuthors"> <em> Aleks Kissinger and Vladimir Zamdzhiev  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of Graphs as Models (GaM)&#x201a; workshop at ETAPS</em>.
        2015.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication12731-abstract.html">
			Details <span class="sr-only" > about <em> !&#x2212;Graphs with trivial overlap are context&#x2212;free  </em></span> </a> |
			<a href="/publications/publication12731.bib">
			BibTeX  <span class="sr-only" > data for <em> !&#x2212;Graphs with trivial overlap are context&#x2212;free  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[18] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Quantomatic: A proof assistant for diagrammatic reasoning </strong> </p>
	    <p class="publicationAuthors"> <em> Aleks Kissinger and Vladimir Zamdzhiev  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 25th International Conference on Automated Deduction (CADE)</em>.
        2015.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication12730-abstract.html">
			Details <span class="sr-only" > about <em> Quantomatic: A proof assistant for diagrammatic reasoning  </em></span> </a> |
			<a href="/publications/publication12730.bib">
			BibTeX  <span class="sr-only" > data for <em> Quantomatic: A proof assistant for diagrammatic reasoning  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[19] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Equational reasoning with context&#x2212;free families of string diagrams </strong> </p>
	    <p class="publicationAuthors"> <em> Aleks Kissinger and Vladimir Zamdzhiev  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the International Conference on Graph Transformation (ICGT)</em>.
        2015.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication12729-abstract.html">
			Details <span class="sr-only" > about <em> Equational reasoning with context&#x2212;free families of string diagrams  </em></span> </a> |
			<a href="/publications/publication12729.bib">
			BibTeX  <span class="sr-only" > data for <em> Equational reasoning with context&#x2212;free families of string diagrams  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[20] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            A first&#x2212;order logic for string diagrams </strong> </p>
	    <p class="publicationAuthors"> <em> Aleks Kissinger and David Quick  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 6th Conference on Algebra and Coalgebra (CALCO)</em>.
        2015.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication12728-abstract.html">
			Details <span class="sr-only" > about <em> A first&#x2212;order logic for string diagrams  </em></span> </a> |
			<a href="/publications/publication12728.bib">
			BibTeX  <span class="sr-only" > data for <em> A first&#x2212;order logic for string diagrams  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[21] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Categories of Quantum and Classical Channels </strong> </p>
	    <p class="publicationAuthors"> <em> Bob Coecke&#x201a; Chris Heunen and Aleks Kissinger  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Quantum Information Processing&#x201a; Springer</em>.
        2014.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication12735-abstract.html">
			Details <span class="sr-only" > about <em> Categories of Quantum and Classical Channels  </em></span> </a> |
			<a href="/publications/publication12735.bib">
			BibTeX  <span class="sr-only" > data for <em> Categories of Quantum and Classical Channels  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[22] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Tinker&#x201a; Tailor&#x201a; Solver&#x201a; Proof </strong> </p>
	    <p class="publicationAuthors"> <em> Gudmund Grov&#x201a; Aleks Kissinger and and Yuhui Lin  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of User Interfaces for Theorem Proving (UITP)&#x201a; workshop at FLoC&#x201a; Vienna Summer of Logic</em>.
        2014.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication12733-abstract.html">
			Details <span class="sr-only" > about <em> Tinker&#x201a; Tailor&#x201a; Solver&#x201a; Proof  </em></span> </a> |
			<a href="/publications/publication12733.bib">
			BibTeX  <span class="sr-only" > data for <em> Tinker&#x201a; Tailor&#x201a; Solver&#x201a; Proof  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[23] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Tensors&#x201a; !&#x2212;graphs&#x201a; and non&#x2212;commutative quantum structures </strong> </p>
	    <p class="publicationAuthors"> <em> Aleks Kissinger and David Quick  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 11th workshop on Quantum Physics and Logic (QPL)</em>.
        2014.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication12732-abstract.html">
			Details <span class="sr-only" > about <em> Tensors&#x201a; !&#x2212;graphs&#x201a; and non&#x2212;commutative quantum structures  </em></span> </a> |
			<a href="/publications/publication12732.bib">
			BibTeX  <span class="sr-only" > data for <em> Tensors&#x201a; !&#x2212;graphs&#x201a; and non&#x2212;commutative quantum structures  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[24] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            A Graphical Language for Proof Strategies </strong> </p>
	    <p class="publicationAuthors"> <em> Gudmund Grov&#x201a; Aleks Kissinger and and Yuhui Lin  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 19th International Conference of Logic for Programming&#x201a; Artificial Intelligence&#x201a; and Reasoning (LPAR)</em>.
        
            Vol. 8312
                of Lecture Notes in Computer Science.
        Springer.
        2013.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication12736-abstract.html">
			Details <span class="sr-only" > about <em> A Graphical Language for Proof Strategies  </em></span> </a> |
			<a href="/publications/publication12736.bib">
			BibTeX  <span class="sr-only" > data for <em> A Graphical Language for Proof Strategies  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[25] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Completely Positive Projections and Biproducts </strong> </p>
	    <p class="publicationAuthors"> <em> Chris Heunen&#x201a; Aleks Kissinger and Peter Selinger  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 10th workshop on Quantum Physics and Logic (QPL)</em>.
        2013.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication12734-abstract.html">
			Details <span class="sr-only" > about <em> Completely Positive Projections and Biproducts  </em></span> </a> |
			<a href="/publications/publication12734.bib">
			BibTeX  <span class="sr-only" > data for <em> Completely Positive Projections and Biproducts  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[26] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Compositional Quantum Logic </strong> </p>
	    <p class="publicationAuthors"> <em> Bob Coecke&#x201a; Chris Heunen and Aleks Kissinger  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Computation&#x201a; Logic&#x201a; Games&#x201a; and Quantum Foundations: The Many Facets of Samson Abramsky</em>.
        
            Vol. 7860
                of Lecture Notes in Computer Science (LNCS).
        Springer.
        2013.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication12755-abstract.html">
			Details <span class="sr-only" > about <em> Compositional Quantum Logic  </em></span> </a> |
			<a href="/publications/publication12755.bib">
			BibTeX  <span class="sr-only" > data for <em> Compositional Quantum Logic  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[27] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Abstract Tensor Systems as Monoidal Categories </strong> </p>
	    <p class="publicationAuthors"> <em> Aleks Kissinger  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Categories and Types in Logic&#x201a; Language&#x201a; and Physics&#x201a; Essays dedicated to Jim Lambek on the Occasion of this 90th Birthday</em>.
        
            Vol. 8222
                of Lecture Notes in Computer Science (LNCS).
        Springer.
        2013.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication12754-abstract.html">
			Details <span class="sr-only" > about <em> Abstract Tensor Systems as Monoidal Categories  </em></span> </a> |
			<a href="/publications/publication12754.bib">
			BibTeX  <span class="sr-only" > data for <em> Abstract Tensor Systems as Monoidal Categories  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[28] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Strong Complementarity and Non&#x2212;locality in Categorical Quantum Mechanics </strong> </p>
	    <p class="publicationAuthors"> <em> Bob Coecke&#x201a; Ross Duncan&#x201a; Aleks Kissinger and Quanlong Wang  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 27th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)</em>.
        2012.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication12740-abstract.html">
			Details <span class="sr-only" > about <em> Strong Complementarity and Non&#x2212;locality in Categorical Quantum Mechanics  </em></span> </a> |
			<a href="/publications/publication12740.bib">
			BibTeX  <span class="sr-only" > data for <em> Strong Complementarity and Non&#x2212;locality in Categorical Quantum Mechanics  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[29] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Synthesising Graphical Theories </strong> </p>
	    <p class="publicationAuthors"> <em> Aleks Kissinger  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the workshop on Automated Theory eXploration (ATX)</em>.
        2012.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication12739-abstract.html">
			Details <span class="sr-only" > about <em> Synthesising Graphical Theories  </em></span> </a> |
			<a href="/publications/publication12739.bib">
			BibTeX  <span class="sr-only" > data for <em> Synthesising Graphical Theories  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[30] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Pattern Graph Rewrite Systems </strong> </p>
	    <p class="publicationAuthors"> <em> Alex Merry&#x201a; Aleks Kissinger and Matvey Soloviev  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 8th workshop on Developments in Computational Models (DCM)</em>.
        2012.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication12738-abstract.html">
			Details <span class="sr-only" > about <em> Pattern Graph Rewrite Systems  </em></span> </a> |
			<a href="/publications/publication12738.bib">
			BibTeX  <span class="sr-only" > data for <em> Pattern Graph Rewrite Systems  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[31] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Categories of Quantum and Classical Channels (extended abstract) </strong> </p>
	    <p class="publicationAuthors"> <em> Bob Coecke&#x201a; Chris Heunen and Aleks Kissinger  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 9th workshop on Quantum Physics and Logic (QPL)</em>.
        2012.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication12737-abstract.html">
			Details <span class="sr-only" > about <em> Categories of Quantum and Classical Channels (extended abstract)  </em></span> </a> |
			<a href="/publications/publication12737.bib">
			BibTeX  <span class="sr-only" > data for <em> Categories of Quantum and Classical Channels (extended abstract)  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[32] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Pictures of Processes: Automated Graph Rewriting for Monoidal Categories and Applications to Quantum Computing </strong> </p>
	    <p class="publicationAuthors"> <em> A. Kissinger  </em> </p>
	
	<p class="publicationDetails"> 2012.
        </p> <p
            class="publicationNote"> DPhil Thesis&#x201a; Oxford University</p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication8780-abstract.html">
			Details <span class="sr-only" > about <em> Pictures of Processes: Automated Graph Rewriting for Monoidal Categories and Applications to Quantum Computing  </em></span> </a> |
			<a href="/publications/publication8780.bib">
			BibTeX  <span class="sr-only" > data for <em> Pictures of Processes: Automated Graph Rewriting for Monoidal Categories and Applications to Quantum Computing  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[33] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Open Graphs and Monoidal Theories </strong> </p>
	    <p class="publicationAuthors"> <em> Lucas Dixon and Aleks Kissinger  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Mathematical Structures in Computer Science</em>.
        
            Vol. 23.
        
            No. sp. issue 2.
        2010.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication12743-abstract.html">
			Details <span class="sr-only" > about <em> Open Graphs and Monoidal Theories  </em></span> </a> |
			<a href="/publications/publication12743.bib">
			BibTeX  <span class="sr-only" > data for <em> Open Graphs and Monoidal Theories  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[34] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Open Graphs and Computational Reasoning </strong> </p>
	    <p class="publicationAuthors"> <em> Lucas Dixon&#x201a; Ross Duncan and and Aleks Kissinger  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 6th workshop on Developments in Computational Models</em>.
        
            Vol. 26
                of Electronic Proceedings in Theoretical Computer Science (EPTCS).
        2010.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication12744-abstract.html">
			Details <span class="sr-only" > about <em> Open Graphs and Computational Reasoning  </em></span> </a> |
			<a href="/publications/publication12744.bib">
			BibTeX  <span class="sr-only" > data for <em> Open Graphs and Computational Reasoning  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[35] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            The Compositional Structure of Multipartite Quantum Entanglement </strong> </p>
	    <p class="publicationAuthors"> <em> Bob Coecke and Aleks Kissinger  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 37th International Colloquium on Automata&#x201a; Languages&#x201a; and Programming (ICALP)</em>.
        
            Vol. 6199
                of LNCS/ARCoSS.
        Springer.
        2010.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication12742-abstract.html">
			Details <span class="sr-only" > about <em> The Compositional Structure of Multipartite Quantum Entanglement  </em></span> </a> |
			<a href="/publications/publication12742.bib">
			BibTeX  <span class="sr-only" > data for <em> The Compositional Structure of Multipartite Quantum Entanglement  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[36] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            The GHZ/W&#x2212;Calculus Contains Rational Arithmetic </strong> </p>
	    <p class="publicationAuthors"> <em> Bob Coecke&#x201a; Aleks Kissinger&#x201a; Alex Merry and and Shibdas Roy  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the CSR Workshop on High Productivity Computations</em>.
        2010.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication12741-abstract.html">
			Details <span class="sr-only" > about <em> The GHZ/W&#x2212;Calculus Contains Rational Arithmetic  </em></span> </a> |
			<a href="/publications/publication12741.bib">
			BibTeX  <span class="sr-only" > data for <em> The GHZ/W&#x2212;Calculus Contains Rational Arithmetic  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[37] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Exploring a Quantum Theory with Graph Rewriting and Computer Algebra </strong> </p>
	    <p class="publicationAuthors"> <em> Aleks Kissinger  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of Calculemus</em>.
        
            Vol. 5625
                of LNCS/LNAI.
        Springer.
        2009.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication12751-abstract.html">
			Details <span class="sr-only" > about <em> Exploring a Quantum Theory with Graph Rewriting and Computer Algebra  </em></span> </a> |
			<a href="/publications/publication12751.bib">
			BibTeX  <span class="sr-only" > data for <em> Exploring a Quantum Theory with Graph Rewriting and Computer Algebra  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[38] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Graph Rewrite Systems for Classical Structures in Dagger&#x2212;Symmetric Monoidal Categories </strong> </p>
	    <p class="publicationAuthors"> <em> Aleks Kissinger  </em> </p>
	
	<p class="publicationDetails">  Master's Thesis Oxford University.
        2008.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication3111-abstract.html">
			Details <span class="sr-only" > about <em> Graph Rewrite Systems for Classical Structures in Dagger&#x2212;Symmetric Monoidal Categories  </em></span> </a> |
			<a href="/publications/publication3111.bib">
			BibTeX  <span class="sr-only" > data for <em> Graph Rewrite Systems for Classical Structures in Dagger&#x2212;Symmetric Monoidal Categories  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li></ul></div><div class="col-xs-12 col-md-3 col-md-pull-9 side-menu-col"><h2 class="side-menu-title text-uppercase"><a href="#">About Us</a></h2><ul class="side-menu"><li class="active mobile-menu-source"><a href="/people/">People</a><ul><li class="active"><a href="/people/faculty.html">Faculty</a></li><li><a href="/people/research.html">Research</a></li><li><a href="/people/students.html">Students</a></li><li><a href="/people/support.html">Professional Services</a></li><li><a href="/people/visitingprofessors.html">Visiting Professors</a></li><li><a href="/people/emeritusfaculty.html">Emeritus Faculty</a></li></ul></li><li><a href="/aboutus/vacancies/">Vacancies</a></li><li><a href="/aboutus/women-cs-oxford/index.html">Women in the department</a></li><li><a href="/aboutus/equality-diversity-inclusion/index.html">Equality, diversity and inclusion</a></li><li><a href="https://www.alumniweb.ox.ac.uk/cs/make-a-donation">Support Us</a></li><li><a href="/aboutus/cshistory.html">Our History</a></li><li><a href="/aboutus/contact.html">Contact Us</a></li></ul></div></div></div>[an error occurred while processing this directive]