Mehdi Mhalla

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 30

Top Topics

Diagrammatic Reasoning

Quantum Computation

Higher Order Logic

Top Venues

Theor. Comput. Sci.

Publications

Éric Duchêne, Valentin Gledel, Sylvain Gravier, Fionn Mc Inerney, Mehdi Mhalla, Aline Parreau
Smash and grab: The 0 ⋅ 6 scoring game on graphs. Theor. Comput. Sci. 990 (2024)
Maxime Cautrès, Nathan Claudet, Mehdi Mhalla, Simon Perdrix, Valentin Savin, Stéphan Thomassé
Vertex-minor universal graphs for generating entangled quantum subsystems. CoRR (2024)
Mnacho Echenim, Mehdi Mhalla
A Formalization of the CHSH Inequality and Tsirelson's Upper-bound in Isabelle/HOL. J. Autom. Reason. 68 (1) (2024)
Maxime Cautrès, Nathan Claudet, Mehdi Mhalla, Simon Perdrix, Valentin Savin, Stéphan Thomassé
Vertex-Minor Universal Graphs for Generating Entangled Quantum Subsystems. ICALP (2024)
Mnacho Echenim, Mehdi Mhalla
A formalization of the CHSH inequality and Tsirelson's upper-bound in Isabelle/HOL. CoRR (2023)
Julien du Crest, Francisco Garcia-Herrero, Mehdi Mhalla, Valentin Savin, Javier Valls
Layered Decoding of Quantum LDPC Codes. ISTC (2023)
Ashutosh Goswami, Mehdi Mhalla, Valentin Savin
Improved Rate Fault-Tolerant Preparation of Q1 Code-States. ISTC (2023)
Mnacho Echenim, Mehdi Mhalla, Coraline Mori
The CHSH inequality: Tsirelson's upper-bound and other results. Arch. Formal Proofs 2023 (2023)
Rachid Echahed, Mnacho Echenim, Mehdi Mhalla, Nicolas Peltier
A Strict Constrained Superposition Calculus for Graphs. FoSSaCS (2023)
Ashutosh Goswami, Mehdi Mhalla, Valentin Savin
Fault-Tolerant Preparation of Quantum Polar Codes Encoding One Logical Qubit. CoRR (2022)
Julien du Crest, Mehdi Mhalla, Valentin Savin
Stabilizer Inactivation for Message-Passing Decoding of Quantum LDPC Codes. CoRR (2022)
Julien du Crest, Mehdi Mhalla, Valentin Savin
Stabilizer Inactivation for Message-Passing Decoding of Quantum LDPC Codes. ITW (2022)
Ashutosh Goswami, Mehdi Mhalla, Valentin Savin
Multilevel polarization for quantum Channels. Quantum Inf. Comput. 21 (7&8) (2021)
Mnacho Echenim, Mehdi Mhalla
Quantum projective measurements and the CHSH inequality in Isabelle/HOL. CoRR (2021)
Ashutosh Goswami, Mehdi Mhalla, Valentin Savin
Quantum Polarization of Qudit Channels. ISIT (2021)
Cyril Branciard, Alexandre Clément, Mehdi Mhalla, Simon Perdrix
Coherent Control and Distinguishability of Quantum Channels via PBS-Diagrams. MFCS (2021)
Rachid Echahed, Mnacho Echenim, Mehdi Mhalla, Nicolas Peltier
A Superposition-Based Calculus for Diagrammatic Reasoning. PPDP (2021)
Cyril Branciard, Alexandre Clément, Mehdi Mhalla, Simon Perdrix
Coherent control and distinguishability of quantum channels via PBS-diagrams. CoRR (2021)
Rachid Echahed, Mnacho Echenim, Mehdi Mhalla, Nicolas Peltier
A Superposition-Based Calculus for Quantum Diagrammatic Reasoning and Beyond. CoRR (2021)
Frédéric Dupuis, Ashutosh Goswami, Mehdi Mhalla, Valentin Savin
Polarization of Quantum Channels Using Clifford-Based Channel Combining. IEEE Trans. Inf. Theory 67 (5) (2021)
Sangjun Lee, Mehdi Mhalla, Valentin Savin
Trimming Decoding of Color Codes over the Quantum Erasure Channel. ISIT (2020)
Sacha Huriot-Tattegrain, Mehdi Mhalla
Contextuality and Expressivity of Non-locality. QPL (2020)
Alastair A. Abbott, Julian Wechs, Dominic Horsman, Mehdi Mhalla, Cyril Branciard
Communication through coherent control of quantum channels. Quantum 4 (2020)
Berry Groisman, Michael Mc Gettrick, Mehdi Mhalla, Marcin Pawlowski
How Quantum Information Can Improve Social Welfare. IEEE J. Sel. Areas Inf. Theory 1 (2) (2020)
Anurag Anshu, Peter Høyer, Mehdi Mhalla, Simon Perdrix
Contextuality in multipartite pseudo-telepathy graph games. J. Comput. Syst. Sci. 107 (2020)
Berry Groisman, Michael Mc Gettrick, Mehdi Mhalla, Marcin Pawlowski
How Quantum Information can improve Social Welfare. CoRR (2019)
Frédéric Dupuis, Ashutosh Goswami, Mehdi Mhalla, Valentin Savin
Purely Quantum Polar Codes. ITW (2019)
Paul Dorbec, Mehdi Mhalla
Quantum Combinatorial Games. QPL (2017)
Anurag Anshu, Peter Høyer, Mehdi Mhalla, Simon Perdrix
Contextuality in Multipartite Pseudo-Telepathy Graph Games. FCT (2017)
Peter Høyer, Mehdi Mhalla, Simon Perdrix
Contextuality in multipartie pseudo-telepathy graph games. CoRR (2016)
Sylvain Gravier, Jérôme Javelle, Mehdi Mhalla, Simon Perdrix
On weak odd domination and graph-based quantum secret sharing. Theor. Comput. Sci. 598 (2015)
Anurag Anshu, Mehdi Mhalla
Pseudo-telepathy games and genuine ns k-way nonlocality using graph states. Quantum Inf. Comput. 13 (9-10) (2013)
Mehdi Mhalla, Simon Perdrix
Graph States, Pivot Minor, and Universality of (X, Z)-Measurements. Int. J. Unconv. Comput. 9 (1-2) (2013)
Mehdi Mhalla, Frédéric Prost
Gardner's Minichess Variant is solved. CoRR (2013)
Mehdi Mhalla, Frédéric Prost
Gardner's Minichess Variant is Solved. J. Int. Comput. Games Assoc. 36 (4) (2013)
Jérôme Javelle, Mehdi Mhalla, Simon Perdrix
On the Minimum Degree up to Local Complementation: Bounds and Complexity CoRR (2012)
Jérôme Javelle, Mehdi Mhalla, Simon Perdrix
On the Minimum Degree Up to Local Complementation: Bounds and Complexity. WG (2012)
Sylvain Gravier, Jérôme Javelle, Mehdi Mhalla, Simon Perdrix
Quantum Secret Sharing with Graph States. MEMICS (2012)
Jérôme Javelle, Mehdi Mhalla, Simon Perdrix
New Protocols and Lower Bounds for Quantum Secret Sharing with Graph States. TQC (2012)
Sylvain Gravier, Jérôme Javelle, Mehdi Mhalla, Simon Perdrix
On Weak Odd Domination and Graph-based Quantum Secret Sharing CoRR (2011)
Mehdi Mhalla, Mio Murao, Simon Perdrix, Masato Someya, Peter S. Turner
Which Graph States are Useful for Quantum Information Processing? TQC (2011)
Sylvain Gravier, Jérôme Javelle, Mehdi Mhalla, Simon Perdrix
Optimal accessing and non-accessing structures for graph protocols CoRR (2011)
Éric Duchêne, Sylvain Gravier, Mehdi Mhalla
Combinatorial graph games. Ars Comb. 90 (2009)
Elham Kashefi, Damian Markham, Mehdi Mhalla, Simon Perdrix
Information Flow in Secret Sharing Protocols. DCM (2009)
Mehdi Mhalla, Simon Perdrix
Finding Optimal Flows Efficiently. ICALP (1) (2008)
Peter Høyer, Mehdi Mhalla, Simon Perdrix
Resources Required for Preparing Graph States. ISAAC (2006)
Christoph Dürr, Mark Heiligman, Peter Høyer, Mehdi Mhalla
Quantum Query Complexity of Some Graph Problems. SIAM J. Comput. 35 (6) (2006)
Sylvain Gravier, Philippe Jorrand, Mehdi Mhalla, Charles Payan
Quantum Octal Games. Int. J. Found. Comput. Sci. 17 (4) (2006)
Éric Duchêne, Sylvain Gravier, Mehdi Mhalla
Around Wythoff's game. Electron. Notes Discret. Math. 22 (2005)
Christoph Dürr, Mark Heiligman, Peter Høyer, Mehdi Mhalla
Quantum Query Complexity of Some Graph Problems. ICALP (2004)
Philippe Jorrand, Mehdi Mhalla
Separability Of Pure N-Qubit States: Two Characterizations. Int. J. Found. Comput. Sci. 14 (5) (2003)
Sylvain Gravier, Mehdi Mhalla, Eric Tannier
On a modular domination game. Theor. Comput. Sci. 306 (1-3) (2003)