{"id":13,"date":"2015-06-15T10:26:53","date_gmt":"2015-06-15T08:26:53","guid":{"rendered":"http:\/\/members.loria.fr\/thierrygartiser\/?page_id=13"},"modified":"2020-09-03T15:32:48","modified_gmt":"2020-09-03T13:32:48","slug":"publications","status":"publish","type":"page","link":"https:\/\/members.loria.fr\/AClement\/publications\/","title":{"rendered":"Publications"},"content":{"rendered":"<p>   <!DOCTYPE html PUBLIC \"-\/\/W3C\/\/DTD XHTML 1.0 Transitional\/\/EN\" \"http:\/\/www.w3.org\/TR\/xhtml1\/DTD\/xhtml1-transitional.dtd\"> <html xmlns='http:\/\/www.w3.org\/1999\/xhtml' xml:lang='fr' lang='fr'> <head> <meta name=\"robots\" content=\"noindex, nofollow\" \/> <meta http-equiv=\"content-type\" content= \"text\/html;charset=UTF-8\" \/> <meta http-equiv=\"Content-Language\" content=\"fr\" \/> <link rel=\"stylesheet\" type=\"text\/css\" href=\"..\/css\/VisuGen.css\" \/> <link rel=\"stylesheet\" type=\"text\/css\" href=\"https:\/\/haltools.inria.fr\/\/css\/VisuRubriqueEncadre.css\" \/> <!-- Piwik haltools.inria.fr--> <script type=\"text\/javascript\">   var _paq = _paq || [];   _paq.push(['trackPageView']);   _paq.push(['enableLinkTracking']);   (function() {     var u=\"\/\/piwik.inria.fr\/\";     _paq.push(['setTrackerUrl', u+'piwik.php']);     _paq.push(['setSiteId', 25]);     var d=document, g=d.createElement('script'), s=d.getElementsByTagName('script')[0];     g.type='text\/javascript'; g.async=true; g.defer=true; g.src=u+'piwik.js'; s.parentNode.insertBefore(g,s);   })(); <\/script> <noscript><\/p>\n<p><img decoding=\"async\" src=\"\/\/piwik.inria.fr\/piwik.php?idsite=25\" style=\"border:0;\" alt=\"\" \/><\/p>\n<p><\/noscript> <!-- End Piwik Code -->  <title>Publications HAL<\/title> <\/head> <body> <\/p>\n<div id=\"res_script\">\n<p class='Rubrique'>2026<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">titre<\/dt>\n<dd class=\"ValeurRes Titre\"><a href=\"https:\/\/hal.science\/hal-05487235v1\" target=\"_blank\" >A Complete Equational Theory for Real-Clifford+CH Quantum Circuits<\/a><\/dd>\n<dt class=\"ChampRes\">auteur<\/dt>\n<dd class=\"ValeurRes Auteurs\">Alexandre Cl\u00e9ment<\/dd>\n<dt class=\"ChampRes\">article<\/dt>\n<dd class=\"ValeurRes article\">2026<\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au texte int\u00e9gral et bibtex<\/dt>\n<dd class=\"ValeurRes Fichier_joint\"> <a href=\"https:\/\/hal.science\/hal-05487235\/file\/TEC-real-Clifford%2BCH-HALv1.pdf\"  target=\"_blank\"> <img decoding=\"async\" alt=\"https:\/\/hal.science\/hal-05487235\/file\/TEC-real-Clifford%2BCH-HALv1.pdf\" src=\"https:\/\/haltools.inria.fr\/images\/Haltools_pdf.png\" border=\"0\" title=\"https:\/\/hal.science\/hal-05487235\/file\/TEC-real-Clifford%2BCH-HALv1.pdf\" \/><\/a> <span class=\"LienBibtexACoteFulltext\"><a href=\"https:\/\/hal.science\/hal-05487235v1\/bibtex\" target=\"_self\"> <img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.inria.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a> <\/span><\/dd>\n<\/dl>\n<p class='Rubrique'>2024<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">titre<\/dt>\n<dd class=\"ValeurRes Titre\"><a href=\"https:\/\/hal.science\/hal-04399210v1\" target=\"_blank\" >Minimal Equational Theories for Quantum Circuits<\/a><\/dd>\n<dt class=\"ChampRes\">auteur<\/dt>\n<dd class=\"ValeurRes Auteurs\">Alexandre Cl\u00e9ment, No\u00e9 Delorme, Simon Perdrix<\/dd>\n<dt class=\"ChampRes\">article<\/dt>\n<dd class=\"ValeurRes article\"><i>LICS &#8217;24: 39th Annual ACM\/IEEE Symposium on Logic in Computer Science<\/i>, Jul 2024, Tallinn, Estonia. pp.1-14, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1145\/3661814.3662088\">&#x27E8;10.1145\/3661814.3662088&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">DOI<\/dt>\n<dd class=\"ValeurRes DOI\">DOI : <a href=\"\/\/dx.doi.org\/10.1145\/3661814.3662088\" target=\"_blank\" >10.1145\/3661814.3662088<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\"> <a href=\"https:\/\/arxiv.org\/pdf\/2311.07476\"  target=\"_blank\"><img decoding=\"async\" alt=\"https:\/\/arxiv.org\/pdf\/2311.07476\" src=\"https:\/\/haltools.inria.fr\/images\/arxiv.gif\" border=\"0\" title=\"arXiv PDF\" width=\"16px\" height=\"16px\" \/><\/a> <span class=\"LienBibtexACoteFulltext\"><a href=\"https:\/\/hal.science\/hal-04399210v1\/bibtex\" target=\"_self\"> <img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.inria.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a> <\/span><\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">titre<\/dt>\n<dd class=\"ValeurRes Titre\"><a href=\"https:\/\/hal.science\/hal-04016498v3\" target=\"_blank\" >Quantum Circuit Completeness: Extensions and Simplifications<\/a><\/dd>\n<dt class=\"ChampRes\">auteur<\/dt>\n<dd class=\"ValeurRes Auteurs\">Alexandre Cl\u00e9ment, No\u00e9 Delorme, Simon Perdrix, Renaud Vilmart<\/dd>\n<dt class=\"ChampRes\">article<\/dt>\n<dd class=\"ValeurRes article\"><i>International Conference on Computer Science Logic CSL 2024<\/i>, Feb 2024, Naples, Italy. <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.4230\/LIPIcs.CSL.2024.20\">&#x27E8;10.4230\/LIPIcs.CSL.2024.20&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">DOI<\/dt>\n<dd class=\"ValeurRes DOI\">DOI : <a href=\"\/\/dx.doi.org\/10.4230\/LIPIcs.CSL.2024.20\" target=\"_blank\" >10.4230\/LIPIcs.CSL.2024.20<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au texte int\u00e9gral et bibtex<\/dt>\n<dd class=\"ValeurRes Fichier_joint\"> <a href=\"https:\/\/hal.science\/hal-04016498\/file\/main.pdf\"  target=\"_blank\"> <img decoding=\"async\" alt=\"https:\/\/hal.science\/hal-04016498\/file\/main.pdf\" src=\"https:\/\/haltools.inria.fr\/images\/Haltools_pdf.png\" border=\"0\" title=\"https:\/\/hal.science\/hal-04016498\/file\/main.pdf\" \/><\/a> <span class=\"LienBibtexACoteFulltext\"><a href=\"https:\/\/hal.science\/hal-04016498v3\/bibtex\" target=\"_self\"> <img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.inria.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a> <\/span><\/dd>\n<\/dl>\n<p class='Rubrique'>2023<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">titre<\/dt>\n<dd class=\"ValeurRes Titre\"><a href=\"https:\/\/hal.science\/hal-04318291v1\" target=\"_blank\" >A Complete Equational Theory for Quantum Circuits<\/a><\/dd>\n<dt class=\"ChampRes\">auteur<\/dt>\n<dd class=\"ValeurRes Auteurs\">Alexandre Cl\u00e9ment, Nicolas Heurtel, Shane Mansfield, Simon Perdrix, Beno\u00eet Valiron<\/dd>\n<dt class=\"ChampRes\">article<\/dt>\n<dd class=\"ValeurRes article\"><i>18th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2023)<\/i>, Jul 2023, Aveiro, Portugal<\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\"> <a href=\"https:\/\/hal.science\/hal-04318291v1\/bibtex\" target=\"_self\"> <img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.inria.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a> <\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">titre<\/dt>\n<dd class=\"ValeurRes Titre\"><a href=\"https:\/\/hal.science\/hal-03926757v1\" target=\"_blank\" >A Complete Equational Theory for Quantum Circuits<\/a><\/dd>\n<dt class=\"ChampRes\">auteur<\/dt>\n<dd class=\"ValeurRes Auteurs\">Alexandre Cl\u00e9ment, Nicolas Heurtel, Shane Mansfield, Simon Perdrix, Beno\u00eet Valiron<\/dd>\n<dt class=\"ChampRes\">article<\/dt>\n<dd class=\"ValeurRes article\"><i>2023 38th Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)<\/i>, Jun 2023, Boston, United States. pp.1-13, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.1109\/LICS56636.2023.10175801\">&#x27E8;10.1109\/LICS56636.2023.10175801&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">DOI<\/dt>\n<dd class=\"ValeurRes DOI\">DOI : <a href=\"\/\/dx.doi.org\/10.1109\/LICS56636.2023.10175801\" target=\"_blank\" >10.1109\/LICS56636.2023.10175801<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au texte int\u00e9gral et bibtex<\/dt>\n<dd class=\"ValeurRes Fichier_joint\"> <a href=\"https:\/\/hal.science\/hal-03926757\/file\/2206.10577.pdf\"  target=\"_blank\"> <img decoding=\"async\" alt=\"https:\/\/hal.science\/hal-03926757\/file\/2206.10577.pdf\" src=\"https:\/\/haltools.inria.fr\/images\/Haltools_pdf.png\" border=\"0\" title=\"https:\/\/hal.science\/hal-03926757\/file\/2206.10577.pdf\" \/><\/a> <span class=\"LienBibtexACoteFulltext\"><a href=\"https:\/\/hal.science\/hal-03926757v1\/bibtex\" target=\"_self\"> <img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.inria.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a> <\/span><\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">titre<\/dt>\n<dd class=\"ValeurRes Titre\"><a href=\"https:\/\/theses.hal.science\/tel-04213655v1\" target=\"_blank\" >Graphical Languages for Quantum Control and Linear Optics<\/a><\/dd>\n<dt class=\"ChampRes\">auteur<\/dt>\n<dd class=\"ValeurRes Auteurs\">Alexandre Cl\u00e9ment<\/dd>\n<dt class=\"ChampRes\">article<\/dt>\n<dd class=\"ValeurRes article\">Systems and Control [cs.SY]. Universit\u00e9 de Lorraine, 2023. English. <a target=\"_blank\" href=\"https:\/\/www.theses.fr\/2023LORR0093\">&#x27E8;NNT : 2023LORR0093&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au texte int\u00e9gral et bibtex<\/dt>\n<dd class=\"ValeurRes Fichier_joint\"> <a href=\"https:\/\/theses.hal.science\/tel-04213655\/file\/DDOC_T_2023_0093_CLEMENT.pdf\"  target=\"_blank\"> <img decoding=\"async\" alt=\"https:\/\/theses.hal.science\/tel-04213655\/file\/DDOC_T_2023_0093_CLEMENT.pdf\" src=\"https:\/\/haltools.inria.fr\/images\/Haltools_pdf.png\" border=\"0\" title=\"https:\/\/theses.hal.science\/tel-04213655\/file\/DDOC_T_2023_0093_CLEMENT.pdf\" \/><\/a> <span class=\"LienBibtexACoteFulltext\"><a href=\"https:\/\/theses.hal.science\/tel-04213655v1\/bibtex\" target=\"_self\"> <img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.inria.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a> <\/span><\/dd>\n<\/dl>\n<p class='Rubrique'>2022<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">titre<\/dt>\n<dd class=\"ValeurRes Titre\"><a href=\"https:\/\/hal.science\/hal-03926639v1\" target=\"_blank\" >Resource Optimisation of Coherently Controlled Quantum Computations with the PBS-Calculus<\/a><\/dd>\n<dt class=\"ChampRes\">auteur<\/dt>\n<dd class=\"ValeurRes Auteurs\">Alexandre Cl\u00e9ment, Simon Perdrix<\/dd>\n<dt class=\"ChampRes\">article<\/dt>\n<dd class=\"ValeurRes article\"><i>MFCS 2022 &#8211; 47th International Symposium on Mathematical Foundations of Computer Science<\/i>, Aug 2022, Vienne, Austria. <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.4230\/LIPIcs.MFCS.2022.36\">&#x27E8;10.4230\/LIPIcs.MFCS.2022.36&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">DOI<\/dt>\n<dd class=\"ValeurRes DOI\">DOI : <a href=\"\/\/dx.doi.org\/10.4230\/LIPIcs.MFCS.2022.36\" target=\"_blank\" >10.4230\/LIPIcs.MFCS.2022.36<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\"> <a href=\"https:\/\/arxiv.org\/pdf\/2202.05260\"  target=\"_blank\"><img decoding=\"async\" alt=\"https:\/\/arxiv.org\/pdf\/2202.05260\" src=\"https:\/\/haltools.inria.fr\/images\/arxiv.gif\" border=\"0\" title=\"arXiv PDF\" width=\"16px\" height=\"16px\" \/><\/a> <span class=\"LienBibtexACoteFulltext\"><a href=\"https:\/\/hal.science\/hal-03926639v1\/bibtex\" target=\"_self\"> <img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.inria.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a> <\/span><\/dd>\n<\/dl>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">titre<\/dt>\n<dd class=\"ValeurRes Titre\"><a href=\"https:\/\/hal.science\/hal-03926660v1\" target=\"_blank\" >LO_v-Calculus: A Graphical Language for Linear Optical Quantum Circuits<\/a><\/dd>\n<dt class=\"ChampRes\">auteur<\/dt>\n<dd class=\"ValeurRes Auteurs\">Alexandre Cl\u00e9ment, Nicolas Heurtel, Shane Mansfield, Simon Perdrix, Beno\u00eet Valiron<\/dd>\n<dt class=\"ChampRes\">article<\/dt>\n<dd class=\"ValeurRes article\"><i>MFCS 2022 &#8211; 47th International Symposium on Mathematical Foundations of Computer Science<\/i>, Aug 2022, Vienna, Austria. pp.35:1&#8211;35:16, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.4230\/LIPIcs.MFCS.2022.35\">&#x27E8;10.4230\/LIPIcs.MFCS.2022.35&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">DOI<\/dt>\n<dd class=\"ValeurRes DOI\">DOI : <a href=\"\/\/dx.doi.org\/10.4230\/LIPIcs.MFCS.2022.35\" target=\"_blank\" >10.4230\/LIPIcs.MFCS.2022.35<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\"> <a href=\"https:\/\/arxiv.org\/pdf\/2204.11787\"  target=\"_blank\"><img decoding=\"async\" alt=\"https:\/\/arxiv.org\/pdf\/2204.11787\" src=\"https:\/\/haltools.inria.fr\/images\/arxiv.gif\" border=\"0\" title=\"arXiv PDF\" width=\"16px\" height=\"16px\" \/><\/a> <span class=\"LienBibtexACoteFulltext\"><a href=\"https:\/\/hal.science\/hal-03926660v1\/bibtex\" target=\"_self\"> <img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.inria.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a> <\/span><\/dd>\n<\/dl>\n<p class='Rubrique'>2021<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">titre<\/dt>\n<dd class=\"ValeurRes Titre\"><a href=\"https:\/\/hal.science\/hal-03325456v1\" target=\"_blank\" >Coherent Control and Distinguishability of Quantum Channels via PBS-Diagrams<\/a><\/dd>\n<dt class=\"ChampRes\">auteur<\/dt>\n<dd class=\"ValeurRes Auteurs\">Cyril Branciard, Alexandre Cl\u00e9ment, Mehdi Mhalla, Simon Perdrix<\/dd>\n<dt class=\"ChampRes\">article<\/dt>\n<dd class=\"ValeurRes article\"><i>MFCS 2021 &#8211; 46th International Symposium on Mathematical Foundations of Computer Science<\/i>, Aug 2021, Tallinn, Estonia. pp.22:1-22:20, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.4230\/LIPIcs.MFCS.2021.22\">&#x27E8;10.4230\/LIPIcs.MFCS.2021.22&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">DOI<\/dt>\n<dd class=\"ValeurRes DOI\">DOI : <a href=\"\/\/dx.doi.org\/10.4230\/LIPIcs.MFCS.2021.22\" target=\"_blank\" >10.4230\/LIPIcs.MFCS.2021.22<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\"> <a href=\"https:\/\/arxiv.org\/pdf\/2103.02073\"  target=\"_blank\"><img decoding=\"async\" alt=\"https:\/\/arxiv.org\/pdf\/2103.02073\" src=\"https:\/\/haltools.inria.fr\/images\/arxiv.gif\" border=\"0\" title=\"arXiv PDF\" width=\"16px\" height=\"16px\" \/><\/a> <span class=\"LienBibtexACoteFulltext\"><a href=\"https:\/\/hal.science\/hal-03325456v1\/bibtex\" target=\"_self\"> <img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.inria.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a> <\/span><\/dd>\n<\/dl>\n<p class='Rubrique'>2020<\/p>\n<dl class='NoticeRes'>\n<dt class=\"ChampRes\">titre<\/dt>\n<dd class=\"ValeurRes Titre\"><a href=\"https:\/\/hal.science\/hal-02929291v1\" target=\"_blank\" >PBS-Calculus: A Graphical Language for Coherent Control of Quantum Computations<\/a><\/dd>\n<dt class=\"ChampRes\">auteur<\/dt>\n<dd class=\"ValeurRes Auteurs\">Alexandre Cl\u00e9ment, Simon Perdrix<\/dd>\n<dt class=\"ChampRes\">article<\/dt>\n<dd class=\"ValeurRes article\"><i>45th International Symposium on Mathematical Foundations of Computer Science (MFCS 2020)<\/i>, Aug 2020, Prague, Czech Republic. pp.24:1-24:14, <a target=\"_blank\" href=\"https:\/\/dx.doi.org\/10.4230\/LIPIcs.MFCS.2020.24\">&#x27E8;10.4230\/LIPIcs.MFCS.2020.24&#x27E9;<\/a><\/dd>\n<dt class=\"ChampRes\">DOI<\/dt>\n<dd class=\"ValeurRes DOI\">DOI : <a href=\"\/\/dx.doi.org\/10.4230\/LIPIcs.MFCS.2020.24\" target=\"_blank\" >10.4230\/LIPIcs.MFCS.2020.24<\/a><\/dd>\n<dt class=\"ChampRes\">Acc\u00e8s au bibtex<\/dt>\n<dd class=\"ValeurRes LienBibtex\"> <a href=\"https:\/\/arxiv.org\/pdf\/2002.09387\"  target=\"_blank\"><img decoding=\"async\" alt=\"https:\/\/arxiv.org\/pdf\/2002.09387\" src=\"https:\/\/haltools.inria.fr\/images\/arxiv.gif\" border=\"0\" title=\"arXiv PDF\" width=\"16px\" height=\"16px\" \/><\/a> <span class=\"LienBibtexACoteFulltext\"><a href=\"https:\/\/hal.science\/hal-02929291v1\/bibtex\" target=\"_self\"> <img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.inria.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a> <\/span><\/dd>\n<\/dl><\/div>\n<p> <\/body> <\/html> <\/p>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>               var _paq = _paq || [];   _paq.push([&#8216;trackPageView&#8217;]);   _paq.push([&#8216;enableLinkTracking&#8217;]);   (function() {     var u=&#8221;\/\/piwik.inria.fr\/&#8221;;     _paq.push([&#8216;setTrackerUrl&#8217;, u+&#8217;piwik.php&#8217;]);     _paq.push([&#8216;setSiteId&#8217;, 25]);     var d=document, g=d.createElement(&#8216;script&#8217;), s=d.getElementsByTagName(&#8216;script&#8217;)[0];     g.type=&#8217;text\/javascript&#8217;; g.async=true; g.defer=true; g.src=u+&#8217;piwik.js&#8217;; s.parentNode.insertBefore(g,s);   })();  <\/p>\n<p><img decoding=\"async\" src=\"\/\/piwik.inria.fr\/piwik.php?idsite=25\" style=\"border:0;\" alt=\"\" \/><\/p>\n<p>   Publications HAL   <\/p>\n<p class='Rubrique'>2026<\/p>\n<p>titre<br \/>\n<a href=\"https:\/\/hal.science\/hal-05487235v1\" target=\"_blank\">A Complete Equational Theory for Real-Clifford+CH Quantum Circuits<\/a><br \/>\nauteur<br \/>\nAlexandre Cl\u00e9ment<br \/>\narticle<br \/>\n2026<br \/>\nAcc\u00e8s au texte int\u00e9gral et bibtex<br \/>\n <a href=\"https:\/\/hal.science\/hal-05487235\/file\/TEC-real-Clifford%2BCH-HALv1.pdf\"  target=\"_blank\"> <img decoding=\"async\" alt=\"https:\/\/hal.science\/hal-05487235\/file\/TEC-real-Clifford%2BCH-HALv1.pdf\" src=\"https:\/\/haltools.inria.fr\/images\/Haltools_pdf.png\" border=\"0\" title=\"https:\/\/hal.science\/hal-05487235\/file\/TEC-real-Clifford%2BCH-HALv1.pdf\" \/><\/a> <a href=\"https:\/\/hal.science\/hal-05487235v1\/bibtex\" target=\"_self\"> <img decoding=\"async\" alt=\"BibTex\" src=\"https:\/\/haltools.inria.fr\/images\/Haltools_bibtex3.png\" border=\"0\"  title=\"BibTex\" \/><\/a> <\/p>\n<p class='Rubrique'>2024<\/p>\n<p>titre<br \/>\n<a href=\"https:\/\/hal.science\/hal-04399210v1\" target=\"_blank\">Minimal Equational Theories for Quantum Circuits<\/a><br \/>\nauteur<br \/>\nAlexandre Cl\u00e9ment, No\u00e9 Delorme, Simon Perdrix<br \/>\narticle<br \/>\n<i>LICS &#8217;24: 39th Annual ACM\/IEEE Symposium on Logic in Computer Science<\/i>, Jul 2024, <\/p>\n","protected":false},"author":5,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"page-fullwidth.php","meta":{"footnotes":""},"class_list":["post-13","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/members.loria.fr\/AClement\/wp-json\/wp\/v2\/pages\/13","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/members.loria.fr\/AClement\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/members.loria.fr\/AClement\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/members.loria.fr\/AClement\/wp-json\/wp\/v2\/users\/5"}],"replies":[{"embeddable":true,"href":"https:\/\/members.loria.fr\/AClement\/wp-json\/wp\/v2\/comments?post=13"}],"version-history":[{"count":43,"href":"https:\/\/members.loria.fr\/AClement\/wp-json\/wp\/v2\/pages\/13\/revisions"}],"predecessor-version":[{"id":404,"href":"https:\/\/members.loria.fr\/AClement\/wp-json\/wp\/v2\/pages\/13\/revisions\/404"}],"wp:attachment":[{"href":"https:\/\/members.loria.fr\/AClement\/wp-json\/wp\/v2\/media?parent=13"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}