Rui Soares Barbosa

Rui

Soares

Barbosa

Publications

JOURNAL CONFERENCE BOOK CHAPTER DISSERTATION DISSERTATION PREPRINT

():
: In:
: DPhil thesis, MSc dissertation,

@article{WagnerBarbosaGalvao2024inequalities,
  title= {Inequalities witnessing coherence, nonlocality, and contextuality},
  author = {Wagner, Rafael and Barbosa, Rui Soares and Galv{\~a}o, Ernesto F.},
  year = {2024},
  journal = {Physical Review A},
  volume = {109},
  pages = {032220},
  eprint = {arXiv:2209.02670 [quant-ph]},  
  doi = {10.1103/PhysRevA.109.032220},
  url = {https://link.aps.org/doi/10.1103/PhysRevA.109.032220}
  }

@article{AbramskyBarbosaSearle2024combining,
  author = {Abramsky, Samson and Barbosa, Rui Soares and Searle, Amy},
  year  = {2024},
  title = {Combining contextuality and causality: a game semantics approach},
  journal = {Philosophical Transactions of the Royal Society of London A: Mathematical, Physical and Engineering Sciences},
  volume = {382},
  number = {2268},
  pages = {20230002},
  note = {Theme issue on `Quantum contextuality, causality and freedom of choice'},
  eprint = {arXiv:2307.04786 [quant-ph]},
  arxivlink = {2307.04786},
  url = {https://doi.org/10.1098/rsta.2023.0002},
        doi = {10.1098/rsta.2023.0002},
  }

@misc{ChoudharyBarbosaCabello2024lifting,
  title = {Lifting noncontextuality inequalities},
  year  = {2024},
  author = {Choudhary, Raman and Barbosa, Rui Soares and Cabello, Ad{\'an}},
  howpublished= {arXiv:2401.12349 [quant-ph]},
  eprint = {arXiv:2401.12349 [quant-ph]},
  arxivlink = {2401.12349},
  }

@article{WagnerEtAl2024quantumcircuits,
  title = {Quantum circuits measuring weak values, Kirkwood{--}Dirac quasiprobability distributions, and state spectra},
  author = {Wagner, Rafael and Schwartzman-Nowik, Zohar and Paiva, Ismael L. and Te'eni, Amit and Ruiz-Molero, Antonio and Barbosa, Rui Soares and Cohen, Eliahu and Galv{\~a}o, Ernesto F.},
  journal = {Quantum Science and Technology},
  volume = {9},
  pages = {015030},
  year  = {2024},
  doi = {10.1088/2058-9565/ad124c},
  eprint = {arXiv:2302.00705 [quant-ph]},
  }

@incollection{BarbosaKarvonenMansfield2021closing,
  title = {Closing Bell: Boxing black box simulations in the resource theory of contextuality},
  year  = {2023},
  author = {Barbosa, Rui Soares and Karvonen, Martti and Mansfield, Shane},
  booktitle = {{S}amson {A}bramsky on Logic and Structure in Computer Science and Beyond},
  series = {Outstanding Contributions to Logic},
  volume = {25},
  editor = {Palmigiano, Alessandra and Sadrzadeh, Mehrnoosh},
  isbn = {978-3-031-24116-1},
  pages = {475--529},
  publisher = {Springer},
  eprint = {arXiv:2104.11241 [quant-ph]},
  doi = {10.1007/978-3-031-24117-8_13},
  }

@misc{BarbosaKharoofOkay2023bundle,
  title = {A bundle perspective on contextuality: Empirical models and simplicial distributions on bundle scenarios},
  year  = {2023},
  author = {Barbosa, Rui Soares and Kharoof, Aziz and Okay, Cihan},
  howpublished= {arXiv:2308.06336 [math.CT]},
  eprint = {arXiv:2308.06336 [math.CT]},
  arxivlink = {2308.06336},
  }

@article{BarbosaHeunen2023sheafrepresentation,
  title = {Sheaf representation of monoidal categories},
  author = {Barbosa, Rui Soares and Heunen, Chris},
  journal = {Advances in Mathematics},
  volume = {416},
  pages = {108900},
  year  = {2023},
  doi = {10.1016/j.aim.2023.108900},
  eprint = {arXiv:2106.08896 [math.CT]},
  }

@article{NeriBarbosaOliveira:Quantamorphisms,
  title = {Compiling quantamorphisms for the IBM Q Experience},
  author = {Neri, Ana and Barbosa, Rui Soares and Oliveira, Jos{\'e} N.},
  journal = {IEEE Transactions on Software Engineering},
  volume = {48},
  number = {11},
  year = {2022},
  pages = {4339--4356},
  doi = {10.1109/TSE.2021.3117515},
  eprint = {arXiv:2010.10510 [quant-ph]}
}

@article{BarbosaEtAl:ContinuousVariable,
   title = {Continuous-variable nonlocality and contextuality},
   author = {Barbosa, Rui Soares and Douce, Tom and Emeriau, Pierre-Emmanuel and Kashefi, Elham and Mansfield, Shane},
   journal = {Communications in Mathematical Physics},
   volume = {391},
   number = {3},
   year = {2022},
   pages = {1047--1089},
   doi = {10.1007/s00220-021-04285-7},
   eprint = {arXiv:1905.08267 [quant-ph]},
   note = {Accepted for communication at QPL 2019.}
}

@inproceedings{AbramskyBarbosa:LogicContextuality,
  title  = {The logic of contextuality},
  author = {Abramsky, Samson and Barbosa, Rui Soares},
  year   = {2021},
  booktitle = {Proceedings of 29th EACSL Annual Conference on Computer Science Logic (CSL 2021)},
  editor    = {Baier, Christel and Goubault-Larrecq, Jean},
  series    = {Leibniz International Proceedings in Informatics (LIPIcs)},  
  volume    = {183},
  pages     = {5:1--5:18},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum  f\"{u}r Informatik},
  URL =	{},
  doi = {},
  eprint = {arXiv:2011.03064 [quant-ph]},
  note = {Accepted for communication at QPL 2020.}
}

@inproceedings{AbramskyEtAl:Comonadic,
  title = {A comonadic view of simulations and quantum resources},
  author = {Abramsky, Samson and Barbosa, Rui Soares and Karvonen, Martti and Mansfield, Shane},
  booktitle = {Proceedings of 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2019)},
  pages = {1--12},
  publisher = {IEEE},
  doi={10.1109/LICS.2019.8785677}, 
  year = {2019},
  eprint = {arXiv:1904.10035 [quant-ph]},
  note = {Accepted for communication at SYCO 3, QPL 2019, ACT 2019, and related submission at CALCO 2019.}
}

@article{deSilvaBarbosa:ContextualityNoncommutativeGeometry,
  title = {Contextuality and noncommutative geometry in quantum mechanics},
  author = {de Silva, Nadish and Barbosa, Rui Soares},
  journal={Communications in Mathematical Physics},
  volume = {365},
  number = {2},
  year = {2019},
  pages= {375--429},
  doi={10.1007/s00220-018-3222-9},
  eprint = {arXiv:1806.02840 [math.OA]},
  note = {Earlier partial version (`Partial and total ideals of von Neumann algebras') available as arXiv:1408.1172 [math.OA]},
}

@inproceedings{AbrasmkyEtAl:MinimumResourcesSNL,
  title = {Minimum quantum resources for strong non-locality},
  author = {Abramsky, Samson and Barbosa, Rui Soares and Car{\`u}, Giovanni and de Silva, Nadish and Kishida, Kohei and Mansfield, Shane},
  booktitle =	{Proceedings of 12th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2017)},
  pages =	{9:1--9:20},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  year =	{2018},
  volume =	{73},
  editor =	{Wilde, Mark M.},
  publisher = {Schloss Dagstuhl--Leibniz-Zentrum f{\"{u}}r Informatik},
  eprint = {arXiv:1705.09312 [quant-ph]},
  url =		{http://drops.dagstuhl.de/opus/volltexte/2018/8582},
  doi =		{10.4230/LIPIcs.TQC.2017.9},
  note = {Accepted for communication at QPL 2017.}
 }

@inproceedings{AbramskyEtAl:QuantumMonad,
  title = {The quantum monad on relational structures},
  author = {Abramsky, Samson and Barbosa, Rui Soares and de Silva, Nadish and Zapata, Octavio},
  year =	{2017},
  booktitle = {Proceedings of 42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017)},
  editor = {Larsen, Kim G. and Bodlaender, Hans L. and Raskin, Jean-Fran{\c{c}}ois},
  series = {Leibniz International Proceedings in Informatics (LIPIcs)},  
  volume =	{83},
  pages =	{35:1--35:19},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum  f\"{u}r Informatik},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2017/8129},
  doi =		{10.4230/LIPIcs.MFCS.2017.35},
  eprint = {arXiv:1705.07310 [cs.LO]},
}

@article{AbramskyEtAl:CompleteCharacterizationAvN,
  title = {A complete characterization of {A}ll-versus-{N}othing arguments for stabilizer states},
  author = {Abramsky, Samson and Barbosa, Rui Soares and Car{\`u}, Giovanni and Perdrix, Simon},
  journal = {Philosophical Transactions of the Royal Society of London A: Mathematical, Physical and Engineering Sciences},
 volume = {375},
 number = {2106},
 pages = {20160385},
 	year = {2017},
  note = {Theme issue on `Second quantum revolution: foundational questions'},
  eprint = {arXiv:1705.08459 [quant-ph]},
  url = {http://rsta.royalsocietypublishing.org/content/375/2106/201603853},
	doi = {10.1098/rsta.2016.0385},
}

@article{AbramskyBarbosaMansfield:ContextualFraction,
  title= {Contextual fraction as a measure of contextuality},
  author = {Abramsky, Samson and Barbosa, Rui Soares and Mansfield, Shane},
  year = {2017},
  journal = {Physical Review Letters},
  volume = {119},
  pages = {050504},
  note = {Earlier version (``Quantifying contextuality via linear programming'') accepted for communication at QPL 2016.},
  eprint = {arXiv:1705.07918 [quant-ph]},
  doi = {10.1103/PhysRevLett.119.050504},
  url = {https://link.aps.org/doi/10.1103/PhysRevLett.119.050504}
  }

@article{AbramskyEtAl:PossibilitiesDetermine,
  title = {Possibilities determine the combinatorial structure of probability polytopes},
  author = {Abramsky, Samson and Barbosa, Rui Soares and Kishida, Kohei and Lal, Raymond and Mansfield, Shane},
  year = {2016},
  journal = {Journal of Mathematical Psychology},
  volume = {74},
  pages = {58--65},
  note = {special issue on `Foundations of Probability Theory in Psychology and Beyond'},
  eprint = {arXiv:1603.07735 [quant-ph]},
  url = {http://www.sciencedirect.com/science/article/pii/S0022249616300013},
  doi = {10.1016/j.jmp.2016.03.006}
}

@inproceedings{AbramskyEtAl:ContextualityCohomologyAndParadox,
  title = {Contextuality, cohomology and paradox},
  author = {Abramsky, Samson and Barbosa, Rui Soares and Kishida, Kohei and Lal, Raymond and Mansfield, Shane},
  year = {2015},
  booktitle = {Proceedings of 24th EACSL Annual Conference on Computer Science Logic (CSL 2015)},
  editor = {Kreutzer, Stephan},
  pages = {211--228},
  series = {Leibniz International Proceedings in Informatics (LIPIcs)},
  volume = {41},
  publisher = {Schloss Dagstuhl--Leibniz-Zentrum f{\"{u}}r Informatik},
  eprint = {arXiv:1502.03097 [quant-ph]},
  url = {http://drops.dagstuhl.de/opus/volltexte/2015/5416},
  doi = {10.4230/LIPIcs.CSL.2015.211},
}
@dphilthesis{Barbosa2015:dphil,
  title = {Contextuality in quantum mechanics and beyond},
  author = {Barbosa, Rui Soares},
  school       = {University of Oxford},
  year         = {2015},
}
@inproceedings{monogamymacrosmall,
  title = {On monogamy of non-locality and macroscopic averages: examples and preliminary results},
  author = {Barbosa, Rui Soares},
  year = {2014},
  booktitle = {Proceedings of 11th Workshop on Quantum Physics and Logic (QPL 2014)},
  editor = {Coecke, Bob and Hasuo, Ichiro and Panangaden, Prakash},
  pages = {36--55},
  series = {Electronic Proceedings in Theoretical Computer Science},
  volume = {172},
  eprint = {arXiv:1412.8541 [quant-ph]},
  doi = {10.4204/EPTCS.172.4},
  url = {http://arxiv.org/abs/1412.8541}
}
@misc{MansfieldBarbosa:QPL2013,
  title = {Extendability in the sheaf-theoretic approach: Construction of {B}ell models from {K}ochen-{S}pecker models},
  author = {Mansfield, Shane and Barbosa, Rui Soares},
  year = {2013},
  howpublished = "Informal pre-proceedings of 10th Wokshop on Quantum Physics and Logic (QPL 2013)",
  eprint = {arXiv:1402.4827 [quant-ph]},
  url = {http://arxiv.org/abs/1402.4827},
}

@inproceedings{AbramskyMansfieldBarbosa:Cohomology-QPL,
  title = {The cohomology of non-locality and contextuality},
  author = {Abramsky, Samson and Mansfield, Shane and Barbosa, Rui Soares},
  year = {2012},
  booktitle = {Proceedings of 8th International Workshop on Quantum Physics and Logic (QPL 2011)},
  editor = {Jacobs, Bart and Selinger, Peter and Spitters, Bas},
  series = {Electronic Proceedings in Theoretical Computer Science},
  pages = {1--14},
  volume = {95},
  eprint = {arXiv:1111.3620 [quant-ph]},
  url = {http://arXiv.org/abs/1111.3620},
  doi = {10.4204/EPTCS.95.1},
}
@incollection{unsharpvalues,
  title = {Unsharp values, domains and topoi},
  author = {D{\"o}ring, Andreas and Barbosa, Rui Soares},
  year = {2012},
  booktitle = {Quantum Field Theory and Gravity},
  editor = {Finster, Felix and M{\"u}ller, Olaf and Nardmann, Marc and Tolksdorf, J{\"u}rgen and Zeidler, Eberhard},
  isbn = {978-3-0348-0042-6},
  pages = {65--96},
  publisher = {Springer Basel},
  eprint = {arXiv:1107.1083 [quant-ph]},
  url = {http://link.springer.com/chapter/10.1007%2F978-3-0348-0043-3_5},
  doi = {10.1007/978-3-0348-0043-3_5}
}
@mastersthesis{Barbosa2010:msc,
  title = {Interval domain(s) and physics},
  author = {Barbosa, Rui Soares},
  school       = {University of Oxford},
  year         = {2010},
}

Publications rendered with BibTeX-js

Website by Catarina Soares Barbosa