Axel Muller

@inproceedings{23b24b50-da1a-43a6-8bef-cf4844ff116c, title = {Generation of state-independent contextuality proofs from hypergraphs}, author = {Muller, Axel and Giorgetti, Alain and Saniga, Metod}, year = {2025}, address = {Gif-sur-Yvette, France}, booktitle = {Journ\'ees Informatique Quantique (JIQ 2025)}, editor = {23b24b50-da1a-43a6-8bef-cf4844ff116c-editor.pdf}, month = {jan} }

@inproceedings{77cfa40b-432a-4c9b-a916-e8f19a84e066, title = {Hypergraphs of linear systems over the two-element field and quantum contextuality proofs}, author = {Muller, Axel and Giorgetti, Alain and Saniga, Metod and Kelleher, Colm}, year = {2024}, address = {Dijon, France}, booktitle = {26\`eme Journ\'ees Graphes et Algorithmes (JGA 2024)}, editor = {77cfa40b-432a-4c9b-a916-e8f19a84e066-editor.pdf}, month = {nov}, url = {https://publiweb.femto-st.fr/tntnet/entries/21152/documents/author/data} }

@inproceedings{bf52bb0a-3e5a-49ce-9e80-f0ddca919a90, title = {Calcul du degr\'e de contextualit\'e de diverses g\'eom\'etries finies quantiques}, author = {Muller, Axel and Giorgetti, Alain and Saniga, Metod and De Boutray, Henri and Holweck, Fr\'ed\'eric}, year = {2023}, address = {Marseille, France}, booktitle = {Quantum days at AMU (2023)}, editor = {}, month = {sep}, url = {https://publiweb.femto-st.fr/tntnet/entries/20115/documents/author/data} }

@inproceedings{c23e09eb-87ff-4bba-aec9-83c3b4670535, title = {D\'ecider la contextualit\'e de configurations quantiques avec un solveur SAT}, author = {Muller, Axel}, year = {2023}, address = {Rennes, France}, booktitle = {22\`eme Approches Formelles dans l'Assistance au D\'eveloppement de Logiciels (AFADL 2023)}, editor = {c23e09eb-87ff-4bba-aec9-83c3b4670535-editor.pdf}, month = {jun}, pages = {50 - 53}, url = {https://publiweb.femto-st.fr/tntnet/entries/20105/documents/author/data} }

@inproceedings{09103445-a8b1-4565-bc9b-d6dffd4db6ec, title = {Disclosing Quantum Contextuality: A Geometric Approach to N-Qubit Configurations}, author = {Muller, Axel and Saniga, Metod and Giorgetti, Alain and De Boutray, Henri and Holweck, Fr\'ed\'eric}, year = {2023}, address = {Kranjska Gora, Slovenia}, booktitle = {10th Slovenian Conference on Graph Theory (SiCGT 2023)}, editor = {09103445-a8b1-4565-bc9b-d6dffd4db6ec-editor.pdf}, month = {jun}, url = {https://publiweb.femto-st.fr/tntnet/entries/20108/documents/author/data} }

@inproceedings{01e91858-9d2d-4ffe-b720-88ded9aa475c, title = {Revealing contextuality of quantum configurations with a SAT solver}, author = {Muller, Axel and Saniga, Metod and Giorgetti, Alain and De Boutray, Henri and Holweck, Fr\'ed\'eric}, year = {2023}, address = {Rennes, France}, booktitle = {Journ\'ees du Groupement de Recherche « G\'enie de la Programmation et du Logiciel » (GDR GPL 2023)}, editor = {}, month = {jun}, url = {https://publiweb.femto-st.fr/tntnet/entries/20208/documents/author/data} }

@inproceedings{5f6e5254-aef9-4d65-8197-477c327d2009, title = {Computer-assisted enumeration and classification of multi-qubit doilies}, author = {Muller, Axel and Saniga, Metod and Giorgetti, Alain and De Boutray, Henri and Holweck, Fr\'ed\'eric}, year = {2022}, address = {VARSOVIE, Poland}, booktitle = {Journ\'ees Informatique Quantique (JIQ 2022)}, editor = {5f6e5254-aef9-4d65-8197-477c327d2009-editor.pdf}, month = {nov}, url = {https://publiweb.femto-st.fr/tntnet/entries/19451/documents/author/data} }