Recherche

		Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 résultats par page 50 résultats par page 100 résultats par page Pour les 18 documents Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM
	hal-01467253v1 Chapitre d'ouvrage Pablo Arrighi, Simon Perdrix. Modèles de calcul quantiques Étienne BAUDRIER Lo\"ic MAZO. Informatique Mathématique - une photographie en 2016, CNRS Editions, 2016
	hal-01249274v1 Communication dans un congrès Simon Perdrix, Quanlong Wang. The ZX Calculus is incomplete for Clifford+T quantum mechanics Quantum Theory: from foundations to technologies – QTFT, Jun 2015, Vaxjo, Sweden
	hal-00944652v1 Communication dans un congrès David Cattanéo, Simon Perdrix. Parameterized Complexity of Weak Odd Domination Problems 19th International Symposium on Fundamentals of Computation Theory, Aug 2013, Liverpool, United Kingdom. 8070, pp.107-120, 2013, Lecture Notes in Computer Science. <10.1007/978-3-642-40164-0_13>
	hal-00944653v1 Communication dans un congrès David Cattanéo, Simon Perdrix. The Parameterized Complexity of Domination-type Problems and Application to Linear Codes Theory and Applications of Models of Computation, Apr 2014, Chennai, India. 8402, pp.86-103, Lecture Notes in Computer Science. <http://link.springer.com/chapter/10.1007%2F978-3-319-06089-7_7>. <10.1007/978-3-319-06089-7_7>
	hal-01529623v1 Pré-publication, Document de travail Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart. A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum Mechanics 2017
	hal-01132843v1 Communication dans un congrès David Cattanéo, Simon Perdrix. Minimum Degree up to Local Complementation: Bounds, Parameterized Complexity, and Exact Algorithms 26th International Symposium on Algorithms and Computation (ISAAC 2015), Dec 2015, Nagoya, Japan. 9472, pp.12, 2015, Algorithms and Computation (ISAAC'2015). <10.1007/978-3-662-48971-0_23>
	hal-01132861v1 Communication dans un congrès Nidhal Hamrit, Simon Perdrix. Reversibility in Extended Measurement-based Quantum Computation 7th Conference on Reversible Computation, Jul 2015, Grenoble, France. 9138, pp.10, 2015, Reversible Computation. <10.1007/978-3-319-20860-2_8>
	hal-00994182v1 Communication dans un congrès Stefano Facchini, Simon Perdrix. Quantum Circuits for the Unitary Permutation Problem TAMC 2015, May 2015, Singapore, Singapore. 9076, pp.324-331, 2015, Theory and Applications of Models of Computation. <10.1007/978-3-319-17142-5_28>
	hal-01249272v1 Communication dans un congrès Pablo Arrighi, Simon Martiel, Simon Perdrix. Block Representation of Reversible Causal Graph Dynamics 20th International Symposium on Fundamentals of Computation Theory, Aug 2015, Gdańsk, Poland. 9210, pp.14, 2015, Fundamentals of Computation Theory. <10.1007/978-3-319-22177-9_27>
	hal-01249271v1 Article dans une revue Sylvain Gravier, Jérôme Javelle, Mehdi Mhalla, Simon Perdrix. On weak odd domination and graph-based quantum secret sharing Journal of Theoretical Computer Science (TCS), Elsevier, 2015, 598, <10.1016/j.tcs.2015.05.038>
	hal-01378413v1 Pré-publication, Document de travail Peter Hoyer, Mehdi Mhalla, Simon Perdrix. Contextuality in multipartie pseudo-telepathy graph games 2016
	hal-01404591v1 Communication dans un congrès Miriam Backens, Simon Perdrix, Quanlong Wang. A Simplified Stabilizer ZX-calculus 13th International Conference on Quantum Physics and Logic , Jun 2016, Glasgow, United Kingdom. 2016, <http://qpl2016.cis.strath.ac.uk/>
	hal-01445948v1 Pré-publication, Document de travail Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart. Y-Calculus: A language for real Matrices derived from the ZX-Calculus 2017
	hal-01377339v2 Communication dans un congrès Simon Perdrix, Luc Sanselme. Determinism and Computational Power of Real Measurement-based Quantum Computation FCT'17- 21st International Symposium on Fundamentals of Computation Theory, Sep 2017, Bordeaux, France
	hal-01445707v2 Communication dans un congrès Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart, Quanlong Wang. ZX-Calculus: Cyclotomic Supplementarity and Incompleteness for Clifford+T quantum mechanics MFCS 2017 - 42nd International Symposium on Mathematical Foundations of Computer Science, Aug 2017, Aalborg, Denmark. pp.15
	hal-01260370v1 Article dans une revue Pablo Arrighi, Simon Perdrix. L’ordinateur quantique pour simuler... la physique quantique La Recherche : L'actualité des sciences, société d'éditions scientifiques, 2015
	hal-01097602v1 Article dans une revue Ali Assaf, Alejandro Díaz-Caro, Simon Perdrix, Christine Tasson, Benoît Valiron. Call-by-value, call-by-name and the vectorial behaviour of the algebraic λ-calculus Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2014, 10:4 (8), pp.40. <http://lmcs-online.org/ojs/viewarticle.php?id=1567>. <10.2168/LMCS-10(4:8)2014>
	inria-00549416v1 Chapitre d'ouvrage Olivier Bournez, Gilles Dowek, Rémi Gilleron, Serge Grigorieff, Jean-Yves Marion et al. Décidabilité et Complexité Pierre Marquis, Odile Papini and Henri Prade. IA Handbook, Cépaduès, pp.1-63, 2010
		Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 résultats par page 50 résultats par page 100 résultats par page Pour les 18 documents Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM