Search dblp for Publications

export results for "toc:db/series/eptcs/eptcs318.bht:"

 download as .bib file

@proceedings{DBLP:journals/corr/abs-2004-14750,
  editor       = {Bob Coecke and
                  Matthew Leifer},
  title        = {Proceedings 16th International Conference on Quantum Physics and Logic,
                  {QPL} 2019, Chapman University, Orange, CA, USA, June 10-14, 2019},
  series       = {{EPTCS}},
  volume       = {318},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.318},
  doi          = {10.4204/EPTCS.318},
  timestamp    = {Fri, 03 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2004-14750.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1901-02406,
  author       = {Mathias Soeken},
  editor       = {Bob Coecke and
                  Matthew Leifer},
  title        = {Using ZDDs in the mapping of quantum circuits},
  booktitle    = {Proceedings 16th International Conference on Quantum Physics and Logic,
                  {QPL} 2019, Chapman University, Orange, CA, USA, June 10-14, 2019},
  series       = {{EPTCS}},
  volume       = {318},
  pages        = {106--118},
  year         = {2019},
  url          = {https://doi.org/10.4204/EPTCS.318.7},
  doi          = {10.4204/EPTCS.318.7},
  timestamp    = {Fri, 03 Jul 2020 12:26:21 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1901-02406.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1904-00706,
  author       = {Hector Miller{-}Bakewell},
  editor       = {Bob Coecke and
                  Matthew Leifer},
  title        = {Finite Verification of Infinite Families of Diagram Equations},
  booktitle    = {Proceedings 16th International Conference on Quantum Physics and Logic,
                  {QPL} 2019, Chapman University, Orange, CA, USA, June 10-14, 2019},
  series       = {{EPTCS}},
  volume       = {318},
  pages        = {27--52},
  year         = {2019},
  url          = {https://doi.org/10.4204/EPTCS.318.3},
  doi          = {10.4204/EPTCS.318.3},
  timestamp    = {Tue, 24 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1904-00706.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1904-04735,
  author       = {Aleks Kissinger and
                  John van de Wetering},
  editor       = {Bob Coecke and
                  Matthew Leifer},
  title        = {PyZX: Large Scale Automated Diagrammatic Reasoning},
  booktitle    = {Proceedings 16th International Conference on Quantum Physics and Logic,
                  {QPL} 2019, Chapman University, Orange, CA, USA, June 10-14, 2019},
  series       = {{EPTCS}},
  volume       = {318},
  pages        = {229--241},
  year         = {2019},
  url          = {https://doi.org/10.4204/EPTCS.318.14},
  doi          = {10.4204/EPTCS.318.14},
  timestamp    = {Sat, 28 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1904-04735.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1904-12817,
  author       = {Niel de Beaudrap and
                  Ross Duncan and
                  Dominic Horsman and
                  Simon Perdrix},
  editor       = {Bob Coecke and
                  Matthew Leifer},
  title        = {Pauli Fusion: a Computational Model to Realise Quantum Transformations
                  from {ZX} Terms},
  booktitle    = {Proceedings 16th International Conference on Quantum Physics and Logic,
                  {QPL} 2019, Chapman University, Orange, CA, USA, June 10-14, 2019},
  series       = {{EPTCS}},
  volume       = {318},
  pages        = {85--105},
  year         = {2019},
  url          = {https://doi.org/10.4204/EPTCS.318.6},
  doi          = {10.4204/EPTCS.318.6},
  timestamp    = {Sat, 28 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1904-12817.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1905-00797,
  author       = {Joseph Collins and
                  Ross Duncan},
  editor       = {Bob Coecke and
                  Matthew Leifer},
  title        = {Hopf-Frobenius Algebras and a Simpler Drinfeld Double},
  booktitle    = {Proceedings 16th International Conference on Quantum Physics and Logic,
                  {QPL} 2019, Chapman University, Orange, CA, USA, June 10-14, 2019},
  series       = {{EPTCS}},
  volume       = {318},
  pages        = {150--180},
  year         = {2019},
  url          = {https://doi.org/10.4204/EPTCS.318.10},
  doi          = {10.4204/EPTCS.318.10},
  timestamp    = {Sat, 28 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1905-00797.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1905-09055,
  author       = {Alexandru Gheorghiu and
                  Chris Heunen},
  editor       = {Bob Coecke and
                  Matthew Leifer},
  title        = {Ontological models for quantum theory as functors},
  booktitle    = {Proceedings 16th International Conference on Quantum Physics and Logic,
                  {QPL} 2019, Chapman University, Orange, CA, USA, June 10-14, 2019},
  series       = {{EPTCS}},
  volume       = {318},
  pages        = {196--212},
  year         = {2019},
  url          = {https://doi.org/10.4204/EPTCS.318.12},
  doi          = {10.4204/EPTCS.318.12},
  timestamp    = {Sat, 28 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1905-09055.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1906-01734,
  author       = {Alexander Cowtan and
                  Silas Dilkes and
                  Ross Duncan and
                  Will Simmons and
                  Seyon Sivarajah},
  editor       = {Bob Coecke and
                  Matthew Leifer},
  title        = {Phase Gadget Synthesis for Shallow Circuits},
  booktitle    = {Proceedings 16th International Conference on Quantum Physics and Logic,
                  {QPL} 2019, Chapman University, Orange, CA, USA, June 10-14, 2019},
  series       = {{EPTCS}},
  volume       = {318},
  pages        = {213--228},
  year         = {2019},
  url          = {https://doi.org/10.4204/EPTCS.318.13},
  doi          = {10.4204/EPTCS.318.13},
  timestamp    = {Sat, 23 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1906-01734.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1907-05172,
  author       = {Sean Tull},
  editor       = {Bob Coecke and
                  Matthew Leifer},
  title        = {Deriving Dagger Compactness},
  booktitle    = {Proceedings 16th International Conference on Quantum Physics and Logic,
                  {QPL} 2019, Chapman University, Orange, CA, USA, June 10-14, 2019},
  series       = {{EPTCS}},
  volume       = {318},
  pages        = {181--195},
  year         = {2019},
  url          = {https://doi.org/10.4204/EPTCS.318.11},
  doi          = {10.4204/EPTCS.318.11},
  timestamp    = {Tue, 24 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1907-05172.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1911-09039,
  author       = {Niel de Beaudrap and
                  Xiaoning Bian and
                  Quanlong Wang},
  editor       = {Bob Coecke and
                  Matthew Leifer},
  title        = {Techniques to Reduce ({\(\pi\)}/4)-Parity-Phase Circuits, Motivated
                  by the {ZX} Calculus},
  booktitle    = {Proceedings 16th International Conference on Quantum Physics and Logic,
                  {QPL} 2019, Chapman University, Orange, CA, USA, June 10-14, 2019},
  series       = {{EPTCS}},
  volume       = {318},
  pages        = {131--149},
  year         = {2019},
  url          = {https://doi.org/10.4204/EPTCS.318.9},
  doi          = {10.4204/EPTCS.318.9},
  timestamp    = {Tue, 24 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1911-09039.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2005-00207,
  author       = {Tejas Bhojraj},
  editor       = {Bob Coecke and
                  Matthew Leifer},
  title        = {Generating Randomness from a Computable, Non-random Sequence of Qubits},
  booktitle    = {Proceedings 16th International Conference on Quantum Physics and Logic,
                  {QPL} 2019, Chapman University, Orange, CA, USA, June 10-14, 2019},
  series       = {{EPTCS}},
  volume       = {318},
  pages        = {1--12},
  year         = {2019},
  url          = {https://doi.org/10.4204/EPTCS.318.1},
  doi          = {10.4204/EPTCS.318.1},
  timestamp    = {Fri, 03 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2005-00207.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2005-00208,
  author       = {Jean{-}Simon Pacaud Lemay},
  editor       = {Bob Coecke and
                  Matthew Leifer},
  title        = {Why FHilb is Not an Interesting (Co)Differential Category},
  booktitle    = {Proceedings 16th International Conference on Quantum Physics and Logic,
                  {QPL} 2019, Chapman University, Orange, CA, USA, June 10-14, 2019},
  series       = {{EPTCS}},
  volume       = {318},
  pages        = {13--26},
  year         = {2019},
  url          = {https://doi.org/10.4204/EPTCS.318.2},
  doi          = {10.4204/EPTCS.318.2},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2005-00208.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2005-00209,
  author       = {Octavio Zapata},
  editor       = {Bob Coecke and
                  Matthew Leifer},
  title        = {Effectus of Quantum Probability on Relational Structures},
  booktitle    = {Proceedings 16th International Conference on Quantum Physics and Logic,
                  {QPL} 2019, Chapman University, Orange, CA, USA, June 10-14, 2019},
  series       = {{EPTCS}},
  volume       = {318},
  pages        = {53--65},
  year         = {2019},
  url          = {https://doi.org/10.4204/EPTCS.318.4},
  doi          = {10.4204/EPTCS.318.4},
  timestamp    = {Fri, 03 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2005-00209.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2005-00210,
  author       = {Robert Furber},
  editor       = {Bob Coecke and
                  Matthew Leifer},
  title        = {Scott Continuity in Generalized Probabilistic Theories},
  booktitle    = {Proceedings 16th International Conference on Quantum Physics and Logic,
                  {QPL} 2019, Chapman University, Orange, CA, USA, June 10-14, 2019},
  series       = {{EPTCS}},
  volume       = {318},
  pages        = {66--84},
  year         = {2019},
  url          = {https://doi.org/10.4204/EPTCS.318.5},
  doi          = {10.4204/EPTCS.318.5},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2005-00210.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2005-00211,
  author       = {Giulia Meuli and
                  Mathias Soeken and
                  Martin Roetteler and
                  Giovanni De Micheli},
  editor       = {Bob Coecke and
                  Matthew Leifer},
  title        = {{ROS:} Resource-constrained Oracle Synthesis for Quantum Computers},
  booktitle    = {Proceedings 16th International Conference on Quantum Physics and Logic,
                  {QPL} 2019, Chapman University, Orange, CA, USA, June 10-14, 2019},
  series       = {{EPTCS}},
  volume       = {318},
  pages        = {119--130},
  year         = {2019},
  url          = {https://doi.org/10.4204/EPTCS.318.8},
  doi          = {10.4204/EPTCS.318.8},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2005-00211.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2005-00213,
  author       = {Sivert Aasn{\ae}ss},
  editor       = {Bob Coecke and
                  Matthew Leifer},
  title        = {Cohomology and the Algebraic Structure of Contextuality in Measurement
                  Based Quantum Computation},
  booktitle    = {Proceedings 16th International Conference on Quantum Physics and Logic,
                  {QPL} 2019, Chapman University, Orange, CA, USA, June 10-14, 2019},
  series       = {{EPTCS}},
  volume       = {318},
  pages        = {242--253},
  year         = {2019},
  url          = {https://doi.org/10.4204/EPTCS.318.15},
  doi          = {10.4204/EPTCS.318.15},
  timestamp    = {Tue, 24 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2005-00213.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}