1.Information Flow in Secret Sharing Protocols

作　　者：Elham Kashefi ;Damian Markham ;Mehdi Mhalla 等

出　　处：Electronic Proceedings in Theoretical Computer Science. 2009 ;9:87-97.doi:10.4204/EPTCS.9.10

出版社：Open Publishing Association

文章 ID：83119763

文章详细全文下载

2.Completeness of algebraic CPS simulations

作　　者：Ali Assaf ;Simon Perdrix

出　　处：Electronic Proceedings in Theoretical Computer Science. 2011 ;88:16-27.doi:10.4204/EPTCS.88.2

出版社：Open Publishing Association

文章 ID：83120425

文章详细全文下载

3.SZX-Calculus: Scalable Graphical Quantum Reasoning

作　　者：Titouan Carette ;Dominic Horsman ;Simon Perdrix

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;138:1-15.doi:10.4230/LIPIcs.MFCS.2019.55

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：238892005

文章详细全文下载

4.Completeness of Graphical Languages for Mixed States Quantum Mechanics

作　　者：Titouan Carette ;Emmanuel Jeandel ;Simon Perdrix 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;132:1-15.doi:10.4230/LIPIcs.ICALP.2019.108

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：238892243

文章详细全文下载

5.ZX-Calculus: Cyclotomic Supplementarity and Incompleteness for Clifford+T Quantum Mechanics

作　　者：Emmanuel Jeandel ;Simon Perdrix ;Renaud Vilmart 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;83:11:1-11:13.doi:10.4230/LIPIcs.MFCS.2017.11

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：205510029

文章详细全文下载

6.PBS-Calculus: A Graphical Language for Coherent Control of Quantum Computations

作　　者：Alexandre Clment ;Simon Perdrix

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;170:24:1-24:14.doi:10.4230/LIPIcs.MFCS.2020.24

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：255822934

文章详细全文下载

7.Environment and classical channels in categorical quantum mechanics

作　　者：Bob Coecke ;Simon Perdrix

出　　处：Logical Methods in Computer Science. 2012 ;8(4):1.doi:10.2168/LMCS-8(4:14)2012

出版社：Technical University of Braunschweig

文章 ID：264691881

文章详细全文下载

8.Call-by-value, call-by-name and the vectorial behaviour of the algebraic Î»-calculus

作　　者：Ali Assaf ;Alejandro Díaz-Caro ;Simon Perdrix 等

出　　处：Logical Methods in Computer Science. 2014 ;10(4):1.doi:10.2168/LMCS-10(4:8)2014

出版社：Technical University of Braunschweig

文章 ID：264692172

文章详细全文下载

9.Access Structure in Graphs in High Dimension and Application to Secret Sharing

作　　者：Anne Marin ;Damian Markham ;Simon Perdrix

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2013 ;22:308-324.doi:10.4230/LIPIcs.TQC.2013.308

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：186846388

文章详细全文下载

10.Supplementarity is Necessary for Quantum Diagram Reasoning

作　　者：Simon Perdrix ;Quanlong Wang

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;58:76:1-76:14.doi:10.4230/LIPIcs.MFCS.2016.76

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：186847903

文章详细全文下载

	Renaud Vilmart	2篇
	Titouan Carette	2篇
	Alejandro Díaz-Caro	1篇
	Alexandre Clment	1篇
	Anne Marin	1篇
	Benoît Valiron	1篇
	Bob Coecke	1篇
	Christine Tasson	1篇
	Dominic Horsman	1篇
	Elham Kashefi	1篇
	Mehdi Mhalla	1篇

	德国	8篇
	澳大利亚	2篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Simon Perdrix")))) )) ) )"

	Simon Perdrix	10篇
	Ali Assaf	2篇
	Damian Markham	2篇
	Emmanuel Jeandel	2篇
	Quanlong Wang	2篇

	LIPIcs : Leibniz International Proceedings in Informatics	6篇
	Electronic Proceedings in Theoretical Computer Science	2篇
	Logical Methods in Computer Science	2篇