Rui Soares Barbosa

According to our database, Rui Soares Barbosa authored at least 13 papers between 2011 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Combining contextuality and causality: a game semantics approach.

Samson Abramsky, Rui Soares Barbosa, Amy Searle

CoRR, 2023

2022

Compiling Quantamorphisms for the IBM Q Experience.

Ana Neri, Rui Soares Barbosa, José N. Oliveira

IEEE Trans. Software Eng., 2022

2021

Closing Bell: Boxing black box simulations in the resource theory of contextuality.

Rui Soares Barbosa, Martti Karvonen, Shane Mansfield

CoRR, 2021

The Logic of Contextuality.

Samson Abramsky, Rui Soares Barbosa

Proceedings of the 29th EACSL Annual Conference on Computer Science Logic, 2021

2019

A comonadic view of simulation and quantum resources.

Samson Abramsky, Rui Soares Barbosa, Martti Karvonen, Shane Mansfield

Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019

2017

A complete characterisation of All-versus-Nothing arguments for stabiliser states.

Samson Abramsky, Rui Soares Barbosa, Giovanni Carù, Simon Perdrix

CoRR, 2017

Minimum Quantum Resources for Strong Non-Locality.

Samson Abramsky, Rui Soares Barbosa, Giovanni Carù, Nadish de Silva, Kohei Kishida, Shane Mansfield

Proceedings of the 12th Conference on the Theory of Quantum Computation, 2017

The Quantum Monad on Relational Structures.

Samson Abramsky, Rui Soares Barbosa, Nadish de Silva, Octavio Zapata

Proceedings of the 42nd International Symposium on Mathematical Foundations of Computer Science, 2017

2016

Possibilities Determine the Combinatorial Structure of Probability Polytopes.

Samson Abramsky, Rui Soares Barbosa, Kohei Kishida, Raymond Lal, Shane Mansfield

CoRR, 2016

2015

Contextuality, Cohomology and Paradox.

Samson Abramsky, Rui Soares Barbosa, Kohei Kishida, Raymond Lal, Shane Mansfield

Proceedings of the 24th EACSL Annual Conference on Computer Science Logic, 2015

2014

Extendability in the Sheaf-theoretic Approach: Construction of Bell Models from Kochen-Specker Models.

Shane Mansfield, Rui Soares Barbosa

CoRR, 2014

On monogamy of non-locality and macroscopic averages: examples and preliminary results.

Rui Soares Barbosa

Proceedings of the 11th workshop on Quantum Physics and Logic, 2014

2011

The Cohomology of Non-Locality and Contextuality

Samson Abramsky, Shane Mansfield, Rui Soares Barbosa

Proceedings of the Proceedings 8th International Workshop on Quantum Physics and Logic, 2011