| Comonadic semantics for hybrid logic | 0 | 0.34 | 2022 |
| Comonadic semantics for guarded fragments | 0 | 0.34 | 2021 |
| The logic of contextuality | 0 | 0.34 | 2021 |
| Relating structure and power: Comonadic semantics for computational resources | 0 | 0.34 | 2021 |
| Whither semantics? | 0 | 0.34 | 2020 |
| Relating Structure and Power: Comonadic Semantics for Computational Resources - Extended Abstract. | 0 | 0.34 | 2018 |
| Relating Structure and Power: Comonadic Semantics for Computational Resources - Extended Abstract. | 0 | 0.34 | 2018 |
| A complete characterisation of All-versus-Nothing arguments for stabiliser states. | 0 | 0.34 | 2017 |
| The Quantum Monad on Relational Structures. | 1 | 0.36 | 2017 |
| Minimum Quantum Resources for Strong Non-Locality. | 1 | 0.36 | 2017 |
| Hardy is (almost) everywhere: Nonlocality without inequalities for almost all entangled multipartite states. | 0 | 0.34 | 2016 |
| Possibilities Determine the Combinatorial Structure of Probability Polytopes. | 1 | 0.36 | 2016 |
| Dynamic Games and Strategies. | 3 | 0.55 | 2016 |
| Anytime Inference in Valuation Algebras. | 0 | 0.34 | 2016 |
| Coalgebraic Semantics of Reflexive Economics (Dagstuhl Seminar 15042). | 0 | 0.34 | 2015 |
| Demonic Programming: A Computational Language For Single-Particle Equilibrium Thermodynamics, And Its Formal Semantics | 0 | 0.34 | 2015 |
| Games for Dependent Types | 2 | 0.39 | 2015 |
| Process Realizability | 1 | 0.35 | 2015 |
| Game Semantics for Access Control | 7 | 0.50 | 2014 |
| Contextual Semantics: From Quantum Mechanics to Logic, Databases, Constraints, and Complexity. | 2 | 0.47 | 2014 |
| Axioms for definability and full completeness | 8 | 0.53 | 2014 |
| Semantic Unification A sheaf theoretic approach to natural language. | 2 | 0.43 | 2014 |
| Retracting Some Paths in Process Algebra | 60 | 4.14 | 2014 |
| An Algebraic Characterisation of Concurrent Composition. | 0 | 0.34 | 2014 |
| Events in context | 0 | 0.34 | 2014 |
| Robust constraint satisfaction and local hidden variables in quantum mechanics | 10 | 0.77 | 2013 |
| Semantics of Interaction. | 12 | 1.22 | 2013 |
| Relational Databases and Bell's Theorem | 4 | 0.63 | 2013 |
| Games and full completeness for multiplicative linear logic | 177 | 13.54 | 2013 |
| A Game Semantics for Generic Polymorphism | 7 | 0.62 | 2013 |
| Logical Bell Inequalities | 4 | 0.65 | 2012 |
| Information Flow and Its Applications (Dagstuhl Seminar 12352). | 1 | 0.38 | 2012 |
| Domain Theory and the Logic of Observable Properties | 8 | 0.59 | 2011 |
| The logic and topology of non-locality and contextuality | 1 | 0.39 | 2011 |
| A Unified Sheaf-Theoretic Account Of Non-Locality and Contextuality | 7 | 1.32 | 2011 |
| From IF to BI: a tale of dependence and separation | 27 | 1.86 | 2011 |
| The Cohomology Of Non-Locality And Contextuality | 11 | 1.03 | 2011 |
| A structural approach to reversible computation | 31 | 1.51 | 2011 |
| Sequentiality vs. concurrency in games and logic | 22 | 1.18 | 2011 |
| From Lawvere to Brandenburger-Keisler: Interactive forms of diagonalization and self-reference. | 4 | 0.45 | 2010 |
| Relational Hidden Variables and Non-Locality | 9 | 0.88 | 2010 |
| Coalgebras, Chu Spaces, and Representations of Physical Systems | 3 | 0.45 | 2010 |
| Automata, Languages and Programming, 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II | 44 | 1.97 | 2010 |
| From IF to BI | 10 | 0.64 | 2009 |
| Abstract Physical Traces | 10 | 2.18 | 2009 |
| Games, interaction and computation | 0 | 0.34 | 2009 |
| Types, Orthogonality And Genericity: Some Tools For Communicating Process Architectures | 0 | 0.34 | 2008 |
| Visions of Computer Science - BCS International Academic Conference, Imperial College, London, UK, 22-24 September 2008 | 27 | 2.60 | 2008 |
| Grand challenge 7: journeys in non-classical computation | 3 | 0.49 | 2008 |
| Full Completeness: Interactive And Geometric Characterizations Of The Space Of Proofs - Abstract | 0 | 0.34 | 2007 |
