Miriam Backens

Publications

  1. 2021
  2. Published

    There and back again: a circuit extraction tale

    Miriam Backens, 25 Mar 2021, In: Quantum. 5, p. 421

    Research output: Contribution to journalArticlepeer-review

  3. 2020
  4. Published

    Towards a Minimal Stabilizer ZX-calculus

    Miriam Backens, 22 Dec 2020, In: Logical Methods in Computer Science. 16, 4, p. 19:1-19:30

    Research output: Contribution to journalArticlepeer-review

  5. Published

    Holant clones and the approximability of conservative holant problems

    Miriam Backens, 31 Mar 2020, In: ACM Transactions on Algorithms. 16, 2, 55 p., 23.

    Research output: Contribution to journalArticlepeer-review

  6. 2019
  7. E-pub ahead of print

    Boolean approximate counting CSPs with weak conservativity, and implications for ferromagnetic two-spin

    Miriam Backens, 27 Dec 2019, (E-pub ahead of print) In: Journal of Computer and System Sciences.

    Research output: Contribution to journalArticlepeer-review

  8. Published

    ZH: a complete graphical calculus for quantum computations involving classical non-linearity

    Miriam Backens, 29 Jan 2019, Proceedings of the 15th International Conference on Quantum Physics and Logic (QPL 2018). Selinger, P. & Giulio, C. (eds.). Open Publishing Association, p. 23-42 20 p. (Electronic Proceedings in Theoretical Computer Science; vol. 287).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  9. 2018
  10. Published

    A complete dichotomy for complex-valued holantc

    Miriam Backens, 13 Jul 2018, 45th International Colloquium on Automata, Languages, and Programming, ICALP 2018. Kaklamanis, C., Marx, D., Chatzigiannakis, I. & Sannella, D. (eds.). Schloss Dagstuhl, 14 p. 12. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 107).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  11. 2017
  12. Published

    A new holant dichotomy inspired by quantum computation

    Miriam Backens, 14 Jul 2017, 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017. Muscholl, A., Indyk, P., Kuhn, F. & Chatzigiannakis, I. (eds.). Schloss Dagstuhl, 14 p. 16. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 80).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  13. Published

    Number of superclasses of four-qubit entangled states under the inductive entanglement classification

    Miriam Backens, 21 Feb 2017, In: Physical Review A. 95, 2, 8 p., 022329.

    Research output: Contribution to journalArticlepeer-review

  14. Published

    A simplified stabilizer zx-calculus

    Miriam Backens, 1 Jan 2017, Proceedings 13th International Conference on Quantum Physics and Logic (QPL 2016). Duncan, R. & Heunen, C. (eds.). Open Publishing Association, p. 1-20 20 p. (Electronic Proceedings in Theoretical Computer Science; vol. 236).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  15. 2016
  16. Published

    A complete graphical calculus for Spekkens’ Toy Bit theory

    Miriam Backens, 1 Jan 2016, In: Foundations of Physics. 46, 1, p. 70-103

    Research output: Contribution to journalArticlepeer-review

Previous 1 2 Next